[论文解读] Multiplicity of compact group representations and applications to Kronecker coefficients

Velleda Baldoni, Michèle Vergne|arXiv (Cornell University)|Jun 8, 2015

Advanced Combinatorial Mathematics参考文献 33被引用 6

一句话总结

该论文提出一种基于多元留数和杜斯特马特-黑克曼测度的计算方法，用于计算克罗内克系数——即对称群不可约表示张量积分解中的重数。该方法在杨图行数固定时，可实现多项式时间算法，对矩形表盘给出显式公式与希尔伯特级数，包括涉及单位根和分段拟多项式的闭式表达式。

ABSTRACT

These notes are an expanded version of a talk given by the second author. Our main interest is focused on the challenging problem of computing Kronecker coefficients. We decided, at the beginning, to take a very general approach to the problem of studying multiplicity functions, and we survey the various aspects of the theory that comes into play, giving a detailed bibliography to orient the reader. Nonetheless the main general theorems involving multiplicities functions (convexity, quasi-polynomial behavior, Jeffrey-Kirwan residues) are stated without proofs. Then, we present in detail our approach to the computational problem, giving explicit formulae, and outlining an algorithm that calculate many interesting examples, some of which appear in the literature also in connection with Hilbert series.

研究动机与目标

• 开发一种基于几何表示理论与留数微积分的克罗内克系数系统性计算框架。
• 解决长期存在的克罗内克系数计算难题，该系数在表示论与量子信息中具有核心地位。
• 为对称与矩形表盘情形下的稀释克罗内克系数提供显式公式与希尔伯特级数。
• 将该方法实现为 Maple 算法，以实际计算具体例子。
• 澄清并更正已知结果，如先前文献中五量子比特例子的印刷错误系数。

提出的方法

• 采用几何量子化框架，将重数函数与权图映射及权图锥上的杜斯特马特-黑克曼测度联系起来。
• 通过奥尔里克-索洛蒙基底应用迭代留数微积分，计算与重数函数相关的分拆函数。
• 利用杰弗里-基尔万留数定理，从重数生成函数中提取系数。
• 将重数函数建模为权图映射像的凸几何结构上的分段拟多项式。
• 通过基于留数的分拆函数评估，分析稀释系数，推导出对称与矩形表盘的希尔伯特级数。
• 在 Maple 中实现该算法，以计算具体例子，包括五量子比特与三量子比特系统。

实验结果

研究问题

• RQ1 当杨图行数固定时，如何高效计算克罗内克系数在大稀释情形下的值？
• RQ2 矩形表盘情形下，编码稀释克罗内克系数的希尔伯特级数具有何种结构？
• RQ3 重数函数的分段拟多项式行为如何从几何量子化与权图锥分解中产生？
• RQ4 留数微积分方法能否导出涉及单位根与周期项的克罗内克系数的闭式表达式？
• RQ5 先前发表结果（如五量子比特希尔伯特级数中系数错误）需要如何修正？

主要发现

• 当杨图行数固定时，该算法可在多项式时间内计算稀释克罗内克系数，从而实现对大稀释情形的高效计算。
• 在五量子比特情形下，对于矩形表盘 $[[1,1]]^5$，希尔伯特级数为有理函数，其分子 $P(t)$ 次数为 52，分母 $Q(t)$ 包含因子 $(1-t^2)^5(1-t^3)(1-t^4)^5(1-t^5)(1-t^6)^5$，纠正了先前工作中存在的印刷错误。
• 克罗内克系数 $g(k[1,1],k[1,1])$ 为 $\frac{1}{2} + \frac{1}{2}(-1)^k$，表现出周期为 2 的周期性。
• 对于 $g(k[1,1,1],k[1,1,1],k[1,1,1])$，其公式为分段拟多项式，包含 12 个与陪集相关的多项式，涉及单位根与周期项。
• 文献 [38] 中五量子比特级数的系数 $a_{42}$ 被错误报告为 146848；正确值为 146849，由分子的回文对称性确认。
• 对于 $g(k[3,3,3,3],k[4,4,4],k[4,4,4])$ 的希尔伯特级数为 $\frac{1+t^9}{(1-t^2)^2(1-t^4)(1-t)(1-t^3)}$，展示了具有非平凡分子结构的有理生成函数。