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.
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).
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 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 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.
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 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 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…
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.
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 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…
We consider the Bernoulli bond percolation model in a box $Λ$ (not necessarily parallel to the directions of the lattice) in the regime where the percolation parameter is close to $1$. We condition the configuration on the event that two opposite faces of the box are disconnected. We couple this configuration with an unconstrained percolation configuration. The interface edges are the edges which differ in the two configurations. We prove that, typically, each interface edge is within a distance of order $\ln|Λ|$ of another interface edge or of a pivotal edge. We derive an estimate for the law…
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.
For a complete graph of size $n$, assign each edge an i.i.d.\ exponential variable with mean $n$. For $λ>0$, consider the length of the longest path whose average weight is at most $λ$. It was shown by Aldous (1998) that the length is of order $\log n$ for $λ< 1/\mathrm{e}$ and of order $n$ for $λ> 1/\mathrm{e}$. In this paper, we study the near-supercritical regime where $λ= \mathrm{e}^{-1} +η$ with $η>0$ a small fixed number. We show that there exist two absolute constants $c^*, C^*>0$ such that with high probability the length is in between $n \mathrm{e}^{-C^*/\sqrtη}$ and $n \mathrm{e}^{-c…
It has been recently understood (arXiv:1212.2885, arXiv:1310.4764, arXiv:1410.0605) that for a general class of percolation models on $\mathbb{Z}^d$ satisfying suitable decoupling inequalities, which includes i.a.\ Bernoulli percolation, random interlacements and level sets of the Gaussian free field, large scale geometry of the unique infinite cluster in strongly percolative regime is qualitatively the same; in particular, the random walk on the infinite cluster satisfies the quenched invariance principle, Gaussian heat-kernel bounds and local CLT. In this paper we consider the random walk lo…
We study random walks on supercritical percolation clusters on wedges in $\Z^3$, and show that the infinite percolation cluster is (a.s.) transient whenever the wedge is transient. This solves a question raised by O. Haggstrom and E. Mossel. We also show that for convex gauge functions satisfying a mild regularity condition, the existence of a finite energy flow on $Z^2$ is equivalent to the (a.s.) existence of a finite energy flow on the supercritical percolation cluster. This solves a question of C. Hoffman.
We consider dynamical percolation on the $d$-dimensional discrete torus of side length $n$, $\mathbb{Z}_n^d$, where each edge refreshes its status at rate $μ=μ_n\le 1/2$ to be open with probability $p$. We study random walk on the torus, where the walker moves at rate $1/(2d)$ along each open edge. In earlier work of two of the authors with A. Stauffer, it was shown that in the subcritical case $p<p_c(\mathbb{Z}^d)$, the (annealed) mixing time of the walk is $Θ(n^2/μ)$, and it was conjectured that in the supercritical case $p>p_c(\mathbb{Z}^d)$, the mixing time is $Θ(n^2+1/μ)$; here the implie…
We study the number $N\_n$ of open paths of length $n$ in supercritical oriented percolation on $\Zd \times \N$, with $d \ge 1$. We prove that on the percolation event $\{\inf N\_n\textgreater{}0\}$, $N\_n^{1/n}$ almost surely converges to a positive deterministic constant. We also study the existence of directional limits. The proof relies on the introduction of adapted sequences of regenerating times, on subadditive arguments and on the properties of the coupled zone in supercritical oriented percolation.
Critical oriented percolation enhanced along random supercritical horizontal lines
Institut Polytechnique de Paris, Université Paris-Saclay, ENSAE Paris（巴黎理工学院，巴黎萨克雷大学，巴黎国立经济统计学院）；Instituto de Matemática, Universidade Federal do Rio de Janeiro（里约热内卢联邦大学数学研究所）
We consider the standard model of i.i.d. first passage percolation on Z^d given a distribution G on [0, +$\infty$] (including +$\infty$). We suppose that G({0}) > 1 -- p\_c(d), i.e., the edges of positive passage time are in the subcritical regime of percolation on Z^d. We consider a cylinder of basis an hyperrectangle of dimension d -- 1 whose sides have length n and of height h(n) with h(n) negligible compared to n (i.e., h(n)/n $\rightarrow$ 0 when n goes to infinity). We study the maximal flow from the top to the bottom of this cylinder. We already know that the maximal flow renormalized b…
The aim of this paper is to generalize the well-known asymptotic shape result for first-passage percolation on $\Zd$ to first-passage percolation on a random environment given by the infinite cluster of a supercritical Bernoulli percolation model. We prove the convergence of the renormalized set of wet points to a deterministic shape that does not depend on the random environment. As a special case of the previous result, we obtain an asymptotic shape theorem for the chemical distance in supercritical Bernoulli percolation. We also prove a flat edge result. Some various examples are also given…
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.
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.
We study the growth and isoperimetry of infinite clusters in slightly supercritical Bernoulli bond percolation on transitive nonamenable graphs under the $L^2$ boundedness condition ($p_c<p_{2\to 2}$). Surprisingly, we find that the volume growth of infinite clusters is always purely exponential (that is, the subexponential corrections to growth are bounded) in the regime $p_c<p<p_{2\to 2}$, even when the ambient graph has unbounded corrections to exponential growth. For $p$ slightly larger than $p_c$, we establish the precise estimates \begin{align*} \mathbf{E}_p \left[ \# B_\mathrm{int}(v,r)…
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 a two-dimensional directed self-avoiding walk model of a random copolymer in a random emulsion. The copolymer is a random concatenation of monomers of two types, $A$ and $B$, each occurring with density 1/2. The emulsion is a random mixture of liquids of two types, $A$ and $B$, organised in large square blocks occurring with density $p$ and $1-p$, respectively, where $p \in (0,1)$. The copolymer in the emulsion has an energy that is minus $α$ times the number of $AA$-matches minus $β$ times the number of $BB$-matches, where without loss of generality the interaction para…
We prove that the density fluctuations for a zero-range process evolving on the supercritical percolation cluster are given by a generalized Ornstein-Uhlenbeck process in the space of distributions $\mc S'(\bb R^d)$.
In this paper, we are interested in the loop cluster model on $\mathbb{Z}^d$ for $d\geq 3$. It is a long range model with two parameters $α$ and $κ$, where the non-negative parameter $α$ measures the amount of loops, and $κ$ plays the role of killing on vertices penalizing ($κ\geq 0$) or favoring ($κ<0$) appearance of large loops. We consider the truncated loop cluster model formed by the Poisson point process $\mathcal{L}_{α,\leq m}$, which is the restriction of $\mathcal{L}_α$ on loops with at most $m$ jumps. We prove the existence of percolation in a $2$-dimensional slab for the truncated l…
