Orthocomplementation and compound systems

DOI10.1007/S10773-005-8016-0MaRDI QIDQ861639zbMATH OpenOpenAlexFDO

Authors Boris Ischi

Publication date 29 January 2007

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0410085

zbMATH Keywords

tensor productquantum logicortholatticecompound system

Mathematics Subject Classification ID

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

Abstract: In their 1936 founding paper on quantum logic, Birkhoff and von Neumann postulated that the lattice describing the experimental propositions concerning a quantum system is orthocomplemented. We prove that this postulate fails for the lattice L_sep describing a compound system consisting of so called separated quantum systems. By separated we mean two systems prepared in different ``rooms of the lab, and before any interaction takes place. In that case the state of the compound system is necessarily a product state. As a consequence, Dirac's superposition principle fails, and therefore L_sep cannot satisfy all Piron's axioms. In previous works, assuming that L_sep is orthocomplemented, it was argued that L_sep is not orthomodular and fails to have the covering property. Here we prove that L_sep cannot admit and orthocomplementation. Moreover, we propose a natural model for L_sep which has the covering property.

Recommendations

• Failure of standard quantum mechanics for the description of compound quantum entities
• Locality and orthomodular structure of compound systems
• A characterization of the Aerts product of Hilbertian lattices
• Property lattices for independent quantum systems
• Different orthomodular orthocomplementations on a lattice

Cites work

• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 3227853 (Why is no real title available?)
• scientific article; zbMATH DE number 3348150 (Why is no real title available?)
• scientific article; zbMATH DE number 3109251 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A characterization of the Aerts product of Hilbertian lattices
• A connection between distributivity and locality in compound P-lattices
• A new lattice construction: The box product
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Orthocomplemented weak tensor products
• Semimodularity and the logic of quantum mechanics
• Tensor product of quantum logics
• The Chu construction for complete atomistic coatomistic lattices
• The Semilattice Tensor Product of Distributive Lattices
• The structure of Galois connections

Cited in

(7)

• A characterization of the Aerts product of Hilbertian lattices
• scientific article; zbMATH DE number 3880577 (Why is no real title available?)
• Orthocomplemented weak tensor products
• Property lattices for independent quantum systems
• scientific article; zbMATH DE number 1534438 (Why is no real title available?)
• A connection between distributivity and locality in compound P-lattices
• Locality and orthomodular structure of compound systems

This page was built for publication: Orthocomplementation and compound systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861639)