Manuscript En07-B@1 · En07-B.tex · section · 45dff4a1
Access-preserving endpoint construction
Access-preserving endpoint construction · lines 1315–1322
Actual dynamics may transfer information from an initially inaccessible system to outgoing radiation. What is excluded is obtaining recovery merely by changing the comparison map so that a still-inaccessible diary register is renamed as part of the accessible output.
Nearby in this section
- section: Access-preserving endpoint construction
- definition: Definition: Access-preserving comparison
- lemma: Lemma: Local embeddings do not change unrestricted recovery or complete leakage
- definition: Definition: Four same-model endpoint obligations
- section: Access-preserving endpoint construction
- theorem: Theorem: Access-preserving endpoint certificate
- corollary: Corollary: Pure complete residual
- corollary: Corollary: Conditional evaporation implication