[論文レビュー] An asymptotic link between LUE and GUE and its spectral interpretation

Yan Doumerc|ArXiv.org|Apr 13, 2002

Random Matrices and Applications被引用数 4

ひとこと要約

本稿は、パラメータ M → ∞ の下でラゲル・ユニタリーエンsemble (LUE) が分布収束する行列中心極限定理を確立し、正規化された形 (Y^{N,M} - M·Id_N)/√M → GUE(N) でGaussian Unitary Ensemble (GUE) に収束することを示している。この収束と、ヨハンソンによる最後到達時間パーコレーションに関する観察を組み合わせることで、GUE固有値の新たなスペクトル表現が得られ、GUE固有値の最大値と有向ブラウン運動パーコレーションにおける最後到達時間との間で有名な分布等価性が再現される。

ABSTRACT

We use a matrix central-limit theorem which makes the Gaussian Unitary Ensemble appear as a limit of the Laguerre Unitary Ensemble together with an observation due to Johansson in order to derive new representations for the eigenvalues of GUE. For instance, it is possible to recover the celebrated equality in distribution between the maximal eigenvalue of GUE and a last-passage time in some directed brownian percolation. Similar identities for the other eigenvalues of GUE also appear.

研究の動機と目的

• パラメータ M → ∞ の下で、ラゲル・ユニタリーエンsemble (LUE) とガウス・ユニタリーエンsemble (GUE) の間の厳密な漸近的関係を確立すること。
• LUE 固有値表現の収束を通じて、GUE 固有値分布のスペクトル的解釈を提供すること。
• GUE 固有値の最大値と有向ブラウン運動パーコレーションにおける最後到達時間との間で有名な分布等価性を回復し、一般化すること。
• GUE 固有値の極限的パス変換が、有限 M 時の LUE の対応物とパスごとに一致するか、あるいは分布収束のみかを検討すること。

提案手法

• M → ∞ の下で (Y^{N,M} - M·Id_N)/√M が GUE(N) に分布収束することを行列中心極限定理を用いて示す。
• i.i.d. ガウス行列要素を複素ブラウン運動に置き換えることで、固有値軌道の弱収束を示し、プロセスレベルでの収束を拡張する。
• ヨハンソンの観察である、GUE の最大固有値が有向ブラウン運動パーコレーションにおける最後到達時間に等しいことを利用する。
• グリーンとホイットの不変性原理を応用し、有限 M 時の LUE 固有値関数形とブラウン運動関数形を結びつける。
• すべての LUE 固有値が最後到達関数形として明示的に表現可能であり、M → ∞ の下で O’Connell–Yor 型の GUE 固有値表現に収束することを示す。
• マルティンゲール技法とモーメント推定を用いて、有限次元分布の収束とプロセス極限におけるトゥイニティを証明する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ M → ∞ の下で、適切な正規化のもとでラゲル・ユニタリーエンsemble (LUE) が分布収束してガウス・ユニタリーエンsemble (GUE) に収束するか？
• RQ2 有向ブラウン運動パーコレーションにおける最後到達時間としての GUE 固有値の最大値のスペクトル表現は、LUE から極限操作によって導出可能か？
• RQ3 LUE 固有値表現が M → ∞ の下で O’Connell–Yor のパス関数形表現に収束するか？
• RQ4 GUE 固有値の極限的パス変換は、有限 M 時の変換とパスごとに同一か、あるいは分布収束のみか？
• RQ5 二次変動とマルティンゲール収束が、LUE 固有値が GUE 固有値プロセスにプロセスレベルで収束することを確立する上で果たす役割は何か？

主な発見

• 行列中心極限定理により、M → ∞ の下で (Y^{N,M} - M·Id_N)/√M が分布収束して X^N ~ GUE(N) に収束することが示された。
• プロセスレベルでの収束が成立する：((Y^{N,M}(t) - Mt·Id_N)/√M)_{t≥0} は C(R_+, H_N) 上で (X^N(t²))_{t≥0} に弱収束する。
• LUE(N,M) の固有値は、O’Connell–Yor 公式と類似した最後到達表現を満たす。
• M → ∞ の下で、LUE 固有値関数形は、GUE 固有値を O’Connell–Yor フレームワークで表現するブラウン運動関数形に収束する。
• GUE 固有値の極限関数形 Ω は、LUE 固有値関数形の極限として得られるが、Ω と O’Connell–Yor 変換との間でパスワイズ等価性が成り立つかどうかは未解決のままである。
• 有限次元分布の収束は、マルティンゲール技法とモーメント推定を用いて証明され、二次変動の大数の法則に依存している。