[论文解读] Geometric Complexity III: on deciding positivity of Littlewood-Richardson coefficients

Ketan Mulmuley, Milind A. Sohoni|ArXiv.org|Jan 26, 2005

Algebraic structures and combinatorial models参考文献 10被引用 14

一句话总结

该论文证明了在 $GL_n(\mathbb{C})$ 上，判断 Littlewood-Richardson 系数的正性——即给定的不可约表示是否出现在两个其他表示的张量积中——属于 P 类，利用 Knutson-Tao 一致性定理与多项式时间线性规划。该结果为几何复杂性理论中的“翻转”哲学提供了首个具体证据，将困难的非存在性问题转化为可解的存在性问题。

ABSTRACT

We point out that the remarkable Knutson and Tao Saturation Theorem and polynomial time algorithms for LP have together an important and immediate consequence in Geometric Complexity Theory. The problem of deciding positivity of Littlewood-Richardson coefficients for GLn(C) belongs to P. Furthermore, the algorithm is strongly polynomial. The main goal of this article is to explain the significance of this result in the context of Geometric Complexity Theory. Furthermore, it is also conjectured that an analogous result holds for arbitrary symmetrizable Kac-Moody algebras.

研究动机与目标

• 建立 $GL_n(\mathbb{C})$ 上 Littlewood-Richardson 系数正性判定问题属于 P 类，为几何复杂性理论（GCT）提供基础支持。
• 证明子群限制问题——表示论存在性问题的关键实例——可高效判定。
• 提供一种强多项式时间算法用于正性测试，结合组合线性规划与一致性定理。
• 推测类似结果在可对称化 Kac-Moody 代数上也成立，将框架扩展至 $GL_n(\mathbb{C})$ 之外。
• 激发对表示论中正性问题的进一步研究，如 plethysm 和 Kazhdan-Lusztig 多项式，推测其可能具有可解性。

提出的方法

• 将正性问题表述为一个线性规划（LP），在由整数变量 $r_j^i$ 上的组合约束定义的多面体 $P$ 上进行。
• 利用 Knutson-Tao 一致性定理，确保 $P$ 非空意味着 $P$ 中存在整数点，从而推出系数的正性。
• 应用多项式时间线性规划算法（如椭球法或内点法）来测试 $P$ 的非空性。
• 采用 Tardos 算法实现强多项式时间复杂度，与输入大小的位长度无关。
• 依赖于约束矩阵 $A$ 的元素属于 \{0, 1, -1\}，且右端项 $b$ 是 $\alpha, \beta, \gamma$ 的齐次整系数线性形式这一事实。
• 利用 $b$ 的齐次性，将问题简化为检查某个 $q$ 是否满足 $c_{q\alpha,q\beta}^{q\gamma} > 0$，若成立，则由一致性性可推出 $c_{\alpha,\beta}^{\gamma} > 0$。

实验结果

研究问题

• RQ1 能否在 $GL_n(\mathbb{C})$ 上以多项式时间判定 Littlewood-Richardson 系数的正性？
• RQ2 一致性定理是否允许将正性问题约化为有理多面体非空性的测试？
• RQ3 是否存在用于判定 Littlewood-Richardson 系数正性的强多项式时间算法？
• RQ4 该结果能否推广至任意可对称化 Kac-Moody 代数？
• RQ5 是否存在完全组合化的算法解决此问题，而无需使用线性规划？

主要发现

• 对于 $GL_n(\mathbb{C})$ 上的 Littlewood-Richardson 系数 $c_{\alpha,\beta}^{\gamma}$，判定其正性的问题是 P 类问题，运行时间关于 $n$ 以及 $\alpha, \beta, \gamma$ 的位长度为多项式。
• 该算法为强多项式时间，由 Tardos 对组合线性规划的算法保证。
• 由蜂窝或蜂房约束定义的多面体 $P$ 的非空性意味着 $P$ 中存在整数点，从而推出系数的正性。
• 该结果源于 Knutson-Tao 一致性定理与多项式时间线性规划的结合。
• 多面体 $P$ 不必是整数多面体，其顶点可能为有理数，因此证明依赖于一致性性而非整数性。
• 作者推测，在可对称化 Kac-Moody 代数中，广义的 Littlewood-Richardson 系数也存在类似的多项式时间算法，尽管在类型 $B, C, D$ 中一致性猜想不成立。