References

Watrous2018

J. Watrous, The Theory of Quantum Information, Cambridge University Press, 2018. Author's manuscript and chapter files: https://cs.uwaterloo.ca/ watrous/TQI/.

Fritz2013

T. Fritz, Velocity polytopes of periodic graphs and a no-go theorem for digital physics, Discrete Mathematics 313 (2013), 1289–1301. doi: 10.1016/j.disc.2013.02.010. Author's revised preprint: https://arxiv.org/abs/1109.1963v3.

ArrighiNesmeWerner

P. Arrighi, V. Nesme, and R. Werner, Unitarity plus causality implies localizability, arXiv:0711.3975, 2007; revised version 3, 2009. https://arxiv.org/abs/0711.3975v3.

HorodeckiShorRuskai2003

M. Horodecki, P. W. Shor, and M. B. Ruskai, Entanglement breaking channels, Reviews in Mathematical Physics 15 (2003), 629–641. doi: 10.1142/S0129055X03001709. Preprint record, titled “General Entanglement Breaking Channels”: https://arxiv.org/abs/quant-ph/0302031.

CheungEn08A

N. Cheung, En08-A, version 1, undated manuscript. Documentary comparison: scheduler consistency, conditional Lorentz-cone representation, and the distinction between a generated null boundary and attained null pairs. Enter Calculus Companion: https://enter.grok.me.

CheungEn05A

N. Cheung, En05-A, version 1, undated manuscript. Relevant supplied labels: thm:cone and prop:approx. Enter Calculus Companion: https://enter.grok.me.

CheungEn05B

N. Cheung, En05-B, version 1, undated manuscript. Relevant supplied section: “Introduction, target, and scope”; documentary comparison with increasing-direction relays, reference-preserving transport, and matched finite experiments. Enter Calculus Companion: https://enter.grok.me.

CheungEn06B

N. Cheung, En06-B, version 1, undated manuscript. Documentary comparison with prescribed-speed finite-network transport; relevant supplied label: thm:T. Enter Calculus Companion: https://enter.grok.me.

CheungVIIJ

N. Cheung, VII-J, undated manuscript; version not specified in the supplied material. Relevant supplied label: thm:release. Documentary distinction between scheduled ancestry, operational influence, and a separately supplied causal relation. Enter Calculus Companion: https://enter.grok.me.

CheungXIXC

N. Cheung, XIX-C, version 1, undated manuscript. Relevant supplied section: “Why finite certification does not select a continuum evolution”; labels def:limit, prop:two-limits, and prop:interpolation. Enter Calculus Companion: https://enter.grok.me.

CheungEn05C

N. Cheung, En05-C, version 1, undated manuscript. Relevant supplied section: “Operational no-signalling and approximate certificates”; labels prop:approx and prop:telescoping. Enter Calculus Companion: https://enter.grok.me.

CheungVIIIA

N. Cheung, VIII-A, version 3, undated manuscript. Relevant supplied labels: A:thm:classical and A:thm:complement; documentary comparison concerning records, residual systems, and complete quantum recovery. Enter Calculus Companion: https://enter.grok.me.

CheungVIIIC

N. Cheung, VIII-C, version 3, undated manuscript. Relevant supplied labels: thm:C5 and prop:recovery; sections “Prescribed schedule support” and “Code decoding is not a quantum-return decoder”. Enter Calculus Companion: https://enter.grok.me.

CheungEn02C

N. Cheung, En02-C, version 1, undated manuscript. Relevant supplied label: thm:C1, reference-preserving sequential soundness and actual-schedule storage ledgers. Enter Calculus Companion: https://enter.grok.me.