[论文解读] Unique Games with Entangled Provers are Easy

Julia Kempe, Oded Regev+1 more|ArXiv.org|Oct 2, 2007

Complexity and Algorithms in Graphs参考文献 35被引用 4

一句话总结

该论文表明，通过使用半定规划，可以高效地近似具有纠缠证明者的唯一性游戏，从而反驳了量子版本的唯一性游戏猜想。作者提出了一种新颖的量子舍入技术，将SDP解转化为量子策略，证明了纠缠显著简化了原本被认为困难的问题类别。

ABSTRACT

We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are `unique' constraints (i.e., permutations), the value of the game can be well approximated by a semidefinite program. Essentially the only algorithm known previously was for the special case of binary answers, as follows from the work of Tsirelson in 1980. Among other things, our result implies that the variant of the unique games conjecture where we allow the provers to share entanglement is false. Our proof is based on a novel `quantum rounding technique', showing how to take a solution to an SDP and transform it to a strategy for entangled provers. Using our approximation by a semidefinite program we also show a parallel repetition theorem for unique entangled games.

研究动机与目标

• 研究当证明者共享纠缠时，唯一性游戏的计算复杂性，挑战量子版本的唯一性游戏猜想。
• 开发一种利用半定规划近似唯一性游戏量子值的方法。
• 证明纠缠降低了唯一性游戏的难度，与经典复杂性预期相反。
• 通过新的SDP近似方法，证明具有纠缠证明者的唯一性游戏的并行重复定理。

提出的方法

• 作者提出一个新的半定规划（SDP 3），该规划松弛了唯一性游戏的量子值，引入了关于态矢量范数和内积的约束。
• 他们设计了一种量子舍入技术，将SDP的解映射为纠缠证明者的有效量子策略。
• 该方法利用了唯一性约束的结构（基于置换的接受规则），通过SDP可行性与内积保真度来界定成功概率。
• 证明依赖于不同策略构造中成功概率差异的界，基于三角不等式和范数不等式。
• 一个关键技术步骤是证明，乘积游戏的SDP是张量积SDP的松弛，从而支持并行重复分析。
• 作者应用定理5.5，证明张量积SDP的值等于各独立SDP值的乘积，从而实现指数衰减界。

实验结果

研究问题

• RQ1 当证明者共享纠缠时，唯一性游戏的量子值能否被高效近似？
• RQ2 纠缠的存在是否使量子版本的唯一性游戏猜想失效？
• RQ3 能否构建一个半定规划，以紧密界限定唯一性游戏的量子值？
• RQ4 是否存在具有纠缠证明者的唯一性游戏的量子经典并行重复的类比？
• RQ5 在纠缠游戏的背景下，量子舍入与经典舍入有何不同？

主要发现

• 通过半定规划，具有纠缠证明者的唯一性游戏的量子值可在加法误差O(√ε)内被近似，其中ε为与完美满足的偏差。
• 量子唯一性游戏猜想为假，因为即使经典值远离1，纠缠证明者仍能实现高成功概率。
• 建立了并行重复定理：m重重复游戏的值以(1 - ε²/16)^m的速率指数衰减，其中ε为单个游戏值的反向间隙。
• SDP松弛（SDP 3）是严格可行的，其值与量子值仅相差微小误差，从而实现高效近似。
• 量子舍入技术成功地将SDP解转化为量子策略，其成功概率受底层态矢量保真度的约束。
• 两个游戏的SDP解的张量积是其乘积游戏SDP的可行解，确保了重复游戏的一致性。