[论文解读] Vector partition function and representation theory

Charles Cochet|arXiv (Cornell University)|Jun 9, 2005

Advanced Combinatorial Mathematics参考文献 21被引用 17

一句话总结

本论文提出了一种基于 Maple 的快速高效算法，用于在经典李代数 $A_r$、$B_r$、$C_r$ 和 $D_r$ 中计算权重重数和 Littlewood-Richardson 系数，方法基于 Baldoni-Beck-Cochet-Vergne 的最新研究成果所导出的向量分拆函数。该方法利用迭代留数和最大嵌套集（MNS）来计算这些不变量及其相关的 Ehrhart quasi-多项式，实现了对具有五位数坐标的权重的高性能计算——在秩为 5 至 7 的情况下，其速度和可扩展性均优于传统的 LiE 和 LattE 软件。

ABSTRACT

We apply some recent developments of Baldoni-Beck-Cochet-Vergne on vector partition function, to Kostant's and Steinberg's formulae, for classical Lie algebras $A\_r$, $B\_r$, $C\_r$, $D\_r$. We therefore get efficient { t Maple} programs that compute for these Lie algebras: the multiplicity of a weight in an irreducible finite-dimensional representation; the decomposition coefficients of the tensor product of two irreducible finite-dimensional representations. These programs can also calculate associated Ehrhart quasipolynomials.

研究动机与目标

• 开发一种用于计算经典李代数中权重重数和张量积分解系数的快速、可扩展算法。
• 实现这些系数作为最高权函数的分段 quasi-多项式计算。
• 克服现有软件（如 LiE 和 LattE）在高效处理大权重参数方面的局限性。
• 提供一种清晰、用户友好且可移植的 Maple 实现，无需依赖特殊工具包。
• 将向量分拆函数技术的应用范围扩展至所有经典李代数，而不仅限于 $A_r$。

提出的方法

• 该方法使用 Kostant 和 Steinberg 的公式，将权重重数和 Littlewood-Richardson 系数表示为向量分拆函数的求值结果。
• 应用 Baldoni-Beck-Cochet-Vergne（2005）关于通过迭代留数和最大嵌套集（MNS）计算有理函数的逆拉普拉斯变换的最新成果。
• 通过 MNS 分解和形式幂级数展开，计算向量分拆函数。
• 实现完全基于 Maple 编写，利用符号计算实现精确算术和 quasi-多项式求值。
• 该方法可通过将权重视为形式变量并提取分段多项式表达式，实现 Ehrhart quasi-多项式的计算。
• 代码针对大权重进行了优化，实现了对五位数坐标权重的高性能计算，远超典型 C++ 工具的处理能力。

实验结果

研究问题

• RQ1 能否使用 MNS 和迭代留数高效计算所有经典李代数的向量分拆函数？
• RQ2 由此产生的算法能否对大权重实现权重重数和 Littlewood-Richardson 系数的高性能计算？
• RQ3 该方法能否计算这些系数作为最高权函数的关联 Ehrhart quasi-多项式？
• RQ4 与 LiE 和 LattE 等现有软件相比，该基于 Maple 的实现对大权重示例的性能如何？
• RQ5 该算法能否在无需外部或特殊依赖包的情况下，以可移植、用户友好的方式实现？

主要发现

• 该 Maple 程序可对 $A_r$、$B_r$、$C_r$ 和 $D_r$ 的权重（最高达五位数坐标）计算权重重数和 Littlewood-Richardson 系数，其处理能力远超传统 C++ 工具的极限。
• 对于 $A_4$，MNS 算法在 2.1 秒内计算出张量积系数 557,744，而 LattE 耗时 12.3 秒，LiE 耗时 284.1 秒。
• 对于 $D_4$，程序在 27.7 秒内计算出系数 1.89×10^27，而 LattE 耗时 165.2 秒，LiE 无法在合理时间内完成。
• 程序在 1099.4 秒内计算出 $B_3$ 的 quasi-多项式 $c_{toldsymbol{ u}}^{toldsymbol{ u}}$，优于 LattE 对同一任务的 825.8 秒。
• 对 $A_3$ 使用形式变量的完整符号 quasi-多项式计算耗时 1158.6 秒，输出达 87 页，展示了其处理复杂代数结构的能力。
• 该实现兼容 Maple Vr5，且完全文档化，用户无需外部依赖即可理解并扩展其内部机制。