[论文解读] Polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions

Guo-Niu Han, Huan Xiong|arXiv (Cornell University)|Jan 17, 2016

Advanced Combinatorial Mathematics参考文献 22被引用 9

一句话总结

本文建立了关于加倍不同分拆和自共轭整数分拆的钩长与内容求和的多项式性，证明了涉及钩长和内容对称函数的加权和是大小参数 $ n $ 的多项式，且给出了明确的次数上界。结果推广了Nekrasov-Okounkov型公式，并通过差分算子和 $ t $-核心结构，将Stanley的多项式性框架扩展至这些特殊分拆类。

ABSTRACT

In 2009, the first author proved the Nekrasov-Okounkov formula on hook lengths for integer partitions by using an identity of Macdonald in the framework of type $\widetilde A$ affine root systems, and conjectured that some summations over the set of all partitions of size $n$ are always polynomials in $n$. This conjecture was generalized and proved by Stanley. Recently, Pétréolle derived two Nekrasov-Okounkov type formulas for $\widetilde C$ and $\widetilde C\,\check{}$ which involve doubled distinct and self-conjugate partitions. Inspired by all those previous works, we establish the polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions.

研究动机与目标

• 将Stanley关于钩长和内容对称函数的多项式性框架，扩展至加倍不同分拆和自共轭分拆这两类特殊分拆类。
• 研究当加权和被 $ (2t)^n n! $ 和 $ H_t(\theta) $ 归一化时，这些分拆类上的和是否仍为 $ n $ 的多项式，如同经典Nekrasov-Okounkov情形一般。
• 基于对称函数 $ F_1 $ 和 $ F_2 $，推导出所得多项式次数的显式上界。
• 在这些分拆类型背景下，恢复并推广Pétréolle关于 $ \tilde{C} $ 和 $ \tilde{C}\check{} $ 根系的Nekrasov-Okounkov型公式。

提出的方法

• 利用作用于与分拆形状相关的生成函数 $ G_\theta $ 的差分算子 $ D $，分析对称函数平均值。
• 应用 $ t $-核心分解，根据钩长模 $ t $ 的同余类，将加倍不同分拆和自共轭分拆的集合划分为若干类。
• 利用移位杨表的结构和内容-钩长恒等式，将对称函数求和表达为有理函数与差分算子的组合。
• 通过算子微积分推导递推关系和类似微分的恒等式，证明超过某一特定次数的高阶项为零。
• 通过显式计算 $ D^k(G_\theta \times \text{对称函数}) $ 确定多项式次数的上界。
• 应用已知恒等式如 $ \text{sum of } h^2 - c^2 = |\theta|^2 $，将钩长和与内容和联系起来。

实验结果

研究问题

• RQ1 当被 $ (2t)^n n! H_t(\theta)^{-1} $ 归一化时，加倍不同分拆上对称函数的钩长与内容加权和是否为 $ n $ 的多项式？
• RQ2 对于自共轭分拆，该多项式性是否也成立，特别是当 $ t $ 为偶数时？
• RQ3 能否基于 $ F_1 $ 和 $ F_2 $ 的次数，显式界定所得多项式的次数？
• RQ4 当 $ F_1 $ 和 $ F_2 $ 分别为常数或线性函数时，是否能获得多项式的闭式表达？
• RQ5 是否存在一种统一的算子理论机制——通过差分算子——解释这些分拆类中多项式性的成因？

主要发现

• 当 $ t $ 为奇数时，求和 $ (2t)^n n! \sum_{\lambda \in \mathcal{DD}, |\lambda|=2nt, \#\mathcal{H}_t(\lambda)=2n} \frac{F_1(h^2) F_2(c)}{H_t(\lambda)} $ 对所有对称函数 $ F_1 $ 和 $ F_2 $ 都是 $ n $ 的多项式。
• 类似地，当 $ t $ 为偶数时，自共轭分拆上的对应求和也是 $ n $ 的多项式，且归一化方式相同。
• 当 $ F_1 = F_2 = 1 $ 时，求和简化为 $ \frac{1}{(2t)^n n!} $，从而恢复了Pétréolle的Nekrasov-Okounkov公式。
• 当 $ F_1 $ 为钩长平方和而 $ F_2 = 1 $ 时，多项式在 $ t $ 为奇数时的取值为 $ 6t^2 n^2 + \frac{1}{3}(t^2 - 6t + 2)t n $。
• 多项式的次数上界为 $ \sum_u (k_u + 1) + \sum_v \frac{k'_v + 2}{2} $，其中 $ k_u $ 和 $ k'_v $ 是对称函数中的指数。
• 三阶差分算子 $ D^3 $ 在对称函数 $ \sum c^2 $ 上为零，意味着多项式在 $ n $ 上为二次式，与显式计算结果一致。