[論文レビュー] On the Limiting Distribution for the Longest Alternating Sequence in a Random Permutation

Harold Widom|ArXiv.org|Nov 21, 2005

Random Matrices and Applications参考文献 3被引用数 6

ひとこと要約

この論文は、ランダムな置換における最大の交互に大小が繰り返される部分列の長さが、適切に中心化・正規化された場合、分散 8/45 のガウス分布に収束することを証明するリチャード・スタンレーの予想を検証する。複素積分表現を用いた生成関数のアプローチと、被積分関数の原点近傍における鞍点と漸近的挙動の分析により、最急降下法を用いて極限分布を導出する。

ABSTRACT

Recently Richard Stanley initiated a study of the distribution of the length as(w) of the longest alternating subsequence in a random permutation w from the symmetric group $S_n$. Among other things he found an explicit formula for the generating function (on n and k) for the probability that as(w) is at most k and conjectured that the distribution, suitably centered and normalized, tended to a Gaussian with variance 8/45. In this note we present a proof of the conjecture based on the generating function.

研究の動機と目的

• ランダムな置換における最大の交互に大小が繰り返される部分列長の極限分布がガウス分布であるというリチャード・スタンレーの予想を証明すること。
• n → ∞ のときの最大の交互に大小が繰り返される部分列長の正確な漸近的分布を確立すること。
• 解析的組合せ論と複素解析を用いて、極限ガウス分布の分散 8/45 が正当化されることを検証すること。
• 積分表現と漸近的手法を用いて、分布の生成関数を厳密に分析すること。

提案手法

• 論文は、スタンレーが導出した分布 $ p_n(k) $ の生成関数 $ B(x,y) $ を出発点とする。
• 変数変換 $ y = \text{sech}\,u $ を適用し、複素解析に適した形の二重積分に変形する。
• $ x $-積分は留数計算により評価され、偶数番目の極のみが寄与することが判明し、$ \tanh u $ と $ (u + 2j\pi i)^{-n-1} $ を含む $ j $ に関する和に帰着する。
• 最急降下法を主項（$ j = 0 $）に適用し、指数関数 $ \sigma(u) = \alpha \tanh u + \log \cosh u $ の鞍点を特定する。
• 経路を鞍点 $ u_0 $ を通る最急降下路に変形し、$ u = 0 $ の近傍での漸近展開を用いて主要項の挙動を抽出する。
• 積分は $ u = n^{-1/4} v^{1/2} $ でスケーリングされ、優越収束定理を用いて極限をとることで、ガウス型累積分布関数が回復される。

実験結果

リサーチクエスチョン

• RQ1 ランダムな置換における最大の交互に大小が繰り返される部分列長の極限分布はガウス分布に収束するか？
• RQ2 この部分列長の極限ガウス分布の正確な分散は何か？
• RQ3 スタンレーの生成関数から、複素解析を用いて予想された漸近的挙動を厳密に導出できるか？
• RQ4 留数和における高次の項の寄与は、漸近的分布にどのように影響するか？

主な発見

• 極限分布 $ K(t) $ は存在し、$ K(t) = \frac{1}{\sqrt{\pi}} \int_{-\infty}^{t\sqrt{45}/4} e^{-s^2} ds $ として与えられ、ガウス分布の形が確認される。
• 極限ガウス分布の分散は、スタンレーの予想通り正確に $ 8/45 $ である。
• $ j \neq 0 $ の和を含む積分は指数的に小さく、主要な漸近的挙動に影響しない。
• 積分の主な寄与は $ j = 0 $ 項に由来し、最急降下法によるその漸近的評価がガウス極限を導く。
• 最急降下法は、鞍点 $ u_0 $ を正しく特定でき、これは中心化値 $ \alpha = 2/3 $ と一致し、$ 2n/3 $ に対応する。
• 最終的な漸近的式は、平均 $ 2n/3 $、分散 $ 8n/45 $ の正規乱数の累積分布関数と一致する。