Entangled games are hard to approximate
From MaRDI portal
Abstract: We establish the first hardness results for the problem of computing the value of one-round games played by a verifier and a team of provers who can share quantum entanglement. In particular, we show that it is NP-hard to approximate within an inverse polynomial the value of a one-round game with (i) quantum verifier and two entangled provers or (ii) classical verifier and three entangled provers. Previously it was not even known if computing the value exactly is NP-hard. We also describe a mathematical conjecture, which, if true, would imply hardness of approximation to within a constant. We start our proof by describing two ways to modify classical multi-prover games to make them resistant to entangled provers. We then show that a strategy for the modified game that uses entanglement can be ``rounded to one that does not. The results then follow from classical inapproximability bounds. Our work implies that, unless P=NP, the values of entangled-prover games cannot be computed by semidefinite programs that are polynomial in the size of the verifier's system, a method that has been successful for more restricted quantum games.
Recommendations
Cited in
(32)- Limitations of semidefinite programs for separable states and entangled games
- Quantum games: a review of the history, current state, and interpretation
- Parallelization of entanglement-resistant multi-prover interactive proofs
- Geometry of information structures, strategic measures and associated stochastic control topologies
- Rank-one quantum games
- Quantum de Finetti theorems under local measurements with applications
- Three-player entangled XOR games are NP-hard to approximate
- Grothendieck-type inequalities in combinatorial optimization
- A lower bound on the value of entangled binary games
- Erratum to: ``Three-player entangled XOR games are NP-hard to approximate
- Interactive proofs with approximately commuting provers
- Classical, quantum and nonsignalling resources in bipartite games
- On symmetric nonlocal games
- Heralded channel Holevo superadditivity bounds from entanglement monogamy
- Compression of quantum multi-prover interactive proofs
- Hardness amplification for entangled games via anchoring
- Spatial Isolation Implies Zero Knowledge Even in a Quantum World
- Nonlocal Games with Noisy Maximally Entangled States are Decidable
- scientific article; zbMATH DE number 7250160 (Why is no real title available?)
- Dimension Reduction for Polynomials over Gaussian Space and Applications
- Characterization of binary constraint system games
- Tsirelson's problem and an embedding theorem for groups arising from non-local games
- Unique games with entangled provers are easy
- Unbounded violations of bipartite Bell inequalities via operator space theory
- Semi-definite programming and quantum information
- Quantum interactive proofs using quantum energy teleportation
- Quantum advantage and CSP complexity
- Shannon-like games are difficult
- The computational advantage of MIP* vanishes in the presence of noise
- The computational advantage of MIP* vanishes in the presence of noise
- Quantum advantage and CSP complexity
- Large violation of Bell inequalities with low entanglement
This page was built for publication: Entangled games are hard to approximate
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3093626)
