[论文解读] A conjectured combinatorial interpretation of the normalized irreducible character values of the symmetric group

Richard P. Stanley|ArXiv.org|Jun 19, 2006

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

一句话总结

本文提出了对对称群在由 m 个矩形并置而成的分拆下，归一化不可约特征标值的组合解释。文中引入了一类满足乘积条件的着色置换的带符号和，证明了特征标值等于矩形尺寸的带符号生成函数，其支持来自一个关于系数的多项式性与非负性猜想。

ABSTRACT

In math.CO/0109093 the author obtained a formula for the value of an irreducible symmetric group character indexed by a partition of rectangular shape. In the present paper this formula is (conjecturally) generalized to arbitrary shapes.

研究动机与目标

• 为对称群在矩形分拆形状下的归一化不可约特征标值提供组合解释。
• 通过一类新的着色置换带符号和，将已知的单行循环类型公式推广至任意循环类型。
• 猜想关于矩形尺寸的某一多项式系数为非负整数。
• 建立特征标理论与对称群中着色置换计数之间的联系。
• 通过矩形合并下的结构恒等式，将一般猜想约化至单位矩形尺寸的情形。

提出的方法

• 将归一化特征标值 $ F_{\nu}({\bf p};{\bf q}) $ 定义为按下降阶乘缩放的不可约特征标值之比。
• 引入 $ \mathfrak{S}_k^{(m)} $，即 k 个元素上用 m 种颜色着色的循环的置换集合，构成一个着色置换群。
• 定义非结合乘积 $ \alpha v = \beta $，其中 $ \beta $ 中循环的颜色为在 $ u $ 中合并进入它的循环的最高颜色。
• 提出猜想：$ F_{\nu}({\bf p};{\bf q}) = (-1)^k \sum_{\alpha w_{\nu} = \beta} {\bf p}^{\kappa(\alpha)} (-{\bf q})^{\kappa(\beta)} $，求和范围为所有此类对。
• 使用约化论证：若当所有 $ p_i = 1 $ 时猜想成立，则由矩形合并下的结构恒等式，一般情形亦成立。
• 利用已知恒等式 $ \sum_{w \in \mathfrak{S}_k} x^{\kappa(w)} = x(x+1)\cdots(x+k-1) $，以证明着色置换的数量为 $ (k+m-1)_k $。

实验结果

研究问题

• RQ1 当分拆为 m 个矩形的并时，对称群的归一化不可约特征标值能否获得组合解释？
• RQ2 多项式 $ (-1)^k F_{\nu}({\bf p}; -{\bf q}) $ 是否恒具有非负整数系数？
• RQ3 所提出的满足 $ \alpha w_{\nu} = \beta $ 的着色置换 $ \alpha, \beta \in \mathfrak{S}_k^{(m)} $ 的带符号和是否能正确给出特征标值 $ F_{\nu}({\bf p};{\bf q}) $？
• RQ4 能否通过矩形合并下的结构恒等式，将一般猜想约化至所有 $ p_i = 1 $ 的情形？
• RQ5 是否存在类似于本文所提出结构的更深层组合或代数结构，来解释 Kerov 特征标多项式？

主要发现

• 归一化特征标值 $ F_{\nu}({\bf p};{\bf q}) $ 是矩形尺寸 $ p_i $ 和 $ q_i $ 的整系数多项式。
• 当 $ \nu = (k) $ 时，给出了 $ F_k({\bf p};{\bf q}) $ 的闭式公式，通过有理函数展开中 $ x^{-1} $ 项的系数表示。
• 对于 $ m=1 $（即矩形形状），猜想 $ (-1)^k F_{\nu}({\bf p}; -{\bf q}) $ 具有非负系数已得证明。
• 通过一个恒等式，即令 $ q_{i+1} = q_i $ 对应于合并相邻矩形，猜想被约化至 $ p_1 = \cdots = p_m = 1 $ 的情形。
• 对于 $ m=2 $，$ \nu = (2) $，猜想已通过直接计算验证：$ F_2(p_1,p_2;q_1,q_2) = -p_1^2 q_1 - 2p_1 p_2 q_2 - p_2^2 q_2 + p_1 q_2^2 + p_2 q_2^2 $，与六对着色置换的和一致。
• 该猜想在 $ F_k $ 的最高次项上已被证明成立，如 Rattan 所示，支持其合理性。