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

Hypercontractivity, Sum-of-squares Proofs, and Their Applications

Hypercontractivity on HDX II: Symmetrization and q-Norms

Approximability and proof complexity

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

A unified approach to quantum de Finetti theorems and SoS rounding via geometric quantization

Grothendieck inequalities characterize converses to the polynomial method

Noncommutative Bohnenblust-Hille inequalities

Positivity-preserving extensions of sum-of-squares pseudomoments over the hypercube

Sharp Hypercontractivity for Global Functions

Hypercontractivity on the symmetric group

On converses to the polynomial method

Sum-of-Squares inspired Quantum Metaheuristic for Polynomial Optimization with the Hadamard Test and Approximate Amplitude Constraints

An Information-Theoretic Proof of a Hypercontractive Inequality

$\ell_p$-sphere covering and approximating nuclear $p$-norm

Quantum and classical low-degree learning via a dimension-free Remez inequality

An inverse theorem for the Gowers $U^3$-norm relative to quadratic level sets

Sum-of-squares hierarchies for polynomial optimization and the Christoffel-Darboux kernel

Quantum Goemans-Williamson Algorithm with the Hadamard Test and Approximate Amplitude Constraints

Approximate orthogonality of permutation operators, with application to quantum information

ℓ_p-Sphere Covering and Approximating Nuclear P-Norm

Dequantizing the Quantum Singular Value Transformation: Hardness and Applications to Quantum Chemistry and the Quantum PCP Conjecture