A convergence framework for Airy$_\beta$ line ensemble via pole evolution

This paper establishes a convergence framework for the Airy$_\beta$ line ensemble based on the pole evolution of meromorphic functions satisfying stochastic differential equations, which is then used to prove the universality of this ensemble as the edge scaling limit for various continuous-time processes including Dyson Brownian motions, Laguerre, and Jacobi processes.

The Gist

The Big Picture: Predicting the Edge of Chaos

Imagine you have a massive crowd of people (particles) moving around, bumping into each other, and trying to avoid getting too close. In the world of mathematics and physics, this is called a random system.

For a long time, mathematicians have known how to predict the behavior of the very edge of this crowd (the people at the very front or back) when the crowd is small or follows very specific, simple rules. This behavior is described by something called the Tracy-Widom distribution. It's like knowing the exact shape of the front line of a marching band.

However, when the crowd gets huge (infinite) and the rules get complicated (involving a parameter called $\beta$ which changes how much the people repel each other), things get messy. We knew the edge behavior existed, but we didn't have a good way to prove that different types of crowds would all end up looking the same at the edge.

This paper introduces a new, clever way to prove that many different complex systems all converge to the same "edge shape," which the authors call the Airy$\beta$ Line Ensemble.

The Main Character: The "Line Ensemble"

Think of the Airy$\beta$ Line Ensemble not as a single line, but as an infinite stack of rubber bands or guitar strings, all stacked on top of each other.

• They are ordered: The top string is always above the second, the second above the third, and so on.
• They wiggle randomly over time.
• The top string represents the "Tracy-Widom" behavior we already knew about.
• The whole stack represents the complex, universal structure of the edge of these random systems.

The Problem: The "Traffic Jam" at the Edge

To prove that a random system (like a crowd of particles) turns into this stack of rubber bands, mathematicians usually try to track every single particle.

• The Old Way: Imagine trying to track every car in a traffic jam. As cars get closer, they repel each other fiercely. If two cars get too close, the math "blows up" (it becomes infinite). This makes it incredibly hard to prove what happens when you have an infinite number of cars.
• The Difficulty: For some types of crowds (where $\beta < 1$), the cars might even crash into each other. Tracking them directly is a nightmare.

The Solution: The "Shadow" Method (Pole Evolution)

Instead of chasing the cars (the particles) directly, the authors decided to watch the shadows they cast.

In mathematics, there is a tool called the Stieltjes transform. You can think of this as a special camera lens that looks at the crowd of particles and produces a single, smooth, wiggly curve (a function).

• The Magic: The "poles" (the points where this curve shoots up to infinity) of this curve correspond exactly to the locations of the particles.
• The Analogy: Instead of trying to track the chaotic movement of 1,000 individual dancers, you watch the movement of the single spotlight beam they cast on the wall. If you know how the spotlight moves, you know exactly where the dancers are.

The authors discovered that this "shadow curve" follows a much simpler set of rules (a Stochastic Differential Equation) than the individual particles do. Even if the particles crash, the shadow curve remains smooth and well-behaved.

The Three-Step Framework

The paper builds a framework to prove convergence using this "shadow" method:

1. Check the Starting Position: First, they check if the "shadow" of the system looks a bit like the target "Airy" shape at the beginning. They call this being "Airy-like." It's like checking if the dancers are roughly in the right formation before the music starts.
2. Watch the Shadow Move: They prove that if the shadow follows a specific set of rules (the SDE mentioned above), it will naturally evolve into the perfect Airy$\beta$ stack of rubber bands. They show that the "shadow" is rigid enough to stay in the right shape and smooth enough to not break.
3. The "Mixing" Trick (Uniqueness): This is the most creative part. They imagine running two different systems side-by-side, but forcing them to use the same "random noise" (like giving two different crowds the same wind to push them). They prove that no matter where they start, if you run them long enough, the two systems will eventually squeeze together and become identical. This proves that the Airy$\beta$ shape is the only possible outcome.

