Kybernetika 59 no. 5, 737-751, 2023

Matrix representation of finite effect algebras

Grzegorz Bińczak, Joanna Kaleta and Andrzej ZembrzuskiDOI: 10.14736/kyb-2023-5-0737

Abstract:

In this paper we present representation of finite effect algebras by matrices. For each non-trivial finite effect algebra $E$ we construct set of matrices $M(E)$ in such a way that effect algebras $E_1$ and $E_2$ are isomorphic if and only if $M(E_1)=M(E_2)$. The paper also contains the full list of matrices representing all nontrivial finite effect algebras of cardinality at most $8$.

Keywords:

effect algebra, state of effect algebra

Classification:

81P10, 81P15

paper.pdf

References:

  1. P. Bush, P. J. Lahti and P. Mittelstadt: The quantum theory of measurement. In: The Quantum Theory of Measurement. Lecture Notes in Physics Monographs, Vol 2. Springer, Berlin, Heidelberg 1991.   DOI:10.1007/978-3-662-13844-1\_3
  2. P. Bush, M. Grabowski and P. J. Lahti: Operational Quantum Physics. Springer-Verlag, Berlin 1995.   DOI:10.1007/978-3-540-49239-9
  3. A. Dvurečenskij and S. Pulmannová: New Trends in Quantum Structures. Kluwer Academic Publ./Ister Science, Dordrecht-Boston-London/Bratislava 2000.   DOI:10.1007/978-94-017-2422-7
  4. D. J. Foulis and M. K. Bennett: Effect algebras and unsharp quantum logics. Found. Phys. 24 (1994), 1331-1352.   DOI:10.1007/BF02283036
  5. R. Giuntini and H. Grueuling: Toward a formal language for unsharp properties. Found. Phys. 19 (1989), 931-945.   DOI:10.1007/BF01889307
  6. R. J. Greechie: Orthomodular lattices admitting no states. J. Combinat. Theory 10 (1971), 119-132.   DOI:10.1016/0097-3165(71)90015-X
  7. S. Gudder: Effect test spaces and effect algebras. Found. Phys. 27 (1997), 287-304.   DOI:10.1007/BF02550455
  8. F. K\^{o}pka and F. Chovanec: $D$-posets. Math. Slovaca 44 (1994), 21-34.   CrossRef
  9. Maxima:     https://maxima.sourceforge.io
  10. Z. Riečanová: Proper Effect Algebras Admitting No States. Int. J. Theoret. Physics 40 (2001), 10, 1683-1691.   DOI:10.1023/A:1011911512416
  11. Wei Ji: Characterization of homogeneity in orthocomplete atomic effect algebras. Fuzzy Sets Systems 236 (2014), 113-121.   DOI:10.1016/j.fss.2013.06.005
  12. Wikipedia:     https://en.wikipedia.org/wiki/Rouch\'{e}-Capelli\_theorem