[论文解读] Explicit (Polynomial!) Expressions for the Expectation, Variance and Higher Moments of the Size of a (2n + 1, 2n + 3)-core partition with Distinct Parts

Anthony Zaleski, Doron Zeilberger|arXiv (Cornell University)|Nov 17, 2016

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

一句话总结

本文通过符号计算与实验数学技术，为具有不同部分的 $(2n+1, 2n+3)$-核心分拆的大小的期望、方差及高阶矩（最高至第七阶）提供了显式多项式表达式。结果证实这些矩是 $n$ 的多项式，并揭示极限分布并非正态分布，且从矩中推导出偏度与峰度的特定缩放极限。

ABSTRACT

Inspired by Armin Straub's conjecture (arXiv:1601.07161) about the number and maximal size of (2n+1, 2n+3)-core partitions with distinct parts, we develop relatively efficient, symbolic-computational algorithms, based on non-linear functional recurrences, to generate the generating functions, according to size, of the set of such partitions. By computing these polynomials for n=1,...21, we are able to rigorously derive explicit expressions for the expectation, variance, and third through seventh moments of the random variable "size of a (2n+1, 2n+3)-core partition with distinct parts." In particular, we find that this random variable is not asymptotically normal as n goes to infinity.

研究动机与目标

• 推导具有不同部分的 $(2n+1, 2n+3)$-核心分拆大小的期望、方差及高阶矩的显式多项式表达式。
• 证明这些矩是 $n$ 的多项式，与 $(s,s+1)$-核心情形中出现的斐波那契型表达式形成对比。
• 为阿明·斯特劳布关于此类分拆的数量与最大大小的猜想提供一种更快、可严格化的替代组合证明方法。
• 利用非线性函数递推关系，计算前 21 个斯特劳布多项式 $S_n(q)$，即这些分拆的生成函数。
• 研究大小随机变量的极限分布，并计算其缩放矩，揭示其非正态性。

提出的方法

• 作者使用 Maple 包 `Armin.txt` 和 `core.txt` 进行符号计算，生成前 21 个斯特劳布多项式 $S_n(q)$，这些多项式编码了具有不同部分的 $(2n+1, 2n+3)$-核心分拆的生成函数。
• 对 $S_n(q)$ 应用上标算子 $(q\frac{d}{dq})^k$，在 $q=1$ 处求值，并通过 $4^n$ 归一化，以提取原始矩。
• 利用从 $S_n(q)$ 衍生出的数值序列，将矩拟合为 $n$ 的多项式形式，且在 $n=21$ 以内确认了其次数。
• 该方法依赖于实验数学：通过经验拟合序列，随后通过在足够多值上验证多项式恒等式来实现事后严格化。
• 使用 $S_n(q)$ 的非线性函数递推关系高效计算多项式，避免直接枚举。
• 从标准化矩的多项式表达式中计算高阶矩（偏度、峰度）的缩放极限。

实验结果

研究问题

• RQ1 具有不同部分的 $(2n+1, 2n+3)$-核心分拆大小的期望、方差及高阶矩的显式多项式表达式是什么？
• RQ2 此类分拆大小的极限分布是否为正态分布，或表现出非正态特征？
• RQ3 大小分布的第三至第七阶矩（偏度与峰度）的精确缩放极限值是多少？
• RQ4 能否通过符号计算与多项式拟合，严格确认此类分拆的猜想最大大小？
• RQ5 大小分布的矩是否表现出对 $n$ 的多项式依赖性？若是，其次数是多少？

主要发现

• 具有不同部分的 $(2n+1, 2n+3)$-核心分拆大小的期望由一个关于 $n$ 的三次多项式给出，显式计算为 $\mu(n) = \frac{1}{24}(5n^3 + 15n^2 + 10n)$。
• 方差是 $n$ 的六次多项式，由二阶矩与均值平方相减得到，且在 $n=21$ 以内得到确认。
• 变异系数的缩放极限为 $\sqrt{14010}/150 \approx 0.789092305$，表明极限分布非正态。
• 三阶矩（偏度）的缩放极限为 $\frac{396793}{390815488} \cdot \sqrt{467 \cdot 7680} \approx 1.92278748$，证实极限分布存在偏斜。
• 四阶矩（峰度）的缩放极限为 $145309380/16792853 \approx 8.6530490$，显著高于正态分布的峰度。
• 此类分拆的最大大小由四次多项式 $\frac{1}{24}(5n+11)n(n+2)(n+1)$ 给出，且通过 $S_n(q)$ 的次数在 $n=21$ 以内得到确认。