[論文レビュー] Social choice, computational complexity, Gaussian geometry, and Boolean functions

Ryan O’Donnell|arXiv (Cornell University)|Jul 29, 2014

Complexity and Algorithms in Graphs参考文献 69被引用数 5

ひとこと要約

この論文は、新しい還元技術を通じて、社会選択理論、計算複雑性、ガウス幾何、ブール関数解析を統合し、マジョリティが安定する定理とボレルの等周不等式を統一的に扱うことで、深いつながりを確立している。Sum-of-Squares (SOS) 証明システムが、Khot–Vishnoi グラフに対して最適な Max-Cut 界を証明可能であることを示しており、Unique Games と <em>P≠NP</em> 予想に挑戦し、De–Mossel–Neeman 証明技法が離散的および連続的等周不等式を結ぶ力の高さを浮き彫りにしている。

ABSTRACT

We describe a web of connections between the following topics: the mathematical theory of voting and social choice; the computational complexity of the Maximum Cut problem; the Gaussian Isoperimetric Inequality and Borell's generalization thereof; the Hypercontractive Inequality of Bonami; and, the analysis of Boolean functions. A major theme is the technique of reducing inequalities about Gaussian functions to inequalities about Boolean functions f : {-1,1}^n -> {-1,1}, and then using induction on n to further reduce to inequalities about functions f : {-1,1} -> {-1,1}. We especially highlight De, Mossel, and Neeman's recent use of this technique to prove the Majority Is Stablest Theorem and Borell's Isoperimetric Inequality simultaneously.

研究の動機と目的

• 投票ルール、計算複雑性、幾何的等周性の分析を、ブール関数技法を通じて統一すること。
• マジョリティが安定する定理とボレルの等周不等式を、離散的から連続的への還元法を用いて同時に証明すること。
• Sum-of-Squares (SOS) 証明システムが、Khot–Vishnoi グラフに対して最適な Max-Cut 界を証明可能かどうかを検証すること。これは、Unique Games <em>P≠NP</em> 予想に挑戦する。
• 証明システムが最適なCSP界を証明可能とする限界を評価すること、特に困難なインスタンスを確率的構成によって得る文脈において。

提案手法

• 連続的から離散的への還元を通じて、ガウス関数に関する不等式を、$f: \{-1,1\}^n \to \{-1,1\}$ であるブール関数に関する同等の不等式に還元する。
• $n$ に関する帰納法を用いて、複雑な $n$ 変数不等式を $\{-1,1\}$ 上の一変数不等式に簡略化する。
• 投票の誤記録をモデル化するため、ノイズ安定作用素 $\mathbf{Stab}_\rho[f] = \mathbb{E}[f(\mathbf{x})f(\mathbf{y})]$ を $\rho$-相関のある入力に対して用いる。
• 不変性原理とフーリエ解析を用いて、離散的ブール関数と連続的ガウス関数を結びつける。
• De–Mossel–Neeman によるマジョリティが安定する定理の証明を活用し、SOS 証明が Khot–Vishnoi グラフに対して $\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta + o(1)$ を証明可能であることを示す。
• Max-Cut 上界を、SOS 証明システム内での多項式恒等式として表現する：$\beta - \mathrm{avg}(\frac{1}{2} - \frac{1}{2}X_vX_w) = \sum P_i^2$ であり、$X_v^2 = 1$ を法とする。

実験結果

リサーチクエスチョン

• RQ1 ガウス関数からブール関数への統一的還元を用いて、マジョリティが安定する定理とボレルの等周不等式を同時に証明できるか？
• RQ2 Sum-of-Squares (SOS) 証明システムが、Khot–Vishnoi グラフに対して最適な Max-Cut 界をどの程度まで証明可能とするか？
• RQ3 無限個の Max-Cut インスタンスの族について、$\mathrm{Opt}(G) \leq \frac{\theta}{\pi}$ であるが、SOS システムが $\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta$ よりも良い界を証明できないものは存在するか？
• RQ4 確率的構成によって、$\mathrm{Opt}(G) \leq \frac{\theta}{\pi}$ であるが、$\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta$ を証明する多項式長の証明が存在しない Max-Cut インスタンスが得られるか？

主な発見

• De–Mossel–Neeman によるマジョリティが安定する定理の証明により、SOS 証明システムが Khot–Vishnoi Max-Cut グラフに対して $\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta + o(1)$ を証明可能であることが示された。
• この結果は、Unique Games <em>P≠NP</em> 予想に挑戦するものであり、SOS のような強力な証明システムですら、予想される界に到達できることを示している。
• $n$ に関する帰納法によるガウス関数からブール関数への還元により、離散的および連続的設定における等周不等式の統一的取り扱いが可能になった。
• ノイズ安定性 $\mathbf{Stab}_\rho[f]$ は、投票ルールのノイズ耐性を定量化し、値が高いほど誤記録に対してより強い耐性を示す。
• Khot–Vishnoi グラフは $\mathrm{SDPOpt}(G) \geq \frac{1}{2} - \frac{1}{2}\cos\theta$ および $\mathrm{Opt}(G) \leq \frac{\theta}{\pi} + o(1)$ を満たし、より強いSDP階層に対する重要な反例である。
• もし $\mathrm{Opt}(G) \leq \frac{\theta}{\pi}$ であるが、$\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta$ を証明する短い証明が存在しないグラフが存在するならば、これは $\text{coNP} \neq \text{NP}$ 予想に対する強い証拠となる。