[論文レビュー] An introduction to geometric complexity theory

J. M. Landsberg|arXiv (Cornell University)|Sep 8, 2015

Advanced Graph Theory Research参考文献 24被引用数 5

ひとこと要約

この論文は、Valiantの代数的複雑性予想を扱う枠組みとして幾何的複雑性理論（GCT）を導入する。この予想は、行列のパーマネントを計算することは、行列式を計算することよりも本質的に難しいと述べるものである。代数的幾何、表現論、微分幾何の道具——特にKronecker係数とplethysm係数の研究——を活用することで、パーマネントが行列式に類似した式で有効に計算できないことの幾何的アプローチを提供し、代数的P vs. NP問題を解く可能性のある道筋を提示する。

ABSTRACT

I survey methods from differential geometry, algebraic geometry and representation theory relevant for the permanent v. determinant problem from computer science, an algebraic analog of the P v. NP problem.

研究の動機と目的

• 数学者を対象に幾何的複雑性理論（GCT）の包括的紹介を提供すること。
• パーマネント対行列式問題をP vs. NP予想の代数的アナログとして位置づけること。
• 対称多項式（特にパーマネントと行列式）の複雑性を研究するための幾何学的および表現論的道具の使用法を説明すること。
• パーマネント多項式の構造を理解するうえでKronecker係数とplethysm係数の重要性を確立すること。
• 表現論的重複度の漸近的挙動を分析するためのベクトル束とコhomological手法の使用を動機づけること。

提案手法

• Borel-Weil定理を用いて、可約表現を同型な同調的ベクトル束の切断空間として実現すること。
• Kronecker係数やplethysm係数などの表現論的係数を整理・評価するため、ベクトル束にフィルトレーションを適用すること。
• 層コhomologyにおけるSerreの消失定理を適用し、重複度の上界が漸近的にタイトであることを示すこと。
• 最高重量ベクトルと重量空間を用いて、$ GL(V) $-加群としての対称冪の冪 $ S^d(S^n V) $ の分解を分析すること。
• 変数 $ d $ と $ n $ が増加する際の表現論的重複度の安定的挙動を理解するために、Veronese埋め込みの接続列を研究すること。
• $ S^n(x_1 \oplus T) = \bigoplus_{j=0}^n x_1^{n-j} \otimes S^j T $ の分解を用いて、対称冪の構造とその $ GL(V) $-加群分解を分析すること。

実験結果

リサーチクエスチョン

• RQ1 パーマネント多項式は、その変数のアフィン線形関数を成分とする行列の行列式として表現可能か？
• RQ2 $ d $ と $ n $ が増加する際、$ S^d(S^n V) $ における固定された $ GL(V) $-可約加群 $ S_\pi V $ の重複度の漸近的挙動はいかなるものか？
• RQ3 ベクトル束とコhomologyといった幾何学的手法を用いて、Kronecker係数とplethysm係数をどのように評価・計算できるか？
• RQ4 どの条件を満たす分割 $ \pi $ に対して $ \text{mult}(S_\pi W, S^d(S^n W)) \neq 0 $ が成り立ち、それらはパーマネント対行列式問題とどのように関係するか？
• RQ5 ジェット空間と接続列を用いた幾何的アプローチは、対称多項式の複雑性を体系的に分析するための有効な手法となるか？

主な発見

• 重複度 $ \text{mult}(S_{(dn - |\mu|, \mu)}, S^d(S^n V)) $ は $ d $ と $ n $ の両方に関して非減少であり、安定な漸近的挙動を示している。
• 固定された $ \pi $ に対して、$ S^d(S^n V) $ における可約 $ GL(V) $-加群 $ S_\pi V $ の重複度は最終的に定数となり、コhomological消失定理によってその上界が達成される。
• $ S^d(S^n V) $ 内の最高重量ベクトル $ ((x_1)^n)^d $ は、$ S_{(dn)} V $ に同型な部分加群を生成し、その重量空間構造から高重量成分の存在が明らかになる。
• $ S^n(x_1 \oplus T) $ の分解 $ \bigoplus_{j=0}^n x_1^{n-j} \otimes S^j T $ は、$ [x_1^n] $ における $ n $ 次Veronese埋め込みの接続列の幾何的モデルを提供する。
• ベクトル束とその関連する順次的構造を用いることで、表現論的重複度の明示的上界が計算可能となり、Serreの定理によりそれが漸近的に鋭いものであることが保証される。
• MarcusとMincにより示されたように、$ m > 2 $ のとき $ \text{perm}_m(Y) $ は変数 $ y^i_j $ のアフィン線形関数を成分とする $ m \times m $ 行列の行列式として表現不可能である。これはパーマネントの本質的複雑性を支持する。