[论文解读] 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) $ 的不可约表示上的 Plancherel 测度的渐近行为。通过循环指标技术与 Schur 测度的特殊化，证明了与不同不可约多项式 $ \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.

研究动机与目标

• 理解当 $ n \to \infty $ 时，$ GL(n,q) $ 的不可约表示在 Plancherel 测度下的渐近分布。
• 刻画与不同不可约多项式 $ \phi \in \Phi $ 关联的分拆分量 $ \Lambda_{\phi} $ 的极限联合分布。
• 证明这些极限分布是独立的，且显式给出为 $ M_{1,q^{\deg \phi}} $。
• 通过生成函数与 Schur 测度特殊化，建立一个严格的概率框架。

提出的方法

• 在参数化 $ GL(n,q) $ 不可约表示的集合 $ \Lambda = \{\Lambda_\phi\} $ 上定义 Plancherel 测度 $ \mu_n $，其中 $ \mu_n(\Lambda) = d_\Lambda^2 / |GL(n,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) $ 在 $ \bigcup_n \mathbb{L}_n $ 上引入一个生成测度 $ P_{v,q} $，其中 $ \Lambda \in \mathbb{L}_n $。
• 利用 Euler 恒等式与生成函数的收敛性，证明 $ P_{v,q} $ 是一个概率测度。
• 通过 Schur 函数的特殊化，将 $ M_{v,q} $ 与 Schur 测度关联，得到 $ 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 当 $ n \to \infty $ 时，$ GL(n,q) $ 的不可约表示的分拆分量 $ \Lambda_{\phi} $ 的渐近行为如何？
• RQ2 在 Plancherel 测度下，不同 $ \phi \in \Phi $ 的 $ \Lambda_{\phi} $ 是否趋于渐近独立？
• RQ3 当 $ n \to \infty $ 时，$ \Lambda_{\phi} $ 的极限分布的显式形式是什么？
• RQ4 能否通过生成函数与特殊化，将 $ GL(n,q) $ 上的 Plancherel 测度与已知测度（如 Schur 测度）关联起来？

主要发现

• 当 $ 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}} $，这是 Schur 测度在参数 $ x_i = q^{-i \deg \phi} $、$ y_j = q^{1-j \deg \phi} $ 下的特殊化形式。
• $ M_{v,q} $ 在 $ 0 < v < q $ 时为概率测度，其归一化性通过 Schur 函数的 Cauchy 恒等式得到验证。
• 通过生成函数中的系数提取与引理 3 的应用，确立了不同 $ \phi_j $ 对应的 $ \Lambda_{\phi_j} $ 之间的渐近独立性。
• 不可约表示的维数 $ d_\Lambda $ 可通过 Schur 函数表示为 $ 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} $ 的归一化性。