[论文解读] Disjoint optimizers and the directed landscape

Duncan Dauvergne, Lingfu Zhang|arXiv (Cornell University)|Feb 1, 2021

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

一句话总结

本文证明了在KPZ universality类中last passage percolation模型的通用缩放极限——有向景观（directed landscape）中，存在不相交的最优路径（即最大长度的不相交路径集合）。通过从抛物线Airy线统一样本导出的独立扩展Airy片（extended Airy sheets）构造了扩展有向景观，证明了不相交最优路径及其缩放极限自然地源自布朗运动last passage percolation，其应用包括RSK对应关系与测地线不相交性判据。

ABSTRACT

We study maximal length collections of disjoint paths, or 'disjoint optimizers', in the directed landscape. We show that disjoint optimizers always exist, and that their lengths can be used to construct an extended directed landscape. The extended directed landscape can be built from an independent collection of extended Airy sheets, which we define from the parabolic Airy line ensemble. We show that the extended directed landscape and disjoint optimizers are scaling limits of the corresponding objects in Brownian last passage percolation (LPP). As two consequences of this work, we show that one direction of the Robinson-Schensted-Knuth bijection passes to the KPZ limit, and we find a criterion for geodesic disjointness in the directed landscape that uses only a single parabolic Airy line ensemble. The proofs rely on a new notion of multi-point LPP across the parabolic Airy line ensemble, combinatorial properties of multi-point LPP, and probabilistic resampling ideas.

研究动机与目标

• 在有向景观中建立最大长度不相交路径集合（不相交最优路径）存在的证明。
• 利用从抛物线Airy线统一样本导出的独立扩展Airy片，构造扩展有向景观。
• 证明多点布朗运动last passage percolation的缩放极限等价于带有不相交最优路径的扩展有向景观。
• 证明Robinson-Schensted-Knuth（RSK）双射的一方向在KPZ极限下保持成立。
• 仅使用单个抛物线Airy线统一样本，提供有向景观中测地线不相交性的判据。

提出的方法

• 引入了在抛物线Airy线统一样本上进行多点last passage percolation的新概念。
• 利用多点LPP的组合性质与概率重抽样技术分析路径行为。
• 将扩展Airy片定义为在抛物线Airy线统一样本上多点LPP的极限。
• 从独立的扩展Airy片副本构造扩展有向景观。
• 应用紧致性与收敛性论证，证明布朗运动LPP中的最优路径收敛于有向景观中的不相交最优路径。
• 采用Hausdorff度量与一致收敛性，建立缩放路径在极限下的收敛性。

Figure 1: First passage percolation on $\mathbb{Z}^{2}$ with i.i.d. edge weights equal to $1$ or $2$ with equal probability. This model is expected to lie in the KPZ universality class. The red path is a geodesic and here the weighted graph is drawn using a spring electrical embedding (Mathematica).

实验结果

研究问题

• RQ1 在有向景观中是否存在不相交最优路径——即非相交的最大长度路径集合？
• RQ2 能否从从抛物线Airy线统一样本导出的独立扩展Airy片构造扩展有向景观？
• RQ3 多点布朗运动last passage percolation的缩放极限是否等价于带有不相交最优路径的扩展有向景观？
• RQ4 RSK对应关系的一方向极限是否在KPZ universality类中保持成立？
• RQ5 能否仅使用单个抛物线Airy线统一样本确定有向景观中测地线的不相交性？

主要发现

• 不相交最优路径在有向景观中几乎必然存在，且为布朗运动last passage percolation中最优路径的缩放极限。
• 扩展有向景观由独立的扩展Airy片副本构造而成，这些扩展Airy片源自抛物线Airy线统一样本。
• 多点布朗运动last passage percolation的缩放极限收敛于扩展有向景观，其中不相交最优路径作为“甜瓜最优路径”（melon optimizers）的极限出现。
• RSK对应关系的一方向极限在KPZ极限下保持不变，通过最优路径收敛性得以证明。
• 仅使用单个抛物线Airy线统一样本，即建立了有向景观中测地线不相交性的判据，无需依赖多个样本实现。
• 来自布朗运动LPP的缩放路径以一致方式收敛于有向景观中的测地线，且其图像在Hausdorff度量下收敛。

Figure 4: A parabolic path across the parabolic Airy line ensemble.