[论文解读] Geometric Complexity Theory: an introduction for geometers

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

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

一句话总结

本文將幾何複雜度理論（GCT）介紹為一個框架，用以解決如 P 與 NP 之類的根本性複雜度問題，方法是將這些問題轉化為代數幾何與表示理論的問題。研究聚焦於透過軌道閉包、切線簇與對偶性，對行列式與永久式多項式進行漸近分離，並提出關鍵結果，將經典代數幾何與複雜度下界聯繫起來。

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 至關重要的代數幾何與表示理論中的開放問題。
• 示範經典幾何工具（如對偶簇、切線簇與穩定子）如何產生複雜度理論問題的下界。
• 強調 Chow 族與 Foulkes-Howe 型猜想在推進該計畫中的角色。

提出的方法

• 將複雜度理論問題轉化為在重李群作用下射影空間中軌道閉包包含問題。
• 運用表示理論分析行列式與永久式多項式之穩定子與對稱類型。
• 應用微分幾何與代數幾何工具，研究行列式簇的邊界與奇點。
• 利用 Veronese 嵌入與 Chow 嵔入的切線簇，以幾何語言重述 Valiant 的猜想。
• 運用 Hermite-Hadamard-Howe 映射及其核，研究與 Foulkes-Howe 猜想相關的對稱張量分解。
• 利用枚舉幾何的成果，如行列式四次曲面超曲面的次數（640,224），以啟發複雜度下界。

实验结果

研究问题

• RQ1 在漸近極限下，永久式的軌道閉包是否可被包含於行列式的軌道閉包中？這對 VP 與 VNP 問題有何含義？
• RQ2 行列式簇的邊界幾何結構為何？其與複雜度下界有何關聯？
• RQ3 分解多項式 Chow 偏族的切線簇是否能捕捉永久式的複雜度？
• RQ4 Foulkes-Howe 猜想在建立永久式下界中扮演何種角色？
• RQ5 行列式與永久式多項式之穩定子如何約束其軌道閉包與複雜度？

主要发现

• 行列式四次曲面超曲面的次數精確為 640,224，此結果源自 Maulik 與 Pandharipande 的工作。
• 透過 S. Kumar 的結果，確立了行列式與補零永久式多項式軌道閉包的非正則性，顯示其包含關係存在幾何障礙。
• 利用 Chow 偏族的切線簇與 Veronese 重嵌入，推導出 Valiant 猜想的新幾何形式。
• Brion 的證明建立了 Foulkes-Howe 猜想的漸近版本，支持對稱冪不變量可能將永久式與行列式分離的觀點。
• 利用 Ikenmeyer 與 Mkrtchyan 的未發表成果，分析了 Hermite-Hadamard-Howe 映射的核，進而闡明對稱張量分解的性質。
• 本文表明，經典幾何與線性代數很可能會在近期內為 GCT 的旗艦猜想提供下界，而非更抽象的表示理論。