arXiv preprint ·
Polyteam logics for quantum contextuality
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
We introduce logics of dependence and independence over polyteams (that is, databases with multiple relation schemes), in a similar way as in arXiv:1704.02158v3 [cs.LO]. On this basis, we develop a logical framework in which we can express (in formulas) relevant properties about the statistics of a repeated quantum experiment. In this framework, we formalize Bell's theorem, and the Kochen-Specker theorem as failure of logical entailments, as it was suggested in arXiv:2107.10817v3 [math.LO]. The key feature of polyteam logics in action here is their power to express both local and global properties, with respect to the set of possible measurements. The point of this is at least twofold. Firstly, as in arXiv:1102.0264v7 [quant-ph], it gives a high-level (information-theoretic) understanding of these physical phenomena, that is not intrinsic to the physical objects involved. Secondly, since logical entailment is often (partially) axiomatizable, this framework incites us to tackle the question of contextuality computationally. We also define semiring-weighted polyteams along with logics on them, and use them to recover the probabilistic versions of the contextuality theorems mentioned above.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Logic
Classical and Quantum Logics with Multiple Non-Equivalent and Non-Isomorphic Models
On the gradient conjecture at infinity: Finite spherical length for gradient trajectories of definable potentials
An Engineering Reading of the Bounded Halting Problem and Observable Properties of a Universal Machine
Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
Monadically Dependent Graph Classes Have Almost Bounded Merge-Width
Get the few papers worth your time in Logic every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.