[论文解读] Asymptotics of Plancherel measures for symmetric groups

Alexei Borodin, Andreĭ Okounkov+1 more|ArXiv.org|May 5, 1999

Random Matrices and Applications参考文献 18被引用 8

一句话总结

该论文研究了对称群上Plancherel测度在 n → ∞ 时的渐近行为，表明典型Young图的局部结构收敛到以离散正弦核为核的确定性点过程，且边缘波动收敛到Airy核分布——通过从贝塞尔函数和泊松化技术导出的新核，证明了Baik、Deift与Johansson的猜想。

ABSTRACT

We consider the asymptotics of the Plancherel measures on partitions of $n$ as $n$ goes to infinity. We prove that the local structure of a Plancherel typical partition (which we identify with a Young diagram) in the middle of the limit shape converges to a determinantal point process with the discrete sine kernel. On the edges of the limit shape, we prove that the joint distribution of suitably scaled 1st, 2nd, and so on rows of a Plancherel typical diagram converges to the corresponding distribution for eigenvalues of random Hermitian matrices (given by the Airy kernel). This proves a conjecture due to Baik, Deift, and Johansson by methods different from the Riemann-Hilbert techniques used in their original papers math.CO/9810105 and math.CO/9901118 and from the combinatorial approach proposed by Okounkov in math.CO/9903176. Our approach is based on an exact determinantal formula for the correlation functions of the poissonized Plancherel measures involving a new kernel on the 1-dimensional lattice. This kernel is expressed in terms of Bessel functions and we obtain it as a degeneration of the hypergeometric kernel from the paper math.RT/9904010 by Borodin and Olshanski. Our asymptotic analysis relies on the classical asymptotic formulas for the Bessel functions and depoissonization techniques.

研究动机与目标

• 分析当 n → ∞ 时，对称群上Plancherel测度在整数分拆上的渐近分布。
• 理解在Plancherel测度下，典型Young图的局部统计结构。
• 建立极限形状边缘附近行长联合分布收敛到Airy核分布的结果。
• 通过精确的确定性公式与贝塞尔函数渐近分析，为Baik-Deift-Johansson猜想提供新证明。

提出的方法

• 利用在1D格点上定义的新核，推导出泊松化Plancherel测度相关函数的精确确定性公式。
• 将该核表示为贝塞尔函数形式，其为Borodin与Olshanski（math.RT/9904010）所提出的超几何核的退化形式。
• 应用贝塞尔函数的经典渐近展开，分析该核在体部与边缘区域的行为。
• 使用泊松化技术，将泊松化测度与固定n的原始Plancherel测度联系起来。
• 利用所得核证明：在体部收敛到离散正弦核，在边缘收敛到Airy核。
• 利用确定性结构计算行长的联合分布及其标度极限。

实验结果

研究问题

• RQ1 当 n → ∞ 时，典型Young图的局部波动在Plancherel测度下如何表现？
• RQ2 Plancherel典型图的第1、2、…、k行的联合分布是否收敛到随机厄米特矩阵特征值分布的边缘？
• RQ3 能否使用非Riemann-Hilbert分析或组合枚举的方法，证明Baik-Deift-Johansson关于边缘标度极限的猜想？
• RQ4 泊松化Plancherel测度在分拆上的相关核的精确形式是什么？
• RQ5 贝塞尔函数如何自然地出现在对称群表示理论的渐近分析中？

主要发现

• 在体部，Plancherel典型Young图的局部结构收敛到以离散正弦核为核的确定性点过程。
• 在极限形状的边缘附近，经适当缩放的行长联合分布收敛到Airy核分布，与GUE随机矩阵的特征值分布一致。
• 本文在1D格点上构造了一个新核，其以贝塞尔函数表达，控制了泊松化Plancherel测度的相关结构。
• 该核是Borodin与Olshanski（math.RT/9904010）所提出超几何核的退化形式，为表示理论与特殊函数之间建立了新联系。
• 渐近分析依赖于贝塞尔函数的经典渐近公式及泊松化技术，从而从泊松化版本恢复固定n的Plancherel测度。
• 结果证实了Baik、Deift与Johansson的猜想，为随机分拆的边缘标度极限提供了非Riemann-Hilbert的新方法。