Abstract
We prove that the 7oa class (equational variety) of generalized orthoarguesian lattices is properly included in all noa classes for n < 7. This result strengthens the conjecture that any generalized orthoarguesian equation is strictly stronger than those of lower orders. The result emerged from our recent analysis of whether three-dimensional Kochen–Specker sets can be represented by Greechie lattices, which are a kind of orthomodular lattice.
Article PDF
Similar content being viewed by others
References
Kalmbach G.: Orthomodular Lattices. Academic Press, London (1983)
Megill N.D., Pavičić M.: Hilbert Lattice Equations. Ann. Henri Poincaré 10, 1335–1358 (2010)
Pavičić, M., McKay, B.D., Megill, N.D., Fresl, K.: Graph Approach to Quantum Systems. J. Math. Phys. 51, 102103–1–31 (2010)
Peres A.: Two Simple Proofs of the Bell–Kochen–Specker Theorem. J. Phys. A 24, L175–L178 (1991)
Megill N.D., Pavičić M.: Equations, states, and lattices of infinite-dimensional Hilbert Space. Int. J. Theor. Phys. 39, 2337–2379 (2000)
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. Quantum Structures, pp. 751–787. Elsevier, Amsterdam (2007)
Isham C.J.: Lectures on Quantum Theory. Imperial College Press, London (1995)
Halmos P.R.: Introduction to Hilbert Space and the Spectral Theory of Spectral Multiplicity. Chelsea, New York (1957)
Mittelstaedt, P.: Quantum Logic. Synthese Library, vol. 126, Reidel, London (1978)
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, 2nd (revised) edn. vol. XXV, American Mathematical Society, New York(1948)
Birkhoff, G.: Lattice Theory. In: American Mathematical Society Colloquium Publications, 3rd (new) edn. vol. XXV, American Mathematical Society, Providence (1967)
Greechie R.J.: Orthomodular lattices admitting no states. J. Comb. Theory A 10, 119–132 (1971)
Dichtl M.: There are loops of order three in orthomodular lattices. Arch. Math. 37, 285–286 (1981)
Dichtl M.: Astroids and Pastings. Algebra Univ. 18, 380–385 (1984)
Navara M.: Constructions of Quantum Structures. In: Engesser, K., Gabbay, D., Lehmann, D. (eds) Handbook of Quantum Logic and Quantum Structures. Quantum Structures, pp. 335–366. Elsevier, Amsterdam (2007)
Svozil K.: Quantum scholasticism: on quantum contexts, counterfactuals, and the absurdities of quantum omniscience. Inf. Sci. 179, 535–541 (2009)
Barrett J., Leifer M.: The de Finetti theorem for test spaces. New J. Phys. 11, 033024 (2009)
Megill N.D., Pavičić M.: Equations, states, and lattices of infinite-dimensional Hilbert Space. Int. J. Theor. Phys. 39, 2337–2379 (2000) ArXiv:quant-ph/0009038
McKay B.D., Megill N.D., Pavičić M.: Algorithms for Greechie Diagrams. Int. J. Theor. Phys. 39, 2381–2406 (2000) ArXiv:quant-ph/0009039
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. Kochen–Specker Sets and Generalized Orthoarguesian Equations. Ann. Henri Poincaré 12, 1417–1429 (2011). https://doi.org/10.1007/s00023-011-0109-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-011-0109-0