[论文解读] Binary Constraint System Games and Locally Commutative Reductions

Zhengfeng Ji|arXiv (Cornell University)|Oct 14, 2013

Quantum Computing Algorithms and Architecture参考文献 37被引用 29

一句话总结

本文引入二元约束系统（BCS）博弈作为量子可满足性问题的统一框架，表明完美量子策略对应于约束系统的量子解。研究证明，某些BCS博弈（如Clifford博弈和魔术方阵博弈）需要Ω(√n)个EPR对才能实现完美策略，并通过局部交换性约化技术，将经典NP难问题的结果推广至其量子对应形式。

ABSTRACT

A binary constraint system game is a two-player one-round non-local game defined by a system of Boolean constraints. The game has a perfect quantum strategy if and only if the constraint system has a quantum satisfying assignment [R. Cleve and R. Mittal, arXiv:1209.2729]. We show that several concepts including the quantum chromatic number and the Kochen-Specker sets that arose from different contexts fit naturally in the binary constraint system framework. The structure and complexity of the quantum satisfiability problems for these constraint systems are investigated. Combined with a new construct called the commutativity gadget for each problem, several classic NP-hardness reductions are lifted to their corresponding quantum versions. We also provide a simple parity constraint game that requires $Ω(\sqrt{n})$ EPR pairs in perfect strategies where $n$ is the number of variables in the constraint system.

研究动机与目标

• 将多样化的量子复杂性问题（如量子色数和Kochen-Specker集合）统一于二元约束系统（BCS）博弈的框架之下。
• 研究BCS的可满足性结构与复杂性，特别关注完美量子策略中对纠缠的需求。
• 开发一种新型约化技术——局部交换性约化，将经典NP难问题的证明系统性地推广至量子领域。
• 为特定BCS博弈（如Clifford BCS博弈）建立完美量子策略所需EPR对数目的紧下界。
• 通过基于辅助树的构造，证明在不改变量子可满足性的情况下，可将BCS博弈中每个变量的出现次数减少至最多三次。

提出的方法

• 将BCS博弈定义为两玩家一轮非局域博弈，其中约束来自布尔系统，获胜条件依赖于一致的变量赋值。
• 使用包含共享纠缠态和非交换测量的量子策略来建模完美量子策略，非局域值通过POVM期望值表达。
• 引入交换性装置以强制算子之间的局部交换性，从而实现将经典约化推广至量子环境。
• 利用Clifford代数的表示理论，为在秩为N的完全图上定义的Clifford BCS博弈构造完美量子策略，证明其存在于维度2^⌊N/2⌋中。
• 通过证明任何完美策略必须作用于至少维数2^⌊N/2⌋的希尔伯特空间，建立对EPR对需求的下界，从而推导出当n = Θ(N²)时，需要Ω(√n)个EPR对。
• 通过用二叉树的叶变量替换高次变量，将BCS博弈中变量的出现次数减少至每变量最多三次，通过奇偶性约束保持量子可满足性。

实验结果

研究问题

• RQ1 如何将量子可满足性问题（如量子色数和Kochen-Specker集合）统一于单一框架之下？
• RQ2 在BCS博弈中，实现完美量子策略所需的最小纠缠量（以EPR对计）是多少？
• RQ3 能否通过局部交换性等结构约束，系统性地将经典NP难问题约化推广至量子领域？
• RQ4 BCS的图结构与实现完美量子策略所需希尔伯特空间维数之间有何关系？
• RQ5 能否在保持量子可满足性与纠缠需求的前提下，将BCS博弈中变量的出现次数最小化至每变量最多三次？

主要发现

• 秩为N的Clifford BCS博弈具有完美量子策略，至少需要⌊N/2⌋个共享EPR对，为n = Θ(N²)个变量建立了Ω(√n)的下界。
• 基于N个顶点的完全图的奇偶性BCS博弈，其完美策略需要Ω(√n)个EPR对，表明此类博弈需要显著的纠缠。
• BCS博弈存在完美量子策略，当且仅当其底层约束系统存在量子满足赋值。
• 局部交换性约化允许通过在量子算子赋值下保持约束结构，将经典NP难问题结果推广至量子版本。
• 通过用二叉树替换高次变量，可将BCS博弈中变量的出现次数减少至每变量最多三次，同时保持量子可满足性并维持纠缠界限。
• 所有已知的魔术奇偶性BCS博弈均存在Pauli解，表明其量子策略所需EPR对数至多为n对，其中n为变量数，这是由于解空间的有限群结构。