[論文レビュー] Limit Theorems for Height Fluctuations in a Class of Discrete Space and Time Growth Models

Janko Gravner, Craig A. Tracy+1 more|arXiv (Cornell University)|May 13, 2000

Random Matrices and Applications参考文献 25被引用数 20

ひとこと要約

本稿は、双対RSKアルゴリズム、Gesselの定理、Borodin-Okounkovの恒等式を用いて、1次元離散時空成長モデルのクラス、特に方向付きデジタルボイルイング（ODB）における高さフラクチュエーションの極限定理を確立する。GUE普遍的領域では、高さ関数の極限分布がアイリーカーネルを持つフレドホルム行列式に収束することが証明され、これは従来の確率的行列理論で知られている結果である一方、臨界領域では新たな極限分布が同定された。

ABSTRACT

We introduce a class of one-dimensional discrete space-discrete time stochastic growth models described by a height function $h_t(x)$ with corner initialization. We prove, with one exception, that the limiting distribution function of $h_t(x)$ (suitably centered and normalized) equals a Fredholm determinant previously encountered in random matrix theory. In particular, in the universal regime of large $x$ and large $t$ the limiting distribution is the Fredholm determinant with Airy kernel. In the exceptional case, called the critical regime, the limiting distribution seems not to have previously occurred. The proofs use the dual RSK algorithm, Gessel's theorem, the Borodin-Okounkov identity and a novel, rigorous saddle point analysis. In the fixed $x$, large $t$ regime, we find a Brownian motion representation. This model is equivalent to the Seppäläinen-Johansson model. Hence some of our results are not new, but the proofs are.

研究の動機と目的

• コーナー初期化を伴う離散的時空成長モデルの高さ関数の極限分布を分析すること。
• 組合せ的・解析的技法を用いて、GUE領域における高さフラクチュエーションの普遍的極限定理を確立すること。
• p ∼ p_c である臨界領域において、新たな極限分布を同定し、その特徴を特定すること。
• リーマン・ヒルベルト法に依存せずに、フレドホルム行列式の漸近挙動に対する新たな厳密な鞍点解析を提供すること。
• 有限x、大t領域におけるブラウン運動表現を導出し、n次元ブラウン運動に関する新たな恒等式を導出すること。

提案手法

• 高さ関数 $ h_t(x) $ は、双対RSKアルゴリズムを用いて、格子パス上の最終到達時間パーコレーション問題に再定式化される。
• Gesselの定理が適用され、$ h_t(x) $ の累積分布関数がトーペリッツ行列式として表現される。
• Borodin-Okounkovの恒等式が用いられ、トーペリッツ行列式が無限行列のフレドホルム行列式に書き換えられる。
• 核の項に対する新たな厳密な鞍点解析（勾配降下法）が実行され、漸近的挙動が特定される。
• 有限x、大t領域において、極限分布を導出するためにブラウン運動関数 $ M_x $ が導入される。
• 普遍的領域におけるアイリーカーネルへのトレースノルム収束を示すために、核の項に関する一様推定が得られる。

実験結果

リサーチクエスチョン

• RQ1 x,t → ∞ かつ p_c = 1 - x/t を固定するGUE普遍的領域において、高さ関数 $ h_t(x) $ の極限分布は何か？
• RQ2 p ∼ p_c である臨界領域において、極限分布はどのように振る舞い、既知の分布に対応するか？
• RQ3 有限x、大t領域において、ブラウン運動表現を厳密に確立できるか。また、それによってどのような新たな恒等式が得られるか？
• RQ4 鞍点解析においてアイリーカーネルは果たす役割は何か。また、フレドホルム行列式の漸近的挙動からどのようにしてアイリーカーネルが出現するか？
• RQ5 リーマン・ヒルベルト法や大偏差法と比較して、鞍点解析の技術的単純性と一般性はいかがなものか？

主な発見

• GUE普遍的領域では、適切な中心化と正規化を行った後、$ h_t(x) $ の極限分布はアイリーカーネルを持つフレドホルム行列式に収束する。
• 臨界領域では、極限分布が新規であり、文献において以前に報告されたものとは異なる。
• 固定されたxに対して t → ∞ のとき、高さ関数は分布収束し、具体的には $ M_x = \max_{0 \leq t \leq 1} B_1(t) - B_2(t) + B_2(1) $ というブラウン運動の関数に収束する。その密度関数は $ f_{M_x}(x) = \sqrt{2/\pi} \, x^2 e^{-x^2/2} $ である。
• M_1 の2次モーメントは $ E(M_1^2) = 2 $ として計算され、n=2 の場合におけるGUE Tracy-Widom分布と整合的であることが確認された。
• 本稿は、ODBモデルにおける第一到達時間のスケーリング極限が $ \alpha = 2 $ を満たすことを新たな証明により示しており、これは有限nにおけるGUE固有値の $ 2\sqrt{n} $ スケーリングと整合的である。
• 著者らは、n次元ブラウン運動の分布に関する新たな恒等式を導出した：$ \textrm{Prob}(M_x \leq s) = c_n \int_{(-\infty,s]^n} \Delta(x)^2 e^{-\frac{1}{2} \sum x_j^2} dx_1 \cdots dx_n $、ここで $ c_n^{-1} = 1!2!\cdots n! \, (2\pi)^{n/2} $ である。