[论文解读] Kerov's central limit theorem for Schur-Weyl measures of parameter 1/2

Pierre‐Loïc Méliot|arXiv (Cornell University)|Sep 21, 2010

Random Matrices and Applications参考文献 14被引用 14

一句话总结

本文证明了Kerov关于Plancherel测度的中心极限定理可推广至参数$\alpha = 1/2$的Schur-Weyl测度，表明在这些测度下，Young图的极限波动由与Plancherel情形相同的高斯过程控制，仅在$x$轴上存在平移。证明利用了图的可观测量代数、Śniady的累积量理论以及第二类切比雪夫多项式来分析二阶渐近行为，揭示了随机分拆的中心极限行为中隐藏的普遍性。

ABSTRACT

We show that Kerov's central limit theorem related to the fluctuations of Young diagrams under the Plancherel measure extends to the case of Schur-Weyl measures, which are the probability measures on partitions associated to the representations of the symmetric groups $S_n$ on tensor products of vector spaces $V^{\otimes n}$ (cf. arXiv:math/0006111). More precisely, the fluctuations are exactly the same up to a translation of the diagrams along the x-axis. Our proof is inspired by the one given by Ivanov and Olshanski in arXiv:math/0304010 for the Plancherel measure, and it relies on the combinatorics of the algebra of observable of diagrams. We also use Sniady's theory of cumulants of observables, cf. arXiv:math/0501112.

研究动机与目标

• 将Kerov的中心极限定理——最初针对Plancherel测度建立——从对称群正则表示推广至由$(\mathbb{C}^N)^{\otimes n} \curvearrowleft \mathfrak{S}_n$生成的Schur-Weyl测度。
• 研究在Schur-Weyl测度下Young图的波动是否由与Plancherel测度下相同的高斯过程控制，特别是在$n^{1/2} \simeq cN$且$n \to \infty$时。
• 确定尽管可观测量上缺乏Kerov的度数，Kerov中心极限定理的普遍性是否在Schur-Weyl测度背景下依然成立。

提出的方法

• 利用可观测量代数$\mathscr{O}$，其作为分拆上的多项式函数，推广了概率论中矩的角色。
• 应用Śniady的可观测量累积量理论，建立高斯集中性并分析二阶渐近行为。
• 利用Robinson-Schensted-Knuth对应关系，为Schur-Weyl测度构建组合模型，并将其与$\mathrm{GL}(N,\mathbb{C})$的不可约表示联系起来。
• 识别出第二类切比雪夫多项式为构造渐近不相关、中心化的高斯随机变量的关键工具，这些变量捕捉了二阶波动。
• 通过在可观测量上引入权滤子并提出一种新颖的技术技巧，替代了在此设定下不适用的Kerov度数，实现了必要的简化。
• 对极限形状$\Omega_c$上可观测量的期望进行显式计算，从而精确刻画了极限高斯过程。

实验结果

研究问题

• RQ1 Kerov关于Plancherel测度的中心极限定理是否可推广至参数$\alpha = 1/2$的Schur-Weyl测度？
• RQ2 在Schur-Weyl测度下，Young图的极限波动是否由与Plancherel情形相同的高斯过程控制，仅在空间上存在平移？
• RQ3 尽管缺乏Kerov的度数，可观测量代数与Śniady的累积量理论是否可被调整以在Schur-Weyl设定下证明中心极限定理？
• RQ4 第二类切比雪夫多项式在Schur-Weyl测度下可观测量组合学中的作用是什么？
• RQ5 为何Kerov定理中高斯过程的普遍性在不同测度（如Schur-Weyl与Plancherel）间持续存在？

主要发现

• 缩放偏离量$\frac{\sqrt{n}}{2}\langle U_k(s - c) \mid \Delta_{\lambda,c}(s) \rangle$的有限维分布收敛于一个高斯过程$(\xi_{k+1})_{k \geq 1}$，其分量独立、均值为零，方差为$\frac{1}{k+1}$。
• 极限波动过程$\Delta_c(s)$由$\frac{1}{\pi} \sum_{k=2}^{\infty} \frac{\xi_k}{k} \sin(k\theta)$给出，其中$s = c + 2\cos\theta$，该过程作为分布是良定义的，而非逐点定义。
• Schur-Weyl测度的极限高斯过程在分布上与Plancherel测度的极限高斯过程相同，仅在$x$轴上平移了$c$，确认了一种类普遍性。
• 第二类切比雪夫多项式作为自然基，用于在Schur-Weyl测度的二阶渐近行为中构造渐近不相关、中心化的高斯变量。
• 证明通过在可观测量上引入权滤子并提出一个新颖的技术引理（引理12），绕过了Kerov度数在此设定下的不适用性，从而在渐近分析中实现了关键简化。
• 当对光滑函数$f \in \mathscr{C}^\infty([c-2, c+2])$进行测试时，定义$\Delta_c(s)$的随机级数几乎必然收敛，确认了其分布性质。