[论文解读] Markov processes on partitions

Alexei Borodin, Grigori Olshanski|ArXiv.org|Sep 29, 2004

Random Matrices and Applications参考文献 27被引用 11

一句话总结

本文引入了一类在整数分拆上定义的连续时间马尔可夫过程，这些过程保持z-测度不变——z-测度源于无穷对称群上的调和分析。作者推导出动力相关函数的显式行列式公式，并计算其标度极限，揭示了与随机矩阵理论以及大杨图在对角线附近和内部区域的渐近行为之间的联系。

ABSTRACT

We introduce and study a family of Markov processes on partitions. The processes preserve the so-called z-measures on partitions previously studied in connection with harmonic analysis on the infinite symmetric group. We show that the dynamical correlation functions of these processes have determinantal structure and we explicitly compute their correlation kernels. We also compute the scaling limits of the kernels in two different regimes. The limit kernels describe the asymptotic behavior of large rows and columns of the corresponding random Young diagrams, and the behavior of the Young diagrams near the diagonal. Our results show that recently discovered analogy between random partitions arising in representation theory and spectra of random matrices extends to the associated time-dependent models.

研究动机与目标

• 构建在分拆上定义的连续时间马尔可夫过程，以保持源自无穷对称群上调和分析的z-测度。
• 计算这些过程的动力相关函数，并证明其具有行列式结构。
• 在两种情形下推导相关核的标度极限：大行/列和杨图对角线附近。
• 建立表示理论中的随机分拆与随机矩阵谱之间更深层次的类比，并将其扩展至时变模型。

提出的方法

• 这些过程被定义为在分拆上的跳跃过程，其中跃迁涉及添加或移除一个方块，其速率由总方块数上的生灭过程导出。
• 跃迁速率依赖于参数 $ z, z' $ 和 $ \xi \in (0,1) $，不变测度为z-测度 $ M_{z,z',\xi} $。
• 添加或移除方块的转移概率源自对称群的表示理论，涉及不可约表示的维数和广义Pochhammer符号。
• 动力相关函数被证明具有行列式形式，相关核以包含伽马函数和与 $ z, z', \xi $ 相关参数的双重围线积分表示。
• 在两种情形下计算了核的标度极限：一种聚焦于杨图的宏观形状（大行/列），另一种聚焦于对角线附近。
• 通过渐近分析积分表示，利用变量替换和围线变形，推导出极限核，得到 $ \xi \to 1 $ 时的显式积分公式。

实验结果

研究问题

• RQ1 如何在分拆上构造保持源自无穷对称群上调和分析的z-测度的马尔可夫过程？
• RQ2 这些过程的动力相关函数的结构是什么？能否以行列式形式表达？
• RQ3 在大分拆情形下，相关核的标度极限是什么，特别是杨图的体部和对角线区域？
• RQ4 这些过程及其极限如何与随机矩阵理论和随机生长中的已知模型相关联？

主要发现

• 分拆上马尔可夫过程的动力相关函数是行列式的，相关核具有显式积分表示。
• 相关核 $ \underline{K}_{z,z',\xi}(s,x;t,y) $ 由包含伽马函数和参数 $ z, z', \xi $ 的双重围线积分给出，其前因子依赖于时间差 $ s-t $。
• 在极限 $ \xi \to 1 $ 下，核收敛到一个新的积分核，该核描述了过程在杨图对角线附近的渐近行为。
• 极限核绝对收敛，并在代换后可表示为单重积分，证实了渐近结构的稳定性。
• 对角线附近的标度极限与随机矩阵理论中的已知边缘标度极限一致，表明存在深层次的结构类比。
• 这些过程是可逆且平稳的，z-测度 $ M_{z,z',\xi} $ 为其不变分布，且该构造依赖于无穷对称群特征的相容性。