[论文解读] 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

一句话总结

本文全面概述了几何复杂性理论（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.

研究动机与目标

• 阐明几何复杂性理论（GCT）计划在证明 VP ≠ VNP 时所依赖的几何与表示论框架。
• 明确 GCT 计划旨在建立的精确复杂性类分离：当逼近阶次为多项式有界时，VP_ws = overline( VP_ws )。
• 分析 Kronecker 系数与对称 Kronecker 系数在决定轨道闭包坐标环中哪些不可约表示出现时的作用。
• 研究扩展问题——轨道上的函数何时能延拓至其闭包——作为计算坐标环模结构的关键障碍。
• 考察在行列式轨道闭包中沿曲线的逼近阶次若为多项式有界，是否可消除 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) 轨道闭包。
• 使用 Kronecker 系数与对称 Kronecker 系数表达坐标环中模出现的约束，这些系数编码了对称群表示张量积中的重数。
• 通过在 det_n 轨道中的曲线进行幂级数展开来分析多项式的逼近，使用环 R = ℂ[[ε]] 来建模此类形变。
• 证明：若 perm_m 在 det_n 轨道闭包内的逼近阶次为多项式有界，则 perm_m 的弱偏斜电路复杂度为 m 的多项式有界，从而推出 VP_ws = overline( VP_ws )。

实验结果

研究问题

• RQ1 能否在矩阵大小的多项式范围内，有界地控制永久多项式在行列式轨道闭包内的逼近阶次？
• RQ2 若逼近阶次存在多项式有界，是否意味着永久多项式的弱偏斜电路复杂度也为多项式有界？
• RQ3 Kronecker 系数与对称 Kronecker 系数如何约束不可约表示在 perm_m 与 det_n 轨道闭包坐标环中的出现？
• RQ4 在多大程度上可利用几何与表示论工具解决函数从轨道到其闭包的扩展问题？
• RQ5 若逼近阶次为多项式有界，GCT 计划是否可避免依赖逼近？

主要发现

• 若在 GL_{n^2}-轨道的 det_n 中沿某条曲线对 perm_m 的逼近阶次以 n 的多项式为界，则 perm_m 的弱偏斜电路复杂度在 m 上为多项式有界。
• 此类逼近阶次的多项式有界性存在，意味着 VP_ws = overline( VP_ws )，从而解决了 GCT 计划所提出的复杂性类核心分离问题。
• 本文证明了表示论障碍猜想（猜想 1.2）通过 Schur 引理蕴含包含猜想（猜想 1.1）。
• 函数从轨道到其闭包的扩展问题被识别为计算坐标环模分解的主要障碍。
• 作者表明，偏斜电路可至多以两倍大小模拟弱偏斜电路，且幂级数形变中常数项的电路大小被 O(q^2) 倍于完整形变的大小所限制。
• 本文证明，在逼近阶次多项式有界的假设下，极限多项式 f_m 的弱偏斜电路复杂度为多项式有界，因此 f_m 属于 VP_ws。