Characterization of the directed landscape from the KPZ fixed point

TL;DR

This paper characterizes the directed landscape as the unique coupling of the KPZ fixed point with specific properties, unifying key objects in the KPZ universality class and providing a framework for convergence proofs across various models.

Contribution

It establishes the uniqueness of the directed landscape based on natural properties and introduces a general framework for proving convergence to it from the KPZ fixed point.

Findings

Proves the directed landscape is the unique coupling with certain properties.

Develops a framework for convergence to the directed landscape.

Applies the framework to multiple models, including ASEP, TASEP, and non-integrable processes.

Abstract

We show that the directed landscape is the unique coupling of the KPZ fixed point from all initial conditions satisfying three natural properties: independent increments, monotonicity, and shift commutativity. Equivalently, we show that the directed landscape is the unique directed metric on $\mathbb R^2$ with independent increments and KPZ fixed point marginals. This unifies the two central objects in the KPZ universality class. Our main theorem also provides a general framework for proving convergence to the directed landscape given convergence to the KPZ fixed point. We apply this framework to prove landscape convergence in a range of models: exotic couplings of ASEP and TASEP, the random walk and Brownian web distances, and a class of non-integrable asymmetric exclusion processes with the basic coupling that perturb off of TASEP (this final class requires random initial data). All of our convergence theorems are new except for colored TASEP, where we provide a short alternative proof.