[论文解读] Extending and Characterizing Quantum Magic Games

A. A. Архипов|arXiv (Cornell University)|Sep 18, 2012

Computability, Logic, AI Algorithms被引用 18

一句话总结

该论文将梅尔敏的魔术方阵和魔术五角星游戏推广至任意相交集合的排列，证明当且仅当排列的交集图非平面时，会出现量子伪 telepathy。研究表明，仅需三对贝尔态和三 qubit 保罗i群测量即可实现任意量子获胜策略，基于排除子式 K₅ 和 K₃,₃ 构建了通用构造方法。

ABSTRACT

The Mermin-Peres magic square game is a cooperative two-player nonlocal game in which shared quantum entanglement allows the players to win with certainty, while players limited to classical operations cannot do so, a phenomenon dubbed "quantum pseudo-telepathy". The game has a referee separately ask each player to color a subset of a 3x3 grid. The referee checks that their colorings satisfy certain parity constraints that can't all be simultaneously realized. We define a generalization of these games to be played on an arbitrary arrangement of intersecting sets of elements. We characterize exactly which of these games exhibit quantum pseudo-telepathy, and give quantum winning strategies for those that do. In doing so, we show that it suffices for the players to share three Bell pairs of entanglement even for games on arbitrarily large arrangements. Moreover, it suffices for Alice and Bob to use measurements from the three-qubit Pauli group. The proof technique uses a novel connection of Mermin-style games to graph planarity.

研究动机与目标

• 将梅尔敏的魔术方阵和五角星游戏推广至任意相交集合的配置。
• 精确刻画这些推广游戏中哪些允许量子伪 telepathy。
• 确定获胜此类游戏所需的最小量子资源——特别是纠缠和测量类型。
• 建立交集图的非平面性与量子获胜策略存在性之间的联系。

提出的方法

• 在点与超边（集合）的排列上定义魔术游戏，其中每个点恰好位于两条超边上。
• 构建一个交集图，其中顶点代表超边，边代表超边之间的公共点。
• 利用罗伯逊-塞缪尔禁止子式定理，证明非平面交集图包含 K₅ 或 K₃,₃ 作为拓扑子式。
• 证明 K₅ 和 K₃,₃ 分别对应魔术五角星和魔术方阵游戏，二者均存在量子获胜策略。
• 对奇偶性约束系统应用替换方法，以检测量子解的缺失，依赖于非平面性阻止算符变量的抵消。
• 证明任何非平面交集图均通过归约至魔术方阵和五角星作为通用实现，可推出存在量子获胜策略。

实验结果

研究问题

• RQ1 哪些推广的魔术游戏存在量子获胜策略，哪些不存在？
• RQ2 赢得任意可量子获胜的魔术游戏所需的最小纠缠量是多少？
• RQ3 排列的结构性质（如图的平面性）如何决定量子伪 telepathy 的可能性？
• RQ4 能否仅从交集图的拓扑结构判断量子获胜策略的存在性？
• RQ5 是否存在一种基于基本量子系统的通用构造方法，用于实现所有魔术游戏的量子实现？

主要发现

• 当且仅当其交集图为非平面图时，魔术游戏才存在量子获胜策略。
• 任何魔术游戏均可仅使用三对贝尔态纠缠以确定性方式获胜。
• 所有魔术游戏的量子获胜策略均可仅通过三 qubit 保罗i群测量构造。
• 魔术方阵和魔术五角星游戏具有普遍性，即所有非平面排列均可通过替换方法归约为它们。
• 替换方法足以证明在奇偶性二元约束系统中，当每个变量恰好出现两次且不存在量子解时，量子解的缺失。
• 该证明确立了非平面性在该类游戏中的量子伪 telepathy 中既是必要条件也是充分条件。