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

Limits of Preprocessing

Lower Bounds for Kernelizations and Other Preprocessing Procedures

Tight Characterizations for Preprocessing against Cryptographic Salting

One Weird Trick Tightens the Quantum Adversary Bound, Especially for Success Probability Close to $1/2$

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

Parity vs. AC0 with simple quantum preprocessing

Lower bounds by probabilistic arguments

On the power of geometrically-local classical and quantum circuits

Boolean functions whose Fourier transform is concentrated on pairwise disjoint subsets of the input

The Fundamental Limits of Interval Arithmetic for Neural Networks

From Proof Complexity to Circuit Complexity via Interactive Protocols

Fourier Growth of Communication Protocols for XOR Functions

A constant lower bound for any quantum protocol for secure function evaluation

Channel Capacity for Adversaries with Computationally Bounded Observations

Lossy Cryptography from Code-Based Assumptions

Generalised Kochen-Specker Theorem for Finite Non-Deterministic Outcome Assignments

Topologically driven no-superposing theorem with a tight error bound

Simulating Auxiliary Inputs, Revisited

Limits to Reservoir Learning

Thinking Inside The Box: Privacy Against Stronger Adversaries

Physical limits of inference