We consider the internal diffusion limited aggregation (IDLA) process on the infinite cluster in supercritical Bernoulli bond percolation on Euclidean lattices. It is shown that the process on the cluster behaves like it does on the Euclidean lattice, in that the aggregate covers all the vertices in a Euclidean ball around the origin, such that the ratio of vertices in this ball to the total number of particles sent out approaches one almost surely.
Internal Diffusion Limited Aggregation (IDLA) is a model that describes the growth of a random aggregate of particles from the inside out. Shellef proved that IDLA processes on supercritical percolation clusters of integer-lattices fill Euclidean balls, with high probability. In this article, we complete the picture and prove a limit-shape theorem for IDLA on such percolation clusters, by providing the corresponding upper bound. The technique to prove upper bounds is new and robust: it only requires the existence of a "good" lower bound. Specifically, this way of proving upper bounds on IDLA c…
Two vertices are said to be finitely connected if they belong to the same cluster and this cluster is finite. We derive sharp asymptotics for finite connection probabilities for supercritical Bernoulli bond percolation on Z^2.
Let $G$ be a connected, locally finite, transitive graph, and consider Bernoulli bond percolation on $G$. We prove that if $G$ is nonamenable and $p > p_c(G)$ then there exists a positive constant $c_p$ such that \[\mathbf{P}_p(n \leq |K| < \infty) \leq e^{-c_p n}\] for every $n\geq 1$, where $K$ is the cluster of the origin. We deduce the following two corollaries: 1. Every infinite cluster in supercritical percolation on a transitive nonamenable graph has anchored expansion almost surely. This answers positively a question of Benjamini, Lyons, and Schramm (1997). 2. For transitive nonamenabl…
We prove the sharpness of the phase transition for speed in the biased random walk on the supercritical percolation cluster on Z^d. That is, for each d at least 2, and for any supercritical parameter p > p_c, we prove the existence of a critical strength for the bias, such that, below this value, the speed is positive, and, above the value, it is zero. We identify the value of the critical bias explicitly, and, in the sub-ballistic regime, we find the polynomial order of the distance moved by the particle. Each of these conclusions is obtained by investigating the geometry of the traps that ar…
We investigate Laplacians on supercritical bond-percolation graphs with different boundary conditions at cluster borders. The integrated density of states of the Dirichlet Laplacian is found to exhibit a Lifshits tail at the lower spectral edge, while that of the Neumann Laplacian shows a van Hove asymptotics, which results from the percolating cluster. At the upper spectral edge, the behaviour is reversed.
In this paper, we study the abundance of self-avoiding paths of a given length on a supercritical percolation cluster on $\bbZ^d$. More precisely, we count $Z_N$ the number of self-avoiding paths of length $N$ on the infinite cluster, starting from the origin (that we condition to be in the cluster). We are interested in estimating the upper growth rate of $Z_N$, $\limsup_{N\to \infty} Z_N^{1/N}$, that we call the connective constant of the dilute lattice. After proving that this connective constant is a.s.\ non-random, we focus on the two-dimensional case and show that for every percolation p…
We consider i.i.d. random variables {ω(b):b \in E_d} parameterized by the family of bonds in Z^d, d>1. The random variable ω(b) is thought of as the conductance of bond b and it ranges in a finite interval [0,c_0]. Assuming the probability m of the event {ω(b)>0} to be supercritical and denoting by C(ω) the unique infinite cluster associated to the bonds with positive conductance, we study the zero range process on C(ω) with ω(b)-proportional probability rate of jumps along bond b. For almost all realizations of the environment we prove that the hydrodynamic behavior of the zero range process …
On the supercritical percolation cluster with parameter p, the distances between two distant points of the axis are asymptotically increased by a factor 1+(1-p)/2+o(1-p) with respect to the usual distance. The proof is based on an apparently new connection with the TASEP (totally asymmetric simple exclusion process).
We consider supercritical site percolation on the $d$-dimensional hypercube $Q^d$. We show that typically all components in the percolated hypercube, besides the giant, are of size $O(d)$. This resolves a conjecture of Bollobás, Kohayakawa, and Łuczak from 1994.
Previously, Sarkar and Sun have shown that for supercritical oriented percolation in dimension $1+1$, the set of rightmost infinite open paths converges to the Brownian web after proper centering and scaling. In this note, we show that a pair of sticky Brownian webs arise naturally if one considers the set of right-most infinite open paths for two coupled percolation configurations with distinct (but close) percolation parameters. This leads to a natural conjecture on the convergence of the dynamical supercritical oriented percolation model to the so-called dynamical Brownian web.
We investigate a limit theorem on traversable length inside semi-cylinder in the 2-dimensional supercritical Bernoulli bond percolation, which gives an extension of Theorem 2 in Grimmett(1981). This type of limit theorems was originally studied for the extinction time for the 1-dimensional contact process on a finite interval in Wagner and Anantharam(2005). Actually, our main result Theorem 2.1 is stated under a rather general 2-dimensional bond percolation setting.
We study the distribution of finite clusters in slightly supercritical ($p \downarrow p_c$) Bernoulli bond percolation on transitive nonamenable graphs, proving in particular that if $G$ is a transitive nonamenable graph satisfying the $L^2$ boundedness condition ($p_c<p_{2\to 2}$) and $K$ denotes the cluster of the origin then there exists $δ>0$ such that $$ \mathbf{P}_p(n \leq |K| < \infty) \asymp n^{-1/2} \exp\left[ -Θ\Bigl( |p-p_c|^2 n\Bigr) \right] $$ and \[ \mathbf{P}_p(r \leq \operatorname{Rad}(K) < \infty) \asymp r^{-1} \exp\left[ -Θ\Bigl( |p-p_c| r\Bigr) \right] \] for every $p\in (p_…
We exploit a connection between distances in the infinite percolation cluster, when the parameter is close to one, and the discrete-time TASEP on $\mathbb{Z}$. This shows that when the parameter goes to one, large balls in the cluster are asymptotically shaped near the axes like arcs of parabola.
We establish several equivalent characterisations of the anchored isoperimetric dimension of supercritical clusters in Bernoulli bond percolation on transitive graphs. We deduce from these characterisations together with a theorem of Duminil-Copin, Goswami, Raoufi, Severo, and Yadin that if $G$ is a transient transitive graph then the infinite clusters of Bernoulli percolation on $G$ are transient for $p$ sufficiently close to $1$. It remains open to extend this result down to the critical probability. Along the way we establish two new cluster repulsion inequalities that are of independent in…
We consider the model of random trees introduced by Devroye (1999), the so-called random split trees. The model encompasses many important randomized algorithms and data structures. We then perform supercritical Bernoulli bond-percolation on those trees and obtain a precise weak limit theorem for the sizes of the largest clusters. We also show that the approach developed in this work may be useful for studying percolation on other classes of trees with logarithmic height, for instance, we study also the case of $d$-regular trees.
We prove that, after centering and diffusively rescaling space and time, the collection of rightmost infinite open paths in a supercritical oriented percolation configuration on the space-time lattice Z^2_{even}:={(x,i) in Z^2: x+i is even} converges in distribution to the Brownian web. This proves a conjecture of Wu and Zhang. Our key observation is that each rightmost infinite open path can be approximated by a percolation exploration cluster, and different exploration clusters evolve independently before they intersect.
We consider Bernoulli bond percolation on a large scale-free tree in the supercritical regime, meaning informally that there exists a giant cluster with high probability. We obtain a weak limit theorem for the sizes of the next largest clusters, extending a recent result for large random recursive trees. The approach relies on the analysis of the asymptotic behavior of branching processes subject to rare neutral mutations, which may be of independent interest.
We consider the standard site percolation model on the three dimensional cubic lattice. Starting solely with the hypothesis that $θ(p)>0$, we prove that, for any $α>0$, there exists $κ>0$ such that, with probability larger than $1-1/n^α$, every pair of vertices inside the box $Λ(n)$ are joined by a path having at most $κ(\ln n)^2$ closed sites.
Liouville first passage percolation (LFPP) with parameter $ξ>0$ is the family of random distance functions $\{D_h^ε\}_{ε>0}$ on the plane obtained by integrating $e^{ξh_ε}$ along paths, where $h_ε$ for $ε>0$ is a smooth mollification of the planar Gaussian free field. Previous work by Ding-Dubédat-Dunlap-Falconet and Gwynne-Miller has shown that there is a critical value $ξ_{\mathrm{crit}} > 0$ such that for $ξ< ξ_{\mathrm{crit}}$, LFPP converges under appropriate re-scaling to a random metric on the plane which induces the same topology as the Euclidean metric (the so-called $γ$-\emph{Liouvil…
We consider an i.i.d. supercritical bond percolation on Z^d , every edge is open with a probability p > p\_c (d), where p\_c (d) denotes the critical parameter for this percolation. We know that there exists almost surely a unique infinite open cluster C\_p [11]. We are interested in the regularity properties of the chemical distance for supercritical Bernoulli percolation. The chemical distance between two points x, y $\in$ C\_p corresponds to the length of the shortest path in C\_p joining the two points. The chemical distance between 0 and nx grows asymptotically like n$μ$\_p (x). We aim to…
In this work we study the Poisson Boolean model of percolation in locally compact Polish metric spaces and we prove the invariance of subcritical and supercritical phases under mm-quasi-isometries. In other words, we prove that if the Poisson Boolean model of percolation is subcritical or supercritical (or exhibits phase transition) in a metric space M which is mm-quasi-isometric to a metric space N, then these phases also exist for the Poisson Boolean model of percolation in N. Then we apply these results to understand the phenomenon of phase transition in a large family of metric spaces. Ind…
We consider the cardinality of supercritical oriented bond percolation in two dimensions. We show that, whenever the origin is conditioned to percolate, the process appropriately normalized converges asymptotically in distribution to the standard normal law. This resolves a longstanding open problem pointed out to in several instances in the literature. The result applies also to the continuous-time analog of the process, viz. the basic one-dimensional contact process. We also derive general random-indices central limit theorems for associated random variables as byproducts of our proof.
We consider the simple random walk on supercritical percolation clusters in the multidimensional cubic lattice. In this model, a quenched large deviation principle holds for the position of the random walk. Its rate function depends on the law of the percolation configuration, and the aim of this paper is to study the continuity of the rate function in the law. To do this, it is useful that the rate function is expressed by the so-called Lyapunov exponent, which is the asymptotic cost paid by the random walk for traveling in a landscape of percolation configurations. In this context, we first …
We consider an i.i.d. supercritical bond percolation on $\mathbb{Z}^d$, every edge is open with a probability $p > p_c (d)$, where $p_c (d)$ denotes the critical parameter for this percolation. We know that there exists almost surely a unique infinite open cluster $C_p$ [7]. We are interested in the regularity properties in p of the anchored isoperimetric profile of the infinite cluster $C_p$. For $d\ge2$, we prove that the anchored isoperimetric profile defined in [4] is Lipschitz continuous on all intervals $[p_0 , p_1 ] \subset (p_c (d), 1)$.
We obtain Gaussian upper and lower bounds on the transition density q_t(x,y) of the continuous time simple random walk on a supercritical percolation cluster C_{\infty} in the Euclidean lattice. The bounds, analogous to Aronsen's bounds for uniformly elliptic divergence form diffusions, hold with constants c_i depending only on p (the percolation probability) and d. The irregular nature of the medium means that the bound for q_t(x,\cdot) holds only for t\ge S_x(ω), where the constant S_x(ω) depends on the percolation configuration ω.
We consider $Z^d$, with d bigger or equal to three. We investigate the vacant set of random interlacements in the strongly percolative regime, the vacant set of the simple random walk, and the excursion set above a given level of the Gaussian free field in the strongly percolative regime. We derive asymptotic upper and lower exponential bounds for the large deviation probability that the adequately thickened component of the boundary of a large box centered at the origin in the respective vacant sets or excursion set leaves in the box a macroscopic volume in its complement. We also derive geom…
We show quenched large deviations for the simple random walk on a certain class of percolations with long-range correlations. This class contains the supercritical Bernoulli percolations, the model considered by Drewitz, R'ath and Sapozhnikov and the random-cluster model up to the slab critical point. Our result is an extension of Kubota's result for the supercritical Bernoulli percolations. We also state a shape theorem for the chemical distance, which is an extension of Garet and Marchand's result for the supercritical Bernoulli percolations.
We consider two different objects on super-critical Bernoulli percolation on $\mathbb{Z}^d$ : the time constant for i.i.d. first-passage percolation (for $d\geq 2$) and the isoperimetric constant (for $d=2$). We prove that both objects are continuous with respect to the law of the environment. More precisely we prove that the isoperimetric constant of supercritical percolation in $\mathbb{Z}^2$ is continuous in the percolation parameter. As a corollary we prove that normalized sets achieving the isoperimetric constant are continuous with respect to the Hausdroff metric. Concerning first-passag…
We consider an anisotropic bond percolation model on $\mathbb{Z}^2$, with $\textbf{p}=(p_h,p_v)\in [0,1]^2$, $p_v>p_h$, and declare each horizontal (respectively vertical) edge of $\mathbb{Z}^2$ to be open with probability $p_h$(respectively $p_v$), and otherwise closed, independently of all other edges. Let $x=(x_1,x_2) \in \mathbb{Z}^2$ with $0<x_1<x_2$, and $x'=(x_2,x_1)\in \mathbb{Z}^2$. It is natural to ask how the two point connectivity function $\prob(\{0\leftrightarrow x\})$ behaves, and whether anisotropy in percolation probabilities implies the strict inequality $\prob(\{0\leftrighta…
Let $d\geq 2$. We consider an i.i.d. supercritical bond percolation on $\mathbb{Z}^d$, every edge is open with a probability $p>p_c(d)$, where $p_c(d)$ denotes the critical point. We condition on the event that $0$ belongs to the infinite cluster $\mathcal{C}_\infty$ and we consider connected subgraphs of $\mathcal{C}_\infty$ having at most $n^d$ vertices and containing $0$. Among these subgraphs, we are interested in the ones that minimize the open edge boundary size to volume ratio. These minimizers properly rescaled converge towards a translate of a deterministic shape and their open edge b…
Let $\mathcal{C}^n$ be the largest open cluster for supercritical Bernoulli bond percolation in $[-n, n]^d \cap \mathbb{Z}^d$ with $d \ge 2$. We obtain a sharp estimate for the effective resistance on $\mathcal{C}^n$. As an application we show that the cover time for the simple random walk on $\mathcal{C}^n$ is comparable to $n^d (\log n)^2$. Noting that the cover time for the simple random walk on $[-n, n]^d \cap \mathbb{Z}^d$ is of order $n^d \log n$ for $d \ge 3$ (and of order $n^2 (\log n)^2$ for $d = 2$), this gives a quantitative difference between the two random walks for $d \ge 3$.
We consider a directed random walk on the backbone of the supercritical oriented percolation cluster in dimensions $d+1$ with $d \ge 3$ being the spatial dimension. For this random walk we prove an annealed local central limit theorem and a quenched local limit theorem. The latter shows that the quenched transition probabilities of the random walk converge to the annealed transition probabilities reweighted by a function of the medium centred at the target site. This function is the density of the unique measure which is invariant for the point of view of the particle, is absolutely continuous…
We study the isoperimetric subgraphs of the giant component $\textbf{C}_n$ of supercritical bond percolation on the square lattice. These are subgraphs of $\textbf{C}_n$ having minimal edge boundary to volume ratio. In contrast to the work of Biskup, Louidor, Procaccia and Rosenthal, the edge boundary is taken only within $\textbf{C}_n$ instead of the full infinite cluster. The isoperimetric subgraphs are shown to converge almost surely, after rescaling, to the collection of optimizers of a continuum isoperimetric problem emerging naturally from the model. We also show that the Cheeger constan…
We study the isoperimetric subgraphs of the infinite cluster $\textbf{C}_\infty$ for supercritical bond percolation on $\mathbb{Z}^d$ with $d\geq 3$. Specifically, we consider the subgraphs of $\textbf{C}_\infty \cap [-n,n]^d$ which have minimal open edge boundary to volume ratio. We prove a shape theorem for these subgraphs, obtaining that when suitably rescaled, these subgraphs converge almost surely to a translate of a deterministic shape. This deterministic shape is itself an isoperimetric set for a norm we construct. As a corollary, we obtain sharp asymptotics on a natural modification of…
We show that for any Cayley graph, the probability (at any $p$) that the cluster of the origin has size n decays at a well-defined exponential rate (possibly 0). For general graphs, we relate this rate being positive in the supercritical regime with the amenability/nonamenability of the underlying graph.
We consider independent and $m$-dependent two-dimensional oriented site percolation with open-site density close to one started from Bernoulli product measures. We show that the probability of an occupied interval in the former process admits a lower bound which converges exponentially fast in time to the probability that the interval percolates. To this end, we derive sharp exponential bounds regarding the density of thinnings of the infinite cluster in this process started from the origin. Our approach offers a unified manner for deriving improvements to certain asymptotics invoked as auxili…
We study biased random walk on the infinite connected component of supercritical percolation on the integer lattice $\mathbb{Z}^d$ for $d\geq 2$. For this model, Fribergh and Hammond showed the existence of an exponent $γ$ such that: for $γ<1$, the random walk is sub-ballistic (i.e. has zero velocity asymptotically), with polynomial escape rate described by $γ$; whereas for $γ>1$, the random walk is ballistic, with non-zero speed in the direction of the bias. They moreover established, under the usual diffusive scaling about the mean distance travelled by the random walk in the direction of th…
Scale-free percolation is a percolation model on $\mathbb{Z}^d$ which can be used to model real-world networks. We prove bounds for the graph distance in the regime where vertices have infinite degrees. We fully characterize transience vs. recurrence for dimension 1 and 2 and give sufficient conditions for transience in dimension 3 and higher. Finally, we show the existence of a hierarchical structure for parameters where vertices have degrees with infinite variance and obtain bounds on the cluster density.
The chemical distance D(x,y) is the length of the shortest open path between two points x and y in an infinite Bernoulli percolation cluster. In this work, we study the asymptotic behaviour of this random metric, and we prove that, for an appropriate norm $μ$ depending on the dimension and the percolation parameter, the probability of the event \[\biggl\{0\leftrightarrow x,\frac{D(0,x)}{μ(x)}\notin (1-ε, 1+ε) \biggr\}\] exponentially decreases when $\|x\|_1$ tends to infinity. From this bound we also derive a large deviation inequality for the corresponding asymptotic shape result.
We study the giant component problem slightly above the critical regime for percolation on Poissonian random graphs in the scale-free regime, where the vertex weights and degrees have a diverging second moment. Critical percolation on scale-free random graphs have been observed to have incredibly subtle features that are markedly different compared to those in random graphs with converging second moment. In particular, the critical window for percolation depends sensitively on whether we consider single- or multi-edge versions of the Poissonian random graph. In this paper, and together with ou…
We consider biased random walk on supercritical percolation clusters in $\Z^2$. We show that the random walk is transient and that there are two speed regimes: If the bias is large enough, the random walk has speed zero, while if the bias is small enough, the speed of the random walk is positive.
We consider the zero-average Gaussian free field on a certain class of finite $d$-regular graphs for fixed $d\ge 3$. This class includes $d$-regular expanders of large girth and typical realisations of random $d$-regular graphs. We show that the level set of the zero-average Gaussian free field above level $h$ has a giant component in the whole supercritical phase, that is for all $h<h_\star$, with probability tending to one as the size of the graphs tends to infinity. In addition, we show that this component is unique. This significantly improves the result of [AC20b], where it was shown that…
