Optimal conversion of Kochen-Specker sets into bipartite perfect quantum strategies
arXiv:2410.17470 · doi:10.1103/PhysRevA.111.022408
Abstract
Bipartite perfect quantum strategies (BPQSs) allow two players isolated from each other to win every trial of a nonlocal game. BPQSs have crucial roles in recent developments in quantum information and quantum computation. However, only few BPQSs with a small number of inputs are known and only one of them has been experimentally tested. It has recently been shown that every BPQS has an associated Kochen-Specker (KS) set. Here, we first prove that any BPQS of minimum input cardinality that can be obtained from a generalized KS set can also be obtained from a KS set of pure states. Then, we address the problem of finding BPQSs of small input cardinality starting from KS sets. We introduce an algorithm that identifies the BPQS with the minimum number of settings for any given KS set. We apply it to many well-known KS sets of small cardinality in dimensions 3, 4, 5, 6, 7, and 8. In each dimension, the algorithm either recovers the best BPQS known or find one with fewer inputs.
19 pages
References in corpus (29)
- Bell nonlocality
- Experimentally testable state-independent quantum contextuality
- Quantum advantage with shallow circuits
- State-independent experimental test of quantum contextuality
- State-independent quantum contextuality with single photons
- Quantum Pseudo-Telepathy
- Geometry of the set of quantum correlations
- "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
- Experimental implementation of a Kochen-Specker set of quantum tests
- Kochen-Specker Vectors
- Fully nonlocal quantum correlations
- Parallel Device-Independent Quantum Key Distribution
- A Generalization of Kochen-Specker Sets Relates Quantum Coloring to Entanglement-Assisted Channel Capacity
- Recursive proof of the Bell-Kochen-Specker theorem in any dimension
- New Kochen-Specker Sets in Four Dimensions
- Simple explanation of the quantum limits of genuine -body nonlocality
- Quantum correlations from simple assumptions
- Experimental Demonstration of Quantum Pseudotelepathy
- Device-Independent Quantum Key Distribution Based on the Mermin-Peres Magic Square Game
- Bell nonlocality with a single shot
- 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
- Simplest bipartite perfect quantum strategies