[論文レビュー] 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 パッケージを用いた記号計算により、混合階乗モーメントおよび正規化されたモーメントの高精度な漸近展開が導出され、独立成分をもつ2変量正規分布への収束が確認された。

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.

研究の動機と目的

• 逆転数とメジャー指数という2つの基本的な置換統計量の同時漸近正規性を確立すること。
• この2つの統計量が $n \to \infty$ の極限で漸近的に独立であるかどうかという長年の未解決問題を解明すること。
• 正規化された統計量の混合モーメントに対する厳密な漸近展開を提供し、単なる収束の確認を超えて、その詳細を明らかにすること。
• 再帰関係と記号代数を用いた計算フレームワークを構築・適用し、高次のモーメントの漸近挙動を検証すること。

提案手法

• 逆転数とメジャー指数の混合階乗モーメントの母関数に対して、無限次の線形再帰関係を導出する。
• 新しい記号的アプローチを用いて、これらの再帰関係から主要な漸近的項を抽出する。係数を $n$ と $i$ の多項式とみなす。
• 仮説と検証の戦略を採用：主要項の形を仮定し、有限の $r,s$ 値までで多項式恒等式を用いて整合性を検証する。
• 独自の Maple パッケージ、InvMaj を用いて、$1 \leq r,s \leq 8$ の範囲で再帰の整合性およびモーメントの漸近挙動の自動検証を実施し、厳密性を保証する。
• 特定の低次の $r,s$ に関する多項式が恒等的にゼロであることを示す問題に帰着させる。これは計算的に確認された。
• 正規化された混合モーメントが、独立成分をもつ2変量正規分布のモーメントに収束することを活用する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな置換における逆転数とメジャー指数は、$n \to \infty$ の極限で漸近的に同時に独立であるか？
• RQ2 正規化された逆転数およびメジャー指数統計量の混合モーメントに対する正確な漸近展開は何か？
• RQ3 再帰に基づく記号計算を用いて、これらの2統計量の同時漸近分布を厳密に導出できるか？
• RQ4 制限された正規分布への高次の補正項は、$n^{-1}, n^{-2}$ などの形で予測可能なかたちで現れるか？
• RQ5 独立成分をもつ2変量正規分布への収束は、明示的な漸近公式によって定量的に記述可能か？

主な発見

• 正規化された逆転数およびメジャー指数統計量の同時分布は、$n \to \infty$ の極限で、独立成分をもつ2変量正規分布に収束する。
• 正規化された混合モーメント $\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$、および定数項に依存し、本稿で完全に指定されている。