[論文レビュー] 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-Δ式に対して、時間 exp((Δ² log s)^{Δ−1}) の多項式時間でブラックボックス恒等式テストを達成する、準多項式時間のヒット集合生成機を提示する。このアプローチは変数シフトとハダマード代数における低サポートランク集中を用い、このクラスの主要な代数的予想を証明し、深さ3式の問題を解決し、ε < 1 に対して深さ ε log s / log log s まで拡張する。

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-Δ式、すなわち定数深さの算術回路の自然なクラスに対するブラックボックス多項式恒等式テスト（PIT）を開発すること。
• 1995年Nisan & Wigderson以降未解決であった、深さ3のset-multilinear式に対する準指数的ヒット集合生成機の構築という未解決問題を解決すること。
• 固定されたε < 1に対して、深さε log s / log log s までヒット集合生成の範囲を拡張すること。
• ハダマード代数上での深さ-(Δ−1)式における低サポートランク集中に関する新しい代数的予想を証明し、これにより効率的なヒット集合の構築を可能とすること。

提案手法

• 変数シフトを適用し、元の式を低サポート項が検出可能になる形に変換する。
• ハダマード代数内で再帰的構成を用い、深さΔの式を構造的係数を持つ深さ(Δ−1)の式に還元する。
• シフト後、結果として得られる式が低サポートランク集中を示すことを証明する。これは、少数の低次数項が低サポート項の空間を張ることを意味する。
• この集中を活用し、サイズℓの制限された変数集合上で式をテストすることでヒット集合を構築する。ここでℓは深さパラメータに対して小さい多項式である。
• 制限された式におけるスパース多項式恒等式テストを用いる。これはそのスパarsityが小さいため効率的である。
• シフトとスパースPITのステップを組み合わせ、式サイズsと深さΔにたいして準多項式時間のヒット集合生成機を構築する。

実験結果

リサーチクエスチョン

• RQ1 任意の体上でのset-depth-Δ式に対して、深さ3回路を越えて拡張可能な準多項式時間ヒット集合生成機を構築することは可能か？
• RQ2 変数シフトを施した後、ハダマード代数上での深さ-(Δ−1)式において、低サポートランク集中の現象が成立するか？これにより効率的な恒等式テストが可能になるか？
• RQ3 固定されたε < 1に対して、深さε log s / log log s までの式に対し、ヒット集合生成機を拡張可能か？これにより、従来の指数的時間の境界を改善できるか？
• RQ4 部分微分と変数シフトの技術を用いて、set-depth-Δ式のブラックボックスPITを確率的でない方法で実現可能か？
• RQ5 set-depth-Δを越えるより広いクラスの式に対し、低サポートランク集中予想を証明可能か？これにより多項式時間PITが可能になるか？

主な発見

• set-depth-Δ式に対して、時間 exp((Δ² log s)^{Δ−1}) の多項式時間で動作する準多項式時間ヒット集合生成機が構築された。ここでsは式サイズである。
• この構築により、Shpilka & Yehudayoff (2010) が提起した、深さ3のset-multilinear式に対する準指数的ヒット集合生成の未解決問題が解決された。
• 固定されたε < 1に対して、深さε log s / log log s までの式に対しブラックボックスPITが達成され、既知の確率的でない結果の範囲が拡張された。
• 主な技術的貢献は、変数シフト後のハダマード代数上での深さ-(Δ−1)式における低サポートランク集中の証明であり、これによりヒット集合の構築が可能になった。
• 半対角式およびset-depth-6式に対して、それぞれs^{O(log s)}およびs^{O(log² s)}の改善されたヒット集合時間の達成が、双対性と洗練された解析を用いてなされた。
• これらの結果は、低サポートランク集中が定数深さ算術回路におけるブラックボックス恒等式テストにおいて、実用的で強力な構造的性質であることを示している。