[論文レビュー] 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$ の固定共役類における降下数とメジャー指数の連関分布に関する中心極限定理を確立する。キューリスのモーメント母関数に関する定理を修正し、連関生成関数の均一な推定を導出することで、正規化された降下数およびメジャー指数統計量が、共役類の固定点密度に依存するパラメータを持つ2次元正規分布に収束することを証明する。

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$ の降下数とメジャー指数の連関分布に関する中心極限定理を確立すること。
• 従来の降下数の漸近正規性に関する結果を、降下数とメジャー指数の両方を含む2次元ケースに拡張すること。
• 分布収束の収束区間を改善するために、モーメント母関数に対するキューリスの定理の修正版を考案すること。
• 固定点密度制約を満たす共役不変部分集合への一般化を可能にするために、連関分布のモーメント母関数に対する均一な推定を提供すること。

提案手法

• 組合せ的生成関数技法を用いて、共役類 $\mathcal{C}_\lambda$ 上での降下数とメジャー指数の連関生成関数の閉形式表現を導出する。
• 点ごとのモーメント母関数の収束が分布収束を意味することを可能にする、キューリスの定理の修正版を導入し、収束領域に対する制御を強化する。
• 変数変換と漸近的解析を適用して、生成関数をガウス積分形に変換し、正規化された統計量のモーメント母関数の推定を可能にする。
• 固定点密度 $\alpha_{1,n} \to \alpha \in [0,1]$ の仮定の下で、正規化された降下数およびメジャー指数ベクトルのモーメント母関数に対する均一なバウンドを確立し、誤差項 $\mathcal{O}(n^{-1/6})$ を得る。
• 均一な推定を用いて、平均がゼロで、固定点密度の極限 $\alpha$ のみに依存する共分散行列 $\Sigma_\alpha$ を持つ2次元正規分布への分布収束を証明する。
• 同じ極限密度条件の下で、すべての要素が同じ数の固定点を持つ共役不変部分集合 $A_n \subset S_n$ に対しても結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 $n \to \infty$ のとき、$S_n$ の固定共役類における降下数とメジャー指数の連関分布は、2次元正規分布に収束するか？
• RQ2 モーメント母関数がシフトされた領域で点ごとに収束する場合、修正されたキューリスの定理を用いて、多変量統計量の分布収束を確立できるか？
• RQ3 固定点密度 $\alpha_{1,n} \to \alpha$ を持つ共役類における、降下数とメジャー指数の連関分布の漸近的平均および共分散構造は何か？
• RQ4 置換に固定点が存在する場合、降下数およびメジャー指数統計量の極限分布にどのような影響を与えるか？
• RQ5 この結果は、共役類を超える共役不変部分集合の広いクラスへ拡張可能か？

主な発見

• 任意の固定共役類における正規化された降下数とメジャー指数の連関分布は、極限固定点密度 $\alpha$ のみに依存する共分散行列 $\Sigma_\alpha$ を持つ2次元正規分布に分布収束する。
• 正規化された降下数統計量の極限平均は $\frac{1 - \alpha^2}{2}n$ であり、正規化されたメジャー指数統計量の極限平均は $\frac{1 - \alpha^2}{4}n^2$ であり、それぞれスケーリング因子 $n^{1/2}$ および $n^{3/2}$ を用いる。
• モーメント母関数の収束がシフトされた区間で成り立つ場合に分布収束を示せるように、キューリスの定理の修正版が開発された。これは多変量漸近解析への適用性を高める。
• 連関分布のモーメント母関数に対する均一な推定が、誤差 $\mathcal{O}(n^{-1/6})$ を伴って確立され、これは中心極限定理の証明に十分である。
• すべての要素が同じ数の固定点を持ち、固定点密度 $\alpha_{1,n} \to \alpha \in [0,1]$ を満たす任意の共役不変部分集合 $A_n \subset S_n$ に対しても結果が拡張され、同じ極限2次元正規分布が得られる。
• 著者らは、漸近的平均に現れる $1 - \alpha^2$ 因子が、より深い組合せ的解釈を有する可能性があると予想しており、その解明は今後の課題である。