[论文解读] 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)$ 的下界，优于先前的 $Ω(n^{4/3}/\log^2 n)$ 下界。该结果通过解决一个与不平衡集合相关的广义极值集合论问题而实现，从而能够通过偏导数矩阵技术对基于秩的下界进行更紧密的分析。

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|$ 的函数进行衡量，使得该下界在标准模型中具有实际意义。