An official website of the United States government
A well-known question in planar first-passage percolation concerns the convergence of the empirical distribution of weights as seen along geodesics. We demonstrate this convergence for an explicit model, directed last-passage percolation on\mathbb{Z}^{2}with i.i.d. exponential weights, and provide explicit formulae for the limiting distributions, which depend on the asymptotic direction. For example, for geodesics in the direction of the diagonal, the limiting weight distribution has density(1/4+x/2+x^{2}/8)e^{-x}, and so is a mixture of Gamma(1,1), Gamma(2,1), and Gamma(3,1) distributions with weights1/4,1/2, and1/4respectively. More generally, we study the local environment as seen from vertices along geodesics (including information about the shape of the path and about the weights on and off the path in a local neighborhood). We consider finite geodesics from(0,0)ton\boldsymbol{\rho}for some vector\boldsymbol{\rho}in the first quadrant, in the limit asn\to\infty, as well as semi-infinite geodesics in direction\boldsymbol{\rho}. We show almost sure convergence of the empirical distributions of the environments along these geodesics, as well as convergence of the distributions of the environment around a typical point in these geodesics, to the same limiting distribution, for which we give an explicit description.We make extensive use of a correspondence with TASEP as seen from an isolated second-class particle for which we prove new results concerning ergodicity and convergence to equilibrium. Our analysis relies on geometric arguments involving estimates for last-passage times, available from the integrable probability literature.
more »
« less
Non-existence of bi-infinite geodesics in the exponential corner growth model
Abstract This paper gives a self-contained proof of the non-existence of nontrivial bi-infinite geodesics in directed planar last-passage percolation with exponential weights. The techniques used are couplings, coarse graining, and control of geodesics through planarity and estimates derived from increment-stationary versions of the last-passage percolation process.
more »
« less
- Award ID(s):
- 1854619
- PAR ID:
- 10216667
- Date Published:
- Journal Name:
- Forum of Mathematics, Sigma
- Volume:
- 8
- ISSN:
- 2050-5094
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We consider planar directed last-passage percolation on the square lattice with general i.i.d. weights and study the geometry of the full set of semi-infinite geodesics in a typical realization of the random environment. The structure of the geodesics is studied through the properties of the Busemann functions viewed as a stochastic process indexed by the asymptotic direction. Our results are further connected to the ergodic program for and stability properties of random Hamilton–Jacobi equations. In the exactly solvable exponential model, our results specialize to give the first complete characterization of the uniqueness and coalescence structure of the entire family of semi-infinite geodesics for any model of this type. Furthermore, we compute statistics of locations of instability, where we discover an unexpected connection to simple symmetric random walk.more » « less
-
Abstract In the slow bond problem the rate of a single edge in the Totally Asymmetric Simple Exclusion Process (TASEP) is reduced from 1 to for some small . Janowsky and Lebowitz posed the well‐known question of whether such very small perturbations could affect the macroscopic current. Different groups of physicists, using a range of heuristics and numerical simulations reached opposing conclusions on whether the critical value of is 0. This was ultimately resolved rigorously in Basu‐Sidoravicius‐Sly which established that . Here we study the effect of the current as tends to 0 and in doing so explain why it was so challenging to predict on the basis of numerical simulations. In particular we show that the current has an infinite order phase transition at 0, with the effect of the perturbation tending to 0 faster than any polynomial. Our proof focuses on the Last Passage Percolation formulation of TASEP where a slow bond corresponds to reinforcing the diagonal. We give a multiscale analysis to show that when is small the effect of reinforcement remains small compared to the difference between optimal and near optimal geodesics. Since geodesics can be perturbed on many different scales, we inductively bound the tails of the effect of reinforcement by controlling the number of near optimal geodesics and giving new tail estimates for the local time of (near) geodesics along the diagonal.more » « less
-
Abstract We consider point-to-point last-passage times to every vertex in a neighbourhood of size $$\delta N^{\nicefrac {2}{3}}$$ δ N 2 3 at distance N from the starting point. The increments of the last-passage times in this neighbourhood are shown to be jointly equal to their stationary versions with high probability that depends only on $$\delta $$ δ . Through this result we show that (1) the $$\text {Airy}_2$$ Airy 2 process is locally close to a Brownian motion in total variation; (2) the tree of point-to-point geodesics from every vertex in a box of side length $$\delta N^{\nicefrac {2}{3}}$$ δ N 2 3 going to a point at distance N agrees inside the box with the tree of semi-infinite geodesics going in the same direction; (3) two point-to-point geodesics started at distance $$N^{\nicefrac {2}{3}}$$ N 2 3 from each other, to a point at distance N , will not coalesce close to either endpoint on the scale N . Our main results rely on probabilistic methods only.more » « less
-
null (Ed.)Abstract For $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) , we define a weak $$\gamma $$ γ - Liouville quantum gravity ( LQG ) metric to be a function $$h\mapsto D_h$$ h ↦ D h which takes in an instance of the planar Gaussian free field and outputs a metric on the plane satisfying a certain list of natural axioms. We show that these axioms are satisfied for any subsequential limits of Liouville first passage percolation. Such subsequential limits were proven to exist by Ding et al. (Tightness of Liouville first passage percolation for $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) , 2019. ArXiv e-prints, arXiv:1904.08021 ). It is also known that these axioms are satisfied for the $$\sqrt{8/3}$$ 8 / 3 -LQG metric constructed by Miller and Sheffield (2013–2016). For any weak $$\gamma $$ γ -LQG metric, we obtain moment bounds for diameters of sets as well as point-to-point, set-to-set, and point-to-set distances. We also show that any such metric is locally bi-Hölder continuous with respect to the Euclidean metric and compute the optimal Hölder exponents in both directions. Finally, we show that LQG geodesics cannot spend a long time near a straight line or the boundary of a metric ball. These results are used in subsequent work by Gwynne and Miller which proves that the weak $$\gamma $$ γ -LQG metric is unique for each $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) , which in turn gives the uniqueness of the subsequential limit of Liouville first passage percolation. However, most of our results are new even in the special case when $$\gamma =\sqrt{8/3}$$ γ = 8 / 3 .more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1017/fms.2020.31
