[论文解读] Anisotropic Young diagrams and infinite-dimensional diffusion processes with the Jack parameter

Grigori Olshanski|arXiv (Cornell University)|Feb 19, 2009

Random Matrices and Applications参考文献 32被引用 15

一句话总结

本文通过使用具有杰克边多重性的杨图上的上下链，基于杰克参数 θ 和两个附加参数 z, z′，在托马单纯形上构造了一类无穷维马尔可夫扩散过程。这些过程是遍历的，具有显式的平稳分布（z-测度），其生成元具有纯离散谱；当 θ=1 时，它们恢复了博罗丁-奥尔申斯基过程，而在 θ→0 极限下，它们退化为种群遗传学中的埃蒂尔-柯茨扩散。

ABSTRACT

We construct a family of Markov processes with continuous sample trajectories on an infinite-dimensional space, the Thoma simplex. The family depends on three continuous parameters, one of which, the Jack parameter, is similar to the beta parameter in random matrix theory. The processes arise in a scaling limit transition from certain finite Markov chains, the so called up-down chains on the Young graph with the Jack edge multiplicities. Each of the limit Markov processes is ergodic and its stationary distribution is a symmetrizing measure. The infinitesimal generators of the processes are explicitly computed; viewed as selfadjoint operators in the L^2 spaces over the symmetrizing measures, the generators have purely discrete spectrum which is explicitly described. For the special value 1 of the Jack parameter, the limit Markov processes coincide with those of the recent work by Borodin and the author (Prob. Theory Rel. Fields 144 (2009), 281--318; arXiv:0706.1034). In the limit as the Jack parameter goes to 0, our family of processes degenerates to the one-parameter family of diffusions on the Kingman simplex studied long ago by Ethier and Kurtz in connection with some models of population genetics. The techniques of the paper are essentially algebraic. The main computations are performed in the algebra of shifted symmetric functions with the Jack parameter and rely on the concept of anisotropic Young diagrams due to Kerov.

研究动机与目标

• 通过杨图上有限上下链的标度极限，在无穷维托马单纯形上构造连续时间马尔可夫过程。
• 引入杰克参数 θ 作为类比于随机矩阵理论中 β 的推广参数，实现不同随机模型之间的插值。
• 通过移位对称函数中的代数技术，建立所得到扩散过程的遍历性和显式谱性质。
• 统一并推广已知结果：在 θ=1 时恢复博罗丁-奥尔申斯基过程，在 θ→0 时恢复埃蒂尔-柯茨扩散。
• 使用各向异性杨图和克罗夫的交错坐标，建立严格的代数框架，避免依赖分析性 Dirichlet 形式方法。

提出的方法

• 使用由杰克对称函数定义、以 θ 为参数的边多重性的杨图上的上下马尔可夫链。
• 运用移位对称函数和代数 $\Lambda^\circ$ 来建模矩坐标和转移概率。
• 定义作用于 θ-正则函数上的预生成元算子 $D$ 和 $U$，通过次数分解进行谱分析。
• 应用算子半群逼近定理，从有限维链构造极限马尔可夫过程。
• 使用克罗夫交错坐标表达转移概率，并将动力学与托马单纯形联系起来。
• 显式计算无穷小生成元 $A$ 为一个系数与 θ, z, z′ 无关的二阶微分算子，从而实现谱分析。

实验结果

研究问题

• RQ1 如何通过有限上下链的标度极限，在托马单纯形上严格构造无穷维扩散过程？
• RQ2 杰克参数 θ 在对数气体型系统与种群遗传学模型之间插值中起什么作用？
• RQ3 无穷小生成元的谱性质如何与 z-测度和移位对称函数的结构相关联？
• RQ4 是否可以不依赖分析性 Dirichlet 形式或位势理论，仅通过代数方法构造极限过程？
• RQ5 当 θ→0 时，动力学行为如何变化，它与埃蒂尔-柯茨扩散有何关联？

主要发现

• 所构造的马尔可夫过程是遍历的，具有唯一的平稳分布，即 z-测度 $M_{\theta,z,z^\prime}$，该测度同时也是对称化测度。
• 过程的无穷小生成元 $A$ 是一个系数与参数 $\theta, z, z^\prime$ 无关的二阶微分算子，作用于 θ-正则函数代数上。
• 生成元 $A$ 具有纯离散谱，其谱可显式地用 $p^\circ_k$ 变量的单项式关联的本征值描述。
• 当 $\theta = 1$ 时，所得扩散与博罗丁和奥尔申斯基于 2009 年构造的过程一致，验证了与先前工作的相容性。
• 在 $\theta \to 0$ 的极限下，经适当的 $z, z^\prime$ 重标度，过程退化为基尔曼单纯形上的埃蒂尔-柯茨扩散，从而与经典种群遗传学模型相联系。
• 向两参数佩特罗夫推广的狄利克雷-泊松分布的极限过渡在形式上是有效的，但要求在预极限中允许复数或负的转移概率，因此对 $\alpha \neq 0$ 仅为形式上的。