Orthocomplementation and compound systems
Boris Ischi
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 Lsep 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 Lsep cannot satisfy all Piron's axioms. In previous works, assuming that Lsep is orthocomplemented, it was argued that Lsep is not orthomodular and fails to have the covering property. Here we prove that Lsep cannot admit and orthocomplementation. Moreover, we propose a natural model for Lsep which has the covering property.
Create a lesson
Related papers
Approximate Synthetic Spectra of Quantum Systems Associated with Compact Lie Groups
Junyang Liu, Hang Wang, Houjin Wang et al.
An example of universal braiding in Links--Gould topological quantum computation
Matthew Harper, Ben-Michael Kohli
Reasoning about Shared-Qubit Concurrency in Quantum Computing
Mingsheng Ying
Information-Geometric Representation of Upper Bounds on Fluctuation Growth in Open Quantum Systems
Newshaw Bahreyni, Paul M. Alsing
Initialization-controlled fault sensitivity and force-balance plateaus in noisy variational quantum optimization
Longhui Shen, Fangzhou Jin, Bin Guo
Quantum identity authentication protocol via perturbed probability amplitudes
Xiangqun Fu, Zheng Han, Hongwei Li et al.