[論文レビュー] Z-Measures on partitions, Robinson-Schensted-Knuth correspondence, and beta=2 random matrix ensembles

Alexei Borodin, Grigori Olshanski|ArXiv.org|May 29, 1999

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

ひとこと要約

本稿は、1つの超幾何核からの段階的退化の階層を通じて、分割上のz-測度、Robinson-Schensted-Knuth対応、およびβ=2のランダム行列アンサンブルを統一的な枠組みで結びつける。これにより、組合せ論とランダム行列理論における多様な漸近的挙動—例えばプラナッセル、エアリー、およびホイットティカーのアンサンブル—が一般化されたz-測度の極限として現れることを示し、表現理論、対称群の表現、およびβ=2統計の行列式点過程の間の深い関係を明らかにする。

ABSTRACT

We suggest an hierarchy of all the results known so far about the connection of the asymptotics of combinatorial or representation theoretic problems with ``beta=2 ensembles'' arising in the random matrix theory. We show that all such results are, essentially, degenerations of one general situation arising from so-called generalized regular representations of the infinite symmetric group.

研究の動機と目的

• 組合せ論の数え上げ的漸近的結果、対称群の表現理論、ランダム行列理論の多様な漸近的結果を、1つの解析的枠組みで統一すること。
• すべての既知のβ=2ランダム行列アンサンブルが、分割上に定義された1つの超幾何核の退化として得られることを示すこと。
• 一般化された無限対称群の正則表現と点過程、および直交多項式アンサンブルを結ぶ中心的対象としてz-測度を確立すること。
• ランダム行列統計の観点から、組合せ的対象（例えば、標準ヤング盤）の漸近的挙動を明確にすること。
• 超幾何核から古典的核（プラナッセル、エアリー、ラゲールなど）への極限遷移の体系的階層を提供すること。

提案手法

• パrameters z, z' および t=zz' を用いて、フロベニウス座標とコンテンツ/フック長の公式を用いて、分割上のz-測度を導入する。
• 負の二項分布重み π_{t,ξ} を用いて、有限レベルのz-測度 M^{(n)}_{z,z'} の混合として、混合z-測度 M_{z,z',ξ} を定義する。
• 無限対称群の一般化された正則表現に関連する、入れ子の列 (α,β) の対の空間上の極限測度 P_{z,z'} を用いて、R* 上の点過程を構成する。
• Whittakerアンサンブルを P_{z,z'} の混合版として導出し、行列式相関核を有することを示す。
• 超幾何核へのスケーリングおよび極限遷移を適用し、古典的核（Meixner, Charlier, Plancherel, Hermite, Airy, Laguerre）を導出する。
• Robinson-Schensted-Knuth対応を用いて、ヤング盤の組合せ論とβ=2アンサンブルのスペクトル統計を結びつける。

実験結果

リサーチクエスチョン

• RQ1 分割上のz-測度は、標準ヤング盤や対称群の表現の漸近的挙動とどのように関係しているか？
• RQ2 すべての既知のβ=2ランダム行列アンサンブルが、1つの普遍核の退化として得られるか？
• RQ3 超幾何核は、RSK対応と行列式点過程を統一する役割を果たすか？
• RQ4 混合z-測度 M_{z,z',ξ} からの極限遷移は、プラナッセルやエアリーの古典的アンサンブルをどのように導くか？
• RQ5 無限対称群の一般化された正則表現と、漸近的組合せ論におけるβ=2統計の出現との間の関係は何か？

主な発見

• z-測度 M_{z,z'}(λ) は、サイズnの分割上に確率測度をなす。任意のnに対して ∑_{λ∈Y_n} M_{z,z'}(λ) = 1 が成り立つ。
• 混合z-測度 M_{z,z',ξ}(λ) は、すべての分割上のグランドカノニカルアンサンブルであり、フロベニウス座標とポochhammer記号を含む行列式公式を明示的に表す。
• 入れ子の列の極限測度 P_{z,z'} は、R* 上の点過程をもたらし、相関関数が多変数超幾何関数で表されるが、行列式形式ではない。
• 混合測度 ˜P_{z,z'} は、Whittakerアンサンブルを生じさせ、ξ→1 スケーリングによる超幾何核の変形から得られる行列式核を有する。
• プラナッセル核は、z,z'→∞、ξ→0 でθ=zz'ξ を固定する極限において、超幾何核の極限として現れ、また適切な極限でMeixnerまたはCharlier核からも得られる。
• エアリー核は、プラナッセル、Hermite、およびラゲール核の普遍的エッジ極限として現れ、β=2アンサンブルのバルクおよびエッジ漸近的挙動におけるその役割を確認する。