[論文レビュー] A PDE for the joint distributions of the Airy Process

Mark Adler, Pierre van Moerbeke|ArXiv.org|Feb 26, 2003

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

ひとこと要約

本稿は、ランダム行列理論や成長モデルにおける普遍的極限過程であるエアリー過程の連関分布に関する非線形偏微分方程式（PDE）を導出する。結合されたガウス型ランダム行列の漸近的解析を用いて、二つの時刻におけるプロセスの連関対数確率を記述するPDEを確立し、大時間における相関構造の精密な漸近展開を可能にする。特に、$ t^{-2} + O(t^{-4}) $ の形での共分散の崩壊を含む。この結果は、カールト・ヨハンソンが提起した問いに答え、エアリー過程の連関法則に対する根本的なPDEを提供する。

ABSTRACT

In this paper, we answer a question posed by Kurt Johansson, to find a PDE for the joint distribution of the Airy Process. The latter is a continuous stationary process, describing the motion of the outermost particle of the Dyson Brownian motion, when the number of particles get large, with space and time appropriately rescaled. The question reduces to an asymptotic analysis on the equation governing the joint probability of the eigenvalues of coupled Gaussian Hermitian matrices. The differential equations lead to the asymptotic behavior of the joint distribution and the correlation for the Airy process at different times t_1 and t_2, when t_2-t_1 tends to infinity.

研究の動機と目的

• カールト・ヨハンソンが提起した、エアリー過程の連関分布に関するPDEの存在に関する問いを解決すること。
• 時刻の隔たり $ t_2 - t_1 \to ∞ $ におけるエアリー過程の連関分布および相関の漸近的挙動を導出すること。
• 連関対数確率 $ h(t; u, v) = \log P(A(t_1) \leq u, A(t_2) \leq v) $ を記述する、$ x, y, t = t_2 - t_1 $ の関数としての非線形PDEを確立すること。
• 大 $ t $ における連関確率 $ P(A(0) \leq u, A(t) \leq v) $ の漸近展開を、$ O(t^{-6}) $ 項まで明示的に得ること。
• 条件付き確率の崩壊に関する予想が、漸近的解析の根拠として妥当であるかどうかを確認すること。

提案手法

• 二つの時刻におけるエアリー過程の連関対数確率 $ h(t; u, v) $ に関するPDEを導出し、$ x, y, t $ における3階微分およびワロンスキー形式の項を含むこと。
• 漸近的解析の出発点として、ダイソン・ブラウン運動および結合されたガウス型エルミート行列の固有値分布を用いること。
• 有限$ n $の行列力学とエアリー過程を結ぶために、エアリースケーリング極限 $ A(t) = \lim_{n \to \infty} \sqrt{2}n^{1/6}(\lambda_n(n^{-1/3}t) - \sqrt{2n}) $ を適用すること。
• トレーシー・ワイドマン分布およびペインレヴェ II 方程式を用いて、エアリー過程の周辺法則を特徴付けること。
• 拡張されたエアリー核を介したフレドホルム行列式表現を用いて、連関確率を表現し、$ m=2 $ における導出PDEとの整合性を検証すること。
• PDEを用いた連関対数確率の漸近的展開により、$ t $ の逆数の累乗の明示的級数を得ること。

実験結果

リサーチクエスチョン

• RQ1 二つの異なる時刻におけるエアリー過程の連関分布に関するPDEを導出可能か？
• RQ2 時刻の隔たり $ t_2 - t_1 \to \infty $ における連関分布 $ P(A(t_1) \leq u, A(t_2) \leq v) $ の漸近的挙動は何か？
• RQ3 共分散 $ \mathrm{Cov}(A(0), A(t)) $ は大 $ t $ でどのように崩壊し、高次の補正項は何か？
• RQ4 条件付き確率の崩壊に関する予想 $ \lim_{z \to \infty} P(A(t) \geq x+z \mid A(0) \leq -z) = 0 $ は正当か？ また、漸近的展開の根拠として妥当か？
• RQ5 連関分布は拡張されたエアリー核を用いて表現可能か？ また、その表現は導出されたPDEを満たすか？

主な発見

• 連関対数確率 $ h(t; u, v) $ は、定理1.1で述べられるように、3階微分およびワロンスキー形式の項を含む非線形PDEを満たす。
• 大 $ t $ における連関確率の漸近展開は、$ P(A(0) \leq u, A(t) \leq v) = F_2(u)F_2(v) + \frac{F_2'(u)F_2'(v)}{t^2} + \frac{\Phi(u,v) + \Phi(v,u)}{t^4} + O(t^{-6}) $ であり、$ \Phi $ は明示的に定義されている。
• 共分散は $ \mathrm{Cov}(A(0), A(t)) = \frac{1}{t^2} + \frac{c}{t^4} + O(t^{-6}) $ と崩壊し、ここで $ c = 2 \int \!\!\! \int \! \Phi(u,v) \, du \, dv $ である。
• PDEの初期条件は $ \lim_{t \searrow 0} h(t; u, v) = \log F_2(\min(u,v)) $ であり、周辺のトレーシー・ワイドマン法則と整合的である。
• 行列モデルにおける経路的不等式を用いて、条件付き確率の崩壊に関する予想が $ n \to \infty $ の極限で妥当であることが示唆され、支持される。
• 拡張されたエアリー核表現により、フレドホルム行列式解が $ m=2 $ において導出PDEを満たすことが確認され、整合性が裏付けられる。