[论文解读] Nonintersecting Paths, Noncolliding Diffusion Processes and Representation Theory

Makoto Katori, Hideki Tanemura|ArXiv.org|Jan 14, 2005

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

一句话总结

本文通过半标准杨表和舒尔函数，建立了非相交随机游走（恶人游走）、非碰撞布朗运动与表示论之间的深刻联系。通过非相交格路与杨表之间的双射，作者利用舒尔函数推导出恶人游走配分函数的行列式公式，并证明其扩散标度极限即为迪森的布朗运动，其分布等价于赫米特矩阵值扩散过程的特征值过程。

ABSTRACT

The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.

研究动机与目标

• 建立非相交格路（恶人游走）与半标准杨表（SSYT）之间的双射。
• 利用舒尔函数推导恶人游走配分函数的行列式表达式。
• 证明恶人游走的扩散标度极限产生非碰撞的布朗运动系统。
• 将所得的非碰撞布朗运动识别为迪森的布朗运动模型。
• 证明非碰撞布朗运动与赫米特矩阵值扩散过程的特征值过程在分布上等价。

提出的方法

• 通过统计向左移动的步数并按时间标记，建立N元非相交格路与半标准杨表（SSYT）之间的双射。
• 利用每个游走者向左移动的步数定义杨图的形状，从而确定杨表的形状。
• 应用舒尔函数理论，将恶人游走模型的配分函数表达为行列式。
• 利用舒尔函数的对称性与正交性性质，推导扩散标度极限。
• 取离散恶人游走模型的连续极限，得到受反距离排斥力驱动的由SDE控制的随机过程。
• 证明所得SDE与迪森的布朗运动模型一致，并且在分布上等价于赫米特矩阵值伊藤过程的特征值过程。

实验结果

研究问题

• RQ1 如何系统地将恶人游走模型中的非相交格路映射到半标准杨表？
• RQ2 舒尔函数在表达恶人游走模型配分函数中的作用是什么？
• RQ3 恶人游走模型的标度极限是什么？它与非碰撞扩散过程有何关系？
• RQ4 所得的非碰撞布朗运动与迪森的布朗运动模型有何关联？
• RQ5 非碰撞布朗运动过程是否在分布上等价于赫米特矩阵值扩散过程的特征值过程？

主要发现

• 非相交格路的N个恶人游走与半标准杨表（SSYT）之间存在双射关系，每个游走者向左移动的步数决定了列的长度。
• 恶人游走模型的配分函数可表示为舒尔函数，通过林斯特罗姆–盖塞尔–维安诺特引理提供行列式公式。
• 恶人游走模型的扩散标度极限产生受SDE控制的非碰撞布朗运动系统，漂移项与粒子间距离成反比。
• 该非碰撞布朗运动被识别为迪森的布朗运动模型，其有限维分布与赫米特矩阵值扩散过程的特征值过程相同。
• 非碰撞布朗运动的SDE由矩阵伊藤微积分导出，漂移项源于特征值排斥力。
• 矩阵过程的有限变差部分与二次变差部分被显式分解，证实了SDE推导的一致性，并与特征值过程等价。