[論文レビュー] Free probability and combinatorics

Philippe Biane|ArXiv.org|Apr 22, 2003

Random Matrices and Applications参考文献 17被引用数 12

ひとこと要約

この論文は、非交叉分割とコマリヤントを用いた自由確率論の組合せ的枠組みを確立し、ランダム行列理論および対称群の漸近的表現論と結びつける。大きな対称群の特徴は自由乗法的関数へ収束し、関連する確率測度の自由畳み込みを用いたリトルウッド・リチャードソン則の漸近的解析が可能になる。

ABSTRACT

A combinatorial approach to free probability theory has been developped by Roland Speicher, based on the notion of noncrossing cumulants, a free analogue of the classical theory of cumulants in probability theory. We review this theory, and explain the connections between free probability theory and random matrices. We relate noncrossing cumulants to classical cumulants and also to characters of large symmetric groups. Finally we give applications to the asymptotics of representations of symmetric groups, specifically to the Littlewood-Richardson rule.

研究の動機と目的

• 非交叉コマリヤントに基づく自由確率論の組合せ的基盤を構築し、古典的コマリヤント理論を拡張すること。
• 自由確率論とランダム行列における固有値の漸近的挙動との関係を明確にすること。
• 非交叉コマリヤントと大きな対称群の特徴およびその漸近的分布との関係を明らかにすること。
• 誘導、制限、クロネッカー積といった表現論的演算の漸近的挙動を理解するために自由確率論の概念を応用すること。
• 対称群の既約特徴が自由畳み込みを介して漸近的に乗法的になること、および典型的なヤン図が自由畳み込みによって定まる極限形状に集中することを確立すること。

提案手法

• ローラン・スパイザーの非交叉コマリヤント理論を、自由確率論における混合モーメントを計算する組合せ的道具として用いる。
• 非交叉分割の概念を、古典的コマリヤントが集合分割を用いるのと同様に、自由独立性をモデル化するために用いる。
• ジュチス＝マーフィー作用素を介して、対称群の正規化特徴の漸近展開を非交叉コマリヤントと関係付ける。
• ヤン図の形状パrameter $k_j$ を用いて、置換の特徴の漸近公式を自由コマリヤントの言語で導出する。
• ヤン図を $[-2,2]$ 上の確率測度に写像し、誘導表現がこれらの測度の自由畳み込みに対応することを示す。
• 互いに不交な台を持つ場合に特徴が因数分解する性質を用い、漸近的乗数が自由独立性および極限形状と結びつくようにする。

実験結果

リサーチクエスチョン

• RQ1 自由確率論における非交叉コマリヤントは、古典的コマリヤントおよび対称群の特徴とどのように関係するか？
• RQ2 対称群の既約特徴は $n \to \infty$ の下でどのように漸近的挙動を示すか？
• RQ3 自由確率論の文脈において、リトルウッド・リチャードソン則はどのように漸近的に振る舞うか？
• RQ4 誘導表現におけるヤン図の典型的な形状を記述する自由畳み込みの役割は何か？
• RQ5 A-バランスのヤン図における特徴の集中は、自由コマリヤントおよび極限形状を用いて特徴づけられるか？

主な発見

• 漸近的特徴公式 (4.1) により、A-バランスのヤン図に対して $\chi_{\omega}(\sigma) = \prod_{j=2}^{\infty} n^{-jk_j} R_{j+1}^{k_j}(\omega) + O(n^{-1-|\sigma|/2})$ が成り立ち、主項は $O(n^{-|\sigma|/2})$ のオーダーでスケーリングされる。
• 既約特徴は漸近的に乗法的になる：$\chi_{\omega}(\sigma_1\sigma_2) = \chi_{\omega}(\sigma_1)\chi_{\omega}(\sigma_2) + O(n^{-1-|\sigma_1\sigma_2|/2})$ が、不交な置換 $\sigma_1, \sigma_2$ に対して成り立つ。
• 誘導表現の分解におけるヤン図の典型的な形状は、入力図に対応する確率測度の自由畳み込みによって定まる曲線の周囲に集中する。
• ケロフ＝ヴァーシク極限形状に対応する確率測度は、$[-2,2]$ 上で密度 $\frac{1}{2\pi}\sqrt{4 - x^2}$ を持つ半円分布である。
• 表現の制限に対しては、対応する測度の操作は自由圧縮と呼ばれ、固定固有値分布を持つランダム行列の部分行列をとるのと類似している。
• クロネッカーテンソル積の表現は、同じ極限形状に従い、半円分布が普遍的なスケーリング極限として現れる。