[论文解读] Quasi-polynomial Hitting-set for Set-depth-Delta Formulas

Manindra Agrawal, Chandan Saha+1 more|arXiv (Cornell University)|Sep 11, 2012

Complexity and Algorithms in Graphs被引用 3

一句话总结

该论文提出了一种针对任意域上集合深度-Δ 公式（set-depth-Δ formulas）的准多项式时间命中集生成器（hitting-set generator），实现了在时间复杂度为 exp((Δ² log s)^{Δ−1}) 的多项式时间内的黑箱身份测试，其中 s 为公式大小。该方法利用变量平移（variable shifting）与哈达玛代数（Hadamard algebras）中的低支撑秩集中（low-support rank concentration）技术，证明了该类公式的一个关键代数猜想，并解决了深度-3 公式及深度高达 ε log s / log log s（其中 ε < 1）的公开问题。

ABSTRACT

We call a depth-4 formula C set-depth-4 if there exists a (unknown) partition (X_1,...,X_d) of the variable indices [n] that the top product layer respects, i.e. C(x) = \sum_{i=1}^k \prod_{j=1}^{d} f_{i,j}(x_{X_j}), where f_{i,j} is a sparse polynomial in F[x_{X_j}]. Extending this definition to any depth - we call a depth-Delta formula C (consisting of alternating layers of Sigma and Pi gates, with a Sigma-gate on top) a set-depth-Delta formula if every Pi-layer in C respects a (unknown) partition on the variables; if Delta is even then the product gates of the bottom-most Pi-layer are allowed to compute arbitrary monomials. In this work, we give a hitting-set generator for set-depth-Delta formulas (over any field) with running time polynomial in exp(({Delta}^2 log s)^{Delta - 1}), where s is the size bound on the input set-depth-Delta formula. In other words, we give a quasi-polynomial time blackbox polynomial identity test for such constant-depth formulas. Previously, the very special case of Delta=3 (also known as set-multilinear depth-3 circuits) had no known sub-exponential time hitting-set generator. This was declared as an open problem by Shpilka &amp; Yehudayoff (FnT-TCS 2010); the model being first studied by Nisan &amp; Wigderson (FOCS 1995). Our work settles this question, not only for depth-3 but, up to depth epsilon.log s / loglog s, for a fixed constant epsilon &lt; 1. The technique is to investigate depth-Delta formulas via depth-(Delta-1) formulas over a Hadamard algebra, after applying a `shift' on the variables. We propose a new algebraic conjecture about the low-support rank-concentration in the latter formulas, and manage to prove it in the case of set-depth-Delta formulas.

研究动机与目标

• 为集合深度-Δ 公式（set-depth-Δ formulas）这一自然的常数深度算术电路类，开发一种黑箱多项式身份测试（PIT）方法。
• 解决自 Nisan 与 Wigderson（1995）以来长期未解的难题：为深度-3 集合多线性公式（set-multilinear formulas）构造子指数命中集生成器。
• 将命中集生成的适用范围扩展至深度高达 ε log s / log log s（其中固定 ε < 1）的公式。
• 证明在哈达玛代数上，深度-(Δ−1) 公式中低支撑秩集中现象的新型代数猜想，从而支持高效命中集的构造。

提出的方法

• 应用变量平移，将原始公式转化为一种低支撑项可被检测的形式。
• 在哈达玛代数中采用递归构造，将深度-Δ 公式简化为具有结构化系数的深度-(Δ−1) 公式。
• 证明平移后，所得公式表现出低支撑秩集中特性，即少数低次单项式即可张成所有低支撑项的线性空间。
• 利用该集中特性，通过在大小为 ℓ 的受限变量集上测试公式来构造命中集，其中 ℓ 为小的、关于深度参数的多项式。
• 在受限公式上使用稀疏多项式身份测试（sparse polynomial identity testing），由于其稀疏性，该步骤效率较高。
• 将平移步骤与稀疏 PIT 步骤结合，形成一个关于公式大小 s 与深度 Δ 的准多项式时间命中集生成器。

实验结果

研究问题

• RQ1 能否为任意域上的集合深度-Δ 公式构造一个准多项式时间命中集生成器，从而将适用范围扩展至深度-3 电路之外？
• RQ2 在变量平移后，深度-(Δ−1) 公式在哈达玛代数上是否仍表现出低支撑秩集中现象，从而支持高效的身份测试？
• RQ3 能否将命中集生成器扩展至深度高达 ε log s / log log s（其中固定 ε < 1）的公式，从而改进以往的指数时间界限？
• RQ4 是否能够通过偏导数与变量平移技术，实现对集合深度-Δ 公式黑箱 PIT 的去随机化？
• RQ5 该低支撑秩集中猜想是否可推广至集合深度-Δ 之外的更广泛公式类，从而可能实现多项式时间 PIT？

主要发现

• 为集合深度-Δ 公式构造出一个准多项式时间命中集生成器，其运行时间在 exp((Δ² log s)^{Δ−1}) 的多项式范围内，其中 s 为公式大小。
• 该构造解决了 Shpilka 与 Yehudayoff（2010）提出的难题：为深度-3 集合多线性公式实现子指数命中集生成。
• 该方法实现了对深度高达 ε log s / log log s（任意固定 ε < 1）公式的黑箱 PIT，扩展了已知去随机化结果的适用范围。
• 关键技术贡献是证明了在变量平移后，哈达玛代数上的深度-(Δ−1) 公式中存在低支撑秩集中现象，从而支持命中集的构造。
• 对于半对角公式（semi-diagonal formulas）与集合深度-6 公式，分别通过对偶性与精细化分析，实现了 s^{O(log s)} 与 s^{O(log² s)} 的命中集时间复杂度。
• 结果表明，低支撑秩集中是常数深度算术电路中黑箱身份测试的一种可行且强大的结构性质。