[論文レビュー] Asymptotics of Plancherel measures for $GL(n,q)$

Artem Dudko|ArXiv.org|Jun 8, 2008

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

ひとこと要約

本稿は、$n \to \infty$ のとき $GL(n,q)$ の既約表現におけるプランシェル測度の漸近的挙動を研究する。サイクル指標技法とシュール測度の特殊化を用いて、異なる既約多項式 $\phi$ に対応するランダムな分割 $\Lambda_{\phi}$ が、有限次元分布において独立な極限分布 $M_{1,q^{\deg \phi}}$ に収束することを証明する。主な結果として、異なる $\phi$-成分間における漸近的独立性構造が確立される。

ABSTRACT

We introduce the Plancherel measure on the set of partition collections, which parameterize irreducible representations of order n general linear group over a finite field. We prove that as n goes to infinity, the random partitions from the random collections converge in finite dimencional distribution to independent random variables. We give explicit formulas for the corresponding limit distributions.

研究の動機と目的

• PLANCHEREL 測度の下で $GL(n,q)$ の既約表現の漸近的分布を理解すること。
• 相異なる既約多項式 $\phi \in \Phi$ に付随する分割成分 $\Lambda_{\phi}$ の極限同時分布を特定すること。
• これらの極限分布が独立であり、$M_{1,q^{\deg \phi}}$ として明示的に与えられることを確立すること。
• 生成関数とシュール測度の特殊化を用いて、厳密な確率的枠組みを提供すること。

提案手法

• GL(n,q) の既約表現をパラメトライズする $\Lambda = \{\Lambda_\phi\}$ 上にプランシェル測度 $\mu_n$ を定義し、$\mu_n(\Lambda) = d_\Lambda^2 / |GL(n,q)|$ とする。
• 生成関数 $\sum_n q^{n(n+1)/2} \prod_{i=1}^n (q^i - 1)^{-1} v^n$ を用いて、$\bigcup_n \mathbb{L}_n$ 上の測度 $P_{v,q}$ を $P_{v,q}(\Lambda) = \prod_{r=0}^\infty (1 - v q^{-r}) \cdot q^{n(n+1)/2} \prod_{i=1}^n (q^i - 1)^{-1} v^n \mu_n(\Lambda)$ で定義する（$\Lambda \in \mathbb{L}_n$）。
• オイラーの恒等式と生成関数の収束を用いて、$P_{v,q}$ が確率測度であることを確立する。
• シュール関数の特殊化を用いて $M_{v,q}$ をシュール測度に関連付け、$M_{v,q}(\lambda) = \prod_{r=1}^\infty (1 - v q^{-r})^r q^{2n(\lambda') + |\lambda|} \prod_{x \in \lambda} (q^{h(x)} - 1)^{-2} v^{|\lambda|}$ を示す。
• 係数抽出に関する補題 3 を適用：$f(v)$ が $v=1$ で正則であれば、$\lim_{n \to \infty} [v^n] f(v)(1 - v)^{-1} = f(1)$ が成り立つ。これにより $\mu_n$ の漸近的極限を抽出する。
• 有限次元分布として、$n \to \infty$ のとき $\Lambda_{\phi_j}$ の分布が $\prod_{j=1}^k M_{1, q^{\deg \phi_j}}(\lambda_j)$ に収束することを証明し、漸近的独立性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $GL(n,q)$ の既約表現の分割成分 $\Lambda_{\phi}$ が $n \to \infty$ のときどのように漸近的に振る舞うか？
• RQ2 相異なる $\phi \in \Phi$ に対する $\Lambda_{\phi}$ がプランシェル測度の下で漸近的に独立になるか？
• RQ3 $n \to \infty$ のとき $\Lambda_{\phi}$ の極限分布の明示的形は何か？
• RQ4 生成関数と特殊化を用いて、$GL(n,q)$ 上のプランシェル測度をシュール測度などの既知の測度と関連づけられるか？

主な発見

• 有限次元分布として、$n \to \infty$ のとき $\Lambda_{\phi_j}$ の分布は $\lim_{n \to \infty} \mu_n(\{\Lambda : \Lambda_{\phi_j} = \lambda_j, j=1,\dots,k\}) = \prod_{j=1}^k M_{1, q^{\deg \phi_j}}(\lambda_j)$ に収束する。
• 各 $\Lambda_{\phi}$ の極限分布は $M_{1, q^{\deg \phi}}$ で与えられ、これはパラメータ $x_i = q^{-i \deg \phi}$、$y_j = q^{1-j \deg \phi}$ のシュール測度の特殊化である。
• $M_{v,q}$ は $0 < v < q$ のとき確率的であり、シュール関数のカウチ恒等式により正規化が確認される。
• 生成関数の係数抽出と補題 3 の適用により、相異なる $\phi_j$ に対する $\Lambda_{\phi_j}$ の漸近的独立性が確立される。
• 既約表現の次数 $d_\Lambda$ はシュール関数を用いて $d_\Lambda = \prod_\phi q^{n(\lambda'_{\phi}) \deg \phi} \prod_{x \in \lambda_\phi} (q^{h(x) \deg \phi} - 1)^{-1}$ と表現され、表現論と対称関数論を結ぶ。
• 生成関数 $\sum_n q^{n(n+1)/2} \prod_{i=1}^n (q^i - 1)^{-1} v^n$ が $\prod_{r=0}^\infty (1 - v q^{-r})^{-1}$ に等しいことが示され、$P_{v,q}$ の正規化が確認される。