References

AMPS

A. Almheiri, D. Marolf, J. Polchinski, and J. Sully, Black Holes: Complementarity or Firewalls?, arXiv:1207.3123 (2012). https://arxiv.org/abs/1207.3123.

Apologia

A. Almheiri, D. Marolf, J. Polchinski, D. Stanford, and J. Sully, An Apologia for Firewalls, arXiv:1304.6483 (2013). https://arxiv.org/abs/1304.6483.

Mathur

S. D. Mathur, The information paradox: A pedagogical introduction, arXiv:0909.1038 (2009). https://arxiv.org/abs/0909.1038.

Winter

A. Winter, Tight uniform continuity bounds for quantum entropies: conditional entropy, relative entropy distance and energy constraints, arXiv:1507.07775 (2015), especially Lemma 2. https://arxiv.org/abs/1507.07775.

LiebRuskai

E. H. Lieb and M. B. Ruskai, Proof of the strong subadditivity of quantum-mechanical entropy, Journal of Mathematical Physics 14 (1973), 1938–1941. doi:10.1063/1.1666274.

KL

E. Knill and R. Laflamme, A Theory of Quantum Error-Correcting Codes, arXiv:quant-ph/9604034 (1996). https://arxiv.org/abs/quant-ph/9604034.

KSW

D. Kretschmann, D. Schlingemann, and R. F. Werner, The Information-Disturbance Tradeoff and the Continuity of Stinespring's Representation, arXiv:quant-ph/0605009 (2006); IEEE Transactions on Information Theory 54 (2008), 1708–1717. https://arxiv.org/abs/quant-ph/0605009.

Watrous

J. Watrous, The Theory of Quantum Information, Cambridge University Press (2018). Author's text: https://cs.uwaterloo.ca/ watrous/TQI/TQI.pdf.

CGL

R. Cleve, D. Gottesman, and H.-K. Lo, How to share a quantum secret, arXiv:quant-ph/9901025 (1999). https://arxiv.org/abs/quant-ph/9901025.

ADH

A. Almheiri, X. Dong, and D. Harlow, Bulk Locality and Quantum Error Correction in AdS/CFT, arXiv:1411.7041 (2014). https://arxiv.org/abs/1411.7041.

DHW

X. Dong, D. Harlow, and A. C. Wall, Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality, arXiv:1601.05416 (2016). https://arxiv.org/abs/1601.05416.

Cotler

J. Cotler, P. Hayden, G. Penington, G. Salton, B. Swingle, and M. Walter, Entanglement Wedge Reconstruction via Universal Recovery Channels, arXiv:1704.05839 (2017). https://arxiv.org/abs/1704.05839.

Penington

G. Penington, Entanglement Wedge Reconstruction and the Information Paradox, arXiv:1905.08255 (2019). https://arxiv.org/abs/1905.08255.

AMMZ

A. Almheiri, R. Mahajan, J. Maldacena, and Y. Zhao, The Page curve of Hawking radiation from semiclassical geometry, arXiv:1908.10996 (2019). https://arxiv.org/abs/1908.10996.

PSSY

G. Penington, S. H. Shenker, D. Stanford, and Z. Yang, Replica wormholes and the black hole interior, arXiv:1911.11977 (2019). https://arxiv.org/abs/1911.11977.

DG

W. Donnelly and S. B. Giddings, Observables, gravitational dressing, and obstructions to locality and subsystems, arXiv:1607.01025 (2016). https://arxiv.org/abs/1607.01025.

Wald

R. M. Wald, Quantum Field Theory in Curved Spacetime, arXiv:gr-qc/9509057 (1995). https://arxiv.org/abs/gr-qc/9509057.

SahlmannVerch

H. Sahlmann and R. Verch, Microlocal spectrum condition and Hadamard form for vector-valued quantum fields in curved spacetime, arXiv:math-ph/0008029 (2000). https://arxiv.org/abs/math-ph/0008029.

LoukoSatz

J. Louko and A. Satz, Transition rate of the Unruh-DeWitt detector in curved spacetime, arXiv:0710.5671 (2007). https://arxiv.org/abs/0710.5671.

HP

