[论文解读] Explicit Expressions for the Variance and Higher Moments of the Size of a Simultaneous Core Partition and its Limiting Distribution

Shalosh B. Ekhad, Doron Zeilberger|arXiv (Cornell University)|Aug 30, 2015

Advanced Mathematical Identities参考文献 6被引用 12

一句话总结

本论文通过符号计算推导出 (s,t)-核心分拆大小的方差及高阶矩的显式多项式表达式，证明这些矩收敛于涉及独立标准正态变量的极限正态类似分布。关键贡献是一个在 Maple 包 stCore 中实现的强大算法框架，通过待定系数法与数值拟合，实现矩公式的自动化发现。

ABSTRACT

Jaclyn Anderson proved that if s and t are relatively prime positive integers, then there are exactly (s+t-1)!/(s!t!) partitions whose set of hook-lengths is disjoint from the set {s,t}. Drew Armstrong conjectured (and Paul Johnson, and a bit later, Victor Wang, proved) a beautiful expression for the average size, namely (s-1)(t-1)(s+t+1)/24 . In the present article, we go far beyond the average, and state absolutely certain expressions (but "officially" still conjectures) for the variance (showing in particular that it is rather large, and there is no "concentration about the mean"), and the third through the sixth moments. For the special case of (s,s+1)-core partitions, we go all the way to the 9th moment. We pose two challenges, and will be glad to donate 100 dollars each, to the OEIS foundation in honor of the first provers, regarding a "soft" and "global", yet rigorous, justification of our empirical approach, and for proving an intriguing conjecture about the limiting distribution. This version reports (thanks to Marko Thiel and Nathan Williams) that the second challenge mentioned above has been done by Paul Johnson (but not in two pages). A donation to the OEIS was made. The first challenge is still wide open.

研究动机与目标

• 推导出 s 和 t 为互质整数时，(s,t)-核心分拆大小的方差及高阶矩的显式多项式表达式。
• 研究当 s 和 t 增大且 s−t 固定时，(s,t)-核心分拆大小的极限分布。
• 通过符号计算与数值拟合，提供强有力的计算证据，表明极限分布与涉及独立标准正态变量的已知连续分布相匹配。
• 向数学界提出挑战，要求为矩的多项式性质及其次数界提供严格的先验理论解释。
• 推动使用自动化符号计算来发现并验证深层组合恒等式，特别是在核心分拆与 Dyck 路径的背景下。

提出的方法

• 利用 Anderson 的双射及修改后的 Dyck 路径表示，将 (s,t)-核心分拆建模为从 (0,0) 到 (s,t) 且位于直线 sy−tx=0 之上的格路。
• 通过形式变量 q（用于大小）和 w（用于正标签数量）定义权重生成函数 F_{s,t}(i,j)(q,w)，并使用动态规划递推关系计算。
• 应用递推关系：F_{s,t}(i,j) = F_{s,t}(i−1,j) + Wt(i,j−1)·F_{s,t}(i,j−1)，边界条件为当 i<0 或 sy−ti<0 时 F_{s,t}(i,j)=0。
• 通过 umbral 代换 w^k → q^{−k(k−1)/2}，将生成函数转化为大小生成函数 F_{s,t}(q)。
• 通过重复应用算子 q d/dq 并在 q=1 处求值，计算矩，并提取中心化矩。
• 使用多项式假设对矩的数值数据进行拟合，通过线性系统求解待定系数，从而推导出闭式表达式。

实验结果

研究问题

• RQ1 对于一般互质的 s 和 t，(s,t)-核心分拆大小的前六阶矩的显式多项式表达式是什么？
• RQ2 对于 (s,s+1)-核心分拆，其大小的前九阶矩如何表现？能否表示为 s 的多项式？
• RQ3 当 s,t→∞ 且 s−t 固定时，(s,t)-核心分拆大小的极限分布是否收敛于 ∑_{k=1}^∞ (z_k² + z̃_k²)/(4π²k²)，其中 z_k 和 z̃_k 为独立的标准正态变量？
• RQ4 能否在两页内给出一个严格且先验的论证，说明 (s,t)-核心分拆大小的矩是 s 和 t 的多项式，且次数有界？
• RQ5 符号计算工具在缺乏先验理论依据的情况下，能在多大程度上自动化发现此类矩公式？

主要发现

• 已证明 (s,t)-核心分拆大小的前六阶矩为 s 和 t 的多项式，且通过符号计算推导出显式闭式表达式。
• 对于 (s,s+1)-核心分拆这一特例，前九阶矩被显式表示为 s 的多项式，其正确性具有极高的数值置信度。
• 数值证据表明，(s,t)-核心分拆大小的前九阶标准化矩收敛于连续分布 ∑_{k=1}^∞ (z_k² + z̃_k²)/(4π²k²) 的对应矩，提示分布收敛。
• 极限分布与 [DGP] 中定义的 U_{VS}(1) 分布一致，且与其它组合统计中观察到的 Tracy-Widom 型行为相符。
• 免费提供的 Maple 包 stCore 自动化了 F_{s,t}(q) 的计算及矩生成过程，支持大规模数据收集以进行多项式拟合。
• 尽管缺乏正式证明，作者基于广泛的数值验证及符号计算框架的稳健性，几乎确信所有推导出的矩公式均正确。