Bulk properties of the Airy line ensemble

Abstract

The Airy line ensemble is a central object in random matrix theory and last passage percolation defined by a determinantal formula. The goal of this paper is to provide a set of tools which allow for precise probabilistic analysis of the Airy line ensemble. The two main theorems are a representation in terms of independent Brownian bridges connecting a fine grid of points, and a modulus of continuity result for all lines. Along the way, we give tail bounds and moduli of continuity for nonintersecting Brownian ensembles, and a quick proof of tightness for Dyson's Brownian motion converging to the Airy line ensemble.

43 pages, 4 figures. The title has changed from the previous version (to `Bulk properties...' from `Basic properties...'). Journal version available at https://projecteuclid.org/journals/annals-of-probability/volume-49/issue-4