[論文レビュー] Noise stability of functions with low influences: invariance and optimality

Elchanan Mossel, Ryan O’Donnell+1 more|ArXiv.org|Mar 23, 2005

Mathematical Approximation and Integration参考文献 41被引用数 39

ひとこと要約

この論文は、積確率空間上の低影響を持つ多項式に対して強力な不変性原理を確立し、分布が異なるドメイン（例えばブール立方体やガウス空間）間でほぼ不変であることを示している。主な貢献は、'Majority Is Stablest' 予想の証明と、ヘルミート展開に関する予想の反証であり、ノイズ安定性と影響力の減衰に関する明示的な境界が得られている。

ABSTRACT

In this paper we study functions with low influences on product probability spaces. The analysis of boolean functions with low influences has become a central problem in discrete Fourier analysis. It is motivated by fundamental questions arising from the construction of probabilistically checkable proofs in theoretical computer science and from problems in the theory of social choice in economics. We prove an invariance principle for multilinear polynomials with low influences and bounded degree; it shows that under mild conditions the distribution of such polynomials is essentially invariant for all product spaces. Ours is one of the very few known non-linear invariance principles. It has the advantage that its proof is simple and that the error bounds are explicit. We also show that the assumption of bounded degree can be eliminated if the polynomials are slightly ``smoothed''; this extension is essential for our applications to ``noise stability''-type problems. In particular, as applications of the invariance principle we prove two conjectures: the ``Majority Is Stablest'' conjecture from theoretical computer science, which was the original motivation for this work, and the ``It Ain't Over Till It's Over'' conjecture from social choice theory.

研究の動機と目的

• 積確率空間上の低影響関数に対する一般化された不変性原理の開発を目的とし、ブール立方体やガウス空間といった異なるドメイン間での結果の移行を可能にする。
• 理論的コンピュータサイエンスにおける 'Majority Is Stablest' 予想の解決を目的とし、バランスの取れた低影響関数の最大ノイズ安定性を論じる。
• 社会選択理論における 'It Ain't Over Till It's Over' 予想に対処することを目的とし、ノイズ下での投票システムの安定性に関連するものである。
• ガウス空間上での対称的・奇関数のヘルミート展開の構造を調査することを目的とし、特に低次のフーリエ係数の分布に注目する。
• 対称的・奇関数・低影響関数の中で、メジャリティ関数が低次のフーリエ重みを最大化しないことを示し、従来の予想に反する。

提案手法

• 低影響力かつ有界次数の多項式に対して、新しい不変性原理を導入し、積確率空間間で分布がほぼ不変であることを証明する。
• ボナミ＝ベクナーの不等式と超合同性を用いて尾部の挙動を制御し、誤差境界が明示的かつ小さいことを保証する。
• 滑らか化操作を導入することで、有界次数を超えた場合の不変性原理を拡張し、低影響力とノイズ安定性を保持する。
• 調整可能なしきい値を持つ区分的定数の奇関数を用いて、ガウス空間上での明示的反例を構築し、ヘルミート係数を分析する。
• クリーチャク多項式がヘルミート多項式に収束することを活用し、ガウス空間上の反例をブール立方体へと持ち上げる。
• ヘルミート多項式を区分的定数関数と明示的に積分し、フーリエ係数を計算し、しきい値 t などのパラメータに関して最適化を行う。

実験結果

リサーチクエスチョン

• RQ1 低影響関数のノイズ安定性は、異なる積確率空間間で一様に有界にできるか？
• RQ2 ブール立方体上でのすべてのバランスの取れた低影響関数の中で、メジャリティ関数がノイズ安定性を最大化するか？
• RQ3 対称的・奇関数・低影響関数の中で、低次の集合への総フーリエ重みはメジャリティ関数によって最大化されるか？
• RQ4 ガウス空間上での奇関数・対称関数の低次のヘルミート係数の最適な分布は何か？
• RQ5 有界次数を超えた多項式に対しても、誤差項の制御を失わず不変性原理を拡張できるか？

主な発見

• 不変性原理により、低影響力・有界次数の多項式の分布が積確率空間間で本質的に不変であり、明示的な誤差境界が得られた。
• 'Majority Is Stablest' 予想が証明された：任意の ε > 0 に対して、τ > 0 が存在し、f: {-1,1}ⁿ → [-1,1] が平均 0 かつすべての影響力 ≤ τ を満たすならば、そのノイズ安定性 Sρ(f) ≤ (2/π) arcsin ρ + ε である。
• ガウス空間上に反例が構成された：ℝ → {-1,1} への奇関数・対称関数 f で、∑_{d≤3} f̂(d)² ≥ 0.75913 > 2/π + 1/(3π) を満たすものがあり、これはメジャリティ関数のヘルミート重みを上回る。
• この反例はブール立方体へと持ち上げられた：奇数 n に対して、影響力 O(1/√n) で、limₙ→∞ ∑_{|S|≤3} f̂ₙ(S)² ≥ 0.75913 を満たす対称的・奇関数 fₙ: {-1,1}ⁿ → {-1,1} が存在する。
• この結果により、対称的・奇関数・低影響関数の中でメジャリティ関数が低次のフーリエ重みを最大化するとする予想が反証された。
• 低影響関数の低次のフーリエ重みに対する漸近的上界が、1 − (2/π)^{3/2} d^{-1/2} + o(d^{-1/2}) よりも厳密に小さいことが示され、ボーグァインの境界を超える改善の余地があることが示唆された。