[論文レビュー] 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回路および定数回数出現の定数深さ論理式という2つの広範な算術回路クラスのための、効率的なヒッティングセット生成子を構築するための、統一的な代数幾何学的道具としてヤコビアンを導入する。著者らはヤコビアンを活用することで、これらのモデルに対する初めての多項式時間ブラックボックス恒等式テストを達成し、それらのモデル上でのパーマネントおよびイーマンダンの指数的下界を証明する。これにより、従来の結果が統一され、恒等式テストと回路下界の間の関係が強化される。

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および下界の結果が統一され強化された。
• 主成分の小行列の代数的独立性に基づいて、一般の定数深さ定数回数出現論理式に対しても下界が拡張可能であるという予想を提示した。
• 本研究は、ヤコビアンが恒等式テストに有効であるだけでなく、回路下界の証明に対しても有効であることを示した。これにより、PITと回路下界の間の深い関係が強化された。