[論文レビュー] An exponential lower bound for homogeneous depth-5 circuits over finite fields

Kumar, Mrinal, Saptharishi, Ramprasad|arXiv (Cornell University)|Jul 1, 2015

Complexity and Algorithms in Graphs参考文献 40被引用数 11

ひとこと要約

この論文は、$q \geq 3$ である任意の固定された有限体 $\mathbb{F}_q$ 上で、同次な深さ5の算術回路に対する最初の指数的下界を確立する。$\mathbb{F}_q^n$ 上の関数としてのシフトされた偏微分の次元を分析することにより、$n = d^{O(1)}$ 変数における次数$d$ の多項式の明示的族は、サイズ $\exp(\Omega_q(\sqrt{d}))$ の回路を必要とすることが示され、これは $\mathbb{F}_2$ 以外の体におけるこのクラスのブレークスルーである。この結果は、従来の深さ4および深さ3回路の下界を強化し、有限体上での回路複雑性を分析するための新しい枠組みを提供する。

ABSTRACT

In this paper, we show exponential lower bounds for the class of homogeneous depth-$5$ circuits over all small finite fields. More formally, we show that there is an explicit family $\\{P_d : d \\in \\mathbb{N}\\}$ of polynomials in $\\mathsf{VNP}$, where $P_d$ is of degree $d$ in $n = d^{O(1)}$ variables, such that over all finite fields $\\mathbb{F}_q$, any homogeneous depth-$5$ circuit which computes $P_d$ must have size at least $\\exp(\\Omega_q(\\sqrt{d}))$. To the best of our knowledge, this is the first super-polynomial lower bound for this class for any field $\\mathbb{F}_q \ eq \\mathbb{F}_2$. Our proof builds up on the ideas developed on the way to proving lower bounds for homogeneous depth-$4$ circuits [GKKS13, FLMS13, KLSS14, KS14] and for non-homogeneous depth-$3$ circuits over finite fields [GK98, GR00]. Our key insight is to look at the space of shifted partial derivatives of a polynomial as a space of functions from $\\mathbb{F}_q^n \ ightarrow \\mathbb{F}_q$ as opposed to looking at them as a space of formal polynomials and builds over a tighter analysis of the lower bound of Kumar and Saraf [KS14].

研究の動機と目的

• 有限体 $\mathbb{F}_q$（$q \geq 3$）上での同次な深さ5算術回路に対する超多項式的下界を確立すること。特に、以前はこのような下界が知られていなかった。
• 深さ4および深さ3回路の下界に用いられた技術、特にシフトされた偏微分の分析を、有限体上での深さ5回路に拡張すること。
• $\mathbb{F}_q^n \to \mathbb{F}_q$ への関数としてのシフトされた偏微分のランクを分析する、洗練された手法を開発すること。
• シフトされた偏微分法が、深さ5回路において指数的下界を導けることを示し、代数的回路複雑性の前線を前進させること。

提案手法

• 著者らは、形式的多項式としてではなく、$\mathbb{F}_q^n$ から $\mathbb{F}_q$ への関数としての空間の次元を分析することにより、多項式のシフトされた偏微分の空間の次元を分析する。
• KumarとSaraf [KS14b] の枠組みを基盤とし、有限体上での同次な深さ5回路の構造を扱えるように分析を精錬する。
• 方法は、$\mathsf{VNP}$ 内の明示的多項式族 $\{P_d\}$ を構築することにあり、これは $n = d^{O(1)}$ 変数における次数 $d$ の多項式であり、同次な深さ5回路では計算が困難である。
• 主な技術的革新は、$\mathbb{F}_q$ 上でのシフトされた偏微分行列のランクをより厳密に分析することであり、有限体の構造を活用して指数的下界を導出する。
• 証明は、Agrawal-Vinay [AV08]、Koiran [Koi12]、Tavenas [Tav15] の先行研究からの深さ還元結果に依存しており、一般の回路サイズと深さ5回路複雑性の関係を結ぶ。
• 解析は有限体に特化しており、$\mathbb{F}_q^n$ の有限性や、体の算術に伴う微分の振る舞いといった性質を活用している。これらは無限体や特徴数0の体では成立しない。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}_2$ 以外の同次な深さ5算術回路に対して、指数的下界を確立できるか？
• RQ2 シフトされた偏微分を $\mathbb{F}_q^n$ 上の関数として扱うことで、シフトされた偏微分法を深さ5回路に適応し、強い下界を得られるか？
• RQ3 有限体上での関数としてのシフトされた偏微分の分析は、この文脈において形式的多項式アプローチよりも強力か？
• RQ4 深さ4および深さ3回路に用いられた技術を、$\mathbb{F}_q$ 上の深さ5回路に拡張し、指数的下界を達成できるか？
• RQ5 深さ5回路複雑性と、特徴数0の体における $\mathsf{VP} \neq \mathsf{VNP}$ 予想との関係は何か？

主な発見

• この論文は、任意の固定された $q \geq 3$ に対して、$n = d^{O(1)}$ 変数における次数$d$ の多項式の明示的族を計算するあらゆる同次な深さ5回路に対して、$\exp(\Omega_q(\sqrt{d}))$ の指数的下界を確立する。
• これは、$\mathbb{F}_2$ を除く任意の有限体上での同次な深さ5回路に対する最初の超多項式的下界であり、代数的複雑度理論における長年の未解決問題を解決する。
• 下界は、$\mathbb{F}_q^n$ から $\mathbb{F}_q$ への関数としてのシフトされた偏微分の空間の次元を分析することにより証明され、形式的多項式アプローチよりもタイトなランクバウンドをもたらす。
• この結果は、有限体上でのシフトされた偏微分法が、深さ4および深さ3回路にとどまらず、深さ5回路に対しても指数的下界を導けることを示しており、その適用範囲を拡張している。
• 解析は、有限体の構造が本質的であることを示している。この方法は、特徴数0の体や大きな体では失敗する。微分空間の振る舞いが異なるためである。
• 特徴数0の体上でも同様の下界が得られれば、$\mathsf{VP} \neq \mathsf{VNP}$ を示すことにつながる。これは、この手法が回路複雑性における中心的な予想を解決する可能性を秘めていることを示唆する。