Search

We study first-passage percolation (FPP) on the square lattice. The model is defined using i.i.d. nonnegative random edge-weights $(t_e)$ associated to the nearest neighbor edges of $\mathbb{Z}^2$. The passage time between vertices $x$ and $y$, $T(x,y)$, is the minimal total weight of any lattice path from $x$ to $y$. The growth rate of $T(x,y)$ depends on the value of $F(0) = \mathbb{P}(t_e=0)$: if $F(0) < 1/2$ then $T(x,y)$ grows linearly in $|x-y|$, but if $F(0) > 1/2$ then it is stochastically bounded. In the critical case, where $F(0) = 1/2$, $T(x,y)$ can be bounded or unbounded depending on the behavior of the distribution function $F$ of $t_e$ near 0. In this paper, we consider the critical case in which $T(x,y)$ is unbounded and prove the existence of an incipient infinite cluster (IIC) type measure, constructed by conditioning the environment on the event that the passage time from $0$ to a far distance remains bounded. This IIC measure is a natural candidate for the distribution of the weights at a typical exceptional time in dynamical FPP. A major part of the analysis involves characterizing the limiting behavior of independent nonnegative random variables conditioned to have small sum. We give conditions on random variables that ensure that such limits are trivial, and several examples that exhibit nontrivial limits., Comment: 28 pages, 2 figures

First-passage percolation is a random growth model defined on $\mathbb{Z}^d$ using i.i.d. nonnegative weights $(\tau_e)$ on the edges. Letting $T(x,y)$ be the distance between vertices $x$ and $y$ induced by the weights, we study the random ball of radius $t$ centered at the origin, $B(t) = \{x \in \mathbb{Z}^d : T(0,x) \leq t\}$. It is known that for all such $\tau_e$, the number of vertices (volume) of $B(t)$ is at least order $t^d$, and under mild conditions on $\tau_e$, this volume grows like a deterministic constant times $t^d$. Defining a hole in $B(t)$ to be a bounded component of the complement $B(t)^c$, we prove that if $\tau_e$ is not deterministic, then a.s., for all large $t$, $B(t)$ has at least $ct^{d-1}$ many holes, and the maximal volume of any hole is at least $c\log t$. Conditionally on the (unproved) uniform curvature assumption, we prove that a.s., for all large $t$, the number of holes is at most $(\log t)^C t^{d-1}$, and for $d=2$, no hole in $B(t)$ has volume larger than $(\log t)^C$. Without curvature, we show that no hole has volume larger than $Ct \log t$., Comment: 28 pages, 8 figures

In first-passage percolation, one assigns i.i.d. nonnegative weights $(t_e)$ to the edges of $\mathbb{Z}^d$ and studies the induced distance (passage time) $T(x,y)$ between vertices $x$ and $y$. It is known that for $d=2$, the fluctuations of $T(x,y)$ are at least order $\sqrt{\log |x-y|}$ under mild assumptions on $t_e$. We study the question of fluctuation lower bounds for $T_n$, the minimal passage time between two opposite sides of an $n$ by $n$ square. The main result is that, under a curvature assumption, this quantity has fluctuations at least of order $n^{1/8-\epsilon}$ for any $\epsilon>0$ when the $t_e$ are exponentially distributed. As previous arguments to bound the fluctuations of $T(x,y)$ only give a constant lower bound for those of $T_n$ (even assuming curvature), a different argument, representing $T_n$ as a minimum of cylinder passage times, and deriving more detailed information about the distribution of cylinder times using the Markov property, is developed. As a corollary, we obtain the first polynomial lower bounds on higher central moments of the discrete torus passage time, under the same curvature assumption., Comment: 29 pages

In first-passage percolation (FPP), we let $(\tau_v)$ be i.i.d. nonnegative weights on the vertices of a graph and study the weight of the minimal path between distant vertices. If $F$ is the distribution function of $\tau_v$, there are different regimes: if $F(0)$ is small, this weight typically grows like a linear function of the distance, and when $F(0)$ is large, the weight is typically of order one. In between these is the critical regime in which the weight can diverge, but does so sublinearly. We study a dynamical version of critical FPP on the triangular lattice where vertices resample their weights according to independent rate-one Poisson processes. We prove that if $\sum F^{-1}(1/2+1/2^k) = \infty$, then a.s. there are exceptional times at which the weight grows atypically, but if $\sum k^{7/8} F^{-1}(1/2+1/2^k) <\infty$, then a.s. there are no such times. Furthermore, in the former case, we compute the Hausdorff and Minkowski dimensions of the exceptional set and show that they can be but need not be equal. These results show a wider range of dynamical behavior than one sees in subcritical (usual) FPP., Comment: 38 pages, 3 figures

