The Quantum Logic of Direct-Sum Decompositions: The Dual to the Quantum Logic of Subspaces

Abstract

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2.

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
Quantum Logics and Hilbert Space.Sylvia Pulmannová - 1994 - Foundations of Physics 24 (10):1403-1414.
Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Are the Laws of Quantum Logic Laws of Nature?Peter Mittelstaedt - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (2):215-222.
The New Quantum Logic.Robert B. Griffiths - 2014 - Foundations of Physics 44 (6):610-640.
Operational Foundation of Quantum Logic.P. Mittelstaedt & E. W. Stachow - 1974 - Foundations of Physics 4 (3):355-365.
An Approach to Measurement.Stanley P. Gudder - 1983 - Foundations of Physics 13 (1):35-49.
Quantum Logics with the Existence Property.Christian Schindler - 1991 - Foundations of Physics 21 (4):483-498.
Survey of a Quark Model.Stanley P. Gudder - 1982 - Foundations of Physics 12 (11):1041-1055.

Analytics

Added to PP
2016-04-23

Downloads
457 (#22,487)

6 months
71 (#11,342)

Historical graph of downloads
How can I increase my downloads?