[論文レビュー] Variations on the Sensitivity Conjecture

Pooya Hatami, Raghav Kulkarni+1 more|arXiv (Cornell University)|Nov 1, 2010

Complexity and Algorithms in Graphs参考文献 25被引用数 7

ひとこと要約

この論文は、すべてのブール関数についてブロック感度が感度によって多項式的に有界であると仮定する感度予想の変種を調査する。新しい定式化を提示し、予想が複数の複雑さ測度の間の多項式的関係を示すことを証明し、感度とブロック感度のタイトな境界に達するブール関数の構成を提供する。これにはルビンスタイン関数やチャクラボルティの関数が含まれる。

ABSTRACT

We present a selection of known as well as new variants of the Sensitivity Conjecture and point out some weaker versions that are also open.

研究の動機と目的

• 感度予想のより弱いおよび同値な定式化を探索し、形式化すること。
• ブール関数におけるブロック感度と感度の間の多項式的関係を調査すること。
• 感度とブロック感度において極値を達成する既知および新しいブール関数の例を分析すること。
• 証明複雑さ、意思決定木の複雑さ、および次数といった複雑さ測度が感度やブロック感度とどのように関係するかを明確にすること。
• 感度予想を解決するために進展した未解決問題の包括的概要を提供すること。

提案手法

• ブロック感度の概念を導入し、ニサンによる特徴付けを用いてCREW PRAM複雑さと関連付ける。
• グレイコードに基づく構成を用いて、感度を持つブロックを色付き超立方体にマッピングし、導関数の感度と元の関数のブロック感度を結びつける。
• 多項式法とフーリエ解析を用いて、合成関数の次数と感度を分析する。
• ルビンスタインの関数、ORのAND、 Kushilevitzおよびチャクラボルティの構成といった特定のブール関数を分析し、タイトな境界を確立する。
• 関数合成 $ f \diamond g $ を用いて、感度とブロック感度の性質を制御できる関数を構築する。
• 関数が低い感度と高いブロック感度を持つ場合、そのブロック感度が感度の多項式的有界性を持つことを示す。これは、予想が成り立つと仮定した場合に成り立つ。

実験結果

リサーチクエスチョン

• RQ1 現在知られている感度予想の最も弱い定式化で、未解決のものとは何か？
• RQ2 ブール関数のブロック感度は、その感度の多項式によって有界にできるか？
• RQ3 明示的なブール関数について、感度に対してブロック感度の最もタイトな既知の下限と上限は何か？
• RQ4 証明複雑さ、意思決定木の複雑さ、および次数といった複雑さ測度は、感度やブロック感度とどのように関係するか？
• RQ5 関数合成を用いて、極値の感度とブロック感度の比に達するブール関数を構築できるか？

主な発見

• 感度予想は、ブロック感度が感度によって多項式的に有界であることを示し、広範な複雑さ測度を統一する。
• $ k^2 $ 個の変数を持つルビンスタインの関数は、ブロック感度 $ \Theta(k^2) $ と感度 $ \Theta(k) $ を達成し、2次的なギャップを示している。
• $ k^2 $ 個の変数を持つAND-of-ORs関数は、感度とブロック感度の両方が $ k $ に等しく、タイトなケースを示している。
• $ n = k^3 $ 個の変数を持つチャクラボルティの関数は、感度 $ \Theta(n^{1/3}) $ とブロック感度 $ \Theta(n^{2/3}) $ を達成し、非線形的なギャップを示している。
• 次数3の関数を6変数で $ k $ 回合成した Kushilevitzの関数は、次数 $ 3^k = n^{\log_6 3} $ を持ち、完全な感度とブロック感度を達成している。
• 関数 $ C $ が $ b $ 個の変数を持ち、感度が $ 2s(f) $ 以下である場合、$ bs(f) \leq \operatorname{poly}(s(C)) $ が成り立つことを証明し、予想と超立方体上の彩色の議論を結びつけた。