[論文レビュー] An Almost Quadratic Lower Bound for Syntactically Multilinear Arithmetic Circuits

Mrinal Kumar, Ben Lee Volk|arXiv (Cornell University)|Jan 1, 2017

Complexity and Algorithms in Graphs参考文献 24被引用数 2

ひとこと要約

この論文は、明示的な多変数多項式に対する構文的に多重線形な算術回路のサイズに対して、$Ω(n^2/\log^2 n)$ のほぼ二次の下界を確立し、以前の $Ω(n^{4/3}/\log^2 n)$ の下界を改善した。この結果は、極値集合論におけるGalvinの問題を一般化することで、特定のパrameter範囲で漸近的に最適な境界を導出することによって得られた。

ABSTRACT

We prove a lower bound of $\Omega(n^2/\log^2 n)$ on the size of any syntactically multilinear arithmetic circuit computing some explicit multilinear polynomial $f(x_1, \ldots, x_n)$. Our approach expands and improves upon a result of Raz, Shpilka and Yehudayoff [RSY08], who proved a lower bound of $\Omega(n^{4/3}/\log^2 n)$ for the same polynomial. Our improvement follows from an asymptotically optimal lower bound, in a certain range of parameters, for a generalized version of Galvin's problem in extremal set theory.

研究の動機と目的

• 構文的に多重線形な算術回路のためのより強い下界を確立すること。これは、多変数多項式計算の複雑さを理解する上で中心的な役割を果たす。
• Raz, Shpilka, Yehudayoff が示した以前の $Ω(n^{4/3}/\log^2 n)$ の下界を、明示的な多変数多項式に対して改善すること。
• 極値集合論におけるGalvinの問題をより広いパrameter範囲に一般化し、回路複雑性におけるより緊密な境界を得ることを可能にする。

提案手法

• 極値集合論におけるGalvinの問題を、より広いクラスの集合系に一般化して、新たな組合せ的境界を導出する。
• 一般化された極値集合論の結果を、構文的に多重線形な回路の構造を分析するために適用する。
• 導出された組合せ的境界を用いて、このような回路に必要なゲート数の下界を確立する。
• 集合系と回路レイヤーの間に存在する双対性を介して、極値集合論的制約を回路複雑性的制約に翻訳する。
• 特定のパrameter範囲において、一般化された境界が漸近的に最適であることを活用して、ほぼ二次の下界を達成する。
• Raz, Shpilka, Yehudayoff の枠組みを基盤としながらも、より強力な組合せ的道具を用いて精緻化する。

実験結果

リサーチクエスチョン

• RQ1 構文的に多重線形な回路の下界を、Raz, Shpilka, Yehudayoff の $\Omega(n^{4/3}/\log^2 n)$ の結果を越えて改善できるか？
• RQ2 多変数回路複雑性の文脈において、極値集合論の技法を用いて達成可能な最もタイトな下界は何か？
• RQ3 極値集合論におけるGalvinの問題をどのように一般化すれば、算術回路に適用可能なより強い境界を得られるか？
• RQ4 一般化された極値集合問題が漸近的に最適な境界をもたらすパrameter範囲は存在するか？
• RQ5 回路の構文的多重線形性の制約を増加させることなく、改善された下界を達成できるか？

主な発見

• この論文は、明示的な多変数多項式を計算する任意の構文的に多重線形な算術回路のサイズに対して、$\Omega(n^2/\log^2 n)$ の下界を確立した。
• この下界は、Raz, Shpilka, Yehudayoff が示した以前の $\Omega(n^{4/3}/\log^2 n)$ の下界を改善している。
• この改善は、極値集合論におけるGalvinの問題をより広いパrameter範囲に一般化することで達成された。
• 一般化された極値集合問題は、関連するパrameter範囲で漸近的に最適な境界をもたらし、それが回路複雑性に応用された。
• この結果は、新しい下界が理論的に可能な最大値に非常に近い、ほぼ二次のものであることを示している。
• この手法は、極値組合せ論と代数的複雑性理論を結びつけることで、強力な下界を証明するための新たな道筋を提供する。