Varieties of contextuality based on probability and structural nonembeddability
arXiv:2103.06110 · doi:10.1016/j.tcs.2022.04.039
Abstract
Different analytic notions of contextuality fall into two major groups: probabilistic and strong notions of contextuality. Kochen and Specker's Theorem~0 is a demarcation criterion for differentiating between those groups. Whereas probabilistic contextuality still allows classical models, albeit with nonclassical probabilities, the logico-algebraic "strong" form of contextuality characterizes collections of quantum observables that have no faithfully embedding into (extended) Boolean algebras. Both forms indicate a classical in- or under-determination that can be termed "value indefinite" and formalized by partial functions of theoretical computer sciences.
arXiv comment12 pages, 3 figures, 2 tables, final version
References in corpus (25)
- A simple test for hidden variables in spin-1 system
- Experimentally testable state-independent quantum contextuality
- Strong Kochen-Specker theorem and incomputability of quantum randomness
- A variant of the Kochen-Specker theorem localising value indefiniteness
- Contextuality in Canonical Systems of Random Variables
- Contextuality in Three Types of Quantum-Mechanical Systems
- Two-Party Bell Inequalities Derived from Combinatorics via Triangular Elimination
- Value-indefinite observables are almost everywhere
- Converting contextuality into nonlocality
- Generalizing Tsirelson's bound on Bell inequalities using a min-max principle
- What Quantum Measurements Measure
- Measures of Contextuality and Noncontextuality
- Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories
- Contextuality and nonlocality in 'no signaling' theories
- Contextuality and Noncontextuality Measures and Generalized Bell Inequalities for Cyclic Systems
- Logical equivalence between generalized urn models and finite automata
- A Quantum Random Number Generator Certified by Value Indefiniteness
- How much contextuality?
- Proposed direct test of a certain type of noncontextuality in quantum mechanics
- Gadget structures in proofs of the Kochen-Specker theorem
- Extensions of Hardy-type true-implies-false gadgets to classically obtain indistinguishability
- New forms of quantum value indefiniteness suggest that incompatible views on contexts are epistemic
- Faithful orthogonal representations of graphs from partition logics
- Quantum value indefiniteness
- Quantum violation of the Suppes-Zanotti inequalities and "contextuality"