How shocks carve the map of instability in the KPZ fixed point
This paper describes the geometric picture of where uniqueness fails for a central random growth model, and how that picture is tied to sudden jumps called shocks. The authors study the KPZ fixed point, a universal limit that describes many one-dimensional random growth processes, and the random environment it lives in, the directed landscape. They show how shock lines and optimal paths in the landscape determine the set of space-time points where two distinct long-running solutions with the same average slope differ. The title’s ‘‘twenty networks’’ refers to the complete list the authors give of possible ways infinite optimal paths can meet and branch in this model.
The researchers work in the inviscid (zero-viscosity) setting of stochastic Hamilton–Jacobi equations, for which the KPZ fixed point is a degenerate example. They focus on two related structures. Instability points are places in space and time where two ‘‘eternal’’ solutions with the same asymptotic velocity take different values. Shocks are places where the velocity field jumps. Using the directed landscape’s variational description—where values are given by the best passage times of continuous paths—they analyze how geodesics (maximizing paths) and shock lines interact and how that interaction builds up the instability region.
At a high level their method studies the web of semi-infinite geodesics that start from every space-time point. These geodesics are the maximizers of the same variational formula that defines the directed landscape. By classifying all the ways such semi-infinite geodesics can meet and split, the authors obtain a full catalogue of allowed local configurations. They then link these configurations to shock trees of the two eternal solutions and show that those shock trees let one reconstruct a distinguished subset of the instability region. That subset, the authors call the ‘‘skeleton’’ of the instability graph, is the union of countably many boundaries of what they call stability islands, and its closure equals the full instability set.