Optimal Measurement Structures for Contextuality Applications
arXiv:2206.13139 · doi:10.1038/s41534-023-00728-2
Abstract
The Kochen-Specker (KS) theorem is a corner-stone result in the foundations of quantum mechanics describing the fundamental difference between quantum theory and classical non-contextual theories. Recently specific substructures termed -gadgets were shown to exist within KS proofs that capture the essential contradiction of the theorem. Here, we show these gadgets and their generalizations provide an optimal toolbox for contextuality applications including (i) constructing classical channels exhibiting entanglement-assisted advantage in zero-error communication, (ii) identifying large separations between quantum theory and binary generalised probabilistic theories, and (iii) finding optimal tests for contextuality-based semi-device-independent randomness generation. Furthermore, we introduce and study a generalisation to definite prediction sets for more general logical propositions, that we term higher-order gadgets. We pinpoint the role these higher-order gadgets play in KS proofs by identifying these as induced subgraphs within KS graphs and showing how to construct proofs of state-independent contextuality using higher-order gadgets as building blocks. The constructions developed here may help in solving some of the remaining open problems regarding minimal proofs of the Kochen-Specker theorem.
arXiv commentAccepted in npj Quantum Information. 23 pages, 5 figures
References in corpus (26)
- Random Numbers Certified by Bell's Theorem
- A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
- Contextuality supplies the magic for quantum computation
- A simple test for hidden variables in spin-1 system
- Experimentally testable state-independent quantum contextuality
- Free randomness can be amplified
- Bell-Kochen-Specker theorem: A proof with 18 vectors
- Graph-Theoretic Approach to Quantum Correlations
- State-independent proof of Kochen-Specker theorem with 13 rays
- Almost quantum correlations
- Improving zero-error classical communication with entanglement
- Generalized monogamy of contextual inequalities from the no-disturbance principle
- Robust Device-Independent Randomness Amplification with Few Devices
- A variant of the Kochen-Specker theorem localising value indefiniteness
- Robust self-testing of quantum systems via noncontextuality inequalities
- Quantum contextuality provides communication complexity advantage
- Randomness amplification against no-signaling adversaries using two devices
- Free randomness amplification using bipartite chain correlations
- Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories
- Quantum correlations are stronger than all nonsignaling correlations produced by n-outcome measurements
- A Quantum Random Number Generator Certified by Value Indefiniteness
- Activation of monogamy in non-locality using local contextuality
- Gadget structures in proofs of the Kochen-Specker theorem
- Contextuality offers device-independent security
- Proposed experiment to test fundamentally binary theories
- Large violations in Kochen Specker contextuality and their applications