[论文解读] 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

一句话总结

该论文首次在任意固定的有限域 $\mathbb{F}_q$（其中 $q \geq 3$）上建立了同次深度-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 电路的结构。
• 该方法包括构造一个显式多项式族 $\{P_d\}$，其属于 $\mathsf{VNP}$，在 $n = d^{O(1)}$ 个变量中为 $d$ 次多项式，且对同次深度-5 电路具有困难性。
• 关键技术突破在于对 $\mathbb{F}_q$ 上平移偏导数矩阵的秩进行更紧致的分析，利用有限域结构推导出指数下界。
• 证明依赖于早期工作的深度约化结果，包括 Agrawal-Vinay [AV08]、Koiran [Koi12] 和 Tavenas [Tav15]，以将一般电路大小与深度-5 电路复杂性联系起来。
• 分析针对有限域量身定制，利用了 $\mathbb{F}_q^n$ 的有限性以及在域算术下导数的行为特性，这些特性在无限域或特征为零的域中不成立。

实验结果

研究问题

• RQ1 能否在 $\mathbb{F}_2$ 以外的有限域上为同次深度-5 算术电路建立指数下界？
• RQ2 能否将平移偏导数方法调整为通过将导数视为 $\mathbb{F}_q^n$ 上的函数，从而在深度-5 电路中产生强下界？
• RQ3 在有限域上，将平移偏导数分析为函数是否比形式多项式方法更具优势？
• RQ4 能否将用于深度-4 和深度-3 电路的技术扩展至 $\mathbb{F}_q$ 上的深度-5 电路，以实现指数下界？
• RQ5 深度-5 电路复杂性与特征为零的域上的 $\mathsf{VP} \neq \mathsf{VNP}$ 猜想之间有何关系？

主要发现

• 该论文在任意固定的 $q \geq 3$ 下，为在 $n = d^{O(1)}$ 个变量中计算显式 $d$ 次多项式族的同次深度-5 电路，建立了 $\exp(\Omega_q(\sqrt{d}))$ 的指数下界，适用于 $\mathbb{F}_q$。
• 这是在 $\mathbb{F}_2$ 以外的任何有限域上，同次深度-5 电路首次实现的超多项式下界，解决了代数复杂性理论中长期悬而未决的开放问题。
• 该下界通过将平移偏导数空间的维度分析为从 $\mathbb{F}_q^n$ 到 $\mathbb{F}_q$ 的函数而获得，其秩界比形式多项式方法更紧致。
• 该结果表明，当在有限域上应用时，平移偏导数方法可产生指数下界，即使在深度-5 电路中也成立，从而将其适用范围扩展至深度-4 和深度-3 之外。
• 分析表明，有限域结构至关重要：该方法在特征为零或大域上会失效，因为导数空间的行为不同。
• 若在特征为零的域上获得类似下界，将意味着 $\mathsf{VP} \neq \mathsf{VNP}$，凸显了该方法在解决电路复杂性中核心猜想方面的潜力。