[论文解读] Multiplicities and tensor product coefficients for $A_r$

Charles Cochet|arXiv (Cornell University)|Jun 20, 2003

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

一句话总结

本论文提出了一种快速的 Maple 程序，用于计算李代数 $ A_r $ 表示中的权多重性 $ c_{\ho}^{\u} $ 和张量积系数 $ c_{\ho,\u}^{\u} $，利用向量分拆函数和基于 Baldoni-DeLoera-Vergne 理论的迭代留数。该方法通过有理函数留数高效计算这些值，即使在 $ r $ 较大和权参数较高时也能实现可扩展计算，对于固定 $ r $，运行时间随输入大小增长缓慢。

ABSTRACT

We apply some recent developments of Baldoni-DeLoera-Vergne on vector partition functions, to Kostant and Steinberg formulas, in the case of $A_r$. We therefore get a fast {\sc Maple} program that computes for $A_r$: the multiplicity $c_{λ,μ}$ of the weight $μ$ in the representation $V(λ)$ of highest weight $λ$; the multiplicity $c_{λ,μ,ν}$ of the representation $V(ν)$ in $V(λ)\otimes V(μ)$. The computation also gives the locally polynomial functions $c_{λ,μ}$ and $c_{λ,μ,ν}$.

研究动机与目标

• 开发一种用于 $ A_r $ 表示中权多重性和张量积系数的高效计算方法。
• 利用向量分拆函数和迭代留数的最新进展，克服现有软件（如 L ı E）在大参数下的局限性。
• 提供一种针对 $ A_r $ 优化的专用高性能 Maple 实现，重点提升在秩和权大小增加时的可扩展性。
• 通过在高权表示上的基准测试验证该方法，包括 $ N \to 10^9 $ 的情形，并验证已知公式。

提出的方法

• 利用 Kostant 和 Steinberg 公式，将多重性表示为 Weyl 群作用下 Kostant 分拆函数的带符号和。
• 应用 Baldoni-DeLoera-Vergne 的向量分拆函数理论，通过逆拉普拉斯变换和迭代留数计算。
• 使用迭代留数算子 $ \operatorname{IRes}_{z=0}^w $ 计算方程 $ \sum x_i \Phi_i = a $ 的非负整数解数量，其中 $ \Phi_i $ 是 $ A_r $ 的正根。
• 使用特殊排列 $ \operatorname{Sp}(a) $ 识别带符号和中的相关 Weyl 群元素，避免完整枚举。
• 在 Maple 中使用优化的基于表格的数据结构实现算法，避免内存密集型的列表操作。
• 将该方法分别应用于权多重性 $ c_{\lambda}^{\mu} $ 和张量积系数 $ c_{\lambda,\mu}^{\nu} $，两者使用不同的处理过程。

实验结果

研究问题

• RQ1 能否利用向量分拆函数和迭代留数比现有方法更高效地计算 $ A_r $ 表示中的权多重性？
• RQ2 所提算法的运行时间如何随秩 $ r $ 和权参数 $ N $ 增大而变化？
• RQ3 该方法能否准确重现已知公式，例如 $ (N+1)^{r(r-1)/2} $，即 $ V(N\theta) $ 中零权的重数？
• RQ4 最坏情况（如 $ \mu = 0 $）与中间情况（如 $ \mu = [9N/10]\theta $）计算之间的性能差异如何？
• RQ5 与通用工具（如 L ı E）相比，该方法在 $ r $ 较大且权重较高时的效率如何？

主要发现

• 该程序高效计算 $ c_{\lambda}^{\mu} $ 和 $ c_{\lambda,\mu}^{\nu} $，对于固定 $ r $，运行时间随 $ N $ 增大而缓慢增长，例如在 $ A_7 $ 中，$ N=10^9 $ 的中间情况耗时约 22.5 秒。
• 在最坏情况（$ \mu = 0 $）下，计算时间趋于稳定或略有增加，例如 $ A_7 $ 在 $ N=10^9 $ 时耗时约 297 秒，表明其鲁棒性。
• 该方法正确计算了 $ V(N\theta) $ 中零权的重数为 $ (N+1)^{r(r-1)/2} $，已验证至 $ A_8 $，其中 $ A_7 $ 耗时 169.3 秒，$ A_8 $ 耗时 9401 秒。
• 程序在中间情况表现良好：$ A_6 $ 的张量积系数 $ c_{\lambda,\mu}^{\nu} $ 在 $ \nu = 2[9N/10]\theta $ 且 $ N=10^9 $ 时耗时约 62.3 秒，显示出类似多项式增长的特性。
• 对于 $ A_7 $，中间情况 $ c_{\lambda}^{\mu} $ 在 $ N=10^9 $ 时耗时约 22.5 秒，而最坏情况耗时约 297 秒，表明结构感知计算显著降低了时间开销。
• 使用表格而非列表避免了内存溢出，使计算可达 $ N=10^9 $，而使用标准排列枚举则无法实现。