[論文レビュー] Unbalancing Sets and an Almost Quadratic Lower Bound for Syntactically Multilinear Arithmetic Circuits

Alon, Noga, Kumar, Mrinal+1 more|arXiv (Cornell University)|Aug 7, 2017

Limits and Structures in Graph Theory被引用数 5

ひとこと要約

この論文は、明示的な多変数多項式を計算する文法的にマルチリニアな算術回路のサイズに対して、$Ω(n^2/\log^2 n)$ の下界を確立し、以前の $\Omega(n^{4/3}/\log^2 n)$ の下界を改善した。この結果は、変数依存関係のアンバランス化に関連する一般化された極値集合論の問題を解くことで達成され、部分微分行列技法によるランクに基づく下界の tighter 分析を可能にした。

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 for a generalized version of Galvin's problem in extremal set theory.

研究の動機と目的

• 文法的にマルチリニアな算術回路に対する超多項式的下界を確立すること。これは、多変数多項式を計算するための制限付きだが自然なモデルである。
• Raz, Shpilka, Yehudayoff が示した以前の $\Omega(n^{4/3}/\log^2 n)$ の下界を、明示的な多変数多項式に対して改善すること。
• ランクに基づく下界をよりタイトに分析できるようにするために、極値集合論における Galvin 問題の一般化された解法を開発すること。
• 部分微分行列技法が、このクラスの回路に対して $\omega(n^3)$ の下界を証明できないことを示すこと。

提案手法

• 著者らは、回路ゲートにおける変数依存関係のアンバランス化を目的として、極値集合論における Galvin 問題の一般化されたバージョンを導入した。
• 多変数回路の構造的性質を活用して、回路ゲートで計算される多項式のランクを制御するための $\tau$-アンバランス集合の概念を定義した。
• 回路を部分回路に再帰的に分解する手法を用い、変数のバランスの取れた分割に基づくランク解析によって、各部分回路の寄与を上限づけた。
• 主な技術的革新は、$\tau$-アンバランス性と次数制約を用いて、積 $g_i h_i$ と剰余多項式 $g$ のランクに対するバインドを確立することであった。
• 明示的な多項式 $f = \sum_{B \in \binom{[n]}{n/2}} r_B g_B$ に対して部分微分行列法を適用し、任意のバランスの取れた変数分割において、この多項式がフルランク $2^{n/2}$ を持つことを示した。
• 最終的な下界は、ランクの上限とゲート数に関する数え上げ的議論を組み合わせることで得られ、$\Omega(n^2/\log^2 n)$ のサイズ下界が導かれた。

実験結果

リサーチクエスチョン

• RQ1 文法的にマルチリニアな回路に対する下界は、明示的な多変数多項式について $\Omega(n^{4/3}/\log^2 n)$ を超えて改善可能か？
• RQ2 この設定において、部分微分行列技法を用いて達成可能な最もタイトな下界は何か？
• RQ3 極値集合論を活用して、回路複雑性のためのより良いアンバランス化議論を構築可能か？
• RQ4 文法的にマルチリニアな回路に対して $\omega(n^3)$ の下界を証明できない部分微分行列技法に、根本的な障壁があるか？
• RQ5 小さな回路サイズでフルランクとなる多項式が存在することは、ランクに基づく技法に制限をもたらすか？

主な発見

• この論文は、明示的な多変数多項式を計算する任意の文法的にマルチリニアな算術回路のサイズに対して、$\Omega(n^2/\log^2 n)$ の下界を確立した。
• この下界は、回路ゲートにおける変数依存関係のアンバランス化に関連する一般化された極値集合論の問題を解くことで達成された。
• 明示的な多項式 $f = \sum_{B \in \binom{[n]}{n/2}} r_B g_B$ は、任意のバランスの取れた変数分割においてフルランク $2^{n/2}$ を持つため、ランクに基づく解析に適している。
• 解析により、$f$ の部分微分行列のランクが、$\ell$ 個の積と剰余に分解した場合、$2^{n/2 - 1}$ 未満であることが示された。これにより、サイズ下界が導かれた。
• この結果は、部分微分行列技法が文法的にマルチリニアな回路に対して $\omega(n^3)$ の下界を証明できないことを示しており、下界はほぼ二次的である。
• 多項式 $f$ の構成には補助変数 $\mathcal{W}$ を用いたが、複雑さは $|X|$ の関数として測定されており、標準モデルにおいて意味のある下界が得られた。