In first-passage percolation, we assign i.i.d.~nonnegative weights $(t_e)$ to the nearest-neighbor edges of $\mathbb{Z}^d$ and study the induced pseudometric $T = T(x,y)$. In this paper, we focus on geodesics, or optimal paths for $T$, and estimate the empirical distribution of weights along them. We prove an upper bound for the expected number of edges with weight $\geq M$ in the union of all geodesics from $0$ to $x$ of the form $q(M) \mathbb{P}(t_e \geq M)|x|$, where $q(M) \leq e^{-cM}$. This shows that the tail of the expected empirical distribution along a geodesic is lighter than that of the original weight distribution by an exponential factor. We also give a lower bound for the expected minimal number of edges with weight $\geq M$ in any geodesic from $0$ to $x$ in terms of $\mathbb{P}(t_e \geq M)$ and $\mathbb{P}(t_e \in [M,2M])$. For example, these two imply that if $t_e$ has a power law tail of the form $\mathbb{P}(t_e \geq M) \sim M^{-\alpha}$, then the tail of the expected empirical distribution asymptotically lies between $e^{-CM \log M}$ and $e^{-cM}$. We also provide estimates for the expected number of edges in a geodesic with weight in a set $A$ for (a) arbitrary $A$, (b) $A$ an interval separated from the infimum of the support of $t_e$ and (c) $A=[0,a]$ for some $a \geq 0$., Comment: 3 figures, 38 pages

In the parking model on $\mathbb{Z}^d$, each vertex is initially occupied by a car (with probability $p$) or by a vacant parking spot (with probability $1-p$). Cars perform independent random walks and when they enter a vacant spot, they park there, thereby rendering the spot occupied. Cars visiting occupied spots simply keep driving (continuing their random walk). It is known that $p=1/2$ is a critical value in the sense that the origin is a.s. visited by finitely many distinct cars when $p<1/2$, and by infinitely many distinct cars when $p\geq 1/2$. Furthermore, any given car a.s. eventually parks for $p \leq 1/2$ and with positive probability does not park for $p > 1/2$. We study the subcritical phase and prove that the tail of the parking time $\tau$ of the car initially at the origin obeys the bounds \[ \exp\left( - C_1 t^{\frac{d}{d+2}}\right) \leq \mathbb{P}_p(\tau > t) \leq \exp\left( - c_2 t^{\frac{d}{d+2}}\right) \] for $p>0$ sufficiently small. For $d=1$, we prove these inequalities for all $p \in [0,1/2)$. This result presents an asymmetry with the supercritical phase ($p>1/2$), where methods of Bramson--Lebowitz imply that for $d=1$ the corresponding tail of the parking time of the parking spot of the origin decays like $e^{-c\sqrt{t}}$. Our exponent $d/(d+2)$ also differs from those previously obtained in the case of moving obstacles., Comment: 10 pages

If $(\omega(e))$ is a family of random variables (weights) assigned to the edges of $\mathbb{Z}^d$, the nearest neighbor graph is the directed graph induced by all edges $\langle x,y \rangle$ such that $\omega(\{x,y\})$ is minimal among all neighbors $y$ of $x$. That is, each vertex points to its closest neighbor, if the weights are viewed as edge-lengths. Nanda-Newman introduced nearest neighbor graphs when the weights are i.i.d. and continuously distributed and proved that a.s., all components of the undirected version of the graph are finite. We study the case of translation invariant, distinct weights, and prove that nearest neighbor graphs do not contain doubly-infinite directed paths. In contrast to the i.i.d. case, we show that in this stationary case, the graphs can contain either one or two infinite components (but not more) in dimension two, and $k$ infinite components for any $k \in [1,\infty]$ in dimension $\geq 3$. The latter constructions use a general procedure to exhibit a certain class of directed graphs as nearest neighbor graphs with distinct weights, and thereby characterize all translation invariant nearest neighbor graphs. We also discuss relations to geodesic graphs from first-passage percolation and implications for the coalescing walk model of Chaika-Krishnan., Comment: 33 pages, 3 figures

