[论文解读] Products of characters of the symmetric group

Rosa Orellana, Mike Zabrocki|arXiv (Cornell University)|Sep 23, 2017

Advanced Combinatorial Mathematics参考文献 30被引用 7

一句话总结

本文引入了一种新的基底 $ ilde{s}_\lambda$ 下对称函数乘积的组合规则，该基底在单位根处退化为对称群 $S_n$ 的不可约特征标。通过使用带有条纹和非条纹条目的多重集与集合值表格，并施加格点条件，本文给出了 $ ilde{s}_\mu$、$ ilde{h}_\mu$ 和 $h_\mu$ 相乘的显式组合解释。同时建立了这些乘积之间的一系列不等式层级，统一了先前的结果，并为计算稳定克罗内克系数提供了新工具。

ABSTRACT

In a recent paper, the authors introduced a new basis of the ring of symmetric functions which evaluate to the irreducible characters of the symmetric group at roots of unity. The structure coefficients for this new basis are the stable Kronecker coefficients. In this paper we give combinatorial descriptions for several products that have as consequences several versions of the Pieri rule for this new basis of symmetric functions. In addition, we give several applications of the products studied in this paper.

研究动机与目标

• 为在新基底 $\tilde{s}_\lambda$ 下的对称函数乘积提供组合解释，该基底在单位根处退化为 $S_n$ 的不可约特征标。
• 通过引入基于多重集与集合值表格的统一框架，将先前关于 $ ilde{s}_\mu$-基底的结果进行统一与推广。
• 建立涉及 $ ilde{s}_\mu$、$ ilde{h}_\mu$ 与 $h_\mu$ 的乘积之间的不等式层级，反映其复杂性与结构的递增。
• 将这些结果应用于表示论中的问题，包括限制问题与量子信息中的克罗内克积重数。

提出的方法

• 作者定义了一个新的对称函数基底 $\tilde{s}_\lambda$，其在单位根处退化为 $S_n$ 的不可约特征标。
• 他们引入 $ ilde{h}_\mu$，其在单位根处退化为对称群 $S_\mu$ 的诱导平凡特征标，并将其与完全齐次对称函数 $h_\mu$ 关联起来。
• 通过带有条纹与非条纹条目的列严格表格，给出了 $\tilde{s}_{\mu_1} \cdots \tilde{s}_{\mu_\ell} \tilde{s}_\lambda$、$\tilde{h}_{\mu_1} \cdots \tilde{h}_{\mu_\ell} \tilde{s}_\lambda$、$\tilde{h}_\mu \tilde{s}_\lambda$ 与 $h_\mu \tilde{s}_\lambda$ 乘积的组合解释。
• 这些表格根据条纹与非条纹条目的相对顺序施加格点条件，且根据乘积类型附加额外约束：$h_\mu \tilde{s}_\lambda$ 使用多重集，$\tilde{h}_\mu \tilde{s}_\lambda$ 使用集合，$\tilde{s}_\mu \tilde{s}_\lambda$ 则增加行限制。
• 在该基底下定义了一个内积，使得 $ ilde{s}_\lambda$ 基底正交归一，从而支持对偶性与内积公式。
• 通过递归定义与格点表格构造证明了结果，并应用于普莱西姆与克罗内克系数。

实验结果

研究问题

• RQ1 如何通过带有条纹与非条纹条目的表格，对 $ ilde{s}_\lambda$ 基底下的对称函数乘积进行组合解释？
• RQ2 在组合结构与系数方面，$ ilde{s}_\mu \tilde{s}_\lambda$、$ ilde{h}_\mu \tilde{s}_\lambda$ 与 $h_\mu \tilde{s}_\lambda$ 之间的关系是什么？
• RQ3 是否可以通过统一的表格模型完全解释不等式层级 $\tilde{s}_{\mu_1} \cdots \tilde{s}_{\mu_\ell} \tilde{s}_\lambda \leq \tilde{h}_{\mu_1} \cdots \tilde{h}_{\mu_\ell} \tilde{s}_\lambda \leq h_\mu \tilde{s}_\lambda$？
• RQ4 这些乘积如何与表示论中克罗内克系数与普莱西姆的计算相关联？
• RQ5 新基底及其乘积规则能否用于为稳定克罗内克系数提供正组合解释？

主要发现

• 乘积 $h_\mu \tilde{s}_\lambda$ 可通过列严格表格进行组合解释：每个格子中包含至多一个条纹条目的多重集，且在按顺序读取条纹与非条纹条目时满足格点条件。
• 乘积 $\tilde{h}_\mu \tilde{s}_\lambda$ 使用集合值表格进行解释，其中非条纹条目不重复，条纹条目仍受格点条件约束。
• 乘积 $\tilde{s}_\mu \tilde{s}_\lambda$ 额外要求第一行中仅允许放置多于一个元素的集合，同时满足格点与集合条件。
• 乘积 $\tilde{h}_\mu \tilde{s}_\lambda$ 综合了 $h_\mu \tilde{s}_\lambda$ 与 $\tilde{h}_\mu \tilde{s}_\lambda$ 的约束，要求每个格子中至多包含一个条纹与一个非条纹条目。
• 在 $({\tilde{h}}_d)^a({\tilde{h}}_{d-1})^{k-a}$ 对 $\tilde{s}_\nu$ 展开中的系数，等于形状为 $(r)$、内容为 ${\!\!\{}1^d, 2^d, \ldots, a^d, (a+1)^{d-1}, \ldots, k^{d-1}{\}\!\!\}$ 的集合值表格的数量，从而为克罗内克积重数提供了新公式。
• 本文证明了 $\tilde{s}_\lambda$ 基底通过涉及 $h_{\lambda_1} \tilde{s}_{\bar{\lambda}}$ 与形状为 $\overline{\lambda}$、大小为 $k$ 的格点表格的校正项的递归公式，满足皮里法则。