[论文解读] Central limit theorem for descents in conjugacy classes of $S_n$

Gene B. Kim, Sangchul Lee|arXiv (Cornell University)|Mar 28, 2018

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

一句话总结

本文建立了对称群 $S_n$ 的任意共轭类中均匀抽取的排列的下降数的中心极限定理。通过生成函数和矩母函数的渐近分析，作者证明了归一化的下降数依分布收敛于一个正态分布，其方差取决于共轭类中不动点的比例，推广了关于大循环和无不动点对合的先前结果。

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. Fulman proved that the descent numbers of permutations in conjugacy classes with large cycles are asymptotically normal, and Kim proved that the descent numbers of fixed point free involutions are also asymptotically normal. In this paper, we generalize these results to prove a central limit theorem for descent numbers of permutations in any conjugacy class of $S_n$.

研究动机与目标

• 将关于 $S_n$ 特殊共轭类中下降数的先前中心极限定理推广至所有共轭类。
• 建立任意 $S_n$ 共轭类中排列的下降数的渐近正态性，包括不动点数量不同的情况。
• 推导出归一化下降数极限方差的显式公式，其表达式以不动点比例为参数。
• 为归一化下降数的矩母函数与正态分布矩母函数之间差异提供统一的误差界。
• 解决 Diaconis 关于无不动点共轭类的渐近正态性猜想，将其扩展至所有共轭类。

提出的方法

• 利用循环指标和莫比乌斯反演，推导出共轭类 $\mathcal{C}_\lambda$ 中下降数生成函数 $A_{\tilde{C}_\nu}(t)$ 的无穷级数展开，该展开在 $|t| > 1$ 时成立。
• 应用鞍点法和拉普拉斯方法，分析归一化下降数矩母函数（MGF）的渐近行为。
• 使用斯特林公式和对指数函数 $g_n(z) = (1 + z/\sqrt{n})^n e^{-\sqrt{n}z}$ 的界，控制复平面上积分的衰减。
• 建立归一化下降数 MGF 与正态分布 MGF 之间差异的统一误差界 $\mathcal{O}(\log^3 n / \sqrt{n})$。
• 应用类似 Tauber 型的论证和控制收敛定理，证明归一化下降数依分布收敛于正态分布。
• 利用 MGF 的收敛性推导出极限正态分布及其方差参数。

实验结果

研究问题

• RQ1 当 $n \to \infty$ 时，$S_n$ 的任意共轭类中下降数是否满足中心极限定理？
• RQ2 下降数的极限方差如何依赖于循环结构，特别是不动点数量？
• RQ3 渐近正态性结果能否从无不动点对合和大循环类推广至所有共轭类？
• RQ4 归一化下降数矩母函数向正态分布矩母函数的收敛速率如何？
• RQ5 是否存在一个统一的误差界，使得所有共轭类中 MGF 近似误差仅依赖于 $n$ 和不动点比例？

主要发现

• 归一化下降数 $W_\lambda$ 依分布收敛于均值为 0、方差为 $\frac{1 - 4\alpha^3 + 3\alpha^4}{12}$ 的正态随机变量，其中 $\alpha = m_1/n$ 为不动点比例。
• 当 $\alpha = 0$（无不动点）时，极限方差为 $\frac{1}{12}$，与 $S_n$ 的经典结果一致；随着 $\alpha$ 增大，方差减小。
• 当 $\alpha = 1/2$ 时，极限方差为 $\frac{1 - 4(1/8) + 3(1/16)}{12} = \frac{1 - 0.5 + 0.1875}{12} = \frac{0.6875}{12} \approx 0.0573$，表明变异性降低。
• 归一化下降数的矩母函数满足 $\left| M_\lambda(s) - \exp\left\{ \frac{s^2}{24}(1 - 4\alpha^3 + 3\alpha^4) \right\} \right| \leq C(s) \frac{\log^3 n}{\sqrt{n}}$，证明了具有显式误差率的统一收敛性。
• 该结果推广了 Fulman 和 Kim 的定理：它包含了大循环情形（$\alpha \to 0$）和无不动点对合情形（$\alpha = 1/2$）作为特例。
• 收敛性在所有共轭类上一致，误差项仅依赖于 $n$ 和 $\alpha = m_1/n$，而不依赖于其他循环结构细节。