Proof of the Peres conjecture for contextuality
arXiv:2001.07656 · doi:10.1103/PhysRevLett.124.230401
Abstract
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the predictions of quantum mechanics. Based on our results, we show that the Kochen-Specker set with 18 vectors from Cabello et al. [A. Cabello et al., Phys. Lett. A 212, 183 (1996)] is the minimal set for any dimension, verifying a longstanding conjecture by Peres. Our results allow to identify minimal contextuality scenarios and to study their usefulness for information processing.
arXiv comment8 pages, 5 figures, v2: small changes, final version
References in corpus (30)
- 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
- The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
- State-independent experimental test of quantum contextuality
- Bell-Kochen-Specker theorem: A proof with 18 vectors
- Graph-Theoretic Approach to Quantum Correlations
- Contextuality in Measurement-based Quantum Computation
- State-independent proof of Kochen-Specker theorem with 13 rays
- State-independent quantum contextuality with single photons
- An experimental test of noncontextuality without unwarranted idealizations
- Computational power of correlations
- Testing contextuality on quantum ensembles with one clean qubit
- Improving zero-error classical communication with entanglement
- Bounding the set of finite dimensional quantum correlations
- From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism
- State-independent experimental tests of quantum contextuality in a three dimensional system
- Kochen-Specker theorem for 8-dimensional space
- Optimal inequalities for state-independent contextuality
- Kochen-Specker Vectors
- Fully nonlocal quantum correlations
- Simple Hardy-like proof of quantum contextuality
- Experimental fully contextual correlations
- Hybrid ququart-encoded quantum cryptography protected by Kochen-Specker contextuality
- Test of Genuine Multipartite Nonlocality Without Inequality
- Generalized Hardy's Paradox
- What's Wrong with these Observables?
- A proof of the Kochen-Specker theorem can always be converted to a state-independent noncontextuality inequality
- Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states
Cited by in corpus (17)
- Kochen-Specker Contextuality
- Converting contextuality into nonlocality
- What makes quantum clicks special?
- Extensions of Hardy-type true-implies-false gadgets to classically obtain indistinguishability
- Certifying sets of quantum observables with any full-rank state
- Optimal and tight Bell inequalities for state-independent contextuality sets
- Experimental test of high-dimensional quantum contextuality based on contextuality concentration
- Generalized Greenberger-Horne-Zeilinger arguments from quantum logical analysis
- Experimental demonstration of the violation of the temporal Peres-Mermin inequality using contextual temporal correlations and noninvasive measurements
- Exploring the boundary of quantum correlations with a time-domain optical processor
- Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
- Supersinglets can be self-tested with perfect quantum strategies
- Twenty years of quantum contextuality at USTC
- Maximal Non-Kochen-Specker Sets and a Lower Bound on the Size of Kochen-Specker Sets
- Simultaneous All-versus-Nothing Refutation of Local Realism and Noncontextuality by a Single System
- Probe of Generic Quantum Contextuality and Nonlocal Resources for Qubits
- Analogs of absolutely maximally entangled states in nonlocal correlations via the sheaf-theoretic framework and its applications