[论文解读] Stationary cocycles for the corner growth model

Nicos Georgiou, Firas Rassoul‐Agha+1 more|arXiv (Cornell University)|Apr 30, 2014

Random Matrices and Applications参考文献 23被引用 7

一句话总结

本文通过排队算子的不动点，为 Z² 上具有通用 i.i.d. 权重的定向最后通过时序模型构造了平稳协循环。这些协循环作为平稳最后通过时序的边界条件，可用来推导极限形状的变分公式，并得出关于 Busemann 函数、测地线及竞争界面的新结果，拓展了精确可解模型的理论范围。

ABSTRACT

We study the directed last-passage percolation model on the planar integer lattice with nearest-neighbor steps and general i.i.d. weights on the vertices, outside the class of exactly solvable models. Stationary cocycles are constructed for this percolation model from queueing fixed points. These cocycles serve as boundary conditions for stationary last-passage percolation, define solutions to variational formulas that characterize limit shapes, and yield new results for Busemann functions, geodesics and the competition interface.

研究动机与目标

• 将平稳最后通过时序理论从精确可解模型推广至具有 i.i.d. 权重的一般情形。
• 利用排队算子的不动点，为角生长模型构造平稳协循环。
• 利用这些协循环通过变分公式刻画极限形状。
• 推导关于 Busemann 函数、方向性测地线及竞争界面的新结果。
• 基于协循环框架，建立测地线的收敛性与共聚性质。

提出的方法

• 从排队算子的不动点构造平稳协循环，利用 Mairesse 和 Prabhakar 关于此类不动点存在的结果。
• 运用凸对偶性，将协循环构造与极限形状的变分公式联系起来。
• 应用遍历理论与耦合论证，建立梯度与 Busemann 函数的收敛性。
• 采用类似重整化的方法，结合 dyadic 区间控制波动，并证明几乎必然收敛。
• 通过与 i.i.d. 权重过程及泊松时钟的耦合，模拟协循环构造的马尔可夫过程类比。
• 应用切比雪夫不等式与矩界，控制格点块上加权和的尾部行为。

实验结果

研究问题

• RQ1 如何系统地为角生长模型中的一般 i.i.d. 权重构造平稳协循环？
• RQ2 排队不动点在生成最后通过时序的平稳协循环中起什么作用？
• RQ3 这些协循环如何通过变分公式实现极限形状的刻画？
• RQ4 它们为 Busemann 函数与测地线的结构提供了哪些新见解？
• RQ5 基于协循环的测地线如何共聚？这对竞争界面意味着什么？

主要发现

• 通过排队算子的不动点，为具有下界且满足矩条件的一般 i.i.d. 权重的角生长模型构造了平稳协循环。
• 协循环作为平稳最后通过时序的边界条件，用于求解极限形状的变分公式。
• 证明了 Busemann 函数可作为测地线方向梯度的几乎必然极限，其收敛性通过协循环耦合建立。
• 利用协循环框架刻画了方向性测地线，并在平稳测度下证明了来自不同起点的测地线共聚。
• 通过协循环结构分析了竞争界面，揭示了其渐近行为及其与测地线共聚的关系。
• 本文证明，在适当的矩界下，最后通过时间的缩放波动在期望意义下收敛于零。