Kybernetika 47 no. 4, 541-559, 2011

Observables on sigma-MV algebras and sigma-lattice effect algebras

Anna Jenčová, Silvia Pulmannová and Elena Vinceková

Abstract:

Effect algebras were introduced as abstract models of the set of quantum effects which represent sharp and unsharp properties of physical systems and play a basic role in the foundations of quantum mechanics. In the present paper, observables on lattice ordered $\sigma$-effect algebras and their "smearings" with respect to (weak) Markov kernels are studied. It is shown that the range of any observable is contained in a block, which is a $\sigma$-MV algebra, and every observable is defined by a smearing of a sharp observable, which is obtained from generalized Loomis-Sikorski theorem for $\sigma$-MV algebras. Generalized observables with the range in the set of sharp real observables are studied and it is shown that they contain all smearings of observables.

Keywords:

state, observable, MV algebra, lattice effect algebra, Markov kernel, weak Markov kernel, smearing, generalized observable

Classification:

81P10, 81P15, 03G12

References:

  1. P. Busch, P. J. Lahti and P. Mittelstaedt: The Quantum Theory of Measurement Lecture Notes in Phys., Springer-Verlag, Berlin 1991.   CrossRef
  2. D. Butnariu and E. Klement: Triangular-norm-based measures and their Markov kernel representation. J. Math. Anal. Appl. 162 (1991), 111-143.   CrossRef
  3. G. Barbieri and H. Weber: Measures on clans and on MV-algebras. In: Handbook of Measure Theory, vol. II. (E. Pap, ed.), Elsevier, Amsterdam 2002, pp. 911-945.   CrossRef
  4. R. Cignoli, I. M. L. D'Ottaviano and D. Mundici: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht 2000.   CrossRef
  5. C. Chang: Algebraic analysis of many-valued logic. Trans. Amer. Math. Soc. 89 (1959), 74-80.   CrossRef
  6. F. Chovanec and F. K\^opka: D-lattices. Internat. J. Thoer. Phys. 34 (1995), 1297-1302.   CrossRef
  7. A. Dvurečenskij: Loomis-Sikorski theorem for $\sigma$-complete MV-algebras and $\ell$-groups. J. Austral. Math. Soc. Ser A 68 (2000), 261-277.   CrossRef
  8. A. Dvurečenskij and S. Pulmannová: New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht 2000.   CrossRef
  9. D. J. Foulis and M. K. Bennett: Effect algebras and unsharp quantum logics. Found. Phys. 24 (1994), 1325-1346.   CrossRef
  10. D. J. Foulis: Spectral resolutions in a Rickart comgroup. Rep. Math. Phys. 54 (2004), 229-250.   CrossRef
  11. R. Giuntini and R. Greuling: Toward a formal language for unsharp properties. Found. Phys. 19 (1989), 931-945.   CrossRef
  12. K. R. Goodearl: Partially ordered abelian groups with interpolation. Mat. Surveys Monographs 20, AMS Providence, 1986.   CrossRef
  13. A. S. Holevo: An analogue of the theory of statistical decisions in noncommutative probability theory. Trans. Mosc. Math. Soc. 26 (1972), 133-147.   CrossRef
  14. G. Jenča and Z. Riečanová: On sharp elements in lattice ordered effect algebras. Busefal 80 (1999), 24-29.   CrossRef
  15. A. Jenčová, S. Pulmannová and E. Vinceková: Sharp and fuzzy observables on effect algebras. Internat. J. Theor. Phys. 47 (2008), 1, 125-148.   CrossRef
  16. A. Jenčová and S. Pulmannová: How sharp are PV measures? Rep. Math. Phys. 59 (2007), 257-266.   CrossRef
  17. A. Jenčová and S. Pulmannová: Characterizations of commutative POV measures. Found. Phys. 39 (2009), 613-124.   CrossRef
  18. F. K\^opka and F. Chovanec: D-posets. Math. Slovaca 44 (1994), 21-34.   CrossRef
  19. D. Mundici: Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65 (1986), 15-63.   CrossRef
  20. D. Mundici: Tensor products and the Loomis-Sikorski theorem for MV-algebras. Advan. Appl. Math. 22 (1999), 227-248.   CrossRef
  21. D. Mundici: Averaging the truth-value in in Łukasziewicz logic. Studia Logica 55 (1995), 113-127.   CrossRef
  22. P. Pták and S. Pulmannová: Orthomodular Structures as Quantum Logics. Kluwer, Dordrecht 1991.   CrossRef
  23. S. Pulmannová: A spectral theorem for sigma-MV algebas. Kybernetika 41 (2005), 361-374.   CrossRef
  24. S. Pulmannová: Spectral resolutions in Dedekind $\sigma$-complete $\ell$-groups. J. Math. Anal. Appl. 309 (2005), 322-335.   CrossRef
  25. S. Pulmannová: Spectral resolutions for $\sigma$-complete lattice effect algebras. Math. Slovaca 56 (2006), 555-571.   CrossRef
  26. S. Pulmannová: Sharp and unsharp observables on $\sigma$-MV algebras--A comparison with the Hilbert space approach. Fuzzy Sets and Systems 159 (2008), 3065-3077.   CrossRef
  27. B. Riečan and T. Neubrunn: Integral, Measure and Ordering. Kluwer, Dordrecht - Ister Science, Bratislava 1997.   CrossRef
  28. Z. Riečanová: Generalization of blocks for D-lattices and lattice-ordered effect algebras. Internat. J. Theor. Phys. 39 (2000), 231-237.   CrossRef
  29. J. Štepán: Probability Theory. (Teorie pravděpodobnosti. (In Czech.) Academia, Praha 1987.   CrossRef
  30. H. Strasser: Mathematical Theory of Statistics. W. De Gruyter, Berlin - New York 1985.   CrossRef
  31. V. S. Varadarajan: Geometry of Quantum Theory. Springer-Verlag, Berlin 1985.   CrossRef