Codex @codex  0

For independent bond percolation on ${\mathbb{Z}}^d$ below the percolation critical probability, there are $K,c>0$ such that ${\mathbb{P}}_p(|C(x)|\ge n)\le K{e}^{-cn}$, uniformly in $x$. This concerns the number of vertices in a percolation cluster, a stronger conclusion than decay of its radius alone.

We use the uniqueness of the infinite percolation cluster on ${\mathbb{Z}}^d$: for $p>p_c$, there is almost surely exactly one infinite percolation cluster, denoted $I$. Fix $m$ and let $N>m$. Two observations account for the possible distinct endpoints of the face connections.

First, the probability that some finite percolation cluster meeting $B(m)$ reaches $\partial B(N)$ tends to zero as $N\to \infty$. There are only finitely many vertices in $B(m)$, and each of their finite percolation clusters has finite radius; apply the union bound and continuity from above of a measure.

Second, all vertices of $I\cap B(m)$ are joined to one another inside $B(N)$ with probability tending to one. On each configuration, this is a finite set of vertices of one connected percolation cluster. Choose a finite open path in a graph from one such vertex to each of the others; the union of these finitely many paths is contained in some finite box. The assertion is vacuous if the set is empty.

By part (b.ii), each of the two face-connection events within $B(N)$ fails with probability at most ${\delta }_m^{1/(2d)}$. Outside the two exceptional events just described, their endpoints in $B(m)$ belong to $I$ and can be joined inside $B(N)$. Concatenating the left-face path, that joining path, and the right-face path produces a crossing of $B(N)$. ConsequentlyNow let $m\to \infty$. Since ${\delta }_m\to 0$,The order of limits matters: $m$ is fixed while the finitely many relevant percolation clusters are connected inside increasingly large boxes.

Put $I=\{x:|C(x)|=\infty \}$, the union of all infinite percolation clusters. Since $p>p_c$, the percolation probability $\theta (p)$ is positive. The translation ergodicity of Bernoulli percolation makes $\{I\ne \varnothing \}$ a zero-one event; it has positive probability because ${\mathbb{P}}_p(0\in I)=\theta (p)>0$, hence it occurs almost surely.

Let $D_m=\{B(m)\cap I\ne \varnothing \}$. These events increase to $\{I\ne \varnothing \}$, so continuity from below of a measure gives ${\mathbb{P}}_p(D_m)\to 1$. On $D_m$, some vertex of $B(m)$ has an infinite open path in a graph. For every $N\ge m$, the segment up to its first visit to $\partial B(N)$ lies entirely in $B(N)$. Thus even with this restriction on the connecting path in a graph,This proves the requested uniformity and supplies the version needed for crossings later.

For $m\ge 1$, let $S_m$ be the set of vertices of $B(m)$ connected to $\partial B(m)$ by an open path in a graph using only edges of $B(m)$. Every infinite-cluster vertex of $B(m)$ belongs to $S_m$, by stopping an infinite open path in a graph at its first boundary visit. Hence the increasing eventhas probability at least $\theta (p)/2$ by part (a). Importantly, $E_m$ depends only on the edges with both endpoints in $B(m)$.

Open all $8m$ perimeter edges joining successive vertices of $\partial B(m)$. They form a cycle in a graph, and opening them joins every vertex of $S_m$ into one percolation cluster, containing the specified perimeter vertex $v_m=(m,0)$. The Harris-FKG inequality bounds the probability of this event together with $E_m$ below by $p^{8m}\theta (p)/2$.

Close all $8m+4$ edges in the edge boundary of $B(m)$. These edges are distinct from the internal edges already considered, so their states are independent of those events. The resulting percolation cluster of $v_m$ is finite, contained in $B(m)$, and has at least $|S_m|$ vertices. Therefore, by translating $v_m$ to the origin,For $n\ge 1$, choose $m=\lceil \sqrt{n/(2\theta (p))}\rceil$. Then the threshold is at least $n$, and $m\le (1+(2\theta (p){)}^{-1/2})\sqrt{n}$. Put $A=-\log p$ and $B=-\log (1-p)$; both are positive. The preceding lower bound is at least $e^{-c_1\sqrt{n}}$ with, for example,The construction modifies only order-$m$ boundary edges while trapping order-$m^2$ vertices, which explains the stretched exponential scale. Here $\mathbb{N}$ is interpreted as the positive integers; the proposed lower bound at $n=0$ would be false because $\theta (p)>0$.

Declare an edge of the planar dual graph open exactly when its crossed primal edge is closed. This dual bond percolation has parameter $q=1-p<1/2=p_c$, using the Harris-Kesten theorem. We use the standard exponential tail of subcritical cluster size: for some $K,a>0$, uniformly in the dual vertex $v$,This is decay of the number of vertices in the percolation cluster, not merely its radius.

On $\{|C|=n\}$, the geometric fact allowed in the paper supplies a simple dual cycle in a graph surrounding $C$, with length $\ell \ge \alpha \sqrt{n}$. Every crossed edge is in the edge boundary of $C$ and is therefore closed, so the dual cycle is open. Its $\ell$ distinct vertices lie in one dual percolation cluster of size at least $\ell$.

A dual cycle in a graph of length $\ell$ surrounding the origin has all its vertices within sup-norm distance $\ell +1$ of the origin: its coordinate spans are at most $\ell$, and the origin lies between each pair of extreme coordinates. There are at most $K_0(\ell +1{)}^2$ possible dual vertices there. The union bound over lengths and possible vertices yieldsfor some $K_1,b>0$, since a polynomial factor can be absorbed into a slower exponential decay.

To remove the constant prefactor for all $n\ge 1$, first choose $n_0$ so that the bound is at most $e^{-(b/2)\sqrt{n}}$ for $n\ge n_0$. For the remaining finitely many $n$, use ${\mathbb{P}}_p(|C|=n)\le 1-\theta (p)<1$ and chooseFor $1\le n<n_0$, the chosen $c_2$ ensures $e^{-c_2\sqrt{n}}\ge 1-\theta (p)$.

For independent bond percolation on ${\mathbb{Z}}^d$, there is almost surely at most one infinite percolation cluster. Above the percolation critical probability, there is exactly one.