Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
arXiv:2501.11640 · doi:10.1103/PhysRevA.111.052204
Abstract
Recent results show that Kochen-Specker (KS) sets of observables are fundamental to quantum information, computation, and foundations beyond previous expectations. Among KS sets, those that are unique up to unitary transformations (i.e., "rigid") are especially important. The problem is that we do not know any rigid KS set in , the smallest quantum system that allows for KS sets. Moreover, none of the existing methods for constructing KS sets leads to rigid KS sets in . Here, we show that two fundamental structures of quantum theory define two rigid KS sets. One of these structures is the super-symmetric informationally complete positive-operator-valued measure. The other is the minimal state-independent contextuality set. The second construction provides a clue to solve the minimal KS problem, the most important open problem in this field. We prove that there is no KS set of 30 elements that can be obtained from the minimal state-independent contextuality set by completing bases and adding elements that are orthogonal to two previous elements. We conjecture that 31 is the solution to the minimal KS set problem.
4+17 pages, 1+10 figures
References in corpus (39)
- Symmetric Informationally Complete Quantum Measurements
- Experimentally testable state-independent quantum contextuality
- Quantum advantage with shallow circuits
- State-independent experimental test of quantum contextuality
- The Free Will Theorem
- Self-testing of quantum systems: a review
- The SIC Question: History and State of Play
- State-independent proof of Kochen-Specker theorem with 13 rays
- State-independent quantum contextuality with single photons
- Bootstrap Percolation on Complex Networks
- Kochen-Specker Contextuality
- Geometry of the set of quantum correlations
- "All versus nothing" inseparability for two observers
- All-Versus-Nothing Violation of Local Realism by Two-Photon, Four-Dimensional Entanglement
- N-particle N-level singlet states: Some properties and applications
- Universality of state-independent violation of correlation inequalities for noncontextual theories
- "All-versus-nothing" nonlocality test of quantum mechanics by two-photon hyperentanglement
- Experimental implementation of a Kochen-Specker set of quantum tests
- Optimal inequalities for state-independent contextuality
- Kochen-Specker Vectors
- A Kochen-Specker inequality from a SIC
- Fully nonlocal quantum correlations
- Supersinglets
- Necessary and sufficient condition for quantum state-independent contextuality
- Quantum state-independent contextuality requires 13 rays
- Symmetric Informationally Complete Measurements Identify the Irreducible Difference between Classical and Quantum Systems
- Converting contextuality into nonlocality
- Super-symmetric informationally complete measurements
- Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories
- Recursive proof of the Bell-Kochen-Specker theorem in any dimension
- Proof of the Peres conjecture for contextuality
- Experimental Demonstration of Quantum Pseudotelepathy
- Gadget structures in proofs of the Kochen-Specker theorem
- Certifying sets of quantum observables with any full-rank state
- Equivalence between face nonsignaling correlations, full nonlocality, all-versus-nothing proofs, and pseudotelepathy
- Isomorphism between the Peres and Penrose proofs of the BKS theorem in three dimensions
- Deterministic preparation of supersinglets with collective spin projections
- Simplest bipartite perfect quantum strategies
- Maximal Non-Kochen-Specker Sets and a Lower Bound on the Size of Kochen-Specker Sets