[论文解读] A central limit theorem for descents and major indices in fixed conjugacy classes of $S_n$

Gene B. Kim, Sang‐Chul Lee|ArXiv.org|Nov 12, 2018

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

一句话总结

本文在对称群 $S_n$ 的固定共轭类中，建立了下降数与主要指标联合分布的中心极限定理。通过改进Curtiss关于矩生成函数的定理，并推导出联合生成函数的统一估计，作者证明了归一化后的下降数与主要指标统计量收敛于一个二元正态分布，其参数取决于共轭类的不动点密度。

ABSTRACT

The distribution of descents in fixed conjugacy classes of $S_n$ has been studied, and it is shown that its moments have interesting properties. Kim and Lee showed, by using Curtiss' theorem and moment generating functions, how to prove a central limit theorem for descents in arbitrary conjugacy classes of $S_n$. In this paper, we prove a modified version of Curtiss' theorem to shift the interval of convergence in a more convenient fashion and use this to show that the joint distribution of descents and major indices is asymptotically bivariate normal.

研究动机与目标

• 在对称群 $S_n$ 的固定共轭类中，建立下降数与主要指标联合分布的中心极限定理。
• 将先前关于下降数渐近正态性的结果，推广至同时包含下降数与主要指标的二元情形。
• 发展Curtiss定理的改进版本，用于矩生成函数，以处理收敛区间更优的分布收敛问题。
• 对联合分布的矩生成函数提供统一估计，从而可推广至具有不动点密度约束的共轭不变子集。

提出的方法

• 使用组合生成函数技巧，推导出共轭类 $\mathcal{C}_\lambda$ 上下降数与主要指标的联合生成函数的闭式表达式。
• 提出Curtiss定理的改进版本，使得矩生成函数在平移域上的逐点收敛可推出分布收敛，同时增强对收敛域的控制。
• 通过变量替换与渐近分析，将生成函数转化为高斯积分形式，从而实现对归一化统计量矩生成函数的估计。
• 在不动点密度 $\alpha_{1,n} \to \alpha \in [0,1]$ 的假设下，建立归一化下降数与主要指标向量矩生成函数的统一有界估计，误差项为 $\mathcal{O}(n^{-1/6})$。
• 利用统一估计，证明分布收敛于均值为零、协方差矩阵 $\Sigma_\alpha$ 的二元正态分布，该矩阵仅依赖于极限不动点密度 $\alpha$。
• 将结果推广至 $S_n$ 中所有元素具有相同不动点数的共轭不变子集 $A_n \subset S_n$，在相同极限密度条件下，仍得到相同的极限二元正态分布。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，$S_n$ 固定共轭类中下降数与主要指标的联合分布是否收敛于一个二元正态分布？
• RQ2 能否通过Curtiss定理的改进版本，实现当矩生成函数在平移域上逐点收敛时，对多变量统计量的分布收敛性进行证明？
• RQ3 在不动点密度 $\alpha_{1,n} \to \alpha$ 的共轭类中，下降数与主要指标联合分布的渐近均值与协方差结构为何？
• RQ4 排列中不动点的存在如何影响下降数与主要指标统计量的极限分布？
• RQ5 该结果能否推广至超越共轭类的更广泛共轭不变子集？

主要发现

• 在 $S_n$ 的任意固定共轭类中，归一化后下降数与主要指标的联合分布收敛于均值为零、协方差矩阵 $\Sigma_\alpha$ 的二元正态分布，该矩阵仅依赖于极限不动点密度 $\alpha$。
• 归一化下降统计量的极限均值为 $\frac{1 - \alpha^2}{2}n$，归一化主要指标的极限均值为 $\frac{1 - \alpha^2}{4}n^2$，分别对应于 $n^{1/2}$ 与 $n^{3/2}$ 的缩放因子。
• 提出了一种Curtiss定理的改进版本，使得在平移区间上矩生成函数的收敛可推出分布收敛，增强了其在多变量渐近分析中的适用性。
• 建立了联合分布矩生成函数的统一估计，误差为 $\mathcal{O}(n^{-1/6})$，该估计足以证明中心极限定理。
• 该结果可推广至 $S_n$ 中所有元素具有相同不动点数的共轭不变子集 $A_n \subset S_n$，在 $\alpha_{1,n} \to \alpha \in [0,1]$ 条件下，仍收敛于相同的极限二元正态分布。
• 作者推测，渐近均值中出现的 $1 - \alpha^2$ 因子可能具有更深层的组合解释，尚待阐明。