[论文解读] A parallel repetition theorem for entangled projection games

Irit Dinur, David Steurer+1 more|arXiv (Cornell University)|Oct 15, 2013

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

一句话总结

本文建立了纠缠投影博弈的并行重复定理，证明了当纠缠值为 1−ε 的博弈进行 k 次重复时，其纠缠值以 O((1−ε^c)^k) 的形式指数衰减，其中 c≥1 为通用常数，当约束图具有扩张性时 c=1。证明引入了纠缠值的乘法松弛形式，并利用量子相关采样引理，将其与真实纠缠值紧密关联，从而将经典技术扩展至量子设置。

ABSTRACT

We study the behavior of the entangled value of two-player one-round projection games under parallel repetition. We show that for any projection game $G$ of entangled value 1-eps < 1, the value of the $k$-fold repetition of G goes to zero as O((1-eps^c)^k), for some universal constant c\geq 1. Previously parallel repetition with an exponential decay in $k$ was only known for the case of XOR and unique games. To prove the theorem we extend an analytical framework recently introduced by Dinur and Steurer for the study of the classical value of projection games under parallel repetition. Our proof, as theirs, relies on the introduction of a simple relaxation of the entangled value that is perfectly multiplicative. The main technical component of the proof consists in showing that the relaxed value remains tightly connected to the entangled value, thereby establishing the parallel repetition theorem. More generally, we obtain results on the behavior of the entangled value under products of arbitrary (not necessarily identical) projection games. Relating our relaxed value to the entangled value is done by giving an algorithm for converting a relaxed variant of quantum strategies that we call "vector quantum strategy" to a quantum strategy. The algorithm is considerably simpler in case the bipartite distribution of questions in the game has good expansion properties. When this is not the case, rounding relies on a quantum analogue of Holenstein's correlated sampling lemma which may be of independent interest. Our "quantum correlated sampling lemma" generalizes results of van Dam and Hayden on universal embezzlement.

研究动机与目标

• 建立纠缠投影博弈的并行重复定理，扩展已知的 XOR 和唯一博弈结果。
• 分析纠缠值在独立重复博弈下的行为，特别是其衰减速率。
• 为非通信双方之间的近似态共享，开发 Holenstein 相关采样引理的量子类比。
• 通过高效的转换算法，弥合松弛量子策略（向量量子策略）与实际量子策略之间的差距。
• 利用专为纠缠博弈设计的分析工具，将经典并行重复技术推广至量子设置。

提出的方法

• 引入一种在乘积博弈下完全满足乘法性的纠缠值松弛形式。
• 将“向量量子策略”定义为量子策略的松弛变体，以增强分析的可处理性。
• 构建一个量子相关采样引理，使两个拥有经典描述的近似量子态的参与者能够局部生成一个与两者均接近的共享纠缠态。
• 利用量子相关采样引理，将向量量子策略转换为具有有界误差的实际量子策略。
• 对无强扩张性的约束图情形，应用 Holenstein 量子版本的相关采样技术。
• 通过马尔可夫不等式和浓度不等式，严格建立松弛值与真实纠缠值之间的联系。

实验结果

研究问题

• RQ1 投影博弈的纠缠值在并行重复下是否指数衰减？若是，衰减速率如何？
• RQ2 Dinur 和 Steurer 的经典分析框架能否扩展至量子设置，以证明此类衰减？
• RQ3 对于一般投影博弈，衰减界 O((1−ε^c)^k) 中最优指数 c 的值是多少？
• RQ4 如何将向量量子策略以受控误差转换为实际量子策略？
• RQ5 能否构建一个量子相关采样引理，使非通信双方能从经典描述的近似输入态中实现共享态制备？

主要发现

• 对于纠缠值为 1−ε 的投影博弈，在 k 重并行重复下，其纠缠值衰减为 O((1−ε^c)^k)，其中 c≥1 为通用常数。
• 当约束图具有扩张性时，衰减速率达到最优指数 c=1，即呈现 O((1−ε)^k) 的衰减。
• 纠缠值的松弛形式在乘积博弈下完全满足乘法性，从而支持乘积博弈的分析。
• 构建了一个量子相关采样引理，使非通信双方能利用初始纠缠资源，从经典描述的近似输入态中局部生成与两者均接近的共享纠缠态。
• 从向量量子策略到实际量子策略的转换在高概率下成功，当输入态 δ-接近时，误差被控制在 O(δ^{1/12}) 以内。
• 证明依赖于马尔可夫不等式和浓度不等式的创新应用，以高置信度将松弛值与真实纠缠值关联。