[论文解读] Algorithms, Bounds, and Strategies for Entangled XOR Games

Adam Bene Watts, Aram W. Harrow+2 more|arXiv (Cornell University)|Jan 2, 2018

Complexity and Algorithms in Graphs参考文献 28被引用 3

一句话总结

本文提出了一种多项式时间算法，用于判断对称XOR游戏的对换算子值是否恰好为1，从而解决了长期存在的可判定性问题。该研究引入了实现完美量子策略的新准则，构建了显式的基于纠缠的策略，并建立了NPA（ncSoS）层次结构收敛性的紧致界，展示了在最坏情况下的双重指数级延迟，并证明了存在具有不可满足相变的随机XOR游戏。

ABSTRACT

We study the complexity of computing the commuting-operator value $ω^*$ of entangled XOR games with any number of players. We introduce necessary and sufficient criteria for an XOR game to have $ω^* = 1$, and use these criteria to derive the following results: 1. An algorithm for symmetric games that decides in polynomial time whether $ω^* = 1$ or $ω^* < 1$, a task that was not previously known to be decidable, together with a simple tensor-product strategy that achieves value 1 in the former case. The only previous candidate algorithm for this problem was the Navascués-Pironio-Acín (also known as noncommutative Sum of Squares or ncSoS) hierarchy, but no convergence bounds were known. 2. A family of games with three players and with $ω^* < 1$, where it takes doubly exponential time for the ncSoS algorithm to witness this (in contrast with our algorithm which runs in polynomial time). 3. A family of games achieving a bias difference $2(ω^* - ω)$ arbitrarily close to the maximum possible value of $1$ (and as a consequence, achieving an unbounded bias ratio), answering an open question of Briët and Vidick. 4. Existence of an unsatisfiable phase for random (non-symmetric) XOR games: that is, we show that there exists a constant $C_k^{ ext{unsat}}$ depending only on the number $k$ of players, such that a random $k$-XOR game over an alphabet of size $n$ has $ω^* < 1$ with high probability when the number of clauses is above $C_k^{ ext{unsat}} n$. 5. A lower bound of $Ω(n \log(n)/\log\log(n))$ on the number of levels in the ncSoS hierarchy required to detect unsatisfiability for most random 3-XOR games. This is in contrast with the classical case where the $n$-th level of the sum-of-squares hierarchy is equivalent to brute-force enumeration of all possible solutions.

研究动机与目标

• 确定对称XOR游戏中量子值ω*是否恰好为1，此前该问题的可判定性尚不明确。
• 当可能时，构建显式的张量积策略以实现ω* = 1，从而为完美策略问题提供构造性解法。
• 分析NPA（ncSoS）层次结构在XOR游戏中的收敛行为，尤其关注最坏情况。
• 建立随机非对称XOR游戏中相变存在的证据，即当子句数量超过某一阈值时，ω* < 1的概率很高。
• 通过构造量子值与经典值差异极大的游戏族，回答关于XOR游戏中偏差比的开放问题。

提出的方法

• 基于奇偶置换反驳（PREFs）和MERP（最大纠缠，相对相位）策略，提出ω* = 1的必要与充分条件。
• 为对称游戏开发一种算法，可在多项式时间内检查是否存在有效的PREF反驳。
• 使用组合工具和洗牌装置构造并验证反驳，从而实现对不可满足性的高效检测。
• 应用概率分析以界定随机游戏中成功反驳路径的期望数量，利用卡塔兰数估计和查询映射约束。
• 采用马尔可夫不等式和过度计数技术，推导出NPA层次结构所需层级数的下界。
• 利用MERP策略与PREF反驳之间的对偶性，揭示XOR游戏中量子优势的结构洞见。

实验结果

研究问题

• RQ1 对称XOR游戏中，其对换算子值ω*是否恰好为1的问题是否可判定？
• RQ2 能否构造一个多项式时间算法，以判断对称XOR游戏中ω* = 1？
• RQ3 对于ω* < 1的XOR游戏，NPA（ncSoS）层次结构的最坏情况收敛速率如何？
• RQ4 随机非对称XOR游戏是否表现出相变现象：当子句密度超过某一阈值时，ω* < 1的概率很高？
• RQ5 能否构造XOR游戏，使得偏差差值2(ω* − ω)趋近于最大可能值1，从而实现无界偏差比？

主要发现

• 提出了一种算法，可在多项式时间内判断对称XOR游戏中ω* = 1或ω* < 1，从而解决了此前未解的可判定性问题。
• 该算法在ω* = 1时可构造出简单的张量积策略，实现ω* = 1，提供了构造性的量子优势。
• 构造了一类三玩家XOR游戏，其NPA层次结构需双重指数时间才能检测到ω* < 1，与多项式时间算法形成鲜明对比。
• 本文证明了在随机k-XOR游戏中存在不可满足相变：当k ≥ 3且子句数量超过C_k^unsat * n时，ω* < 1的概率很高。
• 构造了一类游戏，其偏差差值2(ω* − ω)可任意接近1，从而回答了Briët与Vidick关于无界偏差比的开放问题。
• 在大多数随机3-XOR游戏中，建立了NPA层次结构所需层级数的下界为Ω(n log n / log log n)。