[论文解读] An introduction to geometric complexity theory

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

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

一句话总结

本文將幾何複雜度理論（GCT）作為框架，用以處理Valiant的代數複雜度猜想，該猜想主張計算矩陣的永久式（permanent）本質上比計算行列式（determinant）更困難。透過運用代數幾何、表示理論與微分幾何的工具——特別是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係數在理解永久式多項式結構中的相關性。
• 激發使用向量叢與上同調方法來分析表示理論係數的漸近行為。

提出的方法

• 利用Borel-Weil定理，將不可約表示實現為齊性空間上向量叢截面的空間。
• 對向量叢應用過濾結構，以組織與界定表示理論係數（如Kronecker與plethysm係數）。
• 運用Serre的上同調消去定理於層上同調，以證明乘數上界在漸近意義下為緊緻。
• 透過最高權重向量與權重空間，分析對稱幂的對稱幂 $ S^d(S^n V) $ 作為 $ GL(V) $-模的分解。
• 研究Veronese嵌入的吻合序列，以理解當 $ d $ 與 $ n $ 增長時表示乘數的穩定行為。
• 利用分解式 $ 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) $-模的乘數之漸近行為為何？
• RQ3 如何運用向量叢與上同調等幾何方法來界定與計算Kronecker與plethysm係數？
• RQ4 哪些分拆 $ \pi $ 的條件可確保 $ \text{mult}(S_\pi W, S^d(S^n W)) \neq 0 $，且這些條件如何與永久式與行列式問題相關？
• RQ5 透過Jet空間與吻合序列的幾何方法，能否提供系統性方法來分析對稱多項式的複雜度？

主要发现

• 乘數 $ \text{mult}(S_{(dn - |\mu|, \mu)}, S^d(S^n V)) $ 是 $ d $ 與 $ n $ 的非遞減函數，顯示其具有穩定的漸近行為。
• 對於固定的 $ \pi $，不可約 $ GL(V) $-模 $ S_\pi V $ 在 $ S^d(S^n V) $ 中的乘數最終為常數，且其界可透過上同調消去定理達成。
• $ 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嵌入的吻合序列。
• 利用向量叢及其相關的graded結構，可明確計算表示理論乘數的上界，且由於Serre定理，這些上界在漸近意義下為緊緻。
• 根據Marcus與Minc的結果，當 $ m > 2 $ 時，無法將 $ \text{perm}_m(Y) $ 表示為以變數 $ y^i_j $ 的仿射線性函數為元素的 $ m \times m $ 行列式，這支持了永久式的本質複雜性。