Kybernetika 46 no. 6, 982-995, 2010

Quantum logics and bivariable functions

Eva Drobná, Oľga Nánásiová and Ľubica Valášková

Abstract:

New approach to characterization of orthomodular lattices by means of special types of bivariable functions $G$ is suggested. Under special marginal conditions a bivariable function $G$ can operate as, for example, infimum measure, supremum measure or symmetric difference measure for two elements of an orthomodular lattice.

Keywords:

orthomodular lattice, conditional state, bivariable functions, modeling infimum measure, supremum measure, simultaneous measurements, finite atomistic quantum logic, s-map, d-map

Classification:

03G10, 03G12, 03G25, 03H05

paper.pdf

References:

  1. A. M.~Al-Adilee and O.~N\'an\'asiov\'a: Copula and s-map on a quantum logic. Inform. Sci. 179 (2009), 4199-4207.   CrossRef
  2. G.~Dohnal: Markov property in quantum logic. A reflection. Inform. Sci. 179 (2009), 485-491.   CrossRef
  3. A.~Dvure\v censkij and S.~Pulmannov\'a: New Trends in Quantum Structure. Kluwer Acad. Publishers, Dortrecht/Boston/London, Ister Science, Bratislava 2000.   CrossRef
  4. R. J.~Greechie: Orthogonal lattices admitting no states. J. Combin. Theory, Ser. A10 (1971), 119-132.   CrossRef
  5. G.~Kalmbach: Orthomodular Lattices. Academic Press, London 1983.   CrossRef
  6. O.~N\'an\'asiov\'a: Map for simultaneous measurements for a quantum logic. Internat. J. Theoret. Phys. 42 (2003), 1889-1903.   CrossRef
  7. O.~N\'an\'asiov\'a: Principle conditioning. Internat. J. Theoret. Phys. 43 (2004), 1757-1767.   CrossRef
  8. O.~N\'an\'asiov\'a and A.~Khrennikov: Representation theorem for observables on a quantum system. Internat. J. Theoret. Phys. 45 (2006), 469-482.   CrossRef
  9. O.~N\'an\'asiov\'a and A.~Khrennikov: Compatibility and marginality. Internat. J. Theoret. Phys. 46 (2007) 1083-1095.   CrossRef
  10. O.~N\'an\'asiov\'a and S.~Pulmannov\'a: S-map and tracial states. Inform. Sci. 179 (2009) 515-520.} \bibitem {NT} O.~N\'an\'asiov\'a and K.~Trokanov\'a, and I.~\v{Z}embery: \newblock{Commutative and non commutative s-maps.} \newblock{Forum Statist. Slovacum 2 (2007) 172-177.   CrossRef
  11. O.~N\'an\'asiov\'a and \softL{}.~Val\'a\v skov\'a: Maps on a quantum logic. Soft Computing (2009). doi:10.1007/s00500-009-0483-4   CrossRef
  12. O.~N\'an\'asiov\'a and \softL{}.~Val\'a\v skov\'a: Marginality and triangle inequality Internat. J. Theoret. Phys. (2010), accepted.   CrossRef
  13. M.~Navara: An othomodular lattice admitting no group-valued measure. Proc. Amer. Math. Soc. 122 (1994), 7-12.   CrossRef
  14. J.~von Neumann: Mathematische Grundlagen der Quantenmechanik. Springer-Verlag, Berlin 1932.   CrossRef
  15. P.~Pt\'ak and S.~Pulmannov\'a: Quantum Logics. Kluwer Acad. Press, Bratislava 1991.   CrossRef
  16. V.~Varadarajan: Geometry of Quantum Theory. D. Van Nostrand, Princeton, New Jersey 1968.   CrossRef