[論文レビュー] 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$ 共軛類の置換における下降数の漸近的正規性を確立すること、固定点の数が異なる場合を含む。
• 正規化された下降数の極限分散を固定点の割合の関数として明示的な式で導出すること。
• 正規化された下降数のモーメント生成関数と正規分布のモーメント生成関数との差に対する一様な誤差項を提供すること。
• ダイアコニスが提起した、固定点をもたない共軛類における漸近的正規性の予想を、すべての共軛類へ拡張すること。

提案手法

• サイクル指数とムビウス反転を用いて、$|t| > 1$ に対して有効な、共軛類 $\mathcal{C}_\lambda$ における下降数の母関数 $A_{\tilde{C}_\nu}(t)$ の無限級数展開を導出する。
• 鞍点法とラプラス法を適用して、正規化された下降数のモーメント生成関数（MGF）の漸近的挙動を解析する。
• スターリングの近似と関数 $g_n(z) = (1 + z/\sqrt{n})^n e^{-\sqrt{n}z}$ の指数関数へのバインドを用いて、複素平面上の積分の減衰を制御する。
• 正規化された下降数のMGFと正規分布のMGFとの差に対して、一様な誤差項 $\mathcal{O}(\log^3 n / \sqrt{n})$ を確立する。
• タウバリアン型の議論とドミネートド収束定理を適用して、正規化された下降数の分布収束が正規分布に一致することを示す。
• MGFの収束を活用して、極限正規分布およびその分散パrameterを導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の $S_n$ 共軛類における下降数は、$n \to \infty$ のとき中心極限定理を満たすか？
• RQ2 下降数の極限分散は、サイクル構造、特に固定点の数にどのように依存するか？
• RQ3 漸近的正規性の結果を、固定点をもたない対合や大サイクルクラスにとどまらず、すべての共軛類へ拡張できるか？
• RQ4 正規化された下降数のモーメント生成関数が正規分布のMGFに収束する速度は何か？
• 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}}$ を満たし、明示的な誤差率を伴う一様収束を示す。
• この結果は、フルマンおよびキムの定理を一般化する：大サイクル（$\alpha \to 0$）および固定点をもたない対合（$\alpha = 1/2$）のケースを特別な場合として含む。
• 収束はすべての共軛類にわたって一様であり、誤差項は $n$ と $\alpha = m_1/n$ のみに依存し、他のサイクル構造の詳細には依存しない。