[論文レビュー] Distribution functions for largest eigenvalues and their applications

Craig A. Tracy, Harold Widom|ArXiv.org|Oct 17, 2002

Random Matrices and Applications参考文献 48被引用数 108

ひとこと要約

本稿では、ガウス型確率的行列アンサンブル（GOE、GUE、GSE）における最大固有値の極限分布が、Painlevé II超越関数によって記述される普遍的法則に収束することを確立する。これらの分布は、Airy核のFredholm行列式として表現され、可積分系に関連しており、統計物理学、成長過程、確率的タイル張り、統計学など、多様な系に普遍的に現れる。Fβ(s)の明示的公式およびそのモーメント（平均、分散、歪度、尖度）が提示されている。

ABSTRACT

It is now believed that the limiting distribution function of the largest eigenvalue in the three classic random matrix models GOE, GUE and GSE describe new universal limit laws for a wide variety of processes arising in mathematical physics and interacting particle systems. These distribution functions, expressed in terms of a certain Painlevé II function, are described and their occurences surveyed.

研究の動機と目的

• 3つの古典的ガウス型確率的行列アンサンブル（GOE、GUE、GSE）における最大固有値の普遍的極限分布を確立すること。
• この極限分布がPainlevé II関数によって記述され、Airy核のFredholm行列式によって表現されることを示すこと。
• 確率的行列理論を超えた多様な物理的および確率的系におけるこれらの普遍的法則の出現を調査すること。
• 極限分布関数Fβ(s)の明示的公式および統計的性質（平均、分散、歪度、尖度）を提供すること。
• ガウス型アンサンブルを超えた普遍性を確立し、同じ極限法則がWigner行列、成長過程、確率的タイル張り、キューイング系においても生じることを示すこと。

提案手法

• N×Nの確率的行列における最大固有値の累積分布F_{N,β}(t)のN→∞極限として、極限分布Fβ(s)を導出する。
• L^2(s,∞)上でのAiry核K_Airy(x,y) = [Ai(x)Ai'(y) - Ai'(x)Ai(y)] / (x-y)を用い、GUEの場合をF_2(s) = det(I - K_Airy) = exp(-∫_s^∞ (x-s)q^2(x)dx)として表現する。
• Painlevé II方程式q'' = s q + 2 q^3の解q(s)を用い、s→∞の漸近的条件q(s) ~ Ai(s)を満たす。
• 関係式F_1(s) = exp(-1/2 ∫_s^∞ q(x)dx) × F_2(s)^{1/2}およびF_4(s/√2) = cosh(1/2 ∫_s^∞ q(x)dx) × F_2(s)^{1/2}を用いて、GOEおよびGSEへの拡張を行う。
• Riemann-Hilbert法および直交多項式技法を用いて、β=2の場合における一般のポテンシャルV(A)に対する普遍性を証明する。
• Wigner行列、成長モデル、ランダムタイル張り（Aztec diamond）、キューイングネットワークなど、非ガウス系においても同じ極限分布F_2(s)が現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 N→∞のとき、Gaussian Unitary Ensemble (GUE)における最大固有値の極限分布は何か？
• RQ2 GOEおよびGSEにおける最大固有値の極限法則は、GUEの場合およびPainlevé II関数とどのように関係しているか？
• RQ3 これらの極限分布は、異なる確率的行列アンサンブルおよび非ガウス的モデルにおいて、どの程度普遍的か？
• RQ4 どのような物理的および確率的系において、F_2(s)分布が普遍的極限として現れるか？
• RQ5 F_2(s)のFredholm行列式表現は、成長過程やランダムタイル張りなどの他の系へ拡張可能か？

主な発見

• GUEアンサンブルにおける極限分布F_2(s)は、F_2(s) = det(I - K_Airy) = exp(-∫_s^∞ (x-s)q^2(x)dx)で与えられ、qはPainlevé II方程式q'' = s q + 2 q^3の解であり、s→∞でq(s) ~ Ai(s)を満たす。
• GOE（β=1）の場合、極限分布はF_1(s) = exp(-1/2 ∫_s^∞ q(x)dx) × F_2(s)^{1/2}であり、GSE（β=4）の場合、F_4(s/√2) = cosh(1/2 ∫_s^∞ q(x)dx) × F_2(s)^{1/2}である。
• F_2(s)の平均、標準偏差、歪度、尖度はそれぞれμ_2 = -1.77109、σ_2 = 0.9018、S_2 = 0.224、K_2 = 0.093である。
• β=2の場合、一般のユニタリに不変なポテンシャルV(A)に対しても普遍性が成り立ち、GUE極限F_2(s)は一般に現れるが、微調整により新たな普遍性クラスが得られることもある。
• F_2(s)分布は非確率的行列系においても普遍的に現れる：Wigner行列のスペクトル端縁、Airy過程、Aztec diamondのランダムタイル張り、およびD(k,n)のキューイングモデルにおいて。
• ポisson的サービス時間を持つキューイングモデルにおいて、正規化された出庫時刻D(⌊ xn⌋,n)はn→∞のときF_2(s)に分布収束し、xに依存する明示的定数c_1およびc_2を含む。