References

CheungEn06A

N. Cheung, En06-A, version 1, unpublished manuscript, supplied excerpts. In particular: def:experiment, hyp:T, lem:midpoint, lem:diagonal, thm:algmicro, and thm:withdrawal. Documentary comparison; no unseen proof is imported.

CheungEn05B

N. Cheung, En05-B, version 1, unpublished manuscript, supplied excerpts. In particular: def:schedule, lem:partition, lem:frame, thm:routing, and thm:identity. Documentary comparison for one junction-and-lane construction.

CheungEn05A

N. Cheung, En05-A, version 1, unpublished manuscript, supplied excerpts. In particular: thm:isotropyobstruction, thm:polytope, and thm:boostobstruction. Documentary comparison for velocity and closure obstructions.

CheungEn05C

N. Cheung, En05-C, version 1, unpublished manuscript, supplied excerpts. In particular: thm:comparison, cor:reference, prop:extensiongap, prop:sharedcenter, thm:sequence, and thm:refinementnet. Documentary comparison for complete devices and observable maps.

CheungVIIJ

N. Cheung, VII-J, version 1, unpublished manuscript, supplied excerpts. In particular: thm:polytope, “Cycle velocities with a finite-time offset.” Documentary comparison for scheduled reachability.

CheungEn04A

N. Cheung, En04-A, version 1, unpublished manuscript, supplied excerpts. In particular: thm:drop, prop:readoutdilation, and thm:classical. Documentary comparison for readout, forgetting, and retained quantum outputs.

CheungXIVJ

N. Cheung, Landmark XIV-J, version 1, unpublished manuscript, supplied excerpts. In particular: thm:J2, thm:release, and cor:noadmission. Recorded analytic scope boundary only.

CheungXVIN

N. Cheung, XVI-N, version r12, unpublished manuscript, supplied excerpts. In particular: thm:massless-obstruction and the stated Route B boundary. Recorded scope boundary only.

Watrous

J. Watrous, The Theory of Quantum Information, Cambridge University Press, 2018. Finite-dimensional channels, instruments, dilations, and completely bounded trace norms.

DaviesLewis

E. B. Davies and J. T. Lewis, “An operational approach to quantum probability,” Communications in Mathematical Physics 17 (1970), 239–260.

Stinespring

W. F. Stinespring, “Positive functions on $C^{\ast }$-algebras,” Proceedings of the American Mathematical Society 6 (1955), 211–216. DOI: 10.1090/S0002-9939-1955-0069403-4.

Fritz

T. Fritz, “Velocity polytopes of periodic graphs and a no-go theorem for digital physics,” Discrete Mathematics 313 (2013), 1289–1301. arXiv:1109.1963. DOI: 10.1016/j.disc.2013.02.010.

FritzCorrigendum

T. Fritz, “Corrigendum to `Velocity polytopes of periodic graphs and a no-go theorem for digital physics',” Discrete Mathematics 313 (2013), 2380. DOI: 10.1016/j.disc.2013.07.011. The corrigendum records earlier related results of Eon, Kotani, and Sunada.

ArrighiFacchiniForets

P. Arrighi, S. Facchini, and M. Forets, “Discrete Lorentz covariance for quantum walks and quantum cellular automata,” New Journal of Physics 16 (2014), 093007. arXiv:1404.4499. DOI: 10.1088/1367-2630/16/9/093007.

BuchholzVerch

D. Buchholz and R. Verch, “Scaling algebras and renormalization group in algebraic quantum field theory,” Reviews in Mathematical Physics 7 (1995), 1195–1240. arXiv:hep-th/9501063. DOI: 10.1142/S0129055X9500044X.

CHSH

J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, “Proposed experiment to test local hidden-variable theories,” Physical Review Letters 23 (1969), 880–884. DOI: 10.1103/PhysRevLett.23.880. Erratum: Physical Review Letters 24 (1970), 549.