Home States with values in the Łukasiewicz groupoid
Article
Licensed
Unlicensed Requires Authentication

States with values in the Łukasiewicz groupoid

  • Milan Matoušek EMAIL logo and Pavel Pták EMAIL logo
Published/Copyright: July 4, 2016
Become an author with De Gruyter Brill

Abstract

In this paper we consider certain groupoid-valued measures and their connections with quantum logic states. Let ∗ stand for the Łukasiewicz t-norm on [0, 1]2. Let us consider the operation ⋄ on [0, 1] by setting x ⋄ y = (xy) ∗ (xy), where x = 1−x. Let us call the triple L = ([0, 1], ⋄, 1) the Łukasiewicz groupoid. Let B be a Boolean algebra. Denote by L(B) the set of all L-valued measures (L-valued states). We show as a main result of this paper that the family L(B) consists precisely of the union of classical real states and Z2-valued states. With the help of this result we characterize the L-valued states on orthomodular posets. Since the orthomodular posets are often understood as “quantum logics” in the logico-algebraic foundation of quantum mechanics, our approach based on a fuzzy-logic notion actually select a special class of quantum states. As a matter of separate interest, we construct an orthomodular poset without any L-valued state.


To Anatolij Dvurečenskij with best wishes

(Communicated by Sylvia Pulmannová)


References

[1] Dvurečenskij, A.—Pulmannová, S.: New Trends in Quantum Structures, Kluwer Acad. Publ./Ister Science, Dordrecht/Bratislava, 2000.10.1007/978-94-017-2422-7Search in Google Scholar

[2] Greechie, R. J.: Orthomodular lattices admitting no states, J. Combin. Theory 10 (1971), 119–132.10.1016/0097-3165(71)90015-XSearch in Google Scholar

[3] Gudder, S. P.: Stochastic Methods in Quantum Mechanics, North Holland, Elsevier, Amsterdam, 1979.Search in Google Scholar

[4] Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht-Boston-London, 1998.10.1007/978-94-011-5300-3Search in Google Scholar

[5] Handbook of Quantum Logic and Quantum Structures (K. Engesser, D. M. Gabbay, D. Lehmann, eds.), Elsevier Science Ltd., Amsterdam, 2007.Search in Google Scholar

[6] Harding, J.—Jager, E.—Smith, D.: Group-Valued Measures on the Lattice of Closed Subspaces of a Hilbert Space, Internat. J. Theoret. Phys. 44 (2005), 539–548.10.1007/s10773-005-3981-xSearch in Google Scholar

[7] Matoušek, M.—Pták, P.: Symmetric difference on orthomodular lattices and Z2-valued states, Comment. Math. Univ. Carolin. 50 (2009), 535–547.Search in Google Scholar

[8] Navara, M.: An orthomodular lattice admitting no group-valued measure, Proc. Amer. Math. Soc. 122 (1994), 7–12.10.1090/S0002-9939-1994-1191871-XSearch in Google Scholar

[9] Pták, P.: Exotic logics, Colloq. Math. 54 (1987), 1–7.10.4064/cm-54-1-1-7Search in Google Scholar

[10] Pták, P.—Pulmannová, S.: Orthomodular Structures as Quantum Logics, Kluwer Academic Publishers, Dordrecht-Boston-London, 1991.Search in Google Scholar

[11] Weber, H.: There are orthomodular lattices without non-trivial group-valued states: A computer-based construction, J. Math. Anal. Appl. 183 (1994), 89–94.10.1006/jmaa.1994.1133Search in Google Scholar

Received: 2014-2-12
Accepted: 2014-3-17
Published Online: 2016-7-4
Published in Print: 2016-4-1

© 2016 Mathematical Institute Slovak Academy of Sciences

Downloaded on 11.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/ms-2015-0139/html
Scroll to top button