Abstract:A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as multi-prover interactive proof systems. This paper develops a new method for proving limits of nonlocal strategies that make use of prior entanglement among players (or, provers, in the terminology of multi-prover interactive proofs). Instead of proving the limits for usual isolated provers who initially share entanglement, this paper proves the limits for "commuting-operator provers", who share private space, but can apply only such operators that are commutative with any operator applied by other provers. Obviously, these commuting-operator provers are at least as powerful as usual isolated but prior-entangled provers, and thus, limits in the model with commuting-operator provers immediately give limits in the usual model with prior-entangled provers. Using this method, we obtain an n-party generalization of the Tsirelson bound for the Clauser-Horne-Shimony-Holt inequality, for every n. Our bounds are tight in the sense that, in every n-party case, the equality is achievable by a usual nonlocal strategy with prior entanglement. We also apply our method to a three-prover one-round binary interactive proof system for NEXP. Combined with the technique developed by Kempe, Kobayashi, Matsumoto, Toner and Vidick to analyze the soundness of the proof system, it is proved to be NP-hard to distinguish whether the entangled value of a three-prover one-round binary-answer game is equal to one or at most 1-1/p(n) for some polynomial p, where n is the number of questions. This is in contrast to the two-prover one-round binary-answer case, where the corresponding problem is efficiently decidable. Alternatively, NEXP has a three-prover one-round binary interactive proof system with perfect completeness and soundness 1-2^{-poly}.

Improved Soundness for QMA with Multiple Provers

QMA variants with polynomially many provers

Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete

Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements

Short QMA(k) Proofs for SAT without Entangling Measurements

Zero-Knowledge Proof Systems for QMA.

Quantum PCPs: on Adaptivity, Multiple Provers and Reductions to Local Hamiltonians

Compression of Quantum Multi-Prover Interactive Proofs

The Computational Advantage of MIP* Vanishes in the Presence of Noise

Succinct arguments for QMA from standard assumptions via compiled nonlocal games

Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems

A Full Characterization of Quantum Advice

QMA vs. QCMA and Pseudorandomness

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

Quantum soundness of the classical low individual degree test

Quantum Merlin-Arthur and proofs without relative phase

Towards a universal gateset for $\mathsf{QMA}_1$

Two prover perfect zero knowledge for MIP*

Shorter unentangled proofs for ground state connectivity

Interactive Proofs For Quantum Computations

Quantum delegation with an off-the-shelf device