[論文レビュー] Superpolynomial lower bounds for general homogeneous depth 4 arithmetic circuits

Mrinal Kumar, Shubhangi Saraf|arXiv (Cornell University)|Dec 20, 2013

Complexity and Algorithms in Graphs被引用数 3

ひとこと要約

本稿は、一般の同次な深さ4の算術回路に対する超多項式的下界を確立するために、新たな複雑度測度「有界サポートシフト部分導関数」を導入する。これにより、有界な下層ファンインを持つ回路に対して指数的下界を示すことができる。次に、ランダム制限手順を適用して、一般の同次な深さ4回路へとこれらの下界を拡張し、$NW_d$多項式がこのモデルにおいてサイズ $n^{\theta(\log\log n)}$ を必要とすることが証明される。

ABSTRACT

In this paper, we prove superpolynomial lower bounds for the class of homogeneous depth 4 arithmetic circuits. We give an explicit polynomial in VNP of degree $n$ in $n^2$ variables such that any homogeneous depth 4 arithmetic circuit computing it must have size $n^{Ω(\log \log n)}$. Our results extend the works of Nisan-Wigderson [NW95] (which showed superpolynomial lower bounds for homogeneous depth 3 circuits), Gupta-Kamath-Kayal-Saptharishi and Kayal-Saha-Saptharishi [GKKS13, KSS13] (which showed superpolynomial lower bounds for homogeneous depth 4 circuits with bounded bottom fan-in), Kumar-Saraf [KS13a] (which showed superpolynomial lower bounds for homogeneous depth 4 circuits with bounded top fan-in) and Raz-Yehudayoff and Fournier-Limaye-Malod-Srinivasan [RY08, FLMS13] (which showed superpolynomial lower bounds for multilinear depth 4 circuits). Several of these results in fact showed exponential lower bounds. The main ingredient in our proof is a new complexity measure of {\it bounded support} shifted partial derivatives. This measure allows us to prove exponential lower bounds for homogeneous depth 4 circuits where all the monomials computed at the bottom layer have {\it bounded support} (but possibly unbounded degree/fan-in), strengthening the results of Gupta et al and Kayal et al [GKKS13, KSS13]. This new lower bound combined with a careful "random restriction" procedure (that transforms general depth 4 homogeneous circuits to depth 4 circuits with bounded support) gives us our final result.

研究の動機と目的

• 代数的複雑度理論における重要なクラスである一般の同次な深さ4算術回路に対する超多項式的下界を確立すること。
• 従来の結果が有界な下層または上層ファンインを要していたという制限を克服するため、新たな複雑度測度を開発すること。
• ランダム制限技術を用いて、有界サポート回路に対する指数的下界を一般の同次な深さ4回路へと拡張すること。
• VPとVNPの分離への一歩として、深さ4回路の理解を進める。
• 新しい有界サポートシフト部分導関数複雑度測度の限界と、より広い回路クラスへの応用可能性を調査すること。

提案手法

• 深さ4回路内の低サポート単項式の構造を捉えるために、新たな複雑度測度「有界サポートシフト部分導関数」を導入する。
• この測度を用いて、有界な下層ファンインを持つ同次な深さ4回路に対して指数的下界を証明し、GuptaらおよびKayalらの先行結果を強化する。
• 変数を0に設定する確率的パラメータを適切に選ぶことで、一般の回路を有界サポート回路に変換するランダム制限手順を適用する。
• 高い確率で、大規模なサポートを持つ積ゲートが削除されることを示し、複雑度測度が適用可能となる構造を保存することを保証する。
• 有界サポート下界とランダム制限を組み合わせることで、元の一般回路に対する下界を導出する。
• 漸近的解析とStirlingの近似を用いて、$r = \Theta(n / \log n)$ および $s = \Theta(\log n)$ のようなパラメータの関数として、上層ファンインの成長を推定する。

実験結果

リサーチクエスチョン

• RQ1 有界な下層ファンインや上層ファンインを制限せずに、同次な深さ4回路に対して指数的下界を証明できるか？
• RQ2 有界サポートシフト部分導関数測度を用いて、一般の同次な深さ4回路に対する下界を証明できるか？
• RQ3 $d = \delta n$ のとき、$NW_d$多項式を計算する同次な深さ4回路の最大サイズは何か？
• RQ4 ランダム制限技術は、一般回路を有界サポート回路に変換する際、下界適用性を保存するのにどの程度効果的か？
• RQ5 新しい複雑度測度をより深いまたは非同次回路クラスへ一般化し、下界を証明できるか？

主な発見

• 本稿は、$n^2$ 変数の $n$ 次の $\VNP$ 内の明示的多項式を構成し、任意の同次な深さ4算術回路でサイズ $n^{\Omega(\log\log n)}$ を必要とすることを示している。
• 有界サポートシフト部分導関数という新たな複雑度測度により、有界な下層ファンインを持つ同次な深さ4回路に対して指数的下界を達成できるようになった。
• ランダム制限手順により、一般の同次な深さ4回路が高確率で有界サポート回路に還元され、下界解析に必要な構造が保存されることを示した。
• 制限された回路の上層ファンインが $2^{\Omega(n)}$ 以上であることが示され、元の回路がサイズ $n^{\Omega(\log\log n)}$ を必要とすることが示唆された。
• 本結果は、下層ファンインや上層ファンインに制限がない一般の同次な深さ4回路に対する、初めての超多項式的下界を確立した。
• この方法は、先行の下界の指数部分のわずかな改善が、一般算術回路に対する下界を示す可能性を示しており、本結果の重要性を強調している。