What Did They Prove?

Using this "shadow" framework, the authors successfully proved that several different complex systems all evolve into the Airy$\beta$ Line Ensemble at their edges. These include:

• Dyson Brownian Motion: Particles moving with a general "push" or potential (not just the standard simple push).
• Laguerre and Jacobi Processes: Other types of random matrix systems used in statistics and physics.

Why is this a big deal?
Previously, proving this required complex algebraic formulas that only worked for specific, simple cases (like $\beta = 1, 2, 4$). For more complex cases, or for systems with different "pushes," the old formulas didn't exist. This new "shadow" method works for any $\beta$ and many different types of systems, providing a universal key to unlock the behavior of the edge of random chaos.

Summary

The authors stopped trying to count every individual particle in a chaotic crowd. Instead, they invented a way to watch the "shadow" of the crowd. They proved that this shadow follows simple rules that inevitably lead to a specific, beautiful, universal shape (the Airy$\beta$ Line Ensemble), regardless of how the crowd started or how complex the rules were. This solves a long-standing mystery about how random systems behave at their edges.

Technical Summary

Technical Summary: A Convergence Framework for Airy$\beta$ Line Ensemble via Pole Evolution

1. Problem Statement and Motivation

The Airy$\beta$ line ensemble (ALE$\beta$) is an infinite sequence of ordered random curves $\{A^\beta_i(t)\}_{i \in \mathbb{N}, t \in \mathbb{R}}$ that serves as the universal edge scaling limit for a wide class of models in random matrix theory and statistical mechanics. It generalizes the Tracy-Widom$\beta$ distributions (which describe the fluctuations of the largest eigenvalue) to a dynamic, multi-curve setting. While the case $\beta=2$ (corresponding to the Airy line ensemble, ALE) is well-understood due to its determinantal structure and the Brownian Gibbs property, the general $\beta > 0$ case has remained elusive.

The primary challenges in studying ALE$\beta$ for general $\beta$ include:

• Lack of Algebraic Structure: Unlike $\beta=2$, general $\beta$ ensembles lack determinantal or Pfaffian structures, making explicit formulas for correlation functions or Laplace transforms difficult to obtain.
• Singularities in Dynamics: Characterizing ALE$\beta$ via infinite-dimensional Dyson Brownian Motion (DBM) is technically obstructed by particle collisions and the singularity of the repulsive drift term $1/(\lambda_i - \lambda_j)$, particularly when $\beta < 1$.
• Uniqueness and Convergence: Establishing that various interacting particle systems converge to ALE$\beta$ requires a robust characterization that uniquely identifies the limit, which has been difficult without the Brownian Gibbs property.

This paper aims to provide a new framework for proving convergence to ALE$\beta$ and to characterize the ensemble itself through the evolution of the poles of meromorphic functions, circumventing the difficulties associated with direct particle analysis.

2. Methodology: Pole Evolution and Stieltjes Transforms

The authors introduce a novel characterization of ALE$\beta$ based on the Stieltjes transform (or more precisely, the Nevanlinna function) associated with the particle configuration.

2.1. The Characterization Framework

