[论文解读] Nonzero coefficients in restrictions and tensor products of supercharacters of $U_n(q)$

S. R. Lewis, Nathaniel Thiem|ArXiv.org|Dec 9, 2009

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

一句话总结

该论文通过从集合划分构造的二分图中的完全匹配，刻画了在未幂零上三角矩阵群 $U_n(q)$ 的限制与张量积中，超特征标系数非零的条件。关键贡献是一个统一的组合准则：当且仅当关联的二分图存在完全匹配时，超特征标才会出现在分解中。

ABSTRACT

The standard supercharacter theory of the finite unipotent upper-triangular matrices $U_n(q)$ gives rise to a beautiful combinatorics based on set partitions. As with the representation theory of the symmetric group, embeddings of $U_m(q)\subseteq U_n(q)$ for $m\leq n$ lead to branching rules. Diaconis and Isaacs established that the restriction of a supercharacter of $U_n(q)$ is a nonnegative integer linear combination of supercharacters of $U_m(q)$ (in fact, it is polynomial in $q$). In a first step towards understanding the combinatorics of coefficients in the branching rules of the supercharacters of $U_n(q)$, this paper characterizes when a given coefficient is nonzero in the restriction of a supercharacter and the tensor product of two supercharacters. These conditions are given uniformly in terms of complete matchings in bipartite graphs.

研究动机与目标

• 理解 $U_n(q)$ 超特征标理论中分支规则系数的组合结构，其与对称群 $S_n$ 的表示理论相平行。
• 确定给定超特征标 $\chi^\nu$ 在另一个超特征标 $\chi^\lambda$ 限制到子群 $U_K \subseteq U_n$ 时，其系数是否非零。
• 刻画超特征标在两个其他超特征标的张量积中出现的条件。
• 为这些分解中的非零系数提供一个统一的、基于二分图中完全匹配的组合准则。
• 为显式计算系数奠定基础，扩展关于系数在 $q$ 中多项式性的已知结果。

提出的方法

• 从集合划分 $\lambda$ 和子集 $K \subseteq \{1,\dots,n\}$ 构造二分图 $\Gamma_K(\lambda)$，以编码嵌入 $U_K \subseteq U_n$ 的结构。
• 为三元组集合划分 $\lambda, \mu, \nu$ 定义二分图 $\Gamma(\lambda, \mu, \nu)$，以建模张量积分解。
• 利用定理 4.2 将超特征标的张量积与更大超特征标的限制联系起来，乘以 $q$ 的幂，从而将问题约化为限制问题。
• 基于集合划分结构和 $\Lambda_K$-标记，应用一种构造性算法，以判断完全匹配是否存在。
• 利用匹配与非零系数之间的对应关系：当且仅当存在完全匹配时，非零系数才会出现。
• 将结果推广至多重集 $\lambda \in \mathcal{M}_K(q)$ 以处理张量积，使用 $\mathcal{C}_K(\lambda)$ 中交叉对集合的修改版本。

实验结果

研究问题

• RQ1 在什么条件下，给定的超特征标 $\chi^\nu$ 以非零系数出现在限制 $\mathrm{Res}^{U_n}_{U_K}(\chi^\lambda)$ 中？
• RQ2 超特征标 $\chi^\nu$ 何时出现在两个超特征标 $\chi^\lambda$ 与 $\chi^\mu$ 的张量积 $\chi^\lambda \otimes \chi^\mu$ 中？
• RQ3 集合划分 $\lambda$、$\mu$ 和 $\nu$ 的何种组合条件可确保张量积分解中存在非零系数？
• RQ4 如何编码嵌入 $U_K \subseteq U_n$ 的结构，以确定超特征标限制的支持？
• RQ5 此类分解中平凡特征标的系数能否显式计算？在何种条件下其为 $q$ 的幂？

主要发现

• 平凡超特征标出现在 $\mathrm{Res}^{U_n}_{U_K}(\chi^\lambda)$ 中，当且仅当二分图 $\Gamma_K(\lambda)$ 存在完全匹配。
• 超特征标 $\chi^\nu$ 出现在 $\chi^\lambda \otimes \chi^\mu$ 中，当且仅当关联的二分图 $\Gamma(\lambda, \mu, \nu)$ 存在完全匹配。
• 对于限制 $\mathrm{Res}^{U_n}_{U_K}(\chi^\lambda)$，$\chi^\mu$ 的系数非零，当且仅当图 $\Gamma_K(\lambda, \mu)$ 存在完全匹配。
• $\mathrm{Res}^{U_L}_{U_K}(\chi^\lambda)$ 中平凡特征标的系数为 $q^{r_K^L(\lambda) + |\mathcal{C}_K(\lambda)|}$，其中 $\mathcal{C}_K(\lambda)$ 计数集合划分中某些交叉对。
• 对于张量积，当 $\Lambda_K(\lambda) \in \{ (\circ,\bullet), (\bullet,\circ) \}$ 时，平凡特征标的系数为 $q^{|\mathcal{C}_K(\lambda)|}$，一般情况下推广为 $q$-多项式系数。
• 显式例子表明，系数不一定是 $q$ 的纯幂；例如，当 $a + b + c = 0$ 时，有 $\langle \chi^{\{1\overset{a}{\frown}5, 1\overset{b}{\frown}5, 1\overset{c}{\frown}5\}}, {11} \rangle_{U_5(q)} = 3q - 2$。