Consider a sequence of Gibbsian line ensembles, whose lowest labeled curves (i.e., the edge) have tight one-point marginals. Then, given certain technical assumptions on the nature of the Gibbs property and underlying random walk measure, we prove that the entire spatial process of the edge is tight. We then apply this black-box theory to the log-gamma polymer Gibbsian line ensemble which we construct. The edge of this line ensemble is the transversal free energy process for the polymer, and our theorem implies tightness with the ubiquitous KPZ class $2/3$ exponent, as well as Brownian absolute continuity of all the subsequential limits.
A key technical innovation which fuels our general result is the construction of a continuous grand monotone coupling of Gibbsian line ensembles with respect to their boundary data (entrance and exit values, and bounding curves). {\em Continuous} means that the Gibbs measure varies continuously with respect to varying the boundary data, {\em grand} means that all uncountably many boundary data measures are coupled to the same probability space, and {\em monotone} means that raising the values of the boundary data likewise raises the associated measure. This result applies to a general class of Gibbsian line ensembles where the underlying random walk measure is discrete time, continuous valued and log-convex, and the interaction Hamiltonian is nearest neighbor and convex.
A Bernoulli Gibbsian line ensemble $\mathfrak{L} = (L_1, \dots, L_N)$ is the law of the trajectories of $N-1$ independent Bernoulli random walkers $L_1, \dots, L_{N-1}$ with possibly random initial and terminal locations that are conditioned to never cross each other or a given random up-right path $L_N$ (i.e. $L_1 \geq \cdots \geq L_N$). In this paper we investigate the asymptotic behavior of sequences of Bernoulli Gibbsian line ensembles $\mathfrak{L}^N = (L^N_1, \dots, L^N_N)$ when the number of walkers $N$ tends to infinity. We prove that if one has mild but uniform control of the one-poin…
A discrete Gibbsian line ensemble $\mathfrak{L} = (L_1,\dots,L_N)$ consists of $N$ independent random walks on the integers conditioned not to cross one another, i.e., $L_1 \geq \cdots \geq L_N$. In this paper we provide sufficient conditions for convergence of a sequence of suitably scaled discrete Gibbsian line ensembles $f^N = (f_1^N,\dots,f_N^N)$ as the number of curves $N$ tends to infinity. Assuming log-concavity and a KMT-type coupling for the random walk jump distribution, we prove that under mild control of the one-point marginals of the top curves with a global parabolic shift, the f…
We consider the ASEP and the stochastic six vertex model started with step initial data. After a long time, $T$, it is known that the one-point height function fluctuations for these systems are of order $T^{1/3}$. We prove the KPZ prediction of $T^{2/3}$ scaling in space. Namely, we prove tightness (and Brownian absolute continuity of all subsequential limits) as $T$ goes to infinity of the height function with spatial coordinate scaled by $T^{2/3}$ and fluctuations scaled by $T^{1/3}$. The starting point for proving these results is a connection discovered recently by Borodin-Bufetov-Wheeler…
In this paper we show that a Brownian Gibbsian line ensemble is completely characterized by the finite-dimensional marginals of its top curve, i.e. the finite-dimensional sets of the its top curve form a separating class. A particular consequence of our result is that the Airy line ensemble is the unique Brownian Gibbsian line ensemble, whose top curve is the Airy$_2$ process.
In this paper we introduce a framework to prove tightness of a sequence of discrete Gibbsian line ensembles $\mathcal{L}^N = \{\mathcal{L}_k^N(x), k \in \mathbb{N}, x \in \frac{1}{N}\mathbb{Z}\}$, which is a collection of countable random curves. The sequence of discrete line ensembles $\mathcal{L}^N$ we consider enjoys a resampling invariance property, which we call $(H^N,H^{RW,N})$-Gibbs property. We also assume that $\mathcal{L}^N$ satisfies technical assumptions A1-A4 on $(H^N,H^{RW,N})$ and the assumption that the lowest labeled curve with a parabolic shift, $\mathcal{L}_1^N(x) + \frac{x^…
In this paper we show that an $H$-Brownian Gibbsian line ensemble is completely characterized by the finite-dimensional marginals of its lowest indexed curve for a large class of interaction Hamiltonians $H$. A particular consequence of our result is that the KPZ line ensemble is the unique line ensemble that satisfies the $H_1$-Brownian Gibbs property with $H_1(x) = e^x$ and whose lowest indexed curve is equal to the Hopf-Cole solution to the narrow wedge KPZ equation.
We develop a black-box theory, which can be used to show that a sequence of Gibbsian line ensembles is tight, provided that the one-point marginals of the lowest labeled curves of the ensembles are tight and globally approximate an inverted parabola. Our theory is applicable under certain technical assumptions on the nature of the Gibbs property and the underlying random walk measure. As a particular application of our general framework we show that a certain sequence of Gibbsian line ensembles, which naturally arises in the log-gamma polymer, is tight in the ubiquitous KPZ class $1/3: 2/3$ sc…
We prove tightness and limiting Brownian-Gibbs description for line ensembles of non-colliding Brownian bridges above a hard wall, which are subject to geometrically growing self-potentials of tilted area type. Statistical properties of the resulting ensemble are very different from that of non-colliding Brownian bridges without self-potentials. The model itself was introduced in order to mimic level lines of (2+1)-dimensional discrete Solid-On-Solid random interfaces above a hard wall.
We consider Canonical Gibbsian ensembles of Euler point vortices on the 2-dimensional torus or in a bounded domain of R 2 . We prove that under the Central Limit scaling of vortices intensities, and provided that the system has zero global space average in the bounded domain case (neutrality condition), the ensemble converges to the so-called Energy-Enstrophy Gaussian random distributions. This can be interpreted as describing Gaussian fluctuations around the mean field limit of vortices ensembles. The main argument consists in proving convergence of partition functions of vortices and Gaussia…
We consider the Mean Field limit of Gibbsian ensembles of 2-dimensional point vortices on the torus. It is a classical result that in such limit correlations functions converge to 1, that is, point vortices decorrelate: we compute the rate at which this convergence takes place by means of Gaussian integration techniques, inspired by the correspondence between the 2-dimensional Coulomb gas and the Sine-Gordon Euclidean field theory.
This is the second of two papers devoted to the proof of conformal invariance of the critical double random current on the square lattice. More precisely, we show convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent critical currents (both for free and wired boundary conditions). The strategy is first to prove convergence of the associated height function to the continuum Gaussian free field, and then to characterize the scaling limit of the loop ensembles as certain local sets of this Gaussian Free Field. In this paper, we derive crossing prope…
We study the problem of continuum percolation in infinite volume Gibbs measures for particles with an attractive pair potential, with a focus on low temperatures (large $β$). The main results are bounds on percolation thresholds $ρ_\pm(β)$ in terms of the density rather than the chemical potential or activity. In addition, we prove a variational formula for a large deviations rate function for cluster size distributions. This formula establishes a link with the Gibbs variational principle and a form of equivalence of ensembles, and allows us to combine knowledge on finite volume, canonical Gib…
Suppose that $Γ$ is a conformal loop ensemble (CLE$_κ$) with simple loops ($κ\in (8/3,4)$) in a simply connected domain $D \subseteq {\mathbf C}$ whose boundary is itself a type of CLE$_κ$ loop. Let $Υ$ be the carpet of $Γ$, i.e., the set of points in $D$ not surrounded by a loop of $Γ$. We prove that certain approximations to the chemical distance metric in $Υ$ are tight. More precisely, for each path $ω\colon [0,1] \to Υ$ and $ε> 0$ we let ${\mathfrak N}_ε(ω)$ be the Lebesgue measure of the $ε$-neighborhood of $ω$. For $z,w \in Υ$ we let ${\mathfrak d}_ε(z,w;Γ) = \inf_ω{\mathfrak N}_ε(ω)$ wh…
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 t…
In this paper we study the KPZ line ensembles under the KPZ scaling. Based on their Gibbs property, we derive quantitative local fluctuation estimates for the scaled KPZ line ensembles. This allows us to show that the family of scaled KPZ line ensembles is tight. Together with the recent progress in [QS20], [Vir], and [DM], the tightness result yields the conjectural convergence of the scaled KPZ line ensembles to the Airy line ensemble.
We study the line ensembles of non-crossing Brownian bridges above a hard wall, each tilted by the area of the region below it with geometrically growing pre-factors. This model, which mimics the level lines of the $(2+1)$D SOS model above a hard wall, was studied in two works from 2019 by Caputo, Ioffe and Wachtel. In those works, the tightness of the law of the top $k$ paths, for any fixed $k$, was established under either zero or free boundary conditions, which in the former setting implied the existence of a limit via a monotonicity argument. Here we address the open problem of a limit und…
