[論文レビュー] Free probability and representations of large symmetric groups

Piotr Śniady|ArXiv.org|Apr 19, 2003

Random Matrices and Applications参考文献 15被引用数 5

ひとこと要約

本稿は、ヤング図形を q^{-1/2} でスケーリングして固定された形状に収束させる漸近的極限において、対称群の表現の正規化キャラクターを用いて、ジュシス–マーフィー要素の自由コマリァントを表現することで、自由確率論と対称群の漸近的表現論の間の関係を確立する。このスケーリング下で、これらのコマリァントの2次漸近展開を導出し、ケロフ多項式におけるサイクル上でのキャラクターの明示的な2次項を導くためのアルゴリズムを提示する。

ABSTRACT

We study the asymptotic behavior of the free cumulants (in the sense of free probability theory of Voiculescu) of Jucys--Murphy elements--or equivalently--of the transition measure associated with a Young diagram. We express these cumulants in terms of normalized characters of the appropriate representation of the symmetric group S_q. Our analysis considers the case when the Young diagrams rescaled by q^{-1/2} converge towards some prescribed shape. We find explicitly the second order asymptotic expansion and outline the algorithm which allows to find the asymptotic expansion of any order. As a corollary we obtain the second order asymptotic expansion of characters evaluated on cycles in terms of free cumulants, i.e. we find explicitly terms in Kerov polynomials with the appropriate degree.

研究の動機と目的

• 大規模な対称群の文脈において、ジュシス–マーフィー要素に関連する自由コマリァントの漸近的挙動を理解すること。
• 正規化キャラクターを通じて、自由確率論理論と対称群 S_q の表現論を結びつけること。
• ヤング図形が q^{-1/2} でスケーリングされ、固定された形状に収束する極限において、自由コマリァントの2次漸近展開を導出すること。
• 自由コマリァントの漸近展開の高次項を体系的に計算するための一般アルゴリズムを開発すること。
• 得られた結果を応用し、サイクル上で評価されたキャラクターのケロフ多項式における明示的な2次項を導出すること。

提案手法

• S_q の既約表現の正規化キャラクターを用いて、ジュシス–マーフィー要素の自由コマリァントを表現する。
• ヤング図形が q^{-1/2} でスケーリングされ、固定された形状に収束する漸近的状態を分析する。
• ヤング図形に関連する遷移測度を用い、自由確率論における自由コマリァントと関連付ける。
• 表現論的漸近的手法を用いて、キャラクターとコマリァントを q の逆数の累乗で展開する。
• キャラクター展開に基づく再帰的アルゴリズムを導出し、任意の順序の漸近項を計算可能にする。
• 自由コマリァントとサイクルキャラクターの関係を活用し、ケロフ多項式における明示的な2次項を抽出する。

実験結果

リサーチクエスチョン

• RQ1 対称群 S_q のサイズが無限大に近づく際、ヤング図形を q^{-1/2} でスケーリングした下で、ジュシス–マーフィー要素の自由コマリァントはどのように漸近的に振る舞うか？
• RQ2 ヤング図形の極限形状を用いて、これらの自由コマリァントの2次漸近展開の明示的形は何か？
• RQ3 サイクル上での正規化キャラクターの漸近展開は、自由コマリァントを用いて表現可能か？ その2次項は何か？
• RQ4 自由コマリァントの漸近展開の高次項を体系的に計算するためのアルゴリズム的枠組みは何か？
• RQ5 結果として得られたものにより、漸近的状態におけるサイクル上でのキャラクターのケロフ多項式はどのように精緻化されるか？

主な発見

• q^{-1/2}-スケーリング極限下で、ジュシス–マーフィー要素に関連する自由コマリァントの2次漸近展開が明示的に計算された。
• S_q におけるサイクル上での正規化キャラクターが、自由コマリァントを用いた漸近展開を有することが示され、2次項が明示的に導出された。
• 任意の所望の順序まで自由コマリァントの漸近展開を計算可能なアルゴリズムが確立された。
• 遷移測度と自由コマリァントの間の関係を通じて、自由確率論と対称群表現論の間の関係が形式化された。
• サイクル上で評価されたキャラクターのケロフ多項式における明示的な2次項が得られ、漸近的キャラクター理論における主要な未解決問題が解決された。
• 自由コマリァントを用いて、サイクル上でのキャラクターの漸近的挙動が2次まで完全に特徴づけられ、既知の予想が確認されかつ拡張された。