[论文解读] Infinite geodesics, competition interfaces and the second class particle in the scaling limit

Mustazee Rahman, Bálint Virág|arXiv (Cornell University)|Dec 13, 2021

Stochastic processes and statistical mechanics被引用 7

一句话总结

本文建立了定向景观中无限测地线的存在性、唯一性及合并性质，该景观是KPZ普遍性类模型的通用标度极限。定义了源集之间的等距轨迹为竞争界面，并证明在KPZ标度下，TASEP中的二阶粒子收敛于此类界面，其渐近方向分布为卡方-5与正态变量的复数组合，确认了KPZ动力学中的普遍性与几何结构。

ABSTRACT

We establish fundamental properties of infinite geodesics and competition interfaces in the directed landscape. We construct infinite geodesics in the directed landscape, establish their uniqueness and coalescence, and define Busemann functions. We then define competition interfaces in the directed landscape. We prove the second class particle in tasep converges under KPZ scaling to a competition interface. Under suitable conditions, we show the competition interface has an asymptotic direction, analogous to the speed of a second class particle, and determine its law. Moreover, we prove the competition interface has an absolutely continuous law on compact sets with respect to infinite geodesics.

研究动机与目标

• 在定向景观中建立无限测地线的基础几何性质——存在性、唯一性及合并性。
• 将竞争界面定义为定向景观中两组不相交源集之间的等距轨迹，并加以分析。
• 证明在KPZ标度下，TASEP中的二阶粒子收敛于定向景观中的竞争界面。
• 确定竞争界面的渐近方向，并在不同初始条件下推导其精确概率分布。
• 证明竞争界面在紧集上的分布相对于无限测地线测度是绝对连续的。

提出的方法

• 利用布塞曼函数构造定向景观中的无限测地线，并通过耦合论证证明其唯一性与合并性。
• 将竞争界面定义为在定向景观中与两组不相交源集距离相等的点的集合，使用景观的上确界泛函。
• 利用最后通过时间渗流模型的KPZ标度极限，将离散的TASEP动力学与连续的定向景观联系起来。
• 应用重标化最后通过时间函数的收敛结果，证明粒子轨迹与界面的收敛性。
• 通过极值统计及布朗运动泛函的分布（包括卡方-5与正态变量）推导竞争界面的渐近方向。
• 通过紧区间上的耦合与紧致性论证，建立界面分布相对于测地线测度的绝对连续性。

实验结果

研究问题

• RQ1 定向景观中无限测地线的几何与概率性质为何，包括其唯一性与合并性？
• RQ2 在KPZ标度下，定向景观中的竞争界面与TASEP中二阶粒子的轨迹有何关系？
• RQ3 当源集为线段时，竞争界面的渐近方向的精确分布为何？
• RQ4 竞争界面在紧集上是否相对于无限测地线测度具有绝对连续分布？
• RQ5 二阶粒子的极限行为在KPZ普遍性类的不同模型中是否具有普遍性？

主要发现

• 当源点为(-1,0)与(1,0)时，定向景观中竞争界面的渐近方向几乎必然有定义，且服从均值为0、方差为1/4的正态分布。
• 当源集为[-1,1]×{0}时，渐近方向分布为(β₂−β₁)χ₅−N)/2，其中(β₁,β₂)为狄利克雷分布Dirichlet(1,1,2)，χ₅为卡方-5分布，N为标准正态分布，且三者相互独立。
• 在KPZ标度下，TASEP中的二阶粒子收敛于定向景观中的竞争界面，建立了粒子动力学与几何结构之间的直接联系。
• 竞争界面的分布相对于无限测地线测度在紧集上是绝对连续的，表明存在强烈的几何与概率关联。
• 通过耦合与紧致性论证，建立了重标化TASEP粒子轨迹收敛于定向景观的结果，误差界为O(ε^{1/2})。
• 本文确认了二阶粒子在KPZ模型中的标度极限具有普遍性，表明其与定向景观作为通用标度对象之间存在深层联系。