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 = (x⊥ ∗y⊥)⊥ ∗ (x∗y)⊥, 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
© 2016 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Research Article
- Holistic logical arguments in quantum computation
- Research Article
- States with values in the Łukasiewicz groupoid
- Research Article
- On realization of effect algebras
- Research Article
- States on symmetric logics: extensions
- Research Article
- Extensions and measurability in quantum measure spaces
- Research Article
- Convex subalgebras of upper bounded GMV-algebras
- Research Article
- Combining boolean algebras and ℓ-groups in the variety generated by chang’s mv-algebra
- Research Article
- Large rigid sets of algebras with respect to embeddability
- Research Article
- Conformal algebras, vertex algebras, and the logic of locality
- Research Article
- Extension of measures on pseudo-D-lattices
- Research Article
- Note on a parameter switching method for nonlinear ODEs
- Research Article
- Compatibility for probabilistic theories
- Research Article
- Completeness of Gelfand-Neumark-Segal inner product space on Jordan algebras
- Research Article
- Commutativity in a synaptic algebra
- Research Article
- Discrete averaged mixing applied to the logarithmic distributions
- Research Article
- Automorphisms of decompositions
Articles in the same Issue
- Research Article
- Holistic logical arguments in quantum computation
- Research Article
- States with values in the Łukasiewicz groupoid
- Research Article
- On realization of effect algebras
- Research Article
- States on symmetric logics: extensions
- Research Article
- Extensions and measurability in quantum measure spaces
- Research Article
- Convex subalgebras of upper bounded GMV-algebras
- Research Article
- Combining boolean algebras and ℓ-groups in the variety generated by chang’s mv-algebra
- Research Article
- Large rigid sets of algebras with respect to embeddability
- Research Article
- Conformal algebras, vertex algebras, and the logic of locality
- Research Article
- Extension of measures on pseudo-D-lattices
- Research Article
- Note on a parameter switching method for nonlinear ODEs
- Research Article
- Compatibility for probabilistic theories
- Research Article
- Completeness of Gelfand-Neumark-Segal inner product space on Jordan algebras
- Research Article
- Commutativity in a synaptic algebra
- Research Article
- Discrete averaged mixing applied to the logarithmic distributions
- Research Article
- Automorphisms of decompositions