[論文レビュー] Low degree almost Boolean functions are sparse juntas

Irit Dinur, Yuval Filmus+1 more|arXiv (Cornell University)|Jan 1, 2017

Complexity and Algorithms in Graphs参考文献 16被引用数 4

ひとこと要約

この論文は、$p$-バイアス超立方体上の低次のほぼブール関数を特徴付けるために、従来のジャンタを一般化する新しい関数クラス「スパースジャンタ」を導入する。局所的・グローバル的整合性定理を用いることで、このような関数がスパースジャンタに近いことを示し、これにより先行研究を拡張するとともに、バイアスおよび大偏差の境界を導出する。

ABSTRACT

Nisan and Szegedy showed that low degree Boolean functions are juntas. Kindler and Safra showed that low degree functions which are almost Boolean are close to juntas. Their result holds with respect to $\mu_p$ for every constant $p$. When $p$ is allowed to be very small, new phenomena emerge. For example, the function $y_1 + \cdots + y_{\epsilon/p}$ (where $y_i \in \{0,1\}$) is close to Boolean but not close to a junta. We show that low degree functions which are almost Boolean are close to a new class of functions which we call *sparse juntas*. Roughly speaking, these are functions which on a random input look like juntas, in the sense that only a finite number of their monomials are non-zero. This extends a result of the second author for the degree 1 case. As applications of our result, we show that low degree almost Boolean functions must be very biased, and satisfy a large deviation bound. An interesting aspect of our proof is that it relies on a local-to-global agreement theorem. We cover the $p$-biased hypercube by many smaller dimensional copies of the uniform hypercube, and approximate our function locally via the Kindler--Safra theorem for constant $p$. We then stitch the local approximations together into one global function that is a sparse junta.

研究の動機と目的

• $p$ が小さいとき、従来のジャンタが低次のほぼブール関数を捉えきれないという問題を解決すること。
• 小 $p$ の下で $μ_p$ に対してこのような関数をよりよく特徴付ける新しい関数クラス「スパースジャンタ」を同定すること。
• 標準的なジャンタ近似が失敗する小 $p$ の設定において、Kindler–Safra の定理を $p$-バイアス設定に拡張すること。
• 低次のほぼブール関数のバイアスおよび大偏差に関する定量的境界を確立すること。

提案手法

• 小次元の均一超立方体に $p$-バイアス超立方体を被覆して、局所的解析を可能にする。
• 各小超立方体上で定数 $p$ の設定下で Kindler–Safra の定理を局所的に適用し、関数をジャンタで近似する。
• 局所的・グローバル的整合性定理を用いて、局所的近似を一つのグローバルなスパースジャンタに統合する。
• スパースジャンタを、ランダム入力に対して有限個の非ゼロモナドを持つ関数として定義し、小 $p$ の下での本質的構造を捉える。
• モナドの構造とそのスパarsityを活用して、元の関数とスパースジャンタとの距離をバインドする。

実験結果

リサーチクエスチョン

• RQ1 $p$ が小さいとき、$p$-バイアス超立方体上の低次のほぼブール関数はジャンタで近似可能か？
• RQ2 標準的なジャンタが失敗する小 $p$ の設定において、ジャンタを一般化する関数クラスは何か？
• RQ3 局所的・グローバル的整合性原理は、スパース設定においてどのようにグローバル近似を可能にするか？
• RQ4 低次のほぼブール関数は、小 $p$ の下でどのようなバイアスおよび大偏差特性を示すか？

主な発見

• 低次のほぼブール関数は、従来のジャンタを一般化する新しいクラスであるスパースジャンタに近い。
• 従来のジャンタが近似に失敗する非常に小さい $p$ に対しても、スパースジャンタ近似は成立する。
• 関数 $y_1 + \cdots + y_{\epsilon/p}$ がブール関数に近いが、いかなるジャンタとも近くないことが示され、スパースジャンタの必要性が裏付けられる。
• このような関数は、次数と $p$ の関数として定量的にバイアスが強いことが証明される。
• スパースジャンタ構造から、低次のほぼブール関数に対して大偏差の境界が確立される。