Axioms for the category of Hilbert spaces

Proceedings of the National Academy of Sciences of the United States of America

Volumn 119, Issue 9, 2022, Pages

  Heunen, Chris ^a   Kornell, Andre ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b Tulane University   (United States)

Author keywords

Colimit; Hilbert space; Monoidal category

Indexed keywords

ARTICLE; QUANTUM THEORY;

EID: 85125550835     PISSN: 00278424     EISSN: 10916490     Source Type: Journal    
DOI: 10.1073/pnas.2117024119     Document Type: Article

References (33)

1. J. von Neumann, Mathematical Foundations of Quantum Mechanics (Princeton University Press, 1955).
2. M. Rédei, Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead). Stud. Hist. Philos. Mod. Phys 27, 493–510 (1996).
3. L. Hardy, Quantum theory from five reasonable axioms. arXiv [Preprint] (2001). https://arxiv.org/abs/quant-ph/0101012v4 (Accessed 10 February 2022).
4. A. Kapustin, Is quantum mechanics exact? J. Math. Phys. 54, 062107 (2013).
5. F. J. Murray, J. von Neumann, On rings of operators. Ann. Math. 37, 116–229 (1936).
6. J. M. Jauch, Foundations of Quantum Mechanics (Addison-Wesley, 1968).
7. C. Piron, Foundations of Quantum Physics (W. A. Benjamin, 1976).
8. S. Abramsky, B. Coecke, “A categorical semantics of quantum protocols” in Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004 (2004), pp. 415–425.
9. ∗-categories. Pac. J. Math. 120, 79–109 (1985).
10. S. Mac Lane, Categories for the Working Mathematician (Springer, ed. 2, 1971).
11. C. Heunen, J. Vicary, Categories for Quantum Theory (Oxford University Press, 2019).
12. F. W. Lawvere, An elementary theory of the category of sets. Proc. Natl. Acad. Sci. U.S.A. 52, 1506–1511 (1964).
13. C. Heunen, M. Karvonen, Limits in dagger categories. Theory Appl. Categ. 34, 468–513 (2019).
14. S. Mac Lane, Duality for groups. Bull. Am. Math. Soc. 56, 485–516 (1950).
15. P. Selinger, “Dagger compact closed categories and completely positive maps” in Quantum Physics and Logic, P. Selinger, Ed. (Electronic Notes in Theoretical Computer Sciences, Elsevier B.V., 2007), vol. 170, pp. 139–163.
16. B. Mitchell, The Full Embedding Theorem (Johns Hopkins University Press, 1964).
17. J. Vicary, Completeness of †-categories and the complex numbers. J. Math. Phys. 42, 082104 (2011).
18. C. Heunen, An embedding theorem for Hilbert categories. Theory Appl. Categ. 13, 321–344 (2009).
19. I. Kaplansky, Forms in infinite-dimensional spaces. An. Acad. Bras. Cienc. 22, 1–17 (1950).
20. I. Amemiya, H. Araki, A remark on Piron’s paper. Publ. Res. Inst. Math. Sci. 2, 423–427 (1966).
21. C. Piron, Axiomatique quantique. Helv. Phys. Acta 37, 439–468 (1964).
22. W. J. Wilbur, On characterizing the standard quantum logics. Trans. Am. Math. Soc. 233, 265–282 (1977).
23. H. Gross, Hilbert lattices: New results and unsolved problems. Found. Phys. 20, 529–559 (1990).
24. M. P. Solèr, Characterization of Hilbert spaces by orthomodular spaces. Commun. Algebra 1, 219–243 (1995).
25. F. Maeda, S. Maeda, Theory of Symmetric Lattices (Springer, 1970).
26. R. Mayet, Some characterizations of the underlying division ring of a Hilbert lattice by automorphisms. Int. J. Theor. Phys. 37, 109–114 (1998).
27. T. Vetterlein, Orthogonality spaces arising from infinite-dimensional complex Hilbert spaces. Int. J. Theor. Phys. 60, 727–738 (2021).
28. A. Grinbaum, Reconstruction of quantum theory. Br. J. Philos. Sci. 58, 387–408 (2007).
29. C. Heunen, B. Jacobs, Quantum logic in dagger kernel categories. Order 27, 177–212 (2010).
30. S. S. Holland Jr., Orthomodularity in infinite dimensions; a theorem of M. Solèr. Bull. Am. Math. Soc. 32, 205–234 (1995).
31. J. C. Baez, Division algebras and quantum theory. Found. Phys. 42, 819–855 (2012).
32. M. Reed, B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis (Academic Press, 1980).
33. P. Etingof, S. Gelaki, D. Nikshych, V. Ostrik, Tensor Categories (American Mathematical Society, 2015).