Abstract
In the logico-algebraic approach to the foundation of quantum mechanics we sometimes identify the set of events of the quantum experiment with an orthomodular lattice (“quantum logic”). The states are then usually associated with (normalized) finitely additive measures (“states”). The conditions imposed on states then define classes of orthomodular lattices that are sometimes found to be universal-algebraic varieties. In this paper we adopt a conceptually different approach, we relax orthomodular to orthocomplemented and we replace the states with certain subadditive mappings that range in the Łukasiewicz groupoid. We then show that when we require a type of “fulness” of these mappings, we obtain varieties of orthocomplemented lattices. Some of these varieties contain the projection lattice in a Hilbert space so there is a link to quantum logic theories. Besides, on the purely algebraic side, we present a characterization of orthomodular lattices among the orthocomplemented ones. - The intention of our approach is twofold. First, we recover some of the Mayet varieties in a principally different way (indeed, we also obtain many other new varieties). Second, by introducing an interplay of the lattice, measure-theoretic and fuzzy-set notions we intend to add to the concepts of quantum axiomatics.
Similar content being viewed by others
References
Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823–843 (1936)
Bruns, G., Harding, J.: Algebraic aspects of orthomodular lattices. Fundam. Theor. Phys. 111, 37–65 (2000)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer-Verlag, New York (1981)
De Simone, A., Navara, M., Pták, P.: States on systems of sets that are closed under symmetric difference. Math. Nachr. 288(17-18), 1995–2000 (2015)
Foulis, D.J.: A half century of quantum logic, einstein meets magritte conference. Springer Netherlands, vol. 7, 1–36 (1999)
Godowski, R.: Varieties of orthomodular lattices with a strongly full sets of states. Demonstratio Math. 14, 725–733 (1981)
Greechie, R.J.: Orthomodular lattices admitting no states. J. Combinat. Theory 10, 119–132 (1971)
Gudder, S.P.: Stochastic Methods in Quantum Mechanics. Elsevier/North-Holland, Amsterdam (1979)
Handbook of Quantum Logic and Quantum Structures. In: Engesser, K., Gabbay, D.M., Lehmann, D. (eds.) Elsevier (2007)
Hroch, M.: Pták P.: States on orthocomplemented difference posets (Extensions). Lett. Math. Phys. 106(8), 1131–1137 (2016)
Kalmbach, G.: Orthomodular Lattices. Academic Press, London (1983)
Maczynski, M.: A remark on Mackey’s axiom system for quantum mechanics. Bull. Acad. Polon. Sci. 15, 583–587 (1967)
Matousek, M.: Orthocomplemented lattices with a symmetric difference. Algebra Univers. 60, 185–215 (2009)
Matousek, M., Pták, P.: Orthomodular posets related to z 2-valued states. Int. J. Theor. Phys. 53(10), 3323–3332 (2014)
Matousek, M.: Pták P., States with values in the Łukasiewicz groupoid. Math. Slovaca 66(2), 1–8 (2016)
Mayet, R.: Varieties of orthomodular lattices related to states. Algebra Univers. 20, 368–386 (1985)
Mayet, R.: Equational bases for some varieties of orthomodular lattices related to states. Algebra Univers. 23, 167–195 (1986)
Mayet, R., Pták, P.: Quasivarieties of orthomodular lattices determined by conditions on states. Algebra Univers. 42, 155–164 (1999)
Mittelstaedt, P.: The modal logic of quantum logic. J. Philos. Logic 8, 479–504 (1979)
Navara, M., Pták P., Rogalewicz V.: Enlargements of quantum logics. Pacific J. Math. 135, 361–369 (1988)
Ptaḱ, P., Pulmannová, S.: Orthomodular Structures as Quantum Logics. Kluwer Academic Publishers, Dordrecht/Boston/London (1991)
Pták P., Pulmannová S.: A measure-theoretic characterization of Boolean algebras among orthomodular lattices. Comment. Math. Univ. Carolin. 35(1), 205–208 (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Matoušek, M., Pták, P. Varieties of Orthocomplemented Lattices Induced by Łukasiewicz-Groupoid-Valued Mappings. Int J Theor Phys 56, 4004–4016 (2017). https://doi.org/10.1007/s10773-017-3411-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-017-3411-x