[论文解读] Multiplayer parallel repetition for expander games

Irit Dinur, Prahladh Harsha+2 more|arXiv (Cornell University)|Oct 26, 2016

Computability, Logic, AI Algorithms参考文献 12被引用 4

一句话总结

本文在一种新的扩张性质下，为多人一轮博弈的并行重复建立了指数衰减界，推广了此前关于自由博弈和锚定博弈的结果。通过引入基于连通性的扩张条件，并利用统计距离与赫林格距离技术，作者证明了重复博弈的值随重复次数呈指数衰减，从而解决了对一类广泛多人博弈而言的关键开放问题。

ABSTRACT

We investigate the value of parallel repetition of one-round games with any number of players $k\ge 2$. It has been an open question whether an analogue of Raz's Parallel Repetition Theorem holds for games with more than two players, i.e., whether the value of the repeated game decays exponentially with the number of repetitions. Verbitsky has shown, via a reduction to the density Hales-Jewett theorem, that the value of the repeated game must approach zero, as the number of repetitions increases. However, the rate of decay obtained in this way is extremely slow, and it is an open question whether the true rate is exponential as is the case for all two-player games. Exponential decay bounds are known for several special cases of multi-player games, e.g., free games and anchored games. In this work, we identify a certain expansion property of the base game and show all games with this property satisfy an exponential decay parallel repetition bound. Free games and anchored games satisfy this expansion property, and thus our parallel repetition theorem reproduces all earlier exponential-decay bounds for multiplayer games. More generally, our parallel repetition bound applies to all multiplayer games that are connected in a certain sense. We also describe a very simple game, called the GHZ game, that does not satisfy this connectivity property, and for which we do not know an exponential decay bound. We suspect that progress on bounding the value of this the parallel repetition of the GHZ game will lead to further progress on the general question.

研究动机与目标

• 解决多人博弈并行重复是否表现出指数衰减这一开放问题，如两玩家博弈中所见。
• 识别一种基博弈中的一般结构性质——扩张性——以确保重复博弈值的指数衰减。
• 在单一更通用的框架下统一并扩展此前关于自由博弈与锚定博弈的研究结果。
• 隔离出一个最小连通性条件，以捕捉多人博弈中指数衰减发生的本质原因。
• 将GHZ博弈识别为潜在反例，凸显当前理解中的空白。

提出的方法

• 为多人博弈引入一种新的扩张性质，通过给定不同问题时答案条件分布之间的统计距离来定义。
• 使用辅助变量的依赖破坏机制，以解耦重复博弈中玩家与坐标之间的依赖关系。
• 应用赫林格距离与统计距离界限，表明答案的局部分布会集中在全局分布附近，从而暗示策略的鲁棒性。
• 利用变体混合方法与概率采样，构建一个近似重复博弈行为的单次策略。
• 基于扩张性质使用递归论证，以界定基博弈中成功概率的上界，从而导出指数衰减率。
• 以博弈的可靠性差距 ε、答案字母表大小 |A| 和扩张参数 λ 表示，推导出衰减率的定量下界。

实验结果

研究问题

• RQ1 对于 k ≥ 2 名玩家的多人博弈，其并行重复是否像两玩家情况一样表现出值的指数衰减？
• RQ2 基博弈的何种结构性质可确保其重复版本的值呈指数衰减？
• RQ3 是否可将具有指数并行重复的博弈类扩展至自由博弈与锚定博弈之外？
• RQ4 是否存在一个最小连通性或扩张条件，可刻画出并行重复呈指数衰减的博弈？
• RQ5 缺乏该扩张性质的GHZ博弈是否表现出次指数衰减？若是，原因为何？

主要发现

• 任何满足扩张性质的 k 名玩家博弈的 n 重并行重复，其值以 Ω(ε⁵λ² / log|A|) 的速率呈指数衰减。
• 该扩张性质广义化了自由博弈与锚定博弈，从而重现了这些类别已知的指数衰减界。
• 本文提供了紧致的定量界：γ ≥ Ω(ε⁵λ² / log|A|)，其中 γ 为成功概率 2^(-γn) 中的衰减指数。
• 分析表明，若重复博弈的成功概率过高，则会与基博弈的可靠性相矛盾，从而推导出衰减率的下界。
• GHZ 博弈被识别为次指数衰减的候选者，提示扩张条件可能是实现指数衰减的必要条件。
• 该方法成功避免了 Verbitsky 一般结果中的反阿克曼增长率，实现了更快的指数衰减。