[論文レビュー] An overview of mathematical issues arising in the Geometric complexity theory approach to VP v.s. VNP

Peter Bürgisser, J. M. Landsberg+2 more|arXiv (Cornell University)|Jul 16, 2009

Advanced Combinatorial Mathematics参考文献 59被引用数 23

ひとこと要約

この論文は、一般線形群の作用におけるパーマネントおよびデターミナント多項式の軌道閉包を対象として、Geometric Complexity Theory (GCT) プログラムが VP ≠ VNP を証明するアプローチを包括的に概説している。軌道閉包内でのパーマネントの近似の次数が多項式的に有界であるならば、VP_ws = overline( VP_ws ) が成り立ち、表現論的障害を介して代数的複雑性クラスの主要な分離が達成されることを示している。

ABSTRACT

We discuss the geometry of orbit closures and the asymptotic behavior of Kronecker coefficients in the context of the Geometric Complexity Theory program to prove a variant of Valiant's algebraic analog of the P not equal to NP conjecture. We also describe the precise separation of complexity classes that their program proposes to demonstrate.

研究の動機と目的

• Geometric Complexity Theory (GCT) プログラムが VP ≠ VNP を証明するために用いる幾何学的および表現論的枠組みを明確化すること。
• GCT が到達を図る正確な複雑性クラスの分離、特に近似次数が多項式的に有界である場合の VP_ws = overline( VP_ws ) を特定すること。
• クライネッカー係数および対称クライネッカー係数が、軌道閉包の座標環に現れる既約表現の出現をどのように制約するかを分析すること。
• 関数が軌道上で定義されたものがその閉包へ拡張可能かどうかを特定する「拡張問題」が、座標環のモジュール構造を計算する上での主要な障害であることを特定すること。
• デターミナントの軌道閉包に沿った曲線に沿ったパーマネントの近似次数が多項式的に有界ならば、GCT プログラムが近似に依存しなくてよいかを検討すること。

提案手法

• 論文はGCTプログラムを表現論的予想として定式化する：すべての c ≥ 1 および無限に多くの m に対して、GL_{m^{2c}}-加群の一部が ℓ^{m^c - m} perm_m の軌道閉包の座標環に現れるが、det_{m^c} のそれには現れない。
• 軌道閉包の包含関係と同型な同型写像の制限写像の全射性を用いて、問題を表現論の問題に還元する。
• SL_{m^2}·perm_m からより大きな GL_{n^2}·(ℓ^{n−m} perm_m) の軌道閉包へ情報を伝えるために、部分的安定性の概念を導入する。
• クライネッカー係数および対称クライネッカー係数を用いて、座標環におけるモジュールの出現に関する制約を表現する。これらは対称群表現のテンソル積における重複度を符号化する。
• 曲線に沿った det_n の軌道における多項式の近似を、形式的べき級数展開を用いて分析する。変形をモデル化するため、環 R = ℂ[[ε]] を用いる。
• 近似次数が多項式的に有界であるならば、perm_m の弱くねじれ型回路複雑性が m に関して多項式的に有界であることを証明し、これにより VP_ws = overline( VP_ws ) が導かれる。

実験結果

リサーチクエスチョン

• RQ1 パーマネント多項式の近似次数が、デターミナントの軌道閉包内に沿った曲線で、行列のサイズの多項式で有界に抑えられるか。
• RQ2 近似次数に多項式的有界性が存在するならば、パーマネントの弱くねじれ型回路複雑性も多項式的に有界になるか。
• RQ3 クライネッカー係数および対称クライネッカー係数は、perm_m および det_n の軌道閉包の座標環に現れる既約表現の出現をどのように制約するか。
• RQ4 関数が軌道上で定義されたものがその閉包へ拡張可能かどうかを、幾何学的および表現論的道具を用いてどの程度まで解消できるか。
• RQ5 近似次数が多項式的に有界ならば、GCT プログラムが近似に依存しなくてよいか。

主な発見

• GL_{n^2}-軌道のデターミナントに沿った曲線に沿って perm_m の近似次数が n の多項式で有界ならば、perm_m の弱くねじれ型回路複雑性は m に関して多項式的に有界である。
• このような近似次数の多項式的有界性の存在は、VP_ws = overline( VP_ws ) を示し、GCT プログラムが提唱する核心的な複雑性分離を解決する。
• 本論文は、シュールの補題を用いて、表現論的障害予想（予想1.2）が包含予想（予想1.1）を含意することを確立している。
• 関数が軌道上で定義されたものがその閉包へ拡張可能かどうかという「拡張問題」は、座標環のモジュール分解を計算する上での主要な障害である。
• 著者らは、ねじれ型回路が弱くねじれ型回路を高々2倍のサイズでシミュレートできることを示しており、べき級数変形の定数項の回路サイズは、全変形のサイズの O(q^2) 倍で有界であることを示している。
• 多項式的有界近似次数の仮定の下で、極限多項式 f_m の弱くねじれ型回路複雑性が多項式的に有界であることが示され、これにより f_m は VP_ws に属することが保証される。