[論文レビュー] Tight Bound on the Number of Relevant Variables in a Bounded degree Boolean function.

John Chiarelli, Pooya Hatami+1 more|arXiv (Cornell University)|Jan 25, 2018

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

ひとこと要約

この論文は、次数$d$のブール関数における関連変数の数のよりタイトな上界を確立し、ある定数$C < 22$に対して$ C \cdot 2^d $未満に依存することを証明する。これは、NisanとSzegedyが確立した従来の$ d \cdot 2^{d-1} $の上界を改善するものである。証明では、単項式の次数に基づく新しい重み付けスキームが導入され、上界はほぼタイトであり、$ 3 \cdot 2^{d-1} - 2 $個の関連変数を持つ構成例が得られている。

ABSTRACT

In this paper, we prove that a degree $d$ Boolean function depends on at most $C\cdot 2^d$ variables for some $C<22$, i.e. it is a $C\cdot 2^d$-junta. This improves the $d\cdot 2^{d-1}$ upper bound of Nisan and Szegedy [NS94]. Our proof uses a new weighting scheme where we assign weights to variables based on the highest degree monomial they appear on. We note that a bound of $C\cdot 2^d$ is essentially tight. A lower bound of $2^d-1$ can easily be achieved by a read-once decision tree of depth $d$ (see [O'Donnell 14], Exercise 3.24). We slightly improve this bound by constructing a Boolean function of degree $d$ with $3\cdot 2^{d-1}-2$ relevant variables. This construction was independently observed by Avishay Tal, but has not appeared in a publication before [Tal 17].

研究の動機と目的

• NisanとSzegedyが確立した$ d \cdot 2^{d-1} $の上界を超える、次数$d$のブール関数における関連変数の数の上界を改善すること。
• 単項式に基づく変数重み付けを用いた、変数の関連性を定量化するための新しい解析的枠組みを構築すること。
• 次数$d$のブール関数が$ 3 \cdot 2^{d-1} - 2 $個の関連変数を持つことで、$ C \cdot 2^d $の上界がほぼタイトであることを示すこと。
• 低次数のブール関数におけるジャンタ構造のよりタイトな特徴付けを提供すること。

提案手法

• 変数が現れる最高次数の単項式に基づいて重みを割り当てる、新しい重み付けスキームを導入すること。
• この重み付けスキームを用いて、ブール関数のフーリエ展開における変数の影響を分析すること。
• 組合せ論的および次数に基づく議論を適用して、合計重みをバウンドし、関連変数の数の上限を導出すること。
• 読み取り一回の意思決定木に関する既知の結果を活用して、$ 3 \cdot 2^{d-1} - 2 $個の関連変数を持つ下界例を構成すること。
• 新しい上界$ C \cdot 2^d $と下界を比較することで、結果のほぼタイトさを示すこと。
• Avishay Talによる独立的な構成を活用して下界を強化し、定数要因の範囲内で上界のタイトさを確認すること。

実験結果

リサーチクエスチョン

• RQ1 次数$d$のブール関数における関連変数の数の最良の可能な上界は何か？
• RQ2 NisanとSzegedyの$ d \cdot 2^{d-1} $の上界を、新しい解析的手法を用いて改善できるか？
• RQ3 上界$ C \cdot 2^d $は、次数$d$の関数における真の関連変数数の最大値にどれほど近いか？
• RQ4 上界のタイトさをテストするために、$ 2^d - 1 $個を超える関連変数を持つ次数$d$のブール関数を構成できるか？
• RQ5 任意の次数$d$のブール関数が$ C \cdot 2^d $-ジャンタであるような最適な定数$ C $は何か？

主な発見

• この論文は、ある絶対定数$ C < 22 $に対して、任意の次数$d$のブール関数が$ C \cdot 2^d $個の変数に依存することを示し、従来の$ d \cdot 2^{d-1} $の上界を改善した。
• 新しい上界はほぼタイトであり、論文は$ 3 \cdot 2^{d-1} - 2 $個の関連変数を持つ次数$d$のブール関数の構成を示している。
• この関数の構成は、Avishay Talによって独立的に観察されており、上界に非常に近い下界を提供している。
• 単項式次数に基づく新しい重み付けスキームは、改善された上界を導出する上で中心的な役割を果たし、変数の影響のより洗練された分析を可能にしている。
• この結果は、低次数のブール関数が本質的に変数依存において疎であり、関連変数の数が指数関数的に増加するが、定数係数が著しく小さくなることを確認している。
• 改善された上界は、次数$d$のブール関数が$ C < 22 $の$ C \cdot 2^d $-ジャンタであることを示しており、それらの構造的制限についての理解を強化している。