In first-passage percolation (FPP), one places nonnegative random variables (weights) $(t_e)$ on the edges of a graph and studies the induced weighted graph metric. We consider FPP on $\mathbb{Z}^d$ for $d \geq 2$ and analyze the geometric properties of geodesics, which are optimizing paths for the metric. Specifically, we address the question of existence of bigeodesics, which are doubly-infinite paths whose subpaths are geodesics. It is a famous conjecture originating from a question of Furstenberg and most strongly supported for $d=2$ that for continuously distributed i.i.d. weights, there a.s. are no bigeodesics. We provide the first progress on this question in general dimensions under no unproven assumptions. Our main result is that geodesic graphs, introduced in a previous paper of two of the authors, constructed in any deterministic direction a.s. do not contain doubly-infinite paths. As a consequence, one can construct random graphs of subsequential limits of point-to-hyperplane geodesics which contain no bigeodesics. This gives evidence that bigeodesics, if they exist, cannot be constructed in a translation-invariant manner as limits of point-to-hyperplane geodesics., Comment: 29 pages, 4 figures

We study the critical case of first-passage percolation in two dimensions. Letting $(t_e)$ be i.i.d. nonnegative weights assigned to the edges of $\mathbb{Z}^2$ with $\mathbb{P}(t_e=0)=1/2$, consider the induced pseudometric (passage time) $T(x,y)$ for vertices $x,y$. It was shown in [2] that the growth of the sequence $\mathbb{E}T(0,\partial B(n))$ (where $B(n) = [-n,n]^2$) has the same order (up to a constant factor) as the sequence $\mathbb{E}T^{\text{inv}}(0,\partial B(n))$. This second passage time is the minimal total weight of any path from 0 to $\partial B(n)$ that resides in a certain embedded invasion percolation cluster. In this paper, we show that this constant factor cannot be taken to be 1. That is, there exists $c>0$ such that for all $n$, \[ \mathbb{E}T^{\text{inv}}(0,\partial B(n)) \geq (1+c) \mathbb{E}T(0,\partial B(n)). \] This result implies that the time constant for the model is different than that for the related invasion model, and that geodesics in the two models have different structure., Comment: 12 pages, 2 figures

We consider first-passage percolation (FPP) on the triangular lattice with vertex weights $(t_v)$ whose common distribution function $F$ satisfies $F(0)=1/2$. This is known as the critical case of FPP because large (critical) zero-weight clusters allow travel between distant points in time which is sublinear in the distance. Denoting by $T(0,\partial B(n))$ the first-passage time from $0$ to $\{x : \|x\|_\infty = n\}$, we show existence of the "time constant'' and find its exact value to be \[ \lim_{n \to \infty} \frac{T(0,\partial B(n))}{\log n} = \frac{I}{2\sqrt{3}\pi} \text{ almost surely}, \] where $I = \inf\{x > 0 : F(x) > 1/2\}$ and $F$ is any critical distribution for $t_v$. This result shows that the time constant is universal and depends only on the value of $I$. Furthermore, we find the exact value of the limiting normalized variance, which is also only a function of $I$, under the optimal moment condition on $F$. The proof method also shows an analogous universality on other two-dimensional lattices, assuming the time constant exists., Comment: 29 pages, 3 figures

In zero-temperature Glauber dynamics, vertices of a graph are given i.i.d.~initial spins $\sigma_x(0)$ from $\{-1,+1\}$ with $\mathbb{P}_p(\sigma_x(0) = +1)=p$, and they update their spins at the arrival times of i.i.d. Poisson processes to agree with a majority of their neighbors. We study this process on the 3-regular tree $\mathbb{T}_3$, where it is known that the critical threshold $p_c$, below which $\mathbb{P}_p$-a.s. all spins fixate to $-1$, is strictly less than $1/2$. Defining $\theta(p)$ to be the $\mathbb{P}_p$-probability that a vertex fixates to $+1$, we show that $\theta$ is a continuous function on $[0,1]$, so that, in particular, $\theta(p_c)=0$. To do this, we introduce a new continuous-spin process we call the median process, which gives a coupling of all the measures $\mathbb{P}_p$. Along the way, we study the time-infinity agreement clusters of the median process, show that they are a.s. finite, and deduce that all continuous spins flip finitely often. In the second half of the paper, we show a correlation decay statement for the discrete spins under $\mathbb{P}_p$ for a.e. value of $p$. The proof relies on finiteness of a vertex's "trace" in the median process to derive a stability of discrete spins under finite resampling. Last, we use our methods to answer a question of C. Howard (2001) on the emergence of spin chains in $\mathbb{T}_3$ in finite time., Comment: 42 pages

Invasion percolation is a stochastic growth model that follows a greedy algorithm. After assigning i.i.d. uniform random variables (weights) to all edges of $\mathbb{Z}^d$, the growth starts at the origin. At each step, we adjoin to the current cluster the edge of minimal weight from its boundary. In '85, Chayes-Chayes-Newman studied the `acceptance profile' of the invasion: for a given $p \in [0,1]$, it is the ratio of the expected number of invaded edges until time $n$ with weight in $[p,p+\text{d}p]$ to the expected number of observed edges (those in the cluster or its boundary) with weight in the same interval. They showed that in all dimensions, the acceptance profile $a_n(p)$ converges to one for $pp_c$. In this paper, we consider $a_n(p)$ at the critical point $p=p_c$ in two dimensions and show that it is bounded away from zero and one as $n \to \infty$., Comment: 29 pages, 4 figures, added references to physics literature

