Abstract
In this paper we use the framework of generalized probabilistic theories to present two sets of basic assumptions, called axioms, for which we show that they lead to the Hilbert space formulation of quantum mechanics. The key results in this derivation are the co-ordinatization of generalized geometries and a theorem of Solér which characterizes Hilbert spaces among the orthomodular spaces. A generalized Wigner theorem is applied to reduce some of the assumptions of Solér’s theorem to the theory of symmetry in quantum mechanics. Since this reduction is only partial we also point out the remaining open questions.
Similar content being viewed by others
Notes
Clearly, this assumption could also be posed under Axiom 1 but we refrain of doing it.
The paper of Mielnik [45] contains an extensive analysis of possible state changes, including some nonlinear processes.
For a detailed discussion of this theorem, see, e.g. [63]
If \(K=\mathbb R\) then \({}^*\) is the identity. For \(K=\mathbb C\) the map \({}^*\) cannot be the identity and if it is continuous then it is the complex conjugation. For \(K=\mathbb H\) the map is the quaternionic conjugation.
References
Alfsen, E.M.: Compact Convex Sets and Boundary Integrals. Springer, Berlin (1971)
Baer, R.: Linear Algebra and Projective Geometry. Academic Press, New York (1952)
Beltrametti, E., Cassinelli, G.: The Logic of Quantum Mechanics, Addison-Wesley, Reading, 1981. Cambridge University Press 1985 (2010)
Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823–843 (1936)
Bohr, N.: Can quantum-mechanical description of physical reality be considered complete? Phys. Rev. 48, 696–702 (1935)
Bugajska, K., Bugajski, S.: The projection postulate in quantum logic. Bull. Acad. Pol. Sci. Ser. des Sci. Math., Astron. Et Phys. 21, 873–877 (1973)
Bugajski, S., Lahti, P.: Fundamental principles of quantum theory. Int. J. Theor. Phys. 19, 499–514 (1980)
Cassinelli, G., Beltrametti, E.: Ideal, first-kind measurements in a proposition-state structure. Commun. Math. Phys. 40, 7–13 (1975)
Cassinelli, G., De Vito, E., Lahti, P.J., Levrero, A.: The Theory of Symmetry Actions in Quantum Mechanics. Springer, LNP 654 (2004)
Cassinelli, G., Lahti, P.: A theorem of Solér, the theory of symmetry, and quantum mechanics. Int. J. Geom. Methods Modern Phys., (9) 1260005(7) (2012)
Chiribella, G., D’Ariano, G.M., Perinotti, P. : Probabilistic theories with purification. Phys. Rev. A. 81, 062348(40) (2010)
Chiribella, G., D’Ariano, G.M., Perinotti, P.: Informational derivation of quantum theory. Phys. Rev. A, 84, 012311(39) (2011)
Clifton, R., Bub, J., Halvorson, H.: Characterizing quantum theory in terms of information-theoretic constrains. arXiv:quant-ph/0211089v2 19 Feb 2003
Cornette, W.M., Gudder, S.P.: The mixture of quantum states. J. Math. Phys. 15, 842–850 (1974)
Davies, E.B., Lewis, J.L.: An operational approach to quantum probability. Commun. Math. Phys. 17, 239–260 (1970)
Davies, E.B.: Quantum Theory of Open Systems. Academic Press, London (1976)
Dirac, P.A.M.: The Principles of Quantum Mechanics. Oxford University Press, London (1930)
Edwards, C.M.: The operational approach to algebraic quantum theory I. Commun. Math. Phys. 16, 207–230 (1970)
Edwards, C.M.: Classes of operations in quantum theory. Commun. Math. Phys. 20, 26–36 (1971)
Edwards, C.M.: The theory of pure operations. Commun. Math. Phys. 24, 260–288 (1972)
Edwards, C.M., Gerzon, M.A.: Monotone convergence in partially ordered vector spaces. Ann. Inst. Henri Poinceré 12, 323–328 (1970)
Ellis, A.J.: The duality of partially ordered normed linear spaces. J. Lond. Math. Soc. 39, 730–744 (1964)
Ellis, A.J.: Linear operators in partially ordered normed vector spaces. J. Lond. Math. Soc. 41, 323–332 (1966)
Fillmore, F.A., Longstaff, W.E.: On isomorphisms of lattices of closed subspaces. Can. J. Math. XXXVI, 820–829 (1984)
Foulis, D.J., Randall, C.H.: The Empirical Logic Approach to the Physical Sciences, pp. 230–249. Academic Press, New York (1978)
Foulis, D.J., Randall, C.H.: Empirical logic and quantum mechanics. Synthese 29, 81–111 (1974)
Gleason, A.M.: Measures on the closed subspaces of a Hilbert space. J. Math. Mech. 6, 885–893 (1957)
Gross, H., Künzi, U.-M.: On a class of orthomodular quadratic spaces. L’Enseign. Math. 31, 187–212 (1985)
Gudder, S.P.: Convex structures and operational quantum mechanics. Commun. Math. Phys. 29, 249–264 (1973)
Gudder, S.P.: Stochastic Methods in Quantum Mechanics. Elsevier, Amsterdam (1979)
Holland, S.S.: Orthomodularity in infinite dimensions; a theorem of M. Solér. Bull. Am. Math. Soc. 32, 205–234 (1995)
Jauch, J.M.: Foundations of Quantum Mechanics. Addison-Wesley, Reading (1968)
Jauch, J.M., Piron, C.: Can hidden variables be excluded in quantum mechanics? Helv. Phys. Acta 36, 827–837 (1963)
Keller, H.: Ein nicht-klassischer Hilbertscher Raum. Math. Z. 172, 41–49 (1980)
Keller, H.: Measures on Non-Classical Hilbertian Spaces, Notas Mathematicas No 16. Universidad Catoliga Santiago, Chile (1984)
Lahti, P., Bugajski, S.: Fundamental principles of quantum theory. II. From a convexity scheme to the DHB theory. Int. J. Theor. Phys. 24, 1051–1080 (1985)
Lahti, P.J., Ma̧czynski, M.J.: Heisenberg inequality and the complex field in quantum mechanics. J. Math. Phys. 28, 1764–1769 (1987)
Lahti, P.J., Ma̧czynski, M.J.: Orthomodularity and quadratic transformations in probabilistic theories of physics. J. Math. Phys. 33, 4133–4138 (1992)
Loomis, L.H.: On the representation of \(\sigma \)-complete Boolean algebras. Bull. Am. Math. Soc. 35, 757–760 (1947)
Ludwig, G.: Attempt of an axiomatic foundation of quantum mechanics and more general theories (II). Commun. Math. Phys 4, 331–348 (1967)
Ludwig, G.: Foundations of Quantum Mechanics I. Springer, New York (1983)
Mackey, G.: Mathematical Foundations of Quantum Mecianics. W.A. Benjamin Inc., New York (1963)
Ma̧czynski, M.J.: The orthogonality postulate in axiomatic quantum mechanics. Int. J. Theor. Phys. 8, 353–360 (1973)
Maeda, F., Maeda, S.: Theory of Symmetric Lattices. Springer, Berlin (1970)
Mielnik, B.: Theory of filters. Commun. Math. Phys. 15, 1–46 (1969)
Mielnik, B.: Generalized quantum mechanics. Commun. Math. Phys. 37, 115–152 (1974)
Mittelstaedt, P.: Quantum Logic. D. Reidel Publ. Co., Dordrecht (1978)
Molnár, L.: Selected Preserver Problems in Algebraic Structures of Linear Operators and on Function Spaces. Springer, LNM 1895 (2007)
Morash, R.P.: Angle bisection and orthoautomorphisms in Hilbert lattices. Can. J. Math. 25, 261–272 (1973)
Piron, C.: Foundations of Quantum Physics. Benjamin, Reading (1976)
Piziak, R.: Orthomodular lattices and quandratic spaces: a survey. Rocky Mt J. Math. 21, 951–992 (1991)
Pulmannová, S.: Axiomatization of quantum logics. Int. J. Theor. Phys. 35, 2309–2319 (1996)
Pool, J.C.T.: Baer\({}^*\)-semigroups and the logic of quantum mechanics. Commun. Math. Phys. 9, 118–141 (1968)
Pool, J.C.T.: Semimodularity and the logic of quantum mechanics. Commun. Math. Phys. 9, 212–228 (1968)
Pták, P., Pulmannová, S.: Orthomodular Structures as Quantum logics. Kluwer, Dordrecht (1991)
Rédei, M.: Quantum Logic in Algebraic Approach, Fundamental Theories of Physics 91. Kluwer Academic, Dordrecht (1998)
Schaefer, H.H.: Topological Vector Spaces. Springer, Berlin (1971)
Schaefer, H.H.: Orderings of vector spaces. In: Hartkämper, A., Neumann, H. (eds.) Foundations of Quantum Mechanics and Ordered Linear Spaces, pp. 4–10. Springer, Berlin (1974)
Solér, M.P.: Characterization of Hilbert spaces by orthomodular spaces. Commun. Algebr. 23, 219–243 (1995)
Sikorski, R.: Boolean Algebras. Springer, Berlin (1964)
Stone, M.H.: The theory of representations of Boolean algebras. Trans. Am. Math. Soc. 40, 37–111 (1936)
Stone, M.H.: Postulates for the barycentric calculus. Ann. Mat. Pura Appl., 29 (1949), 25 Ű30
Varadarajan, V.S.: Geometry of Quantum Theory, n edn. Springer, New York (1985)
Wilbur, W.J.: On characterizing the standard quantum logic. Trans. Am. Math. Soc. 233, 265–281 (1977)
Zierler, N.: Axioms for non-relativistic quantum mechanics. Pac. J. Math., 11, 1151–1169 (1961)
Acknowledgments
We are grateful to Drs. Paul Busch and Maciej Ma̧czynski for their valuable comments in earlier versions of this manuscript.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cassinelli, G., Lahti, P. An Axiomatic Basis for Quantum Mechanics. Found Phys 46, 1341–1373 (2016). https://doi.org/10.1007/s10701-016-0022-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10701-016-0022-y