Simplest bipartite perfect quantum strategies
arXiv:2311.17735 · doi:10.1103/PhysRevLett.134.010201
Abstract
A bipartite perfect quantum strategy (BPQS) allows two players who cannot communicate with each other to always win a nonlocal game. BPQSs are rare but fundamental in light of some recent results in quantum information, computation, and foundations. A more than 40-year-old open problem is how many inputs (measurement settings) a BPQS requires. A related problem is how many inputs are needed if, in addition, the quantum system has minimum dimension. A third, apparently unrelated, problem is what is the connection between BPQSs and state-independent contextuality, which inspired the first BPQSs. Here, we solve the third problem: we prove that {\em every} BPQS defines a Kochen-Specker set. We use this result to identify the BPQS with the smallest number of inputs, both in the general case and in the case of minimum dimension, and solve some related problems. We conjecture that the BPQSs presented here are the solutions to the first two problems.
arXiv comment6 pages, 2 figures
References in corpus (38)
- Bell nonlocality
- Experimentally testable state-independent quantum contextuality
- Quantum advantage with shallow circuits
- State-independent experimental test of quantum contextuality
- Bell-Kochen-Specker theorem: A proof with 18 vectors
- State-independent proof of Kochen-Specker theorem with 13 rays
- State-independent quantum contextuality with single photons
- Kochen-Specker Contextuality
- Simple explanation of the quantum violation of a fundamental inequality
- Quantum Pseudo-Telepathy
- Geometry of the set of quantum correlations
- The contextual fraction as a measure of contextuality
- "All versus nothing" inseparability for two observers
- Improving zero-error classical communication with entanglement
- Bell's theorem without inequalities and without probabilities for two observers
- All-Versus-Nothing Violation of Local Realism by Two-Photon, Four-Dimensional Entanglement
- Universality of state-independent violation of correlation inequalities for noncontextual theories
- "All-versus-nothing" nonlocality test of quantum mechanics by two-photon hyperentanglement
- Generalized monogamy of contextual inequalities from the no-disturbance principle
- Kochen-Specker theorem for 8-dimensional space
- Kochen-Specker Vectors
- Fully nonlocal quantum correlations
- A Kochen-Specker inequality from a SIC
- Fully nonlocal, monogamous, and random genuinely multipartite quantum correlations
- Kochen-Specker set with seven contexts
- Minimum Dimension of a Hilbert Space Needed to Generate a Quantum Correlation
- Parallel Device-Independent Quantum Key Distribution
- Simple explanation of the quantum limits of genuine -body nonlocality
- Quantum correlations from simple assumptions
- Experimental Demonstration of Quantum Pseudotelepathy
- Nonlocality, steering and quantum state tomography in a single experiment
- Device-Independent Quantum Key Distribution Based on the Mermin-Peres Magic Square Game
- 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
- Optimal and tight Bell inequalities for state-independent contextuality sets
- State Independent Proof of Kochen-Specker Theorem with Thirty Rank-Two Projectors
- Kochen-Specker Sets with a Mixture of 16 Rank-1 and 14 Rank-2 Projectors for a Three-Qubit System
Cited by in corpus (7)
- The simplest Kochen-Specker set
- Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies
- Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
- All genuinely entangled stabilizer subspaces are multipartite fully nonlocal
- How contextuality and antidistinguishability are related
- Supersinglets can be self-tested with perfect quantum strategies
- Maximal Non-Kochen-Specker Sets and a Lower Bound on the Size of Kochen-Specker Sets