Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories

Abstract

An essential ingredient in many examples of the conflict between quantum theory and noncontextual hidden variables (e.g., the proof of the Kochen-Specker theorem and Hardy's proof of Bell's theorem) is a set of atomic propositions about the outcomes of ideal measurements such that, when outcome noncontextuality is assumed, if proposition $A$ is true, then, due to exclusiveness and completeness, a nonexclusive proposition $B$ ($C$) must be false (true). We call such a set a {\em true-implies-false set} (TIFS) [{\em true-implies-true set} (TITS)]. Here we identify all the minimal TIFSs and TITSs in every dimension $d\ge 3$, i.e., the sets of each type having the smallest number of propositions. These sets are important because each of them leads to a proof of impossibility of noncontextual hidden variables and corresponds to a simple situation with quantum vs classical advantage. Moreover, the methods developed to identify them may be helpful to solve some open problems regarding minimal Kochen-Specker sets.

9 pages, 7 figures

References in corpus (8)

• A simple test for hidden variables in spin-1 system
• Experimentally testable state-independent quantum contextuality
• State-independent experimental test of quantum contextuality
• State-independent quantum contextuality with single photons
• Universality of state-independent violation of correlation inequalities for noncontextual theories
• Proposed experiments of qutrit state-independent contextuality and two-qutrit contextuality-based nonlocality
• Logical equivalence between generalized urn models and finite automata
• Proposal of a two-qutrit contextuality test free of the finite precision and compatibility loopholes

Cited by in corpus (26)

• Kochen-Specker Contextuality
• Converting contextuality into nonlocality
• Quantum Contextuality
• 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
• On Possibilistic Conditions to Contextuality and Nonlocality
• Quantum randomness is chimeric
• Roots and (re)sources of value (in)definiteness versus contextuality. A contribution to the Pitowsky Volume in memory of Itamar Pitowsky (1950--2010)
• Noncontextual coloring of orthogonality hypergraphs
• Classical predictions for intertwined quantum observables are contingent and thus inconclusive
• Generalized Greenberger-Horne-Zeilinger arguments from quantum logical analysis
• Large violations in Kochen Specker contextuality and their applications
• Automated Generation of Arbitrarily Many Kochen-Specker and Other Contextual Sets in Odd Dimensional Hilbert Spaces
• A Logical Proof of Quantum Correlations Requiring Entanglement Measurements
• Varieties of contextuality based on probability and structural nonembeddability
• Generalised Kochen-Specker Theorem for Finite Non-Deterministic Outcome Assignments
• Non-Kochen-Specker Contextuality
• Optimal Measurement Structures for Contextuality Applications
• Converting nonlocality into contextuality
• Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
• Binary Quantum Random Number Generator Based on Value Indefinite Observables
• Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions
• Chromatic Quantum Contextuality
• Form of Contextuality Predicting Probabilistic Equivalence between Two Sets of Three Mutually Noncommuting Observables
• Exploring Quantum Contextuality with the Quantum Moebius-Escher-Penrose hypergraph