[論文レビュー] Geometric Complexity Theory V: Equivalence between blackbox derandomization of polynomial identity testing and derandomization of Noether's Normalization Lemma

Ketan Mulmuley|arXiv (Cornell University)|Sep 26, 2012

Computability, Logic, AI Algorithms被引用数 8

ひとこと要約

本稿は、多項式恒等式テスト（PIT）のブラックボックスの不定性除去と、特に一般線型群 GL が行列の組に作用する場合の明示的代数的多様体に対するノイザーの正規化補題の不定性除去の間の同値性を確立する。特性 0 において、ブラックボックスの不定性除去による記号的トレース恒等式テスト（STIT）の簡略化により、ノイザーの補題の不定性除去の複雑さを EXPSPACE から P に低下させることができ、一般化リーマン予想（GRH）のもとでは quasi-PH にまで低下する。

ABSTRACT

It is shown that black-box derandomization of polynomial identity testing (PIT) is essentially equivalent to derandomization of Noether’s Normalization Lemma for explicit algebraic varieties, the problem that lies at the heart of the foundational classification problem of algebraic geometry. Specifically: (1) It is shown that in characteristic zero black-box derandomization of the symbolic trace identity testing (STIT) brings the problem of derandomizing Noether’s Normalization Lemma for the ring of invariants of the adjoint action of the general linear group on a tuple of matrices from EXPSPACE (where it is currently) to P. Next it is shown that assuming the Generalized Riemann Hypothesis (GRH), instead of the blackbox derandomization hypothesis, brings the problem from EXPSPACE to quasi-PH, instead of P. Thus black-box derandomization

研究の動機と目的

• ブラックボックスの不定性除去による多項式恒等式テスト（PIT）と、明示的代数的多様体に対するノイザーの正規化補題の不定性除去の間の根本的同値性を確立すること。
• 一般線型群 GL が行列の組に作用する場合の不変式環におけるノイザーの正規化補題の不定性除去の複雑さを低減すること。
• 一般化リーマン予想（GRH）がノイザーの補題の不定性除去の複雑さに与える影響を調査すること。
• 記号的トレース恒等式テスト（STIT）フレームワークを通じて、代数幾何学と計算複雑性理論の基礎的問題を結びつけること。

提案手法

• 代数的複雑性と幾何的不変量理論を結ぶために、ブラックボックス PIT の変種である記号的トレース恒等式テスト（STIT）を活用する。
• 特性 0 における GL の行列の組への作用に対するノイザーの正規化補題の不定性除去問題を、記号的トレース恒等式テスト（STIT）に還元する。
• ブラックボックスの不定性除去仮説を適用し、STIT の不定性除去がノイザーの正規化補題の P 時間アルゴリズムを示すことの意味を示す。
• 一般化リーマン予想（GRH）を代替仮定として用い、P の代わりに quasi-PH 上界を達成する。
• 幾何的複雑性理論の技術を用い、代数幾何学的問題と計算複雑性クラスを関連付ける。
• 行列不変量によって定義される明示的代数的多様体における正規化補題の複雑さを分析する。

実験結果

リサーチクエスチョン

• RQ1 ブラックボックスの不定性除去による多項式恒等式テスト（PIT）と、明示的代数的多様体に対するノイザーの正規化補題の不定性除去は同値か？
• RQ2 STIT の不定性除去により、特性 0 における行列不変量のノイザーの正規化補題の不定性除去の複雑さを EXPSPACE から P に低下させられるか？
• RQ3 一般化リーマン予想（GRH）の仮定のもとで、ノイザーの正規化補題の不定性除去の複雑さはいかほどか？
• RQ4 記号的トレース恒等式テスト（STIT）フレームワークは、代数幾何学と計算複雑性理論の間をどのように橋渡しするか？
• RQ5 一般線型群 GL が行列の組に作用する文脈において、PIT の不定性除去とノイザーの補題の不定性除去の同値性はどの程度成立するか？

主な発見

• ブラックボックスの不定性除去による STIT は、GL が行列の組に作用する場合のノイザーの正規化補題の不定性除去が特性 0 において P に属することを示唆する。
• 一般化リーマン予想（GRH）のもとでは、同様の設定におけるノイザーの正規化補題の不定性除去は P の代わりに quasi-PH に属する。
• 明示的代数的多様体に対するノイザーの正規化補題の不定性除去問題は、ブラックボックスの不定性除去による PIT の問題と同値であることが示された。
• 現在の不変式環におけるノイザーの正規化補題の不定性除去の複雑さは EXPSPACE であるが、上記の仮定のもとで顕著に低下する。
• 同値性は、計算複雑性と代数幾何学の基礎的問題、特に幾何的不変量理論における深い関係を確立する。
• ブラックボックス手法による PIT の不定性除去の進展が、正規化補題の長年の複雑さの上限を突破する可能性を示している。