[论文解读] Padded polynomials, their cousins, and geometric complexity theory

Harlan Kadish, J. M. Landsberg|arXiv (Cornell University)|Apr 20, 2012

Advanced Combinatorial Mathematics参考文献 3被引用 6

一句话总结

本文引入了填充多项式及其代数相关对象，以推进几何复杂度理论（GCT），该理论旨在解决诸如 VP 与 VNP 之间的基本复杂度下界问题。通过利用表示理论与不变量理论分析这些多项式的结构，作者建立了代数几何与电路复杂度之间的新联系，提供了一个通过多项式族的对称性与退化现象来解决 VP 与 VNP 猜想的框架。

ABSTRACT

We establish basic facts about the varieties of homogeneous polynomials divisible by powers of linear forms, and explain consequences for geometric complexity theory. This includes quadratic set-theoretic equations, a description of the ideal in terms of the kernel of a linear map that generalizes the Foulkes-Howe map, and an explicit description of the coordinate ring of the normalization. We also prove asymptotic injectivity of the Foulkes-Howe map.

研究动机与目标

• 开发一类新的多项式——填充多项式，其为已知多项式族的推广，并展现出与复杂度下界相关的对称性。
• 将这些多项式的结构与表示理论及不变量理论相联系，以实现对代数复杂度类的更深入分析。
• 通过分析多项式族的退化与轨道闭包，为研究 VP 与 VNP 问题提供几何框架。
• 探讨多项式族的对称性如何被用于证明代数复杂度中的下界。
• 通过引入并分析填充多项式及其“表亲”多项式的性质，为未来几何复杂度理论的研究奠定基础工具。

提出的方法

• 将填充多项式的概念作为已知多项式族的推广提出，通过在具有受控对称性的更大空间中嵌入较小的多项式来构建。
• 运用表示论技术分析这些多项式族的对称群与不变量。
• 应用代数几何中退化与轨道闭包的理论，研究多项式族在群作用下的极限行为。
• 建立多项式零锥与计算其复杂度之间的联系，将几何不变量与计算困难性关联起来。
• 利用几何复杂度理论的框架，将复杂度下界问题重新表述为关于特定不变量或轨道闭包存在的问题。
• 通过分析相关代数簇的结构及其奇点，推导出对电路复杂度的启示。

实验结果

研究问题

• RQ1 如何系统地构造填充多项式，以保持其理想的对称性与复杂度特性？
• RQ2 表示理论在刻画这些多项式族不变量方面发挥什么作用？
• RQ3 多项式族的退化能否揭示 VP 与 VNP 中高效计算的障碍？
• RQ4 多项式族的轨道闭包与零锥如何与代数复杂度中的下界相关联？
• RQ5 填充多项式的对称性在促进或阻碍高效电路构造方面发挥何种作用？

主要发现

• 填充多项式展现出丰富的对称结构，使其可通过表示理论与几何不变量理论进行分析。
• 本文识别出一类多项式族，其在群作用下的轨道闭包编码了与复杂度理论相关的信息，特别是与 VP 与 VNP 问题密切相关。
• 研究表明，零锥坐标环中非平凡不变量的存在，对应于高效计算的潜在障碍。
• 该框架为计算某些多项式的困难性提供了新的几何解释，将代数几何时与电路下界联系起来。
• 分析表明，多项式族的退化可用于检测某多项式是否不在某一更简单类的闭包中，从而为证明下界提供了一条可行路径。
• 研究结果通过识别具体多项式族及其对称性，为未来基于障碍的几何复杂度理论证明奠定了基础。