Abstract
There are five known classes of lattice equations that hold in every infinite dimensional Hilbert space underlying quantum systems: generalised orthoarguesian, Mayet’s \({\mathcal{E}_A}\), Godowski, Mayet–Godowski, and Mayet’s E equations. We obtain a result which opens a possibility that the first two classes coincide. We devise new algorithms to generate Mayet–Godowski equations that allow us to prove that the fourth class properly includes the third. An open problem related to the last class is answered. Finally, we show some new results on the Godowski lattices characterising the third class of equations.
Article PDF
Similar content being viewed by others
References
Solèr M.P.: Characterization of Hilbert spaces by orthomodular spaces. Comm. Alg. 23, 219–243 (1995)
Holland S.S. Jr: Orthomodularity in infinite dimensions; a theorem of M. Solèr. Bull. Am. Math. Soc. 32, 205–234 (1995)
Megill N.D., Pavičić M.: Equations, states, and lattices of infinite-dimensional Hilbert space. Int. J. Theor. Phys. 39, 2337–2379 (2000)
Mayet R.: Equations holding in Hilbert lattices. Int. J. Theor. Phys. 45, 1216–1246 (2006)
Godowski R.: Varieties of orthomodular lattices with a strongly full set of states. Demonstr. Math. 14, 725–733 (1981)
Mayet R.: Equational bases for some varieties of orthomodular lattices related to states. Algebra Univers. 23, 167–195 (1986)
Pavičić M., Megill N.D.: Quantum logic and quantum computation. In: Engesser, K., Gabbay, D., Lehmann, D. (eds) Handbook of Quantum Logic and Quantum Structures, vol. Quantum Structures, pp. 751–787. Elsevier, Amsterdam (2007)
Mayet R.: Ortholattice equations and Hilbert lattices. In: Engesser, K., Gabbay, D., Lehmann, D. (eds) Handbook of Quantum Logic and Quantum Structures. Quantum Structures, pp. 525–554. Elsevier, Amsterdam (2007)
Beran L.: Orthomodular Lattices; Algebraic Approach. D. Reidel, Dordrecht (1985)
Pavičić M., Megill N.D.: Is quantum logic a logic?. In: Engesser, K., Gabbay, D., Lehmann, D. (eds) Handbook of Quantum Logic and Quantum Structures. Quantum Logic, pp. 23–47. Elsevier, Amsterdam (2009)
Birkhoff, G.: Lattice theory. In: American Mathematical Society Colloqium Publications, vol. XXV, 2nd (revised) edn. American Mathematical Society, New York (1948)
Birkhoff, G.: Lattice theory. In: American Mathematical Society Colloquium Publications, vol. XXV, 3rd (new) edn. American Mathematical Society, Providence (1967)
Pavičić M.: Nonordered quantum logic and its YES–NO representation. Int. J. Theor. Phys. 32, 1481–1505 (1993)
Pavičić M.: Identity rule for classical and quantum theories. Int. J. Theor. Phys. 37, 2099–2103 (1998)
Zeman J.J.: Quantum logic with implications. Notre Dame J. Formal Logic 20, 723–728 (1979)
Beltrametti E.G., Cassinelli G.: The Logic of Quantum Mechanics. Addison-Wesley, Reading (1981)
Kalmbach G.: Measures and Hilbert Lattices. World Scientific, Singapore (1986)
Ivert P.-A., Sjödin T.: On the impossibility of a finite propositional lattice for quantum mechanics. Helv. Phys. Acta 51, 635–636 (1978)
Jipsen P., Rose H.: Varieties of Lattices. Springer, New York (1992)
Kalmbach G.: Orthomodular Lattices. Academic Press, London (1983)
Kalmbach G.: Quantum Measures and Spaces. Kluwer, Dordrecht (1998)
Ma̧czyński M.J.: Hilbert space formalism of quantum mechanics without the Hilbert space axiom. Rep. Math. Phys. 3, 209–219 (1972)
Pták P., Pulmannová S.: Orthomodular Structures as Quantum Logics. Kluwer, Dordrecht (1991)
Mayet R.: Varieties of orthomodular lattices related to states. Algebra Univers. 20, 368–396 (1985)
McKay B.D., Megill N.D., Pavičić M.: Algorithms for Greechie diagrams. Int. J. Theor. Phys. 39, 2381–2406 (2000)
Pavičić, M., Merlet, J.-P., McKay, B.D., Megill, N.D.: Kochen–Specker vectors. J. Phys. A 38, 1577–1592 and 3709 (corrigendum) (2005)
Jajte R., Paszkiewicz A.: Vector measures on the closed subspaces of a Hilbert space. Studia Math. 63, 229–251 (1978)
Maeda F., Maeda S.: Theory of Symmetric Lattices. Springer, New York (1970)
Navara M.: Small quantum structures with small state spaces. Int. J. Theor. Phys. 47, 36–43 (2008)
Hultgren B.O. III, Shimony A.: The lattice of verifiable propositions of the spin-1 system. J. Math. Phys. 18, 381–394 (1977)
Swift A.R., Wright R.: Generalized Stern–Gerlach experiments and the observability of arbitrary spin operators. J. Math. Phys. 21, 77–82 (1980)
Pavičić, M., McKay, B.D., Megill, N.D., Fresl, K.: Reverse Kochen–Specker setups (2009, in preparation)
Kläy, M.: Stochastic Models on Empirical Systems, Empirical Logic and Quantum Logics, and States on Hypergraphs. PhD thesis, University of Bern, Faculty of Natural Science, Fischer Druck, Münsingen (1985)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Carlo Rovelli.
Rights and permissions
About this article
Cite this article
Megill, N.D., Pavičić, M. Hilbert Lattice Equations. Ann. Henri Poincaré 10, 1335–1358 (2010). https://doi.org/10.1007/s00023-009-0019-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-009-0019-6