[論文レビュー] Random Words, Toeplitz Determinants and Integrable Systems. I

Alexander Its, Craig A. Tracy+1 more|ArXiv.org|Sep 28, 1999

Bayesian Methods and Mixture Models被引用数 18

ひとこと要約

この論文は、非一様なランダム語における最長の弱く増加する部分列の極限分布と、制約付きのガウスユニタリアンエンsembles (GUE) の直和の固有値分布との間の関係を確立する。Toeplitz行列式の手法と可積分系の技術を用いて、最長増加部分列の期待長さの漸近公式を導出し、平均が $ Np_1 + \sum_{j>1} \frac{p_j}{p_1 - p_j} + O(1/\sqrt{N}) $、分散が $ Np_1(1 - p_1) + O(1) $ に収束することを示す。これは、確率が等しい均一モデルに関する先行研究を一般化するものである。

ABSTRACT

It is proved that the limiting distribution of the length of the longest weakly increasing subsequence in an inhomogeneous random word is related to the distribution function for the eigenvalues of a certain direct sum of Gaussian unitary ensembles subject to an overall constraint that the eigenvalues lie in a hyperplane.

研究の動機と目的

• 非一様なランダム語における最長弱増加部分列の統計的挙動と、制約付きの確率的行列集合の固有値分布との間の関係を確立すること。
• 確率が等しくない非一様な場合に、均一モデルに関する先行研究（ランダム語や置換）を一般化すること。
• 非一様なランダム語における最長増加部分列の期待長さの漸近展開を導出すること。
• 有限Nにおける非一様モデルの背後にある可積分系構造（特に、複数の極をもつ2×2線形常微分方程式の等モノドロミー変形）を同定すること。
• 漸近的結果のモノドロミー的意味を分析し、それらをPainlevé型微分方程式と関連付けること。

提案手法

• ランダム語を半標準ヤング盤のペアに写像するために、ロビンソン＝シェンステッド＝カナイリュー（RSK）対応を用いる。
• 最長増加部分列の分布を分析するために、Toeplitz行列式の手法を適用する。
• 極限分布を、$ k_\alpha \times k_\alpha $ のGUE行列の直和でモデル化し、$ \sum \sqrt{p_i} \xi_i = 0 $ の条件下におく。
• フーリエ変換と漸近的解析を用いて、分布関数およびそのモーメントの主要項の挙動を導出する。
• Riemann-Hilbert手法と等モノドロミー変形を用いて、有限Nにおける非一様モデルの背後にある可積分系を同定する。
• GUE固有値測度に対する摂動論を用い、生成関数を $ \sqrt{N} $ の逆数のべき級数に展開することで、漸近的平均と分散を導出する。

実験結果

リサーチクエスチョン

• RQ1 非一様なランダム語における最長弱増加部分列の極限分布は、確率的行列理論とどのように関係するか？
• RQ2 文字の確率が不等である場合、最長増加部分列の期待長さの漸近的挙動はいかなるものか？
• RQ3 有限Nにおける非一様ランダム語モデルの背後にある可積分系は何か？
• RQ4 関連する線形常微分方程式のモノドロミー性質は、部分列長の漸近的統計にどのように反映されるか？
• RQ5 すべての $ p_i $ が同一でない場合でも、ある文字の確率が他より厳密に高いとき、平均の漸近公式は依然有効であるか？

主な発見

• 最長弱増加部分列の長さ $ \ell_N $ の極限分布は、$ \sum \sqrt{p_i} \xi_i = 0 $ の条件下で、$ k_\alpha \times k_\alpha $ のGUE行列の直和の固有値分布と関係している。
• 異なる $ p_i $ の場合、漸近的平均は $ \mathbb{E}(\ell_N) = Np_1 + \sum_{j>1} \frac{p_j}{p_1 - p_j} + O(1/\sqrt{N}) $ であり、これは有限Nのシミュレーションとよく一致する。
• $ \ell_N $ の分散は漸近的に $ Np_1(1 - p_1) + O(1) $ であり、標準偏差は $ \sqrt{Np_1(1 - p_1)} + O(N^{-1/2}) $ である。
• 均一な場合（すべての $ p_i $ が等しい）には、結果は既知のGUEのTracy-Widom分布に還元され、制約はトレースゼロGUEに簡略化される。
• 有限Nにおける非一様モデルは、$ m+1 $ 個の単純極（$ m $ は確率のグループ数）と、無限遠点にPoincaré指数1の不規則特異点をもつ2×2線形常微分方程式の等モノドロミー変形によって支配される。
• 極 $ -p_{i_\alpha} $ における形式的モノドロミー指数は、確率が等しいアルファベット部分集合のサイズ $ k_\alpha $ で与えられる。