×

Concrete quantum logics with covering properties. (English) Zbl 0772.03031

A concrete logic is a nonempty family \(L\) of subsets of a set \(X\) which is closed under complements and disjoint unions. For each cardinal \(\alpha\), the authors define a class \({\mathcal C}_ \alpha\) of concrete logics \(L\) such that, for each \(A,B\in L\), \(A\neq B\), there is a collection \(\{C_ i: i\in I\}\subset L\) satisfying \(\text{card }I<\alpha\) and \(A\cap B=\bigcup_{i\in I} C_ i\) \(({\mathcal C}_ 2\) is the class of Boolean algebras). Highly nontrivial examples are presented which show that \({\mathcal C}_ \beta\subsetneq{\mathcal C}_ \alpha\) for \(\beta<\alpha\). Moreover, \(\bigcup_{\beta<\alpha}{\mathcal C}_ \beta\subsetneq{\mathcal C}_ \alpha\). For \(\alpha\) finite, this answers questions posed by the reviewer and P. Pták [J. Pure Appl. Algebra 60, 105-111 (1989; Zbl 0691.03045)].
A state on a concrete logic is a (finitely additive) probability measure. A Jauch-Piron state is a state \(s\) on \(L\) such that \(s(A)=s(B)=1\) implies the existence of a \(C\in L\), \(C\subset A\cap B\), such that \(s(C)=1\). The authors clarify the relations between the classes \({\mathcal C}_ \alpha\) and the classes of concrete logics on which (i) all states, resp. (ii) all two-valued states, resp. (iii) all states carried by a point, are Jauch-Piron. Sufficient conditions are given for concrete logics from these classes to be Boolean algebras.
The paper presents a detailed and precise study of the topic. A list of open questions is included. One of them has been solved recently by the first author [“Jauch-Piron states on concrete quantum logics”, Int. J. Theor. Phys. (to appear)]: There is a concrete logic \(L\) which is not a Boolean algebra and all states on \(L\) are Jauch-Piron.
Reviewer: M.Navara (Praha)

MSC:

03G12 Quantum logic
06C15 Complemented lattices, orthocomplemented lattices and posets
81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

Citations:

Zbl 0691.03045
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Birkhoff, G., and von Neumann, J. (1936). The logic of quantum mechanics,Annals of Mathematics,37, 823-843. · JFM 62.1061.04 · doi:10.2307/1968621
[2] Bunce, L. J., Navara, M., Pt?k, P., and Wright, J. D. M. (1985). Quantum logics with Jauch-Piron states,Quarterly Journal of Mathematics (Oxford) (2),36, 261-271. · Zbl 0585.03038 · doi:10.1093/qmath/36.3.261
[3] Gudder, S. P. (1979).Stochastic Methods in Quantum Mechanics, North-Holland, New York. · Zbl 0439.46047
[4] Jauch, J. (1968).Foundations of Quantum Mechanics, Addison-Wesley, Reading, Massachusetts. · Zbl 0166.23301
[5] Navara, M., and Pt?k, P. (1989). Almost Boolean orthomodular posets,Journal of Pure and Applied Algebra,60, 105-111. · Zbl 0691.03045 · doi:10.1016/0022-4049(89)90108-4
[6] Navara, M., and Tkadlec, J. (1991). Automorphisms of concrete logics,Commentationes Mathematicae Universitatis Carolinae,32, 15-25. · Zbl 0742.06008
[7] Piron, C. (1976).Foundation of Quantum Physics, Benjamin, Reading, Massachusetts. · Zbl 0333.46050
[8] Pt?k, P., and Pulmannov?, S. (1991).Orthomodular Structures as Quantum Logics, Kluwer, Dordrecht. · Zbl 0743.03039
[9] Pt?k, P., and Wright, J. D. M. (1985). On the concreteness of quantum logics,Aplikace Matematiky,30, 274-285. · Zbl 0586.03050
[10] Rogalewicz, V. (1991). Jauch-Piron logics with finiteness conditions,International Journal of Theoretical Physics,30, 437-445. · Zbl 0728.03034 · doi:10.1007/BF00672890
[11] Tkadlec, J. (1991). A note on distributivity in orthoposets,Demonstratio Mathematica,24, 343-346. · Zbl 0754.06001
[12] Tkadlec, J. (to appear). Partially additive measures and set representations of orthoposets. · Zbl 0777.06009
[13] Varadarajan, V. S. (1968).Geometry of Quantum Theory I, Van Nostrand, Princeton, New Jersey. · Zbl 0155.56802
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.