Manuscript Hawk05-A@1 · Hawk05-A.tex · bibliography · 449f85bb
References
Declarations · lines 2057–2313
EnterPhilosophy
Enter Calculus Companion,
The Philosophy of Enter.
Documentary exposition and source distinctions.
https://enter.grok.me/enter.
Accessed 15 October 2026.
CheungEnter
N. Cheung,
“The Enter Calculus: A Linear Quantum Lambda Calculus with an
Operational Characterization of Measurement.”
Frontiers in Physics, volume 14 (2026).
Publisher record lists acceptance on 28 September 2026.
The final formatted article was not independently inspected here.
DOI: https://doi.org/10.3389/fphy.2026.1954943.
CheungI
N. Cheung,
Manuscript I, version 2.
Enter Calculus Companion.
Supplied finite Born-characterization and destructive-readout record,
including thm:main.
https://enter.grok.me/browse/I.
No publication date is inferred.
CheungHawk04A
N. Cheung,
Hawk04-A: Unitary Information Preservation and Radiation
Recovery: A Complete-Complement Formulation of the Black-Hole
Information Problem, version 1.
Enter Calculus Companion.
https://enter.grok.me/browse/Hawk04-A.
CheungHawk04B
N. Cheung,
Hawk04-B: Black-Hole Information as an Access Problem:
Enter, Quantum Recovery, and Complete Residuals, version 2.
Enter Calculus Companion.
Relevant supplied labels:
thm:exact, thm:classical, thm:drop.
https://enter.grok.me/browse/Hawk04-B.
CheungHawk04C
N. Cheung,
Hawk04-C: Finite Enter Analogues of the Hawking Narrative:
Access, Complete Complements, and Destructive Readout, version 1.
Enter Calculus Companion.
Relevant supplied label: thm:main.
https://enter.grok.me/browse/Hawk04-C.
CheungHawk04D
N. Cheung,
Hawk04-D: From Finite Enter Interfaces to Conditional
Evaporation Certificates: Controlled Limits, Mass Laws, and
Quantum Recovery, version 1.
Enter Calculus Companion.
Relevant supplied labels:
thm:flagged, thm:endpoint, thm:main.
https://enter.grok.me/browse/Hawk04-D.
CheungHawk02B
N. Cheung,
Hawk02-B: Hamiltonian-Derived Emission and Quantitative
Recovery in a Finite Evaporation Model, version 2.
Enter Calculus Companion.
Relevant supplied labels: thm:B3, thm:B7.
https://enter.grok.me/browse/Hawk02-B.
CheungHawk01B
N. Cheung,
Hawk01-B, version 1.
Enter Calculus Companion.
Supplied entropy-history separation,
thm:entropyseparation.
https://enter.grok.me/browse/Hawk01-B.
CheungHawk03A
N. Cheung,
Hawk03-A, version 1.
Enter Calculus Companion.
Supplied exact complete-complement criterion and separately
hypothesized independent-factor entropy comparisons.
https://enter.grok.me/browse/Hawk03-A.
CheungEn07A
N. Cheung,
En07-A: Enter, Reversible Recycling, and Thermodynamic Access:
Complete Residuals Without Holographic Identification, version 1.
Enter Calculus Companion.
https://enter.grok.me/browse/En07-A.
CheungEn07B
N. Cheung,
En07-B: Access-Preserving Endpoint Certificates under
Destructive Enter, version 1.
Enter Calculus Companion.
Supplied four-obligation endpoint and thermodynamic-underdetermination
records.
https://enter.grok.me/browse/En07-B.
CheungEn07C
N. Cheung,
En07-C: Hawking Radiation under Destructive Enter, version 1.
Enter Calculus Companion.
Relevant supplied labels:
prop:entropy, lem:erasure-interface.
https://enter.grok.me/browse/En07-C.
CheungEn02C
N. Cheung,
En02-C, version 1.
Enter Calculus Companion.
Supplied reference-preserving sequential soundness,
thm:C1.
https://enter.grok.me/browse/En02-C.
CheungVIIG
N. Cheung,
VII-G, version 1.
Enter Calculus Companion.
Supplied finite hybrid instrument structure,
thm:structure.
https://enter.grok.me/browse/VII-G.
CheungEm05B
N. Cheung,
Em05-B, version 1.
Enter Calculus Companion.
Supplied exact complementary-channel criterion,
thm:constantComplement.
https://enter.grok.me/browse/Em05-B.
CheungOai265A
N. Cheung,
Oai265-A, version 2.
Enter Calculus Companion.
Supplied record/spectrum/recovery separation,
thm:separation.
A documentary comparison, not verification or adoption of an
OpenAI catalogue family.
https://enter.grok.me/browse/Oai265-A.
CheungXIVI
N. Cheung,
XIV-I, version 1.
Enter Calculus Companion.
Supplied internal amplitude construction at I2 and unresolved
joint-map boundary at I3.
https://enter.grok.me/browse/XIV-I.
CheungXIVJ
N. Cheung,
XIV-J, version 1.
Enter Calculus Companion.
Supplied reconstruction descent, supported-sector reference, and
unresolved full-map boundary at J2.
https://enter.grok.me/browse/XIV-J.
CheungXVB
N. Cheung,
XV-B, version 2.
Enter Calculus Companion.
Supplied relative-lifting and extension interfaces; the inherited
graph-specific characteristic map remains unresolved.
https://enter.grok.me/browse/XV-B.
Watrous
J. Watrous,
The Theory of Quantum Information.
Cambridge University Press, 2018.
Author's manuscript and errata:
https://cs.uwaterloo.ca/ watrous/TQI/.
KnillLaflamme
E. Knill and R. Laflamme,
“Theory of quantum error-correcting codes.”
Physical Review A 55 (1997), 900–911.
DOI: https://doi.org/10.1103/PhysRevA.55.900.
KSW
D. Kretschmann, D. Schlingemann, and R. F. Werner,
“The information-disturbance tradeoff and the continuity of
Stinespring's representation.”
IEEE Transactions on Information Theory
54 (2008), 1708–1717.
DOI: https://doi.org/10.1109/TIT.2008.917696.
Preprint: https://arxiv.org/abs/quant-ph/0605009.
HorodeckiShorRuskai
M. Horodecki, P. W. Shor, and M. B. Ruskai,
“Entanglement breaking channels.”
Reviews in Mathematical Physics
15 (2003), 629–641.
DOI: https://doi.org/10.1142/S0129055X03001709.
Preprint: https://arxiv.org/abs/quant-ph/0302031.
BraunsteinPati
S. L. Braunstein and A. K. Pati,
“Quantum information cannot be completely hidden in correlations:
Implications for the black-hole information paradox.”
Physical Review Letters 98 (2007), 080502.
DOI: https://doi.org/10.1103/PhysRevLett.98.080502.
PageAverage
D. N. Page,
“Average entropy of a subsystem.”
Physical Review Letters 71 (1993), 1291–1294.
DOI: https://doi.org/10.1103/PhysRevLett.71.1291.
Preprint: https://arxiv.org/abs/gr-qc/9305007.
Sen
S. Sen,
“Average entropy of a subsystem.”
Physical Review Letters 77 (1996), 1–3.
DOI: https://doi.org/10.1103/PhysRevLett.77.1.
Preprint: https://arxiv.org/abs/hep-th/9601132.
PageRadiation
D. N. Page,
“Information in black hole radiation.”
Physical Review Letters 71 (1993), 3743–3746.
DOI: https://doi.org/10.1103/PhysRevLett.71.3743.
Preprint: https://arxiv.org/abs/hep-th/9306083.
HaydenPreskill
P. Hayden and J. Preskill,
“Black holes as mirrors: Quantum information in random subsystems.”
Journal of High Energy Physics 2007(09), 120.
DOI: https://doi.org/10.1088/1126-6708/2007/09/120.
Preprint: https://arxiv.org/abs/0708.4025.
Hawking
S. W. Hawking,
“Particle creation by black holes.”
Communications in Mathematical Physics
43 (1975), 199–220.
DOI: https://doi.org/10.1007/BF02345020.
Landauer
R. Landauer,
“Irreversibility and heat generation in the computing process.”
IBM Journal of Research and Development
5 (1961), 183–191.
DOI: https://doi.org/10.1147/rd.53.0183.
ReebWolf
D. Reeb and M. M. Wolf,
“An improved Landauer principle with finite-size corrections.”
New Journal of Physics 16 (2014), 103011.
DOI: https://doi.org/10.1088/1367-2630/16/10/103011.
Preprint: https://arxiv.org/abs/1306.4352.