[論文レビュー] A Noisy-Influence Regularity Lemma for Boolean Functions

Chris Jones|arXiv (Cornell University)|Oct 21, 2016

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

ひとこと要約

この論文は、各入力ビットとの局所的相関を測る指標であるノイズ影響を用いた、ブール関数のための新しい正則性補題を導入する。この補題により、関数のほとんどすべての制限が小さなノイズ影響を持つことが保証され、これによりマジョリティが安定である定理の条件を弱めることが可能になる。この結果は理論的コンピュータ科学における不変性原理や擬似ランダム性の解析に応用される。

ABSTRACT

We present a regularity lemma for Boolean functions $f:\{-1,1\}^n o \{-1,1\}$ based on noisy influence, a measure of how locally correlated $f$ is with each input bit. We provide an application of the regularity lemma to weaken the conditions on the Majority is Stablest Theorem. We also prove a "homogenized" version stating that there is a set of input bits so that most restrictions of $f$ on those bits have small noisy influences. These results were sketched out by [OSTW10], but never published. With their permission, we present the full details here.

研究の動機と目的

• 入力ビットとの局所的相関を測る指標であるノイズ影響に基づいた、ブール関数の正則性補題の構築を目的とする。
• この新しい正則性フレームワークを活用することで、マジョリティが安定である定理に必要な条件を弱めることを目的とする。
• 同じビットを各レベルで繰り返しクエリすることで、ほとんどの制限が小さなノイズ影響を持つ「均質化」された正則性補題のバージョンを確立することを目的とする。
• [OSTW10]で未発表のスケッチとして提示されたノイズ影響正則性とその応用の形式的かつ完全な記述を提供することを目的とする。
• 不変性原理およびガウス空間近似の文脈における低影響関数の解析のための基盤を提供することを目的とする。

提案手法

• 各内部ノードが1つのビットをクエリし、各リーフが元の関数の部分関数に対応する意思決定木の分解を用いる。
• 方向微分とノイズ安定性を用いてノイズ影響を定義し、$\operatorname{Inf}^{(1-\delta)}_i[f] = \mathbb{E}[|D_i f(x)|^2]$ と表す。これはノイズ下での局所的感度を測る。
• 大きなノイズ影響を持つビットを選択して木を再帰的に精緻化するプロセスを適用し、ほとんどのリーフに対応する部分関数が $(\epsilon,\delta)$-小さなノイズ影響を持つことを保証する。
• フーリエ係数に基づく準ランダム性条件を用いる：$f$ が $(\epsilon,\delta)$-準ランダムであるとは、すべての $i$ に対して $\sum_{R \ni i} (1-O(\delta))^{\abs{R}-1} \hat{f}(R)^2 \leq \epsilon^2$ が成り立つことである。
• 一般化された体積マジョリティが安定である定理を部分関数のノイズ安定性を抑え、これと制限に関する平均集中（Lemma 9）を組み合わせることで、境界を導出する。
• $\Lambda_\rho$ の2-Lipschitz性を用いて、部分関数から得た境界を全関数に伝搬させ、リーフ間のエネルギー寄与を統合する。

実験結果

リサーチクエスチョン

• RQ1 フーリエ一様性の代わりにノイズ影響を用いたブール関数の正則性補題を構築することは可能か？
• RQ2 ノイズ影響正則性を用いることで、マジョリティが安定である定理に必要な条件を弱めることは可能か？
• RQ3 各レベルで同じビットをクエリすることで、ほとんどの制限が小さなノイズ影響を持つ「均質化」された正則性補題のバージョンが存在するか？
• RQ4 準ランダム性パラメータと制限下での平均安定性の関係は何か？この関係を用いてノイズ安定性を抑えられるか？
• RQ5 正則性分解において、クエリするビット数とノイズ影響の大きさの間の定量的トレードオフは何か？

主な発見

• 論文は定理1を証明する：任意の $f:\{-1,1\}^n \to \mathbb{R}$ で $\mathbb{E}[f^2] \leq 1$ を満たすものに対して、深さが $1/(\epsilon \delta \gamma)$ 以下の意思決定木が存在し、そのうち $\gamma$ 分率を超える部分関数はすべて $(\epsilon,\delta)$-小さなノイズ影響を持つ。
• 定理2は均質化されたバージョンを確立する：$2 \uparrow\uparrow 1/(\epsilon \delta \gamma)$ 以下のサイズの集合 $J \subseteq [n]$ が存在し、$f$ を $J$ に制限したうち、$\gamma$ 分率を超える制限はすべて小さなノイズ影響を持つ。
• マジョリティが安定である定理が弱体化される：$f$ が $(\epsilon 2^{-\log^2(1/\epsilon)/(\epsilon \log \log(1/\epsilon))}, \epsilon \log \log(1/\epsilon)/\log^2(1/\epsilon))$-準ランダムであるとき、$\operatorname{Stab}_\rho[f] \leq \Lambda_\rho(\mathbb{E}[f]) + O\left(\frac{\log \log(1/\epsilon)}{\log(1/\epsilon)}\right) \cdot \frac{1}{1-\rho}$ が成り立つ。
• 関数 $f$ が $(\epsilon,\delta)$-準ランダムであるとき、$1/\delta$ 個以下の座標への制限の平均値は $2^{1/\delta} \epsilon$ 以内に変化する。これは安定性を抑え込むための重要な道具である。
• ノイズ安定性の境界は部分関数全体に一様に成り立ち、全体の安定性は、ほとんどすべての部分関数が小さな影響を持つことと、少数のエネルギーが有界な部分関数を組み合わせることで制御される。
• これらの結果は、[OSTW10]で未発表のスケッチを完全に形式化・完成させ、承認を得た完全な証明を提供し、不変性理論および擬似ランダム性分野の基礎的業績を拡張する。