[论文解读] The Number of Inversions and the Major Index of Permutations are Asymptotically Joint-Independently Normal

Andrew M. Baxter, Doron Zeilberger|arXiv (Cornell University)|Apr 7, 2010

Advanced Combinatorial Mathematics参考文献 6被引用 5

一句话总结

该论文证明了当 $n \to \infty$ 时，长度为 $n$ 的随机排列中，逆序数与主要指标在渐近意义上联合独立且服从正态分布。通过递推关系与基于自定义 Maple 工具包的符号计算，作者推导出混合阶乘矩与归一化矩的精确渐近展开式，证实其收敛于具有独立分量的二元正态分布。

ABSTRACT

We use recurrences (alias difference equations) to prove the longstanding conjecture that the two most important permutation statistics, namely the number of inversions and the major index, are asymptotically joint-independently-normal. We even derive more-precise-than needed asymptotic formulas for the (normalized) mixed moments. This is the fully revised second edition, incorportating the many insightful comments of nine conscientious NON-anonymous referees listed under the authors' names. This article is exclusively published in the on-line journal "Personal Journal of Shalosh B. Ekhad and Doron Zeilberger" and this arxiv.

研究动机与目标

• 建立两个基本排列统计量——逆序数与主要指标的联合渐近正态性。
• 解决长期存在的问题：当 $n \to \infty$ 时，这两个统计量是否渐近独立。
• 提供归一化统计量混合矩的严格渐近展开式，超越单纯的收敛性。
• 开发并应用基于递推关系与符号代数的计算框架，以验证高阶矩的渐近性质。

提出的方法

• 推导出逆序数与主要指标混合阶乘矩生成函数的无限阶线性递推关系。
• 采用新颖的符号方法，从这些递推式中提取主导渐近项，将系数视为 $n$ 与 $i$ 的多项式。
• 应用猜想与验证策略：假设主导项形式，并通过有限范围内的 $r,s$ 值验证多项式恒等式的一致性。
• 使用自定义 Maple 工具包 InvMaj，自动化验证递推一致性与矩的渐近性质，覆盖 $1 \leq r,s \leq 8$ 的范围，确保严谨性。
• 将问题转化为证明某些低次多项式在 $r,s$ 上恒为零，该结论通过计算验证。
• 利用归一化混合矩收敛于具有独立分量的二元正态分布矩的事实。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，随机排列中逆序数与主要指标是否渐近联合独立？
• RQ2 归一化逆序数与主要指标统计量的混合矩的精确渐近展开式是什么？
• RQ3 能否通过基于递推的符号计算方法，严格推导出这两个统计量的联合渐近分布？
• RQ4 对极限正态分布的高阶校正项是否表现出 $n^{-1}, n^{-2}$ 等形式的可预测结构？
• RQ5 收敛于具有独立分量的二元正态分布是否可通过显式渐近公式进行定量描述？

主要发现

• 当 $n \to \infty$ 时，归一化逆序数与主要指标统计量的联合分布收敛于具有独立分量的二元正态分布。
• 归一化混合矩 $\alpha(2r,2s)(n)$ 收敛于标准正态变量的 $2r$ 阶与 $2s$ 阶矩的乘积，证实了渐近独立性。
• $\alpha(2r,2s)(n)$ 的主导校正项与 $-\frac{9(r^2 + s^2 - r - s)}{25n}$ 成正比，提供了收敛速率的定量描述。
• 奇数阶混合矩 $\alpha(2r-1,2s-1)(n)$ 的渐近形式为 $\frac{9}{2n}$ 乘以双阶乘矩的乘积，且高阶校正项已显式计算。
• 由于对称性，归一化矩 $\alpha(2r,2s-1)(n)$ 与 $\alpha(2r-1,2s)(n)$ 恒为零，证实了偏度抵消。
• $\alpha(2r-1,2s-1)(n)$ 的渐近展开式包含一个 $n^{-2}$ 校正项，其系数依赖于 $r^2 + s^2$、$r+s$ 与常数项，论文中已完全明确指定。