[论文解读] Entangled games are hard to approximate

Julia Kempe, Hirotada Kobayashi+3 more|ArXiv.org|Apr 23, 2007

Complexity and Algorithms in Graphs参考文献 37被引用 9

一句话总结

该论文首次建立了关于涉及量子纠缠的一轮博弈的值近似问题的NP难性结果，表明对于（i）拥有两个纠缠证明者的量子验证者和（ii）拥有三个纠缠证明者的经典验证者，近似其值在反多项式因子范围内的问题均为NP难。关键技术在于将经典博弈进行修改以抵抗纠缠优势，并使用一种舍入过程将纠缠策略转换为经典策略，同时利用经典近似不可行性界。

ABSTRACT

We establish the first hardness results for the problem of computing the value of one-round games played by a verifier and a team of provers who can share quantum entanglement. In particular, we show that it is NP-hard to approximate within an inverse polynomial the value of a one-round game with (i) quantum verifier and two entangled provers or (ii) classical verifier and three entangled provers. Previously it was not even known if computing the value exactly is NP-hard. We also describe a mathematical conjecture, which, if true, would imply hardness of approximation to within a constant. We start our proof by describing two ways to modify classical multi-prover games to make them resistant to entangled provers. We then show that a strategy for the modified game that uses entanglement can be ``rounded'' to one that does not. The results then follow from classical inapproximability bounds. Our work implies that, unless P=NP, the values of entangled-prover games cannot be computed by semidefinite programs that are polynomial in the size of the verifier's system, a method that has been successful for more restricted quantum games.

研究动机与目标

• 确定在证明者共享量子纠缠的一轮博弈中，近似其值的计算复杂度。
• 通过证明此类博弈的值的计算或近似是NP难的，来填补知识空白，尽管先前结果表明其可能可高效求解。
• 探究在多证明者博弈中，纠缠是否提供计算优势，特别是从策略复杂性和近似难度的角度。
• 通过构建对纠缠具有鲁棒性的博弈变体和舍入策略，将经典近似不可行性结果扩展至量子设置。

提出的方法

• 作者引入经典多证明者博弈的变换，使其对基于纠缠的策略具有抗性，同时保持博弈结构，限制量子优势。
• 他们定义了一种舍入过程，将纠缠策略转换为等价的经典策略，利用迹距离界控制误差累积。
• 该方法依赖于一系列涉及量子态和测量算子的迹距离不等式，这些不等式源自三角不等式及部分测量的性质。
• 关键技术工具包括使用Tsirelson嵌入定理，以及通过其在密度矩阵和投影算子上的作用分析量子算子。
• 证明利用集中不等式和问题分布上的期望，以有界纠缠与经典策略结果之间的总变差距离。
• 通过将这些界与已知的经典近似不可行性结果（如PCP定理）结合，作者推导出纠缠博弈近似问题的NP难性。

实验结果

研究问题

• RQ1 对于拥有两个纠缠证明者和一个量子验证者的单轮博弈，近似其值是否为NP难？
• RQ2 对于拥有三个纠缠证明者和一个经典验证者的单轮博弈，近似其值是否为NP难？
• RQ3 纠缠是否在近似多证明者博弈值方面提供计算优势，还是仅保持经典难度？
• RQ4 能否将纠缠博弈近似难度的下界提升至超越反多项式因子？
• RQ5 用于纠缠策略的舍入技术能否推广至其他类别的量子博弈？

主要发现

• 对于拥有量子验证者和两个纠缠证明者的单轮博弈，其值在反多项式因子范围内的近似是NP难的。
• 对于拥有经典验证者和三个纠缠证明者的单轮博弈，其值在反多项式因子范围内的近似是NP难的。
• 尽管在某些博弈类别（如XOR博弈）中，纠缠策略有时可优于经典策略，但该困难结果依然成立。
• 本文表明，尽管半定规划松弛在XOR-和唯一性博弈等受限量子博弈中表现良好，但除非P = NP，否则无法高效近似一般纠缠博弈。
• 提出一个数学猜想，若成立，则可推出纠缠博弈具有常数因子近似不可行性。
• 作者证明，纠缠并未在近似博弈值方面提供普遍的计算加速，因为即使在共享纠缠的情况下，该问题依然保持NP难。