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}.

Shorter unentangled proofs for ground state connectivity

Quantum Merlin-Arthur with an internally separable proof

Short Multi-Prover Quantum Proofs for SAT without Entangled Measurements

Unconditional proofs of quantumness between small-space machines

Quantum delegation with an off-the-shelf device

Hidden-State Proofs of Quantumness

One Clean Qubit Suffices for Quantum Communication Advantage

Quantum interactive proofs using quantum energy teleportation

Qudits for witnessing quantum-gravity-induced entanglement of masses under decoherence

Improving resilience of quantum-gravity-induced entanglement of masses to decoherence using three superpositions

The Power of Unentangled Quantum Proofs with Non-negative Amplitudes

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

Short QMA(k) Proofs for SAT without Entangling Measurements

Quantum Proof Systems for Iterated Exponential Time, and Beyond.

Lower Bounds for Unitary Property Testing with Proofs and Advice

Advantage of multi-partite entanglement for quantum cryptography over long and short ranged networks

Achieving computational gains with quantum error correction primitives: Generation of long-range entanglement enhanced by error detection

Quantum Merlin-Arthur proof systems for synthesizing quantum states

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

QMA variants with polynomially many provers