[论文解读] The Parallel-Repeated Magic Square Game is Rigid

Matthew Coudron, Anand Natarajan|arXiv (Cornell University)|Sep 20, 2016

Quantum Mechanics and Applications参考文献 11被引用 23

一句话总结

该论文建立了魔方阵游戏n轮并行重复的刚性，证明任何以概率1−ε成功的量子策略，必须在局部同构下与2n个EPR对O(poly(nε))-接近，且玩家的测量也必须接近理想的泡利算符。该结果在误差依赖性上实现了对先前并行自测试的指数级改进，并鲁棒地认证了所有n-量子比特泡利测量。

ABSTRACT

We show that the $n$-round parallel repetition of the Magic Square game of Mermin and Peres is rigid, in the sense that for any entangled strategy succeeding with probability $1 -\varepsilon$, the players' shared state is $O(\mathrm{poly}(n\varepsilon))$-close to $2n$ EPR pairs under a local isometry. Furthermore, we show that, under local isometry, the players' measurements in said entangled strategy must be $O(\mathrm{poly}(n\varepsilon))$ close to the "ideal" strategy when acting on the shared state.

研究动机与目标

• 通过魔方阵游戏的n轮并行重复，建立对2n个EPR对的鲁棒自测试。
• 克服先前并行自测试的局限性，其误差依赖性较差或无法认证完整的测量结构。
• 提供一种严格并行的测试，鲁棒地认证状态和所有n-量子比特泡利测量算符。
• 通过提供具有强误差标度和完整测量认证的测试，使量子复杂性理论和设备无关协议得以应用。

提出的方法

• 以Wu等人（2016）已知的单轮魔方阵游戏刚性作为基础构建模块。
• 在并行重复游戏中引入跨轮次的全局一致性检查，以强制不同轮次算符之间的近似对易。
• 利用轮次间测量结果之间的一致性关系，推导出联合态和测量算符的界。
• 通过等距变换将玩家的态映射到接近2n个EPR对的目标态，使用范数不等式量化接近程度。
• 采用基于期望值的保证，而非2-范数距离，为属性测试提供更自然的框架。
• 通过控制n和ε的多项式依赖关系，将单轮分析扩展至完整的并行重复。

实验结果

研究问题

• RQ1 能否将魔方阵游戏的n轮并行重复用作2n个EPR对的鲁棒自测试？
• RQ2 并行重复游戏是否能鲁棒地认证策略中全部n-量子比特泡利测量算符集合？
• RQ3 在保持完整测量认证的前提下，并行自测试的误差依赖性能否超越指数尺度？
• RQ4 是否可能实现一种严格并行的测试，具有多项式误差依赖性以及完整的态和测量认证？
• RQ5 能否利用并行游戏中固有的全局一致性结构，强制不同轮次算符之间的近似对易？

主要发现

• 任何在n轮并行魔方阵游戏中以概率1−ε获胜的纠缠策略，其态在局部同构下必须与2n个EPR对O(poly(nε))-接近。
• 玩家的测量算符在相同同构下必须与理想泡利算符O(poly(nε))-接近，从而确保完整的测量认证。
• 误差依赖性为nε的多项式形式，相较于先前具有指数误差依赖性的严格并行自测试，实现了指数级改进。
• 该结果提供了一种鲁棒的、严格并行的测试，可同时认证态和所有n-量子比特泡利测量算符。
• 分析依赖于游戏中固有的全局一致性检查，以强制轮次间的近似对易，从而实现单轮刚性的扩展。
• 保证以泡利算符的期望值形式给出，相较于2-范数态距离，更适用于属性测试。