[論文レビュー] Majority Is Asymptotically the Most Stable Resilient Function

Elchanan Mossel|arXiv (Cornell University)|Apr 16, 2017

Complexity and Algorithms in Graphs参考文献 27被引用数 6

ひとこと要約

この論文は、 Majority Is Stablest 定理を拡張し、低影響条件に加えて、フーリエ係数が消える関数に対しても安定性の境界が成り立つことを示している。2つのブール関数のノイズあり内積がそれに対応するガウス半空間のそれより大きい場合、それらの大規模なフーリエ係数のサポートが交差しなければならないことを証明しており、単一関数に対する既存の結果を一般化している。

ABSTRACT

The result that Majority Is Stablest, proven with O'Donnell and Oleszkiewicz (2005), states that, for any two Boolean function $f,g$, of maximal influence $ au$, their noisy inner product is bounded by the noisy inner product of Gaussian half-spaces of the same measures up to an error $\varepsilon( au)$, where $\varepsilon( au) o 0$ as $ au o 0$. It is natural to ask if the condition of low influences can be relaxed to the condition that the function has vanishing Fourier coefficients. Here we answer this question affirmatively and show furthermore that if two general functions $f$ and $g$ have a noisy inner product that surpasses that of the corresponding half-spaces, then the Fourier supports of their large coefficients intersect. The case of one function, $f=g$, of our result was proven earlier in an unpublished work by O'Donnell, Servedio, Tan and Wan (2010). Their proof is included in a recent exposition by Jones (2016).

研究の動機と目的

• 低影響関数に限らない、フーリエ係数が消える関数へと Majority Is Stablest 定理を一般化できるかどうかを調査すること。
• 2つのブール関数のノイズあり内積が、それに対応するガウス半空間のそれより大きくなるための構造的条件を特定すること。
• ノイズあり内積の安定性と、大規模なフーリエ係数のサポートの交差との間の関係を確立すること。

提案手法

• 元の Majority Is Stablest 議論の技術を、フーリエ係数が消える関数を分析するために適応する。
• ブール関数とガウス半空間の間のノイズ安定性の比較を、中心的な分析的ツールとして用いる。
• ノイズあり内積がガウスのベンチマークを超える関数の構造を特徴付けるために、フーリエ解析的手法を適用する。
• 帰納的証明を用いて、ノイズあり内積がガウスの境界を超えるならば、大規模なフーリエ係数のサポートが交差しなければならないことを示す。
• 既知の低影響関数に関する結果を、双対性とサポートの交差に関する議論を用いて拡張する。
• O'Donnell 他 (2010) の未発表の先行作業に裏付けを置き、Jones (2016) の解説を基礎的文脈として統合する。

実験結果

リサーチクエスチョン

• RQ1 フーリエ係数が消える関数（低影響とは限らない）に対しても、Majority Is Stablest 定理を拡張できるか？
• RQ2 2つのブール関数がノイズあり内積で対応するガウス半空間のそれより大きい場合、どのような条件下で成立するか？
• RQ3 ノイズあり内積がガウスのベンチマークを超える場合、2つの関数のフーリエ係数のサポートにどのような構造的制約が生じるか？
• RQ4 大規模なフーリエ係数のサポートの交差は、ノイズあり内積の安定性とどのように関係するか？
• RQ5 低影響仮定がフーリエ係数が消える条件に置き換えられた場合、安定性境界は保持されるか？

主な発見

• Majority Is Stablest の境界は、低影響関数に限らず、フーリエ係数が消える関数に対しても成り立つ。
• 2つのブール関数のノイズあり内積が、それに対応するガウス半空間のそれより大きい場合、それらの大規模なフーリエ係数のサポートは交差しなければならない。
• O'Donnell, Servedio, Tan, Wan (2010) が単一関数（f = g）に対して得た先行結果を一般化し、今や2関数のペアへと拡張されている。
• 影響パラメータが0に近づくにつれて、安定性境界の誤差項は消えるが、これはより弱いフーリエ係数が消える条件のもとでも成立する。
• 大規模なフーリエ係数のサポートの交差は、ガウスのノイズあり内積境界を超えるための必要条件である。
• 証明により、フーリエ係数のサポート幾何学とノイズ安定性の間の構造的関係が確立され、Majority Is Stablest フレームワークの適用範囲が拡張された。