[论文解读] Jacobian hits circuits: Hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits

Manindra Agrawal, Chandan Saha+2 more|arXiv (Cornell University)|Jan 1, 2011

VLSI and Analog Circuit Testing被引用 1

一句话总结

本文引入雅可比行列式作为统一的代数几何工具，用于构建两类广义算术电路的高效命中集生成器：常数超越次数的深度-3电路和常数深度常数出现次数的公式。通过利用雅可比行列式捕捉代数独立性，作者首次实现了这些模型的多项式时间黑箱身份测试，并证明了这些模型上永久式和特征标式函数的指数级下界，统一了先前的结果，并加强了身份测试与电路下界之间的联系。

ABSTRACT

We present a single, common tool to strictly subsume all known cases of polynomial time blackbox polynomial identity testing (PIT) that have been hitherto solved using diverse tools and techniques. In particular, we show that polynomial time hitting-set generators for identity testing of the two seemingly different and well studied models - depth-3 circuits with bounded top fanin, and constant-depth constant-read multilinear formulas - can be constructed using one common algebraic-geometry theme: Jacobian captures algebraic independence. By exploiting the Jacobian, we design the first efficient hitting-set generators for broad generalizations of the above-mentioned models, namely: (1) depth-3 (Sigma-Pi-Sigma) circuits with constant transcendence degree of the polynomials computed by the product gates (no bounded top fanin restriction), and (2) constant-depth constant-occur formulas (no multilinear restriction). Constant-occur of a variable, as we define it, is a much more general concept than constant-read. Also, earlier work on the latter model assumed that the formula is multilinear. Thus, our work goes further beyond the results obtained by Saxena & Seshadhri (STOC 2011), Saraf & Volkovich (STOC 2011), Anderson et al. (CCC 2011), Beecken et al. (ICALP 2011) and Grenet et al. (FSTTCS 2011), and brings them under one unifying technique. In addition, using the same Jacobian based approach, we prove exponential lower bounds for the immanant (which includes permanent and determinant) on the same depth-3 and depth-4 models for which we give efficient PIT algorithms. Our results reinforce the intimate connection between identity testing and lower bounds by exhibiting a concrete mathematical tool - the Jacobian - that is equally effective in solving both the problems on certain interesting and previously well-investigated (but not well understood) models of computation.

研究动机与目标

• 在单一代数几何框架下统一多样化的多项式身份测试（PIT）结果。
• 将高效黑箱PIT从有界顶层扇入和多重线性模型扩展到更广泛的电路类别。
• 在这些广义模型上为永久式和特征标式函数建立指数级下界。
• 证明雅可比行列式是PIT与电路下界证明的有力且统一的工具。

提出的方法

• 使用雅可比矩阵检测电路门所计算多项式之间的代数独立性。
• 通过利用代数独立集合的雅可比行列式非零性来构造命中集生成器。
• 应用中国剩余定理与域上的线性代数，将PIT问题约化为检查线性组合的非零性。
• 将电路恒等式重写为模线性多项式的方程组，同时保持系数的非平凡性。
• 利用深度-3秩界与偏导数，在迭代约化步骤中保持系数非零。
• 通过反证法证明下界：假设存在小规模电路，则导致非平凡线性相关性，违反基于雅可比行列式的代数独立性。

实验结果

研究问题

• RQ1 能否使用单一代数几何工具统一不同电路模型的黑箱PIT？
• RQ2 雅可比行列式能否用于设计常数超越次数深度-3电路的高效命中集生成器，且无需有界顶层扇入？
• RQ3 基于雅可比行列式的思路能否扩展到常数深度常数出现次数公式，超越多重线性和常数读取假设？
• RQ4 雅可比行列式是否为在这些模型上证明永久式与特征标式函数的指数级下界提供了可行路径？
• RQ5 雅可比行列式是否也能在已知其在PIT与下界证明中成功的基础上，辅助算术电路的重构？

主要发现

• 本文首次为常数超越次数的深度-3 ΣΠΣ 电路构造了多项式时间命中集生成器，且无需有界顶层扇入假设。
• 首次为常数深度常数出现次数公式提供了高效的黑箱PIT，推广了多重线性和常数读取假设之外的模型。
• 利用相同的雅可比行列式框架，证明了在常数超越次数或常数出现次数的深度-3与深度-4模型上，永久式与特征标式函数的指数级下界。
• 基于雅可比行列式的思路统一并加强了先前关于有界顶层扇入深度-3、多重线性公式和稀疏代入电路等模型的PIT与下界结果。
• 提出一个猜想：若成立，将可将下界结果推广至一般常数深度常数出现次数公式，其基础为行列式主子式的代数独立性。
• 本工作表明，雅可比行列式不仅在身份测试中有效，也适用于证明电路下界，进一步强化了这两个问题之间的深层联系。