Instead of tracking particles $\lambda_i(t)$ directly, the paper tracks the function:
$$Y_t(w) = \sum_{i=1}^\infty \left( \frac{1}{x_i(t) - w} - \frac{1}{a_i} \right) - \frac{\text{Ai}'(0)}{\text{Ai}(0)}$$
where $x_i(t)$ are the particle positions (poles of $Y_t$) and $a_i$ are the zeros of the Airy function. The function $Y_t(w)$ is a particle-generated Nevanlinna function (holomorphic on the upper half-plane with poles on the real line).

The core of the methodology relies on two assumptions:

1. Airy-like Asymptotics (Assumption 1.9): The function $Y_t$ behaves like $\sqrt{w}$ at infinity, with poles staying close to the Airy zeros $a_i$ uniformly in time.
2. Stochastic Differential Equation (Assumption 1.10): The evolution of $Y_t(w)$ satisfies a specific function-valued SDE:
   $$dY_t(w) = dM_t(w) + \left( \frac{2-\beta}{2\beta} \partial_w^2 Y_t(w) + \frac{1}{2} \partial_w (Y_t(w)^2) - \frac{1}{2} \right) dt$$
   where $M_t$ is a continuous martingale with a specific quadratic variation structure derived from the interaction of particles.

2.2. Key Technical Innovations

• Circumventing Collisions: By working with the meromorphic function $Y_t$, the framework avoids the singularities that arise when particles collide in the direct DBM formulation. The SDE for $Y_t$ remains well-defined even when poles coincide.
• Reconstruction of DBM: The authors prove that the pole dynamics of $Y_t$ can be reconstructed to satisfy a finite-dimensional DBM with a random drift (representing the influence of the remaining infinite particles). This is achieved using contour integrals and establishing that collisions occur with measure zero.
• Coupling and Uniqueness: To prove uniqueness in law, the authors construct a coupling of two solutions to the SDE. By showing that the poles of the two solutions get closer over time (using a "sandwiching" argument with affine shifts), they demonstrate that any two solutions starting from $-\infty$ must coincide in law.

3. Key Contributions and Results

3.1. Uniqueness and Characterization (Theorem 1.15)

The paper establishes that the Airy$\beta$ line ensemble is the unique solution to the pole evolution SDE (Assumption 1.10) that satisfies the Airy-like asymptotic condition (Assumption 1.9). This provides a rigorous definition of ALE$\beta$ for all $\beta > 0$ without relying on explicit formulas.

3.2. Convergence Theorems (Theorem 1.16 and 7.2)

Using the characterization framework, the authors prove the universality of ALE$\beta$ as the edge scaling limit for:

• Stationary Dyson Brownian Motion (DBM) with general analytic potentials (beyond the quadratic Gaussian case).
• Stationary Laguerre processes.
• Stationary Jacobi processes.

These results hold for any $\beta > 0$. Notably, the convergence for $\beta=1$ and $\beta=4$ in these general settings (Laguerre and Jacobi) was previously unknown.

3.3. Regularity and Collision Properties

• Hölder Regularity: The paper proves that the lines of ALE$\beta$ are Hölder continuous with exponent $1/2$ for any $\beta > 0$.
• Collision Measure: For $\beta \in (0, 1)$, while collisions between adjacent lines are anticipated, the authors prove that the set of times where collisions occur has Lebesgue measure zero almost surely.

4. Significance and Claims

The paper claims to provide a general and robust framework for establishing the universality of the Airy$\beta$ line ensemble. Its significance lies in:

1. Overcoming Algebraic Limitations: By shifting the focus from particle coordinates to the Stieltjes transform (Nevanlinna function), the method bypasses the need for determinantal structures, making it applicable to general $\beta$.
2. Solving the Uniqueness Problem: It resolves the issue of non-uniqueness in infinite-dimensional DBM formulations by characterizing the limit via the pole dynamics of a function-valued SDE, which is well-posed even in the presence of potential singularities.
3. Expanding Universality: It extends the known universality of ALE$\beta$ to a broader class of models, including DBM with general potentials and classical ensembles (Laguerre/Jacobi) for all $\beta > 0$.
4. New Analytical Tools: The techniques developed, such as the propagation of "Airy-zero approximation" and the coupling of pole dynamics via contour integration, offer new tools for studying interacting particle systems in the KPZ universality class.

The authors explicitly state that their framework is designed to be applicable to many other models where the Tracy-Widom$\beta$ limits were previously unknown, though the specific tightness proofs for those additional models are left as future work. The paper does not claim to solve the full KPZ universality for all models but provides the necessary convergence machinery for the edge limits of the specified continuous-time processes.