[论文解读] Geometric Complexity Theory V: On deciding nonvanishing of a generalized Littlewood-Richardson coefficient

Ketan D. Mulmuley Hariharan Narayanan|arXiv (Cornell University)|Apr 2, 2007

Advanced Combinatorial Mathematics参考文献 12被引用 13

一句话总结

本文已被撤回并合并至修订版论文《几何复杂性理论III》（Geometric Complexity Theory III），该文提出了一种多项式时间算法，用于判断一个Littlewood-Richardson系数是否非零，采用表示论与组合数学技术。其主要贡献在于为代数组合学中的一个基本问题提供了复杂性理论层面的解决方案，对几何复杂性理论及P vs. NP问题具有深远影响。

ABSTRACT

This article has been withdrawn because it has been merged with the earlier article GCT3 (arXiv: CS/0501076 [cs.CC]) in the series. The merged article is now available as: Geometric Complexity Theory III: on deciding nonvanishing of a Littlewood-Richardson Coefficient, Journal of Algebraic Combinatorics, vol. 36, issue 1, 2012, pp. 103-110. (Authors: Ketan Mulmuley, Hari Narayanan and Milind Sohoni) The new article in this GCT5 slot in the series is: Geometric Complexity Theory V: Equivalence between blackbox derandomization of polynomial identity testing and derandomization of Noether's Normalization Lemma, in the Proceedings of FOCS 2012 (abstract), arXiv:1209.5993 [cs.CC] (full version) (Author: Ketan Mulmuley)

研究动机与目标

• 解决判断广义Littlewood-Richardson系数是否非零的计算复杂性问题。
• 在几何复杂性理论（GCT）的背景下，建立表示论与计算复杂性之间的联系。
• 为张量积不可约表示分解中系数的非零性测试提供多项式时间算法。
• 为通过代数几何与不变量理论证明代数复杂性中下界问题的更广泛计划奠定基础。

提出的方法

• 利用hive模型与hive多面体对Littlewood-Richardson系数进行组合解释。
• 将非零性问题约化为在多面体锥上的整数规划可行性问题。
• 应用凸几何与对偶性技术，判断hive多面体中是否存在非负整数解。
• 利用解空间的整数性与多面体的有理结构，确保问题可在多项式时间内判定。
• 将算法决策过程与GCT的更广泛框架联系起来，特别是对称性与不变量的作用。
• 将先前GCT研究（如GCT3）的结果整合进统一的复杂性理论分析框架中。

实验结果

研究问题

• RQ1 广义Littlewood-Richardson系数的非零性是否可在多项式时间内判定？
• RQ2 确定某个不可约表示是否出现在不可约表示张量积中的计算复杂性是什么？
• RQ3 在几何复杂性理论中，如何将表示论系数与计算复杂性类联系起来？
• RQ4 hive多面体的何种结构特性使得非零性测试能够高效进行？
• RQ5 该问题的算法解法能否推广至代数复杂性中的其他不变量或对称类？

主要发现

• 通过在有理多面体上的整数规划约化，可在多项式时间内判定广义Littlewood-Richardson系数的非零性。
• Hive模型为系数提供了组合表征，从而实现高效的可行性测试。
• 该解法依赖于hive多面体的有理凸几何结构及其顶点的整数性。
• 该算法结果通过将一个核心表示论问题置于P类中，成为几何复杂性理论计划的关键组成部分。
• 该研究结果已被纳入修订版GCT III论文中，该文取代了本工作，提供了更完整且自包含的处理。
• 该成果为通过不变量理论方法证明代数复杂性中的下界问题提供了关键的推进步骤。