[论文解读] Permanent versus determinant, obstructions, and Kronecker coefficients

Peter Bürgisser|arXiv (Cornell University)|Nov 25, 2015

Advanced Combinatorial Mathematics参考文献 39被引用 8

一句话总结

本文通过几何复杂性理论研究永久式与行列式问题，聚焦于表示论障碍与柯尔曼系数。研究证明，此前被认为有望证明 VP ≠ VNP 的出现障碍（occurrence obstructions）无法成功，原因在于关键的 plethysm 组分中柯尔曼系数非零，从而彻底排除了该方法在行列式复杂度超多项式下界证明中的应用。

ABSTRACT

We give an introduction to some of the recent ideas that go under the name "geometric complexity theory". We first sketch the proof of the known upper and lower bounds for the determinantal complexity of the permanent. We then introduce the concept of a representation theoretic obstruction, which has close links to algebraic combinatorics, and we explain some of the insights gained so far. In particular, we address very recent insights on the complexity of testing the positivity of Kronecker coefficients. We also briefly discuss the related asymptotic version of this question.

研究动机与目标

• 研究在代数复杂性理论中，利用表示论障碍分离 VP 与 VNP 的可行性。
• 分析柯尔曼系数在基于障碍的永久式与行列式问题方法中的作用。
• 确定柯尔曼系数的正性是阻碍还是促进 VP ≠ VNP 证明的进展。
• 评估在行列式复杂度下界背景下，出现障碍的局限性。
• 评估近期关于 plethysm 与 GCT-系数结果对证明复杂性分离的更广泛程序的影响。

提出的方法

• 利用几何复杂性理论（GCT）分析在 GL(n²) 作用下永久式与行列式多项式轨道闭包的性质。
• 应用表示论研究轨道闭包坐标环中不可约表示的重数，重点关注最高权向量与 plethysms。
• 采用组合技术，结合杨表与含 d×n 内容的表，编码对称幂中最高权向量的生成系。
• 引入一种最高权向量的“提升”技术，随内度 n 增加而展开，利用 plethysm 系数的稳定性特性。
• 通过在秩一张量上求值这些向量，确定柯尔曼系数的非零性。
• 结合分裂技术与渐近分析，证明在特定约束下，plethysm 正性蕴含标准与 GCT-系数的正性。

实验结果

研究问题

• RQ1 能否基于柯尔曼系数的出现障碍来证明永久式行列式复杂度的超多项式下界？
• RQ2 在轨道闭包包含关系的背景下，plethysm 系数与 GCT-系数之间存在何种关系？
• RQ3 在与永久式与行列式问题相关的矩形分拆中，柯尔曼系数在何种条件下保持正性？
• RQ4 柯尔曼系数的正性能否被用于通过几何复杂性理论构造 VP ≠ VNP 的证明？
• RQ5 近期关于 plethysm 与 GCT-系数的结果在多大程度上排除了在复杂性下界中使用表示论障碍的可能性？

主要发现

• 出现障碍方法无法用于证明 VP ≠ VNP，因为 Ikenmeyer 与 Panova 证明：当 n > 3m⁴ 时，plethysm 正性在所需约束下蕴含柯尔曼系数正性。
• GCT-系数方法同样被排除：Bürgisser、Ikenmeyer 与 Panova 证明：当 n > m²⁵ 时，plethysm 正性蕴含 GCT-系数正性，从而否定了该路径。
• 研究结果依赖于通过含 d×n 内容的表编码 plethysm 中的最高权向量，并分析其在秩一张量上的求值。
• 最高权向量随 n 增加的提升技术在确立 plethysm 系数稳定性方面起关键作用。
• 关于轨道闭包 Ωₙ 所需的唯一信息是其包含某些填充的幂和，表明论证具有强鲁棒性。
• 尽管排除了出现障碍，但多重性障碍或显式最高权向量函数仍可能实现复杂性分离，该可能性尚未排除。