[论文解读] Characterization of Binary Constraint System Games

Richard Cleve, Rajat Mittal|arXiv (Cornell University)|Sep 12, 2012

Quantum Mechanics and Applications参考文献 12被引用 7

一句话总结

本文通过证明任何此类游戏的完美量子策略均对应一组具有特定代数性质的可交换二元可观测量，从而对二元约束系统（BCS）游戏进行了表征，其结构类似于Mermin的构造。研究建立了某些BCS游戏中最大纠缠成功概率严格低于1的上界，为确定是否存在完美纠缠策略的BCS游戏的复杂性问题提供了部分进展。

ABSTRACT

We consider a class of nonlocal games that are related to binary constraint systems (BCSs) in a manner similar to the games implicit in the work of Mermin [N.D. Mermin, "Simple unified form for the major no-hidden-variables theorems," Phys. Rev. Lett., 65(27):3373-3376, 1990], but generalized to n binary variables and m constraints. We show that, whenever there is a perfect entangled protocol for such a game, there exists a set of binary observables with commutations and products similar to those exhibited by Mermin. We also show how to derive upper bounds strictly below 1 for the the maximum entangled success probability of some BCS games. These results are partial progress towards a larger project to determine the computational complexity of deciding whether a given instance of a BCS game admits a perfect entangled strategy or not.

研究动机与目标

• 表征二元约束系统（BCS）游戏中完美量子策略的结构。
• 确定是否存在完美纠缠策略是否意味着底层可观测量具有特定代数结构。
• 为不承认完美策略的BCS游戏建立最大纠缠成功概率的上界。
• 为更广泛目标做出贡献：理解判断BCS游戏是否存在完美量子策略的计算复杂性。
• 探索在BCS游戏的最优策略中，最大纠缠是否为必要条件。

提出的方法

• 作者将量子满足赋值定义为一组本征值为±1的厄米可观测量，这些可观测量在约束下彼此可交换，并满足由BCS约束导出的多重线性多项式方程。
• 通过量子态向量之间的内积界分析纠缠态中测量结果的一致性，利用三角不等式推导成功概率的上界。
• 证明过程采用可观测量代数结构中的递归代换方法，应用一个关键引理，该引理将连续态向量之间的内积以策略一致性导出的角度形式进行有界。
• 通过在k步简化过程中迭代应用该引理，除非总角度超过π，否则将导出矛盾，从而得到最小成功概率的上界。
• 该方法适用于四线游戏等BCS游戏，得出成功概率的定量上界约为0.9830，严格低于1。
• 分析假设使用最大纠缠态，并利用泡利矩阵和张量积的结构来建模魔术方阵和魔术五角星BCS示例中的可观测量。

实验结果

研究问题

• RQ1 每个具有完美纠缠策略的BCS游戏是否都存在一组可交换可观测量和特定乘积关系的量子满足赋值，如同Mermin构造中的情形？
• RQ2 对于不承认完美策略的BCS游戏，能否推导出最大纠缠成功概率严格低于1的上界？
• RQ3 在策略序列逼近完美性能时，假设最大纠缠是否为推导成功概率上界所必需？
• RQ4 每个具有完美策略的BCS游戏是否必然存在使用最大纠缠态的最优策略？
• RQ5 判断给定BCS游戏是否承认完美纠缠策略的计算复杂性是什么？

主要发现

• 对于任何具有完美纠缠策略的BCS游戏，均存在一组在约束下可交换的二元可观测量，且其满足与Mermin构造中相同的代数乘积关系。
• 四线BCS游戏的最大纠缠成功概率上界为约0.9830，严格低于1，该结果由cos²(π/24)的界导出。
• 四线BCS游戏的经典值为11/12 ≈ 0.9167，显示出明显的量子优势。
• 若成功概率趋近于1但未积累足够的总角度，则分析将导致矛盾，这意味着除非角度总和达到π，否则无法任意接近完美策略。
• 该方法为缺乏完美策略的BCS游戏提供了一般性框架，通过态向量重叠的三角不等式界推导成功概率的上界。
• 结果表明，BCS游戏中完美策略受到可观测量代数中深层代数与几何结构的约束，而不仅仅是量子纠缠。