We show that the maximum success probability of players sharing quantum entanglement in a two-player game with classical questions of logarithmic length and classical answers of constant length is NP-hard to approximate to within constant factors. As a corollary, the inclusion $\mathrm{NEXP}\subseteq\mathrm{MIP}^*$, first shown in [IV12] with three provers, holds with two provers only. The proof is based on a simpler, improved analysis of the low-degree test Raz and Safra (STOC'97) against two entangled provers.
翻译:我们显示,玩家在两个玩家游戏中分享量子缠绕的最大成功概率与典型的对数长度问题和古典的常数回答相近,很难与常数系数相近。作为必然结果,在 [IV12] 中以三个证明首次显示的包含$\mathrm{NEXP ⁇ subseteq\mathrm{MIP ⁇ $,只有两个证明。证据的基础是对两个纠缠的证明人进行更简单、更完善的低度测试Raz和Safra(STOC'97)的分析。