[論文レビュー] Geometric Complexity Theory: an introduction for geometers

J. M. Landsberg|arXiv (Cornell University)|May 31, 2013

Polynomial and algebraic computation参考文献 25被引用数 5

ひとこと要約

本稿は、P対NPやVP対VNPの根本的複雑性問題を代数幾何学と表現論の問題に翻訳することで、P対NPを解明するための枠組みとして幾何的複雑性理論（GCT）を紹介する。主に、軌道閉包、接続多様体、双対性を用いた行列式と恒等的多項式の漸近的分離に注目し、古典的代数幾何学と複雑性下界の間の重要な関係を示す。

ABSTRACT

This article is a survey of recent developments in, and a tutorial on, the approach to P v. NP and related questions called Geometric Complexity Theory (GCT). It is written to be accessible to graduate students. Numerous open questions in algebraic geometry and representation theory relevant for GCT are presented.

研究の動機と目的

• 大学院生および幾何学者を対象に、幾何的複雑性理論（GCT）のチュートリアルおよびサーベイを提供すること。
• P対NPおよびVP対VNPの問題を代数幾何学と表現論の問題に翻訳すること。
• GCTの発展に中心的な役割を果たす代数幾何学および表現論における未解決問題を特定し、提示すること。
• 双対多様体、接続多様体、安定化部分群などの古典的幾何学的道具が、複雑性理論的問題における下界をどのように得られるかを示すこと。
• チョウ多様体およびFoulkes-Howe型の予想が、このプログラムをどのように前進させるかを強調すること。

提案手法

• 再帰的群作用の下での射影空間における軌道閉包包含問題に、複雑性理論的問題を翻訳すること。
• 表現論を用いて、行列式と恒等的多項式の多項式の安定化部分群と対称性型を分析すること。
• 微分幾何学と代数幾何学の道具を用いて、行列式多様体の境界と特異点を研究すること。
• ヴェロネーゼ埋め込みとチョウ埋め込みの接続多様体を用いて、ヴァイアントの予想を幾何学的に再定式化すること。
• ヘルメート＝ハダマール＝ハウの写像とその核を用いて、Foulkes-Howe予想に関連する対称テンソル分解を研究すること。
• 数え上げ幾何学の結果、例えば行列式的四次曲面の超曲面の次数（640,224）を活用して、複雑性下界を情報化すること。

実験結果

リサーチクエスチョン

• RQ1 漸近的極限において、恒等的多項式の軌道閉包が行列式の軌道閉包に含まれるかどうか、そしてその結果がVP対VNPに与える意味は何か？
• RQ2 行列式多様体の境界の幾何学的構造は何か、そしてそれが複雑性下界とどのように関係するか？
• RQ3 分解可能多項式のチョウ多様体の接続多様体は、恒等的多項式の複雑性を捉えているか？
• RQ4 Foulkes-Howe予想は、恒異的多項式の下界を確立するために果たす役割は何か？
• RQ5 行列式と恒異的多項式の多項式の安定化部分群は、それらの軌道閉包と複雑性をどのように制約するか？

主な発見

• 行列式的四次曲面の超曲面の次数は、ムルイクとパンダリパンドの研究から正確に 640,224 であることが示された。
• スティーブン・クマールの結果を用いて、行列式およびパディング付き恒異的多項式の軌道閉包の非正則性が確立され、包含に対する幾何的障害が示された。
• ヴェロネーゼ再埋め込みを用いたチョウ多様体の接続多様体を用いて、ヴァイアントの予想の新しい幾何的定式化が得られた。
• ブリオンの証明により、Foulkes-Howe予想の漸近的版が確立され、対称的冪不変量が恒異的多項式と行列式を分離できる可能性を支持した。
• イケンマイヤーとマルツィャンの未発表結果を用いて、ヘルメート＝ハダマール＝ハウ写像の核が分析され、対称テンソル分解に関する新たな知見が得られた。
• 本稿は、より抽象的な表現論よりも、古典的幾何学と線形代数が、GCTの旗艦予想に対する近い将来の下界をもたらす可能性が高いことを示している。