If $\mathcal{A}$ is a finite set (alphabet), the shift dynamical system consists of the space $\mathcal{A}^{\mathbb{N}}$ of sequences with entries in $\mathcal{A}$, along with the left shift operator $S$. Closed $S$-invariant subsets are called subshifts and arise naturally as encodings of other systems. In this paper, we study the number of ergodic measures for transitive subshifts under a condition ("regular bispecial condition") on the possible extensions of words in the associated language. Our main result shows that under this condition, the subshift can support at most $\frac{K+1}{2}$ ergodic measures, where $K$ is the limiting value of $p(n+1)-p(n)$, and $p$ is the complexity function of the language. As a consequence, we answer a question of Boshernitzan from `84, providing a combinatorial proof for the bound on the number of ergodic measures for interval exchange transformations., Comment: 49 pages, 4 figures, new version addresses recent related work

The Euclidean first-passage percolation model of Howard and Newman is a rotationally invariant percolation model built on a Poisson point process. It is known that the passage time between 0 and $ne_1$ obeys a diffusive upper bound: $\mbox{Var}\, T(0,ne_1) \leq Cn$, and in this paper we improve this inequality to $Cn/\log n$. The methods follow the strategy used for sublinear variance proofs on the lattice, using the Falik-Samorodnitsky inequality and a Bernoulli encoding, but with substantial technical difficulties. To deal with the different setup of the Euclidean model, we represent the passage time as a function of Bernoulli sequences and uniform sequences, and develop several "greedy lattice animal" arguments., Comment: 40 pages, 1 figure

In independent bond percolation on $\mathbb{Z}^d$ with parameter $p$, if one removes the vertices of the infinite cluster (and incident edges), for which values of $p$ does the remaining graph contain an infinite cluster? Grimmett-Holroyd-Kozma used the triangle condition to show that for $d \geq 19$, the set of such $p$ contains values strictly larger than the percolation threshold $p_c$. With the work of Fitzner-van der Hofstad, this has been reduced to $d \geq 11$. We improve this result by showing that for $d \geq 10$ and some $p>p_c$, there are infinite paths consisting of "shielded" vertices --- vertices all whose adjacent edges are closed --- which must be in the complement of the infinite cluster. Using numerical values of $p_c$, this bound can be reduced to $d \geq 7$. Our methods are elementary and do not require the triangle condition., Comment: 23 pages. Slightly shortened title. The dimension condition of the main result has been reduced from $d \geq 11$ to $d \geq 10$

In first-passage percolation (FPP), one assigns i.i.d.~weights to the edges of the cubic lattice $\mathbb{Z}^d$ and analyzes the induced weighted graph metric. If $T(x,y)$ is the distance between vertices $x$ and $y$, then a primary question in the model is: what is the order of the fluctuations of $T(0,x)$? It is expected that the variance of $T(0,x)$ grows like the norm of $x$ to a power strictly less than 1, but the best lower bounds available are (only in two dimensions) of order $\log \|x\|$. This result was found in the '90s and there has not been any improvement since. In this paper, we address the problem of getting stronger fluctuation bounds: to show that $T(0,x)$ is with high probability not contained in an interval of size $o(\log \|x\|)^{1/2}$, and similar statements for FPP in thin cylinders. Such statements have been proved for special edge-weight distributions, and here we obtain such bounds for general edge-weight distributions. The methods involve inducing a fluctuation in the number of edges in a box whose weights are of "hi-mode" (large)., Comment: 27 pages, small updates, to appear in Annales de l'Institut Henri Poincar\'e (B)

Random growth models are fundamental objects in modern probability theory, have given rise to new mathematics, and have numerous applications, including tumor growth and fluid flow in porous media. In this article, we introduce some of the typical models and the basic analytical questions and properties, like existence of asymptotic shapes, fluctuations of infection times, and relations to particle systems. We then specialize to models built on percolation (first-passage percolation and last-passage percolation) and give a self-contained treatment of the shape theorem, the subadditive ergodic theorem, and conjectured and proven properties of asymptotic shapes. We finish by discussing the rate of convergence to the limit shape, along with definitions of scaling exponents and a sketch of the proof of the KPZ scaling relation., Comment: This is a chapter in a forthcoming AMS Proceedings collection of expanded notes from the AMS Short Course "Random Growth Models," which took place in Atlanta, GA, at the AMS Joint Mathematics Meetings in January 2017. Editors: Michael Damron, Firas Rassoul-Agha, Timo Seppalainen

Place a car independently with probability $p$ at each site of a graph. Each initially vacant site is a parking spot that can fit one car. Cars simultaneously perform independent random walks. When a car encounters an available parking spot it parks there. Other cars can still drive over the site, but cannot park there. For a large class of transitive and unimodular graphs, we show that the root is almost surely visited infinitely many times when $p \geq 1/2$, and only finitely many times otherwise., Comment: 20 pages, 4 figures, revision

First-passage percolation is a random growth model defined using i.i.d. edge-weights $(t_e)$ on the nearest-neighbor edges of $\mathbb{Z}^d$. An initial infection occupies the origin and spreads along the edges, taking time $t_e$ to cross the edge $e$. In this paper, we study the size of the boundary of the infected ("wet") region at time $t$, $B(t)$. It is known that $B(t)$ grows linearly, so its boundary $\partial B(t)$ has size between $ct^{d-1}$ and $Ct^d$. Under a weak moment condition on the weights, we show that for most times, $\partial B(t)$ has size of order $t^{d-1}$ (smooth). On the other hand, for heavy-tailed distributions, $B(t)$ contains many small holes, and consequently we show that $\partial B(t)$ has size of order $t^{d-1+\alpha}$ for some $\alpha>0$ depending on the distribution. In all cases, we show that the exterior boundary of $B(t)$ (edges touching the unbounded component of the complement of $B(t)$) is smooth for most times. Under the unproven assumption of uniformly positive curvature on the limit shape for $B(t)$, we show the inequality $\#\partial B(t) \leq (\log t)^C t^{d-1}$ for all large $t.$

We study the coarsening model (zero-temperature Ising Glauber dynamics) on $\mathbb{Z}^d$ (for $d \geq 2$) with an asymmetric tie-breaking rule. This is a Markov process on the state space $\{-1,+1\}^{\mathbb{Z}^d}$ of "spin configurations" in which each vertex updates its spin to agree with a majority of its neighbors at the arrival times of a Poisson process. If a vertex has equally many $+1$ and $-1$ neighbors, then it updates its spin value to $+1$ with probability $q \in [0,1]$ and to $-1$ with probability $1-q$. The initial state of this Markov chain is distributed according to a product measure with probability $p$ for a spin to be $+1$. In this paper, we show that for any given $p>0$, there exist $q$ close enough to 1 such that a.s. every spin has a limit of $+1$. This is of particular interest for small values of $p$, for which it is known that if $q=1/2$, a.s. all spins have a limit of $-1$. For dimension $d=2$, we also obtain near-exponential convergence rates for $q$ sufficiently large, and for general $d$, we obtain stretched exponential rates independent of $d$. Two important ingredients in our proofs are refinements of block arguments of Fontes-Schonmann-Sidoravicius and a novel exponential large deviation bound for the Asymmetric Simple Exclusion Process., Comment: 27 pages; 3 figures; v2: improvements of presentation and minor corrections. To appear in Commun. Math. Phys

We provide the first nontrivial upper bound for the chemical distance exponent in two-dimensional critical percolation. Specifically, we prove that the expected length of the shortest horizontal crossing path of a box of side length $n$ in critical percolation on $\mathbb{Z}^2$ is bounded by $Cn^{2-\delta}\pi_3(n)$, for some $\delta>0$, where $\pi_3(n)$ is the "three-arm probability to distance $n$." This implies that the ratio of this length to the length of the lowest crossing is bounded by an inverse power of $n$ with high probability. In the case of site percolation on the triangular lattice, we obtain a strict upper bound for the exponent of $4/3$. The proof builds on the strategy developed in our previous paper, but with a new iterative scheme, and a new large deviation inequality for events in annuli conditional on arm events, which may be of independent interest., Comment: 45 pages, 7 figures

First-passage percolation is the study of the metric space $(\mathbb{Z}^d,T)$, where $T$ is a random metric defined as the weighted graph metric using random edge-weights $(t_e)_{e\in \mathcal{E}^d}$ assigned to the nearest-neighbor edges $\mathcal{E}^d$ of the $d$-dimensional cubic lattice. We study the so-called critical case in two dimensions, in which $\mathbb{P}(t_e=0)=p_c$, where $p_c$ is the threshold for two-dimensional bond percolation. In contrast to the standard case $(1$ such that with probability at least $1-e^{-\|x\|_1^c}$, the minimal length geodesic from $0$ to $x$ has at least $\|x\|_1^s$ number of edges. Our proofs combine recent ideas to bound $T$ for general critical distributions, and modifications of techniques of Aizenman-Burchard to estimate the Hausdorff dimension of random curves., Comment: 23 pages, 1 figure

We compare the probabilities of arm events in two-dimensional invasion percolation to those in critical percolation. Arm events are defined by the existence of a prescribed color sequence of invaded and non-invaded connections from the origin to distance n. We find that, for sequences of a particular form, arm probabilities in invasion percolation and critical percolation are comparable, uniformly in n, while they differ by a power of n for all others. A corollary of our results is the existence, on the triangular lattice, of arm exponents for invasion percolation, for any color sequence with at least two open (invaded) entries., Comment: 37 pages, 9 figures; typos corrected

The Euclidean first-passage percolation (FPP) model of Howard and Newman is a rotationally invariant model of FPP which is built on a graph whose vertices are the points of homogeneous Poisson point process. It was shown that one has (stretched) exponential concentration of the passage time $T_n$ from $0$ to $n\mathbf{e}_1$ about its mean on scale $\sqrt{n}$, and this was used to show the bound $\mu n \leq \mathbb{E}T_n \leq \mu n + C\sqrt{n} (\log n)^a$ for $a,C>0$ on the discrepancy between the expected passage time and its deterministic approximation $\mu = \lim_n \frac{\mathbb{E}T_n}{n}$. In this paper, we introduce an inductive entropy reduction technique that gives the stronger upper bound $\mathbb{E}T_n \leq \mu n + C_k\psi(n) \log^{(k)}n$, where $\psi(n)$ is a general scale of concentration and $\log^{(k)}$ is the $k$-th iterate of $\log$. This gives evidence that the inequality $\mathbb{E}T_n - \mu n \leq C\sqrt{\mathrm{Var}~T_n}$ may hold., Comment: 22 pages, 2 figures, typos corrected and referee comments incorporated

In this note, we describe some of the progress recently made on questions regarding the chemical distance in two-dimensional critical percolation by the author, J. Hanson, and P. Sosoe [6, 7]. It is expected that the distance between points in critical percolation clusters scales as $\|\cdot \|^{1+s}$, where $\|\cdot \|$ is the Euclidean distance and $s>0$. First, we review previous work of Aizenman-Burchard and Morrow-Zhang, which together establish a version of $0 < s \leq 1/3$. The main results of our work are in the direction of proving upper bounds on $s$, answering in [6] a question from '93 of Kesten-Zhang on the ratio of the length of the shortest crossing of a box to the length of the lowest crossing of a box. The paper [7] provides a quantitative version of the result of [6], along with bounds on point-to-point and point-to-set distances., Comment: 7 pages

We continue our study of the chemical (graph) distance inside large critical percolation clusters in dimension two. We prove new estimates, which involve the three-arm probability, for the point-to-surface and point-to-point distances. We show that the point-to-point distance in $\mathbb{Z}^2$ between two points in the same critical percolation cluster has infinite second moment. We also give quantitative versions of our previous results comparing the length of the shortest crossing to that of the lowest crossing of a box., Comment: 24 pages, 5 figures

In first-passage percolation, we place i.i.d. continuous weights at the edges of Z^2 and consider the weighted graph metric. A distance-minimizing path between points x and y is called a geodesic, and a bigeodesic is a doubly-infinite path whose segments are geodesics. It is a famous conjecture that almost surely, there are no bigeodesics. In the '90s, Licea-Newman showed that, under a curvature assumption on the "asymptotic shape", all infinite geodesics have an asymptotic direction, and there is a full-measure set D of [0, 2 pi) such that for any theta in D, there are no bigeodesics with one end directed in direction theta. In this paper, we show that there are no bigeodesics with one end directed in any deterministic direction, assuming the shape boundary is differentiable. This rules out existence of ground state pairs for the related disordered ferromagnet whose interface has a deterministic direction. Furthermore, it resolves the Benjamini-Kalai-Schramm "midpoint problem" under the extra assumption that the limit shape boundary is differentiable., Comment: 28 pages, 6 figures, addressed minor typographical errors and clarified measurability issues

We celebrate the 50th anniversary of one the most classical models in probability theory. In this survey, we describe the main results of first passage percolation, paying special attention to the recent burst of advances of the past 5 years. The purpose of these notes is twofold. In the first chapters, we give self-contained proofs of seminal results obtained in the '80s and '90s on limit shapes and geodesics, while covering the state of the art of these questions. Second, aside from these classical results, we discuss recent perspectives and directions including (1) the connection between Busemann functions and geodesics, (2) the proof of sublinear variance under 2+log moments of passage times and (3) the role of growth and competition models. We also provide a collection of (old and new) open questions, hoping to solve them before the 100th birthday., Comment: 160 pages, 17 figures. This version has updated chapters 3-5, with expanded and additional material. Small typos corrected throughout

In 1985, Boshernitzan showed that a minimal (sub)shift satisfying a linear block growth condition must have a bounded number of ergodic probability measures. Recently, this bound was shown to be sharp through examples constructed by Cyr and Kra. In this paper, we show that under the stronger assumption of eventually constant growth, an improved bound exists. To this end, we introduce special Rauzy graphs. Variants of the well-known Rauzy graphs from symbolic dynamics, these graphs provide an explicit description of how a Rauzy graph for words of length n relates to the one for words of length n+1 for each n = 1,2,3..., Comment: 30 pages, 6 figures

We consider two-dimensional critical bond percolation. Conditioned on the existence of an open circuit in an annulus, we show that the ratio of the expected size of the shortest open circuit to the expected size of the innermost circuit tends to zero as the side length of the annulus tends to infinity, the aspect ratio remaining fixed. The same proof yields a similar result for the lowest open crossing of a rectangle. In this last case, we answer a question of Kesten and Zhang by showing in addition that the ratio of the length of the shortest crossing to the length of the lowest tends to zero in probability. This suggests that the chemical distance in critical percolation is given by an exponent strictly smaller than that of the lowest path., Comment: 60 pages, 12 figures

We consider first-passage percolation on $\mathbb{Z}^2$ with i.i.d. weights, whose distribution function satisfies $F(0) = p_c = 1/2$. This is sometimes known as the "critical case" because large clusters of zero-weight edges force passage times to grow at most logarithmically, giving zero time constant. Denote $T(\mathbf{0}, \partial B(n))$ as the passage time from the origin to the boundary of the box $[-n,n] \times [-n,n]$. We characterize the limit behavior of $T(\mathbf{0}, \partial B(n))$ by conditions on the distribution function $F$. We also give exact conditions under which $T(\mathbf{0}, \partial B(n))$ will have uniformly bounded mean or variance. These results answer several questions of Kesten and Zhang from the '90s and, in particular, disprove a conjecture of Zhang from '99. In the case when both the mean and the variance go to infinity as $n \to \infty$, we prove a CLT under a minimal moment assumption. The main tool involves a new relation between first-passage percolation and invasion percolation: up to a constant factor, the passage time in critical first-passage percolation has the same first-order behavior as the passage time of an optimal path constrained to lie in an embedded invasion cluster., Comment: 28 pages, 2 figures

We study Markov processes in which $\pm 1$-valued random variables $\sigma_x(t), x\in \mathbb{Z}^d$, update by taking the value of a majority of their nearest neighbors or else tossing a fair coin in case of a tie. In the presence of a random environment of frozen plus (resp., minus) vertices with density $\rho^+$ (resp., $\rho^-$), we study the prevalence of vertices that are (eventually) fixed plus or fixed minus or flippers (changing forever). Our main results are that, for $\rho^+ >0$ and $\rho^- =0$, all sites are fixed plus, while for $\rho^+ >0$ and $\rho^-$ very small (compared to $\rho^+$), the fixed minus and flippers together do not percolate. We also obtain some results for deterministic placement of frozen vertices., Comment: 13 pages, 3 figures

For sub-additive ergodic processes $\{X_{m,n}\}$ with weak dependence, we analyze the rate of convergence of $\mathbb{E}X_{0,n}/n$ to its limit $g$. We define an exponent $\gamma$ given roughly by $\mathbb{E}X_{0,n} \sim ng + n^\gamma$, and, assuming existence of a fluctuation exponent $\chi$ that gives $\mathrm{Var}~X_{0,n} \sim n^{2\chi}$, we provide a lower bound for $\gamma$ of the form $\gamma \geq \chi$. The main requirement is that $\chi \neq 1/2$. In the case $\chi=1/2$ and under the assumption $\mathrm{Var}~X_{0,n} = O(n/(\log n)^\beta)$ for some $\beta>0$, we prove $\gamma \geq \chi - c(\beta)$ for a $\beta$-dependent constant $c(\beta)$. These results show in particular that non-diffusive fluctuations are associated to non-trivial $\gamma$. Various models, including first-passage percolation, directed polymers, the minimum of a branching random walk and bin packing, fall into our general framework, and the results apply assuming $\chi$ exists. In the case of first-passage percolation in $\mathbb Z^d$, we provide a version of $\gamma \geq -1/2$ without assuming existence of $\chi$., Comment: 41 pages, 2 figures. Expanded introduction and added a proof sketch

We consider first-passage percolation on the $d$ dimensional cubic lattice for $d \geq 2$; that is, we assign independently to each edge $e$ a nonnegative random weight $t_e$ with a common distribution and consider the induced random graph distance (the passage time), $T(x,y)$. It is known that for each $x \in \mathbb{Z}^d$, $\mu(x) = \lim_n T(0,nx)/n$ exists and that $0 \leq \mathbb{E}T(0,x) - \mu(x) \leq C\|x\|_1^{1/2}\log \|x\|_1$ under the condition $\mathbb{E}e^{\alpha t_e}<\infty$ for some $\alpha>0$. By combining tools from concentration of measure with Alexander's methods, we show how such bounds can be extended to $t_e$'s with distributions that have only low moments. For such edge-weights, we obtain an improved bound $C (\|x\|_1 \log \|x\|_1)^{1/2}$ and bounds on the rate of convergence to the limit shape., Comment: This is the corrected version of the paper. 13 pages, title changed

We prove exponential concentration in i.i.d. first-passage percolation in $Z^d$ for all $d \geq 2$ and general edge-weights $(t_e)$. Precisely, under an exponential moment assumption $E e^{\alpha t_e}< \infty$ for some $\alpha>0$) on the edge-weight distribution, we prove the inequality $$ P(|T(0,x)-E T(0,x)| \geq \lambda \sqrt{\frac{|x|}{log |x|}}) \leq ce^{-c' \lambda}, |x|>1 $$ for the point-to-point passage time $T(0,x)$. Under a weaker assumption $E t_e^2(\log t_e)_+< \infty$ we show a corresponding inequality for the lower-tail of the distribution of $T(0,x)$. These results extend work of Benaim-Rossignol to general distributions., Comment: 31 pages, the main discrete derivative bound is now simplified, formulated in terms of integrating over uniform variables

We study first-passage percolation where edges in the left and right half-planes are assigned values according to different distributions. We show that the asymptotic growth of the resulting inhomogeneous first-passage process obeys a shape theorem, and we express the limiting shape in terms of the limiting shapes for the homogeneous processes for the two weight distributions. We further show that there exist pairs of distributions for which the rate of growth in the vertical direction is strictly larger than the rate of growth of the homogeneous process with either of the two distributions, and that this corresponds to the creation of a defect along the vertical axis in the form of a `pyramid'., Comment: 25 pages, 1 figure

