The complete Heyting algebra of subsystems and contextuality

Abstract

The finite set of subsystems of a finite quantum system with variables in $\mathbb{Z}(n)$, is studied as a Heyting algebra. The physical meaning of the logical connectives is discussed. It is shown that disjunction of subsystems is more general concept than superposition. Consequently the quantum probabilities related to projectors in the subsystems, are incompatible with associativity of the join in the Heyting algebra, unless if the variables belong to the same chain. This leads to contextuality, which in the present formalism has as contexts, the chains in the Heyting algebra. Logical Bell inequalities, which contain `Heyting factors', are discussed. The formalism is also applied to the infinite set of all finite quantum systems, which is appropriately enlarged in order to become a complete Heyting algebra.

References in corpus (11)

• Hidden Variables and the Two Theorems of John Bell
• A simple test for hidden variables in spin-1 system
• The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
• State-independent experimental test of quantum contextuality
• Specker's Parable of the Over-protective Seer: A Road to Contextuality, Nonlocality and Complementarity (PLUS AN ERRATUM)
• Experimental test of quantum contextuality in neutron interferometry
• Simple explanation of the quantum violation of a fundamental inequality
• Logical Bell Inequalities
• An angular momentum approach to quadratic Fourier transform, Hadamard matrices, Gauss sums, mutually unbiased bases, unitary group and Pauli group
• Quantum mechanics on profinite groups and partial order
• Partial order and a $T_0$-topology in a set of finite quantum systems

Cited by in corpus (4)

• Quantum probabilities as Dempster-Shafer probabilities in the lattice of subspaces
• Lower and upper probabilities in the distributive lattice of subsystems
• Quantum correlations expressed as information and entropic inequalities for composite and noncomposite systems
• Probabilistic inequalities and measurements in bipartite systems