[论文解读] sl(2) Operators and Markov Processes on Branching Graphs

Leonid Petrov|arXiv (Cornell University)|Nov 15, 2011

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

一句话总结

本文提出了一种基于 $ \mathfrak{sl}(2,\mathbb{C}) $-模结构的分枝图上马尔可夫动力学的统一框架，实现了相干概率测度的构造以及两类马尔可夫过程的构建。关键贡献在于通过与梅克西纳对称函数相关的特征函数，显式对其中一类过程的生成元进行对角化，从而恢复并重新证明了博罗丁与奥尔申斯基关于 $ z $-测度和动力学的结果。

ABSTRACT

We present a unified approach to various examples of Markov dynamics on partitions studied by Borodin, Olshanski, Fulman, and the author. Our technique generalizes the Kerov's operators first appeared in [Okounkov, arXiv:math/0002135], and also stems from the study of duality of graded graphs in [Fomin, 1994]. Our main object is a countable branching graph carrying an sl(2,C)-module of a special kind. Using this structure, we introduce distinguished probability measures on the floors of the graph, and define two related types of Markov dynamics associated with these measures. We study spectral properties of the dynamics, and our main result is the explicit description of eigenfunctions of the Markov generator of one of the processes. For the Young graph our approach reconstructs the z-measures on partitions and the associated dynamics studied by Borodin and Olshanski [arXiv:math-ph/0409075, arXiv:0706.1034]. The generator of the dynamics of [arXiv:math-ph/0409075] is diagonal in the basis of the Meixner symmetric functions introduced recently by Olshanski [arXiv:1009.2037, arXiv:1103.5848]. We give new proofs to some of the results of these two papers. Other graphs to which our technique is applicable include the Pascal triangle, the Kingman graph (with the two-parameter Poisson-Dirichlet measures), the Schur graph and the general Young graph with Jack edge multiplicities.

研究动机与目标

• 统一博罗丁、奥尔申斯基、富尔曼及作者所研究的分划与分枝图上各类马尔可夫动力学的实例。
• 推广凯罗夫算子，并将格图的对偶框架推广至构造一致的测度系统。
• 在具有 $\mathfrak{sl}(2,\mathbb{C})$-模结构的分枝图上，定义两类马尔可夫过程——上下链过程与跳跃动力学。
• 对马尔可夫生成元进行谱分析，特别是通过正交特征函数对其中一类实现对角化。
• 通过新的代数-几何方法，重构并重新证明关于分划上的 $ z $-测度及其相关动力学的结果。

提出的方法

• 通过作用于图上 $ \ell^2 $-函数的算子 $ \mathsf{U} $、$ \mathsf{D} $ 和 $ \mathsf{H} $，构造一个可数的分枝图，并赋予其 $ \mathfrak{sl}(2,\mathbb{C}) $-模结构。
• 利用 $ \mathsf{U}^n $ 和 $ \mathsf{D}^n $ 在真空态向量上的矩阵元，定义图各层级上的一致概率测度系统。
• 引入两类马尔可夫过程：基于 $ \mathfrak{sl}(2) $-作用导出的转移概率的上下链过程，以及通过混合测度定义的跳跃动力学。
• 利用相对维数函数与边重数的自对偶性，确保谱性质与测度的一致性。
• 通过 $ \mathfrak{sl}(2) $-表示理论显式构造特征函数，实现对跳跃动力学生成元的对角化。
• 将该形式化方法应用于具体图：杨图、帕斯卡三角形、金曼图、舒尔图及根树，恢复已知测度与动力学。

实验结果

研究问题

• RQ1 如何基于 $ \mathfrak{sl}(2,\mathbb{C}) $-模的统一代数框架，描述分枝图上的马尔可夫动力学？
• RQ2 此类图上跳跃型马尔可夫动力学的生成元的谱结构是什么？
• RQ3 生成元的特征函数如何与已知的对称函数（如梅克西纳对称函数）相关联？
• RQ4 能否从该形式化中重构分划上的 $ z $-测度及其相关动力学？
• RQ5 为何该框架不适用于三维杨图（平面分拆），以及何种替代代数结构可能适用？

主要发现

• 在无标签根树图上，跳跃型马尔可夫动力学的生成元被显式对角化，其特征函数构成 $ \ell^2(\mathbb{T}, M_\xi) $ 中的正交基。
• 在杨图上，该形式化重构了 $ z $-测度 $ M_n^{zz'} $ 及博罗丁与奥尔申斯基的动力学，且生成元在梅克西纳对称函数基下可对角化。
• 通过 $ \mathfrak{sl}(2,\mathbb{C}) $-模作用推导出的命题 6.3，完整描述了树图 $ \mathbb{T} $ 上下链的谱结构。
• 根树上跳跃动力学的混合测度为 $ (1 - \xi)^2 (n+1) \xi^n $，该表达式自然源于 $ \mathfrak{sl}(2) $ 参数 $ \mathsf{t} = 2 $。
• 该框架适用于金曼图，导出两参数的泊松-狄利克雷测度作为一致测度系统；也适用于具有杰克边重数的舒尔图。
• 该方法基于表示论原理，为博罗丁与奥尔申斯基关于 $ z $-测度及其相关核函数的结果提供了新证明。