For the zero temperature limit of Ising Glauber Dynamics on 2D slabs the existence or nonexistence of vertices that do not fixate is determined as a function of slab thickness., Comment: 16 pages, 9 figures

We prove that the variance of the passage time from the origin to a point x in first-passage percolation on Z^d is sublinear in the distance to x when d \geq 2, obeying the bound Cx/(log x), under minimal assumptions on the edge-weight distribution. The proof applies equally to absolutely continuous, discrete and singular continuous distributions and mixtures thereof, and requires only 2+log moments. The main result extends work of Benjamini-Kalai-Schramm and Benaim-Rossignol., Comment: 32 pages. We added a proof sketch and fixed the proof of Theorem 2.3 and the bound on term (6.18)

We study coarsening; that is, the zero-temperature limit of Glauber dynamics in the standard Ising model on slabs S_k = Z^2 x {0, ..., k-1} of all thicknesses k \geq 2 (with free and periodic boundary conditions in the third coordinate). We show that with free boundary conditions, for k \geq 3, some sites fixate for large times and some do not, whereas for k=2, all sites fixate. With periodic boundary conditions, for k \geq 4, some sites fixate and others do not, while for k=2 and 3, all sites fixate., Comment: 8 pages, 2 figures

It is an open problem to show that in two-dimensional first-passage percolation, the sequence of finite geodesics from any point to $(n,0)$ has a limit in $n$. In this paper, we consider this question for first-passage percolation on a wide class of subgraphs of $\mathbb {Z}^2$: those whose vertex set is infinite and connected with an infinite connected complement. This includes, for instance, slit planes, half-planes and sectors. Writing $x_n$ for the sequence of boundary vertices, we show that the sequence of geodesics from any point to $x_n$ has an almost sure limit assuming only existence of finite geodesics. For all passage-time configurations, we show existence of a limiting Busemann function. Specializing to the case of the half-plane, we prove that the limiting geodesic graph has one topological end; that is, all its infinite geodesics coalesce, and there are no backward infinite paths. To do this, we prove in the Appendix existence of geodesics for all product measures in our domains and remove the moment assumption of the Wehr-Woo theorem on absence of bigeodesics in the half-plane., Comment: Published in at http://dx.doi.org/10.1214/13-AAP999 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)