P. Hayden and J. Preskill, Black holes as mirrors: quantum information in random subsystems, arXiv:0708.4025 (2007). https://arxiv.org/abs/0708.4025.

HH

D. Harlow and P. Hayden, Quantum Computation vs. Firewalls, arXiv:1301.4504 (2013). https://arxiv.org/abs/1301.4504.

CHawk01A

N. Cheung, Hawk01-A: Delayed-Query Information Retrieval from Astrophysical Hawking Radiation: Fixed-Background Baselines, Conserving Completions, and Observer-Access Bounds, version 1, manuscript, n.d. Supplied source labels include thm:source, thm:completion, and ass:unruh. Enter Calculus Companion. https://enter.grok.me/browse/Hawk01-A.

CHawk01B

N. Cheung, Hawk01-B: Complete Quantum-Code Preservation in a Sequential Evaporation Model: Radiation Correlations, Residual Leakage, and the Page-Curve–Recovery Gap, version 1, manuscript, n.d. Supplied source labels include thm:exact and thm:entropyseparation. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CHawk02A

N. Cheung, Hawk02-A: Controlled Interfaces for Black-Hole Evaporation: Backreaction, Pair Structure, and Residual-Leakage Certification, version 1, manuscript, n.d. Supplied source labels include ass:physical, def:completeoutput, thm:pairentropy, thm:constant, thm:stability, cor:spectrum, and prop:jointresidual. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CEm03C

N. Cheung, Em03-C: Joint Hawking-Packet Correlations and Certified Tests of Semiclassical Departures, version 1, manuscript, n.d. Supplied section: “Open physical bridges: not additional release claims”; supplied labels include thm:discrimination and thm:nolabel. Enter Calculus Companion. https://enter.grok.me/browse/Em03-C.

CEm03D

N. Cheung, Em03-D: A Local System–Probe Realization of a Hawking-Packet Observable, version 1, manuscript, n.d. Supplied source labels include thm:main, cor:departure, and thm:release. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CEm03E

N. Cheung, Em03-E: Microscopic Input Dependence and Certified Recovery in a Dynamical Radiation Model, version 1, manuscript, n.d. Supplied source labels include thm:recovery, prop:distinguish, and thm:entropy. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CEm03F

N. Cheung, Em03-F, version 1, manuscript, n.d. Supplied source sections: “The source-to-field channel and retained-source back-action” and “Quantum-transfer obstruction and exact recovery optimum”; labels include thm:fieldchannel, thm:EB, and thm:counts. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CEm03G

N. Cheung, Em03-G, version 1, manuscript, n.d. Supplied source labels include thm:compacttransmission, prop:Fobstruction, and thm:lower. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CEm03H

N. Cheung, Em03-H-v8: Exact Fermionic Extraction, Quench Diagnostics, and Stored-Packet Excitation-Channel Recovery, version 8, manuscript, n.d. Supplied source labels include thm:complementary, thm:specified, and thm:microrecovery. Enter Calculus Companion. https://enter.grok.me/browse/Em03-H.

CEm06B

N. Cheung, Em06-B, version 1, manuscript, n.d. Supplied source section: “Quantitative stability of the classical inputs”; label thm:input-stability. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CEn03A

N. Cheung, En03-A, version 1, manuscript, n.d. Supplied source sections: “Accessible output algebras” and “Residual instruments”; labels include def:accessible and thm:obstruction. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CPsy02B

N. Cheung, Psy02-B, version 2, manuscript, n.d. Supplied source section: “Track A5: complete-process identification”; label thm:process. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CVIIG

N. Cheung, VII-G, version 1, manuscript, n.d. Supplied source section: “Assisted stability and finite Choi certificates”; label thm:stability. Enter Calculus Companion catalogue: https://enter.grok.me/browse.

CXIVI

N. Cheung, XIV-I: Uniform internal retarded amplitudes at the diagonal–flow-out transition, version 1, manuscript, n.d. Supplied source labels include thm:I2, thm:I3, prop:pole, and thm:release. The supplied release distinguishes the constructed internal amplitude from the unresolved joint characteristic map. Enter Calculus Companion catalogue: https://enter.grok.me/browse.