[论文解读] Irreducible Symmetric Group Characters of Rectangular Shape

Richard P. Stanley|ArXiv.org|Sep 14, 2001

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

一句话总结

本文提出了一种关于对称群在矩形杨图 $p \times q$ 形状上的归一化不可约特征标的新公式。通过钩长和内容的组合恒等式，建立了特征标值与满足 $uv = w_\mu$ 的置换对 $(u,v)$ 之间的联系，从而精确计算出 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k})$，其表达式为 $p^\kappa(u)(-q)^\kappa(v)$，并带有符号因子 $(-1)^k$。该结果推广了已知恒等式，并与卡塔兰数和施罗德数相关联。

ABSTRACT

We give a new formula for the values of an irreducible character of the symmetric group S_n indexed by a partition of rectangular shape. Some observations and a conjecture are given concerning a generalization to arbitrary shapes.

研究动机与目标

• 推导对称群 $\mathfrak{S}_{pq}$ 的归一化不可约特征标 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k})$ 的新闭式表达式。
• 建立这些特征标值的组合解释，以满足 $uv = w_\mu$ 且循环类型为 $\mu$ 的置换对 $(u,v)$ 表示。
• 将特征标值与对称函数恒等式联系起来，特别是涉及在 $1^p$ 和 $1^{-q}$ 处求值的舒尔函数。
• 探索特征标多项式首项的生成函数的代数与组合结构。

提出的方法

• 推导一个关键引理，将矩形形状中的钩长乘积与子图 $\lambda$ 和 $\tilde{\lambda}$ 上的乘积联系起来，利用恒等式 $H_{p\times q} = (-1)^{|\lambda|} H_\lambda H_{\tilde{\lambda}} s_\lambda(1^p) s_\lambda(1^{-q})$。
• 应用莫尔甘诺-中屋规则，将 $\chi^{p\times q}(\mu,1^{pq-k})$ 表示为对补形状 $\tilde{\lambda}$ 的标准杨表的求和，权重为 $\chi^\lambda(\mu)$。
• 引入归一化特征标 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k}) = \frac{(pq)_k \chi^{p\times q}(\mu,1^{pq-k})}{f^{p\times q}}$，其中 $(pq)_k$ 为下降阶乘，$f^{p\times q}$ 为表示的维数。
• 使用弗雷姆-罗宾逊-特劳尔钩长公式 $f^\lambda = \frac{n!}{\prod_{u \in \lambda} h(u)}$，将特征标维数表示为钩长的函数。
• 利用有理函数的复合逆和拉格朗日反演，建立特征标多项式首项 $G_k$ 的生成函数恒等式。
• 证明 $(-1)^k G_k(p_1,\dots,p_m; -q_1,\dots,-q_m)$ 具有非负整数系数，并给出涉及多项式系数和无符号第一类斯特林数的显式组合公式。

实验结果

研究问题

• RQ1 对称群在矩形形状上的不可约特征标值能否用具有固定乘积的置换对来表达？
• RQ2 特征标多项式 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k})$ 的表达式中的系数具有何种组合意义？
• RQ3 特征标多项式的首项如何与卡塔兰数或施罗德数等已知组合序列相关联？
• RQ4 是否存在特征标多项式首项的生成函数描述，以揭示其代数结构？
• RQ5 $(-1)^k G_k(p_1,\dots,p_m; -q_1,\dots,-q_m)$ 的系数是否具有简单的组合解释？

主要发现

• 归一化特征标 $\widehat{\chi}^{p\times q}(\mu,1^{pq-k})$ 由 $(-1)^k \sum_{uv=w_\mu} p^{\kappa(u)} (-q)^{\kappa(v)}$ 给出，其中求和范围为所有满足 $uv = w_\mu$ 的 $(u,v) \in \mathfrak{S}_k \times \mathfrak{S}_k$ 的置换对。
• 当 $m=1$ 时，首项 $G_k(p;-q)$ 给出 Narayana 数 $N(k,i) = \frac{1}{k} \binom{k}{i} \binom{k}{i-1}$，其计数满足 $\kappa(u)=i$，$\kappa(v)=k+1-i$，且 $uv=(1,2,\dots,k)$ 的置换对。
• 当 $m=1$ 时，和 $S_k = (-1)^k G_k(1,\dots,1;-1,\dots,-1)$ 等于第 $k$ 个卡塔兰数 $C_k$，从而验证了一个已知的组合恒等式。
• 当 $m=2$ 时，$S_k$ 等于第 $k$ 个大施罗德数 $r_k$，且 $S_k$ 的生成函数为二次代数函数。
• $(-1)^k G_k(p_1,\dots,p_m; -q_1,\dots,-q_m)$ 的多项式具有非负整数系数，此结论由埃利萨尔德的显式公式（涉及多项式系数和无符号第一类斯特林数）给出。
• 生成函数 $\sum G_k x^k$ 在 $\mathbb{Q}(p_1,\dots,p_m,q_1,\dots,q_m,x)$ 上为代数函数，此结论通过拉格朗日反演和复合逆技术得以证明。