[论文解读] Markov processes of infinitely many nonintersecting random walks

Alexei Borodin, Vadim Gorin|arXiv (Cornell University)|Jun 7, 2011

Random Matrices and Applications参考文献 24被引用 9

一句话总结

该论文将 $N$ 个非相交的随机游走通过 $q$-Vandermonde 衍生的条件化构造为无限维 Feller 马尔可夫过程的标度极限。利用 Gelfand-Tsetlin 图架上的 $q$-Gibbs 测度，证明了极限过程具有显式核的行列式相关函数，并建立了 Feller 性质以及具有粒子依赖速率的 PushASEP 的渐近性质。

ABSTRACT

Consider an N-dimensional Markov chain obtained from N one-dimensional random walks by Doob h-transform with the q-Vandermonde determinant. We prove that as N becomes large, these Markov chains converge to an infinite-dimensional Feller Markov process. The dynamical correlation functions of the limit process are determinantal with an explicit correlation kernel. The key idea is to identify random point processes on Z with q-Gibbs measures on Gelfand-Tsetlin schemes and construct Markov processes on the latter space. Independently, we analyze the large time behavior of PushASEP with finitely many particles and particle-dependent jump rates (it arises as a marginal of our dynamics on Gelfand-Tsetlin schemes). The asymptotics is given by a product of a marginal of the GUE-minor process and geometric distributions.

研究动机与目标

• 建立当 $N \to \infty$ 时，$N$ 个非相交随机游走的无限维 Feller 马尔可夫过程的极限存在性。
• 证明极限过程的动态相关函数为行列式形式，并具有显式相关核。
• 将极限过程与 Gelfand-Tsetlin 图架上的 $q$-Gibbs 测度联系起来，并利用此关系证明 Feller 性质。
• 推导具有粒子依赖跳跃速率的 PushASEP 的长时间渐近行为，将其与 GUE-子矩阵过程及几何分布联系起来。
• 证明在 $q$-Vandermonde 条件化下，马尔可夫性质在无限粒子极限中得以保持。

提出的方法

• 使用 Doob $h$-变换与 $q$-Vandermonde 衍生式，将 $N$ 个独立的泊松过程条件化为非相交路径。
• 将 $\mathbb{Z}$ 上的随机点过程与 Gelfand-Tsetlin 图架上的 $q$-Gibbs 测度相联系，以在无限维空间上构造一致的动力学。
• 应用一般收敛定理，证明有限 $N$ 的马尔可夫链收敛于无限点配置空间上的 Feller 过程。
• 利用留数计算与涉及 $F_{k,l}(x_l - y_k)$ 的矩阵行列式恒等式，显式构造极限过程的相关核。
• 对矩阵 $[F_{k,l}(x_l - y_k)]$ 进行行与列变换，以分离增长项并渐近地因式分解行列式。
• 通过将 PushASEP 的长时间行为与 Gelfand-Tsetlin 图架上的边缘动力学联系起来，分析具有粒子依赖速率的 PushASEP 的渐近行为，得到包含 GUE-子矩阵过程与几何分布的乘积形式渐近解。

实验结果

研究问题

• RQ1 在通过 $q$-Vandermonde 衍生式条件化的非相交随机游走的无限粒子极限中，马尔可夫性质是否能够保持？
• RQ2 极限无限维马尔可夫过程的结构是什么？它是否允许具有右连左极样本路径的 Feller 改造？
• RQ3 极限过程的动态相关函数的行为如何？它们能否表示为具有显式核的行列式点过程？
• RQ4 具有粒子依赖跳跃速率的 PushASEP 的长时间渐近行为是什么？它与 GUE-子矩阵过程有何关联？
• RQ5 Gelfand-Tsetlin 图架上的 $q$-Gibbs 测度框架能否统一有限与无限非相交路径系统的分析？

主要发现

• 极限过程 $\mathfrak{X}(t)$ 是定义在 $\mathbb{Z}_{\geq 0}$ 上无限点配置空间上的 Feller 马尔可夫过程，具有右连左极样本路径，且初始条件来自紧密堆积构型。
• 极限过程 $\mathfrak{X}(t)$ 的动态相关函数为行列式形式，其显式相关核由留数计算与矩阵变换导出。
• 具有粒子依赖速率的 PushASEP 的渐近行为由 GUE-子矩阵过程与几何分布的乘积给出，该结果源于 Gelfand-Tsetlin 图架上的边缘动力学。
• 转移核的行列式渐近地分解为指数项的乘积与一个子矩阵行列式的乘积，后者捕捉了高斯型体密度行为。
• 有限 $N$ 过程向无限维极限的收敛性在不进行缩放的情况下得以建立，其依赖于 $q$-Vandermonde 条件化与 $q$-Gibbs 结构。
• 通过分析 Gelfand-Tsetlin 图架的扩展边界，并在该边界上构造过程的连续修正，证明了 Feller 性质。