[论文解读] A Parallel Repetition Theorem for the GHZ Game

Holmgren, Justin, Justin Holmgren|arXiv (Cornell University)|Aug 12, 2020

Quantum Computing Algorithms and Architecture参考文献 20被引用 3

一句话总结

该论文建立了三玩家GHZ游戏并行重复的多项式衰减速率，证明其值在t次重复后以t^{-Ω(1)}的速率衰减。作者提出了一种基于仿射子空间局部嵌入与伪随机分解的新颖证明技术，克服了以往方法在高度相关游戏（如GHZ）中失效的局限性。

ABSTRACT

We give a new proof of the fact that the parallel repetition of the (3-player) GHZ game reduces the value of the game to zero polynomially quickly. That is, we show that the value of the n-fold GHZ game is at most n^{-Ω(1)}. This was first established by Holmgren and Raz [Holmgren and Raz, 2020]. We present a new proof of this theorem that we believe to be simpler and more direct. Unlike most previous works on parallel repetition, our proof makes no use of information theory, and relies on the use of Fourier analysis. The GHZ game [Greenberger et al., 1989] has played a foundational role in the understanding of quantum information theory, due in part to the fact that quantum strategies can win the GHZ game with probability 1. It is possible that improved parallel repetition bounds may find applications in this setting. Recently, Dinur, Harsha, Venkat, and Yuen [Dinur et al., 2017] highlighted the GHZ game as a simple three-player game, which is in some sense maximally far from the class of multi-player games whose behavior under parallel repetition is well understood. Dinur et al. conjectured that parallel repetition decreases the value of the GHZ game exponentially quickly, and speculated that progress on proving this would shed light on parallel repetition for general multi-player (multi-prover) games.

研究动机与目标

• 为三玩家GHZ游戏建立一个强并行重复界，该游戏因问题分布中存在强相关性而使得现有技术失效。
• 克服以往方法仅能实现反Ackermann函数衰减的局限性，适用于多玩家游戏。
• 开发一种适用于强相关多玩家游戏的新证明框架，可能推动更广泛的并行重复问题研究。
• 提供对量子信息应用（如设备无关的量子密码学与纠缠检验）有用的定量界。

提出的方法

• 引入仿射子空间中局部嵌入的概念，以分析GHZ游戏中策略的结构。
• 将策略分解为伪随机仿射分量，以隔离并分析难以控制的部分。
• 利用条件KL散度与统计距离，界定不同策略下分布之间的偏差。
• 在F2^n上应用傅里叶分析，以分析表示策略分量及其相关性的函数。
• 引入一种涉及Lambert W函数的新型优化界，以控制分析中的误差项。
• 将这些工具整合为一种新证明结构，避免依赖于双玩家情形中常用的信息论或组合技术。

实验结果

研究问题

• RQ1 鉴于现有技术在GHZ游戏中失效，能否为GHZ游戏建立一个强并行重复界？
• RQ2 GHZ问题分布中的强相关性是否代表了多玩家并行重复的最坏情况？
• RQ3 能否开发一种新证明技术，以绕过强相关性下传统方法的局限性？
• RQ4 是否可能在并行重复下实现GHZ游戏值的多项式衰减，而非仅亚Ackermann衰减？
• RQ5 该新框架能否推广至具有类似相关结构的其他多玩家游戏？

主要发现

• GHZ游戏t重并行重复的值至多为t^{-Ω(1)}，确立了多项式衰减。
• 这相比此前已知的最佳界≈1/α(t)（其中α为反Ackermann函数）有显著改进。
• 该证明引入了一种基于仿射子空间局部嵌入与伪随机分解的新框架。
• 作者通过信息论、傅里叶分析与优化理论工具的创新组合，实现了该结果。
• 该方法避免了对传统双玩家技术的依赖，而这些技术在GHZ等强相关游戏中会失效。
• 该结果表明，强相关性确实可能代表了多玩家并行重复的最坏情况，与Dinur等人提出的猜想一致。