Abstract
The projection latticesP(ℳ1),P(ℳ2) of two von Neumann subalgebras ℳ1, ℳ2 of the von Neumann algebra ℳ are defined to be logically independent if A ∧ B≠0 for any 0≠AεP(ℳ1), 0≠BP(ℳ2). After motivating this notion in independence, it is shown thatP(ℳ1),P(ℳ2) are logically independent if ℳ1 is a subfactor in a finite factor ℳ andP(ℳ1),P(ℳ2 commute. Also, logical independence is related to the statistical independence conditions called C*-independence W*-independence, and strict locality. Logical independence ofP(ℳ1,P(ℳ2 turns out to be equivalent to the C*-independence of (ℳ1,ℳ2) for mutually commuting ℳ1,ℳ2 and it is shown that if (ℳ1,ℳ2) is a pair of (not necessarily commuting) von Neumann subalgebras, thenP(ℳ1,P(ℳ2 are logically independent in the following cases: ℳ is a finite-dimensional full-matrix algebra and ℳ1,ℳ2 are C*-independent; (ℳ1,ℳ2) is a W*-independent pair; ℳ1,ℳ2 have the property of strict locality.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
J. Bub, “What does quantum logic explain?” inCurrent Issues in Quantum Logic, Enrico G. Beltrametti and Bas C. van Fraassen. eds. (Plenum, New York, 1981), pp. 89–100.
L. J. Bunce and J. Hamhalter, “Jauch-Piron states on von Neumann algebras”.Math. Z. 215, 491–502 (1993).
L. J. Bunce, M. Navara, P. Pták, and J. D. M. Wright, “Quantum logics with Jauch-Piron states”,Q. J. Math. (Oxford) (2)36, 261–271 (1985).
G. Birkhoff and J. von Neumann, “The logic of quantum mechanics,”Ann. Math. 37, 823–843 (1936)
R. Haag,Local Quantum Physics. Fields, Particles, Algebras (Springer, Berlin, 1992).
R. Haag and D. Kastler, “An algebraic approach to quantum field theory,”J. Math. Phys. 5, 848–861 (1964).
J. Hamhalter, “Pure Jauch-Piron states on von Neumann algebras,”Ann. Inst. Henri Poincaré 58, 173–187 (1993).
S. Horuzhy,Introduction to Algebraic Quantum Field Theory (Kluwer, Dordrecht, 1990).
V. F. R. Jones, “Index for subfactors,”Inv. Math. 72, 1–25 (1983).
K. Kraus, “General quantum field theories and strict locality,”Z. Phys. 181, 1–12 (1964)
P. Lahti and Kary Ylinen, “On total noncommutatitvity in quantum mechanics,”J. Math. Phys. 28, 2614–2617 (1987)
F. J. Murray and J. von Neumann, “On rings of operators,”Ann. Math. 37, 116–229 (1936); inJ. von Neumann, Collected Works, Vol. III, A. H. Taub, ed. (Pergamon, New York, 1962), pp. 6–119.
J. von Neumann, “Continuous geometries with a transition probability,” prepared and edited by I. Halperin (American Mathematical Society, Providence, Rhode Island, 1981); also see inJ. von Neumann, Collected Works, Vol. IV, A. H. Taub, ed. (Pergamon, New York 1962), pp. 191–197.
H. Roos, “Independence of local algebras in quantum field theory,”Commun. Math. Phys. 16, 238–246 (1970).
S. J. Summers, “On the independence of local algebras in quantum field theory,”Rev. Math. Phys. 2, 201–247 (1990).
M. Takesaki, “Conditional expectations in von Neumann algebras,”J. Funct. Anal. 9, 306–321 (1972).
M. Takesaki,Theory of Operator Algebras, I (Springer, New York, 1979).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rédei, M. Logical independence in quantum logic. Found Phys 25, 411–422 (1995). https://doi.org/10.1007/BF02059228
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02059228