[論文レビュー] Random Matrices and Random Permutations

Andreĭ Okounkov|ArXiv.org|Mar 30, 1999

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

ひとこと要約

この論文は、Baik-Deift-Johansson予想の組合せ的証明を提供し、n → ∞ のとき、プラナッセル・ランダムなヤング図のスケーリングされた行長さが、ガウス型ランダムエルミート行列の端縁固有値に分布収束することを確立している。球面の分岐被覆と曲面上のマップの間の相互作用を用いて、著者たちはスケーリングされた行長さの同時モーメントがトレーシー・ウィドム分布のそれと一致することを示し、ランダム行列理論が予測する普遍的な端縁挙動を確認した。

ABSTRACT

We prove the conjecture of Baik, Deift, and Johansson which says that with respect to the Plancherel measure on the set of partitions of $n$, the 1st, 2nd, and so on, rows behave, suitably scaled, like the 1st, 2nd, and so on, eigenvalues of a Gaussian random Hermitian matrix as $n$ goes to infinity. Our proof is based on an interplay between maps on surfaces and ramified coverings of the sphere. We also establish a connection of this problem with intersection theory on the moduli spaces of curves.

研究の動機と目的

• 対称群表現におけるプラナッセル測度の端縁フラクチュエーションの普遍性に関するBaik-Deift-Johansson予想を証明すること。
• ランダムヤング図におけるスケーリングされた行長さの同時モーメントと、ガウス型ランダムエルミート行列の端縁固有値との正確な一致を確立すること。
• プラナッセル測度の漸近的挙動を、トポロジカル再帰とマップ数え上げを通じて、曲線のモジュライ空間上の交差理論に結びつけること。
• 個々の行分布に対して従来の解析的手法に依存せず、直接的な組合せ的代替手法を提供すること。

提案手法

• 証明は、リーマン球面の分岐被覆と曲面上のマップの間の相互作用を用い、プラナッセル測度をハーツィッツ数によってモデル化する。
• 生成関数と対称群の表現論を用いて、既約表現の次元の漸近的挙動を符号化する。
• 著者たちは、トポロジカル再帰フレームワークを用いてプラナッセル測度の漸近的挙動を分析し、モジュライ空間上の交差数にリンクする。
• スケーリングされた行長さの同時モーメントを、所定の分岐を持つ特定のクラスのマップ上の生成関数として解釈することで導出する。
• 主な技術的道具は、極限形状と端縁スケーリングをトレーシー・ウィドム分布とモーメントマッチングによって同定することである。
• この方法は、与えられた genus と分岐型を持つマップの数が、三価頂点ごとに 2^{-3} の因子を含む積として漸近的に振る舞うという事実に依存しており、これが正しい正規化をもたらす。

実験結果

リサーチクエスチョン

• RQ1 n → ∞ のとき、プラナッセル・ランダムヤング図のスケーリングされた行長さは、ガウス型ランダム行列の端縁固有値に分布収束するか？
• RQ2 典型的な分割における最初の数個のスケーリングされた行の同時分布は、GUE行列の最大固有値の同時分布と漸近的に同値か？
• RQ3 プラナッセル測度の端縁スケーリング極限を、高度な解析や特殊関数に依存せずに、組合せ的に導出できるか？
• RQ4 対称群表現論の文脈において、トレーシー・ウィドム分布のトポロジカルおよび幾何的起源は何か？
• RQ5 球面の分岐被覆は、どのようにプラナッセル測度の漸近的統計を符号化するか？

主な発見

• プラナッセル・ランダム分割のスケーリングされた行長さの同時モーメントは、ガウス型ランダムエルミート行列の端縁固有値のそれと収束し、Baik-Deift-Johansson予想が確認された。
• スケーリングされた行長さの極限分布は、トレーシー・ウィドム分布と同一であり、これはランダム行列理論においてGaussian Unitary Ensembleの最大固有値の分布として現れる。
• genus g と s 個のマークされた頂点を持つマップの漸近的数は、2^{-6g+6-6s} に比例し、各三価頂点が漸近的数え上げに 2^{-3} の因子を寄与する。
• マップにおける三価左頂点の数は 2g - 2 + 2s であり、これと対応するハーツィッツ被覆の分岐点数が一致する。
• 三つの三価特別シートを持つ genus-1 被覆の生成関数は、(1 - 4z²)^{-5/2} に漸近的に比例し、このような被覆の数の主項漸近的成長は (k/2)^{3/2}/(12√π) であることが示された。
• モーメントマッチング結果（定理1）により、スケーリングされた行長さの全点過程が、エアリ過程に法則収束することが示され、エッジにおける普遍性が確認された。