[論文レビュー] Asymptotics of Plancherel measures for symmetric groups

Alexei Borodin, Andreĭ Okounkov+1 more|ArXiv.org|May 5, 1999

Random Matrices and Applications参考文献 18被引用数 8

ひとこと要約

この論文は、n → ∞ のときの対称群上のプランチャーレ測度の漸近的挙動を確立し、典型的なヤング図の局所的構造が、内部では離散サインカーネルを持つ確定的点過程に収束し、端効果はエアリー核分布に収束することを示している—バイク、ドイフト、ヨハンセンの予想を、ベッセル関数とデポアソン化技術から導かれた新しいカーネルを用いて証明した。

ABSTRACT

We consider the asymptotics of the Plancherel measures on partitions of $n$ as $n$ goes to infinity. We prove that the local structure of a Plancherel typical partition (which we identify with a Young diagram) in the middle of the limit shape converges to a determinantal point process with the discrete sine kernel. On the edges of the limit shape, we prove that the joint distribution of suitably scaled 1st, 2nd, and so on rows of a Plancherel typical diagram converges to the corresponding distribution for eigenvalues of random Hermitian matrices (given by the Airy kernel). This proves a conjecture due to Baik, Deift, and Johansson by methods different from the Riemann-Hilbert techniques used in their original papers math.CO/9810105 and math.CO/9901118 and from the combinatorial approach proposed by Okounkov in math.CO/9903176. Our approach is based on an exact determinantal formula for the correlation functions of the poissonized Plancherel measures involving a new kernel on the 1-dimensional lattice. This kernel is expressed in terms of Bessel functions and we obtain it as a degeneration of the hypergeometric kernel from the paper math.RT/9904010 by Borodin and Olshanski. Our asymptotic analysis relies on the classical asymptotic formulas for the Bessel functions and depoissonization techniques.

研究の動機と目的

• n → ∞ のときの、n の分割におけるプランチャーレ測度の漸近的分布を分析すること。
• プランチャーレ測度の下での典型的ヤング図の局所的統計的構造を理解すること。
• 極限形状の端付近での行長さの連合分布がエアリー核分布に収束することを確立すること。
• 正確な確定的公式とベッセル関数の漸近的挙動を用いて、バイク＝ドイフト＝ヨハンセンの予想の新たな証明を提供すること。

提案手法

• 1次元格子上の新しいカーネルを用いて、ポアソン化されたプランチャーレ測度の相関関数の正確な確定的公式を導出すること。
• カーネルを、ボロディンとオルシャンスキー（math.RT/9904010）の超幾何カーネルの退化として得られたベッセル関数の形で表現すること。
• ベッセル関数の古典的漸近展開を用いて、内部および端の領域におけるカーネルの分析を行うこと。
• デポアソン化技術を用いて、ポアソン化された測度を固定 n の元のプランチャーレ測度に戻すこと。
• 得られたカーネルを用いて、内部では離散サインカーネルに、端ではエアリー核に収束することを示すこと。
• 確定的構造を活用して、行長さの連合分布およびそのスケーリング極限を計算すること。

実験結果

リサーチクエスチョン

• RQ1 n → ∞ のとき、プランチャーレ測度の下で典型的ヤング図の局所的フラクチュエーションはどのように振る舞うか？
• RQ2 プランチャーレ典型図の1行目、2行目、…、k行目の連合分布は、端でランダムエルミート行列の固有値分布に収束するか？
• RQ3 リーマン＝ヒルベルト解析や組合せ的数え上げを除く他の手法を用いて、バイク＝ドイフト＝ヨハンセンの予想における端のスケーリング極限を証明できるか？
• RQ4 分割上のポアソン化プランチャーレ測度の相関カーネルの正確な形は何か？
• RQ5 ベッセル関数は、対称群表現論の漸近的解析においてどのように自然に現れるか？

主な発見

• プランチャーレ典型ヤング図の内部における局所的構造は、離散サインカーネルを持つ確定的点過程に収束する。
• 極限形状の端付近では、適切にスケーリングされた行長さの連合分布はエアリー核分布に収束し、GUEランダム行列の固有値分布と一致する。
• 本論文は、ベッセル関数の形で表現された1次元格子上の新しいカーネルを構成し、ポアソン化プランチャーレ測度の相関構造を支配する。
• このカーネルは、ボロディンとオルシャンスキー（math.RT/9904010）の超幾何カーネルの退化として得られ、表現論と特殊関数の間の新たな接点を提供する。
• 漸近的解析は、ベッセル関数の古典的漸近公式とデポアソン化に依存し、ポアソン化バージョンから固定 n のプランチャーレ測度を回復する。
• 結果として、バイク、ドイフト、ヨハンセンの予想が確認され、リーマン＝ヒルベルト手法を用いない、新たなアプローチによって、ランダム分割における端のスケーリング極限が得られた。