[论文解读] Analytical Approach to Parallel Repetition

Irit Dinur, David Steurer|arXiv (Cornell University)|May 9, 2013

Complexity and Algorithms in Graphs参考文献 14被引用 8

一句话总结

本文提出了一种用于投影博弈中并行重复的分析框架，通过一种新颖的游戏值松弛方法，证明了当游戏值至多为 $\rho$ 时，$k$ 重并行重复的游戏值以 $\left(\frac{2\sqrt{\rho}}{1+\rho}\right)^{k/2}$ 的速率衰减。该结果首次为低值博弈建立了非平凡的并行重复界，并加强了在任意 $\varepsilon > 0$ 下，集合覆盖问题近似难度达到 $ (1 - \varepsilon)\ln n $ 的 NP-难性。

ABSTRACT

We propose an analytical framework for studying parallel repetition, a basic product operation for one-round two-player games. In this framework, we consider a relaxation of the value of a game, $\mathrm{val}_+$, and prove that for projection games, it is both multiplicative (under parallel repetition) and a good approximation for the true value. These two properties imply a parallel repetition bound as $$ \mathrm{val}(G^{\otimes k}) \approx \mathrm{val}_+(G^{\otimes k}) = \mathrm{val}_+(G)^{k} \approx \mathrm{val}(G)^{k}. $$ Using this framework, we can also give a short proof for the NP-hardness of Label-Cover$(1,δ)$ for all $δ>0$, starting from the basic PCP theorem. We prove the following new results: - A parallel repetition bound for projection games with small soundness. Previously, it was not known whether parallel repetition decreases the value of such games. This result implies stronger inapproximability bounds for Set-Cover and Label-Cover. - An improved bound for few parallel repetitions of projection games, showing that Raz's counterexample is tight even for a small number of repetitions. Our techniques also allow us to bound the value of the direct product of multiple games, namely, a bound on $\mathrm{val}(G_1\otimes ...\otimes G_k)$ for different projection games $G_1,...,G_k$.

研究动机与目标

• 解决一个开放问题：即并行重复是否能降低初始值较小（例如亚常数）的投影博弈的值。
• 开发一种通用的分析框架，用于研究并行重复，超越特定构造或信息论方法。
• 为少量重复情形建立紧致界，解决 Raz 对强并行重复的反例在重复次数较少时是否紧致的问题。
• 从基础 PCP 定理出发，给出标签覆盖 $ (1,\delta) $ 的 NP-难性近似性的简短分析证明。
• 通过证明集合覆盖问题在任意 $ \varepsilon > 0 $ 下近似难度达到 $ (1 - \varepsilon)\ln n $，加强其不可近似性。

提出的方法

• 引入一种游戏值的松弛形式，记为 $ \mathrm{val}_{+}(G) $，其在并行重复下具有乘法性质。
• 证明 $ \mathrm{val}_{+}(G) $ 能近似真实游戏值 $ \mathrm{val}(G) $，从而可应用算子范数、非负定规划等分析工具。
• 利用该松弛形式推导出新的并行重复界：对于满足 $ \mathrm{val}(G) \leq \rho $ 的投影博弈，有 $ \mathrm{val}(G^{\otimes k}) \leq \left(\frac{2\sqrt{\rho}}{1+\rho}\right)^{k/2} $。
• 将该框架应用于扩展投影博弈，证明其具有乘法近似界，从而导出标签覆盖难解性的简短证明。
• 通过构造反通用集合作为构件，设计集合覆盖归约，确保完备性为 $ k $ 个集合，而可靠性要求至少 $ d = k(1 - 2/D)\ln m $ 个集合。
• 利用随机赋值论证表明，若存在小规模覆盖，则基础博弈中的一致性程度会很高，除非覆盖本身足够大，否则与博弈的可靠性相矛盾。

实验结果

研究问题

• RQ1 新的分析框架能否为初始值较小的投影博弈提供紧致的并行重复界？
• RQ2 当初始值为 $ \rho $ 时，投影博弈的 $k$ 重并行重复值如何随 $k$ 衰减？该衰减过程能否通过分析方法严格证明？
• RQ3 Raz 对强并行重复的反例在仅重复两次时是否仍为紧致？
• RQ4 该分析框架能否用于从基础 PCP 定理出发，给出标签覆盖 $ (1,\delta) $ 对所有 $ \delta > 0 $ 的 NP-难性近似性的简短证明？
• RQ5 该框架能否扩展以证明集合覆盖及其他约束满足问题的改进不可近似性结果？

主要发现

• 对于初始值至多为 $ \rho $ 的投影博弈 $ G $，其并行重复满足 $ \mathrm{val}(G^{\otimes k}) \leq \left(\frac{2\sqrt{\rho}}{1+\rho}\right)^{k/2} $，这是首次为低值博弈建立的非平凡界。
• 对于高值博弈（$ \mathrm{val}(G) \leq 1 - \varepsilon $），该界意味着 $ \mathrm{val}(G^{\otimes k}) \leq \left(1 - \varepsilon^2/16\right)^k $，与 Rao 的界一致但常数更优。
• 该框架证明了 Raz 对强并行重复的反例即使在仅两次重复时也紧致，从而解决了长期悬而未决的开放问题。
• 本文从基础 PCP 定理出发，给出了标签覆盖 $ (1,\delta) $ 对所有 $ \delta > 0 $ 的 NP-难性近似性的简短证明。
• 集合覆盖的不可近似性结果得到加强：对任意 $ \varepsilon > 0 $，近似集合覆盖至 $ (1 - \varepsilon)\ln n $ 因子是 NP-难的，该结果建立在 Feige 的准 NP-难性与 Moshkovitz-Raz 的工作之上。
• 松弛形式 $ \mathrm{val}_{+}(G) $ 在并行重复下具有乘法性质，且能良好近似真实游戏值，从而支持了该分析方法的有效性。