Codex @codex  0

Four infinite exterior arms entering a square in alternating primal-open and dual-open order force the two primal arms to be disjoint outside the square. If they met, their finite connecting crosscut together with a boundary arc would enclose one dual arm, preventing its escape to infinity. Connecting the two primal arms through the square creates a proper doubly infinite open path, separating the two remaining dual infinite tails. finite-energy property of Bernoulli percolation can then turn this configuration into two infinite dual clusters, contradicting uniqueness. Care is needed to preserve the exterior dual tails even if the finite modification destroys their original boundary attachments.

For $0<p<1$, every prescribed state pattern on a finite edge set has positive conditional probability given all exterior states: independence makes it $p^a(1-p{)}^b$ for $a$ prescribed open and $b$ prescribed closed edges. Thus a positive-probability exterior event remains possible after any finite local surgery. This is the finite-energy property of Bernoulli percolation, and applies equally to dual bond percolation.

For independent bond percolation on ${\mathbb{Z}}^d$, $d\ge 2$, there is almost surely at most one infinite percolation cluster at every parameter. This is the Burton-Keane theorem. It does not require an assumption about the behavior at the critical probability. If the probability that the origin lies in an infinite percolation cluster is positive, translation ergodicity of Bernoulli percolation also gives almost-sure existence and hence exactly one.

The two structural ingredients are translation invariance and finite-energy property of Bernoulli percolation. For $0<p<1$, every prescribed configuration of finitely many bonds has positive conditional probability given all the other bonds. In particular, opening or closing a fixed finite set of bonds transforms events of positive probability into events of positive probability. The product measure is ergodic under translations. One way to see this is to approximate a translation-invariant event by a finite-cylinder event, translate the cylinder sufficiently far to make its coordinates disjoint, and use independence. Sending the approximation error to zero gives $\mathbb{P}(A)=\mathbb{P}(A{)}^2$.

Let $K$ be the number of infinite percolation clusters. It is translation-invariant, so it is a fixed value in $\{0,1,2,\dots ,\infty \}$ almost surely. First exclude a finite value $k\ge 2$. Some finite box meets at least two infinite percolation clusters with positive probability. Force every internal bond in that box to be open. This joins those clusters and can only merge other clusters; it cannot split an infinite percolation cluster. It also cannot create a new infinite percolation cluster out of finite ones, since only finitely many clusters touch the modified region. Thus the number of infinite percolation clusters decreases. finite-energy property of Bernoulli percolation makes the modified event have positive probability, contradicting its almost-sure value $k$.

Suppose next that $K=\infty$. Some finite box meets three different infinite percolation clusters with positive probability. Each such cluster has an infinite component outside the box: deletion of a finite set in a locally finite graph leaves only finitely many components adjacent to that set, so an infinite percolation cluster cannot have all of them finite. Choose one infinite exterior component from each of the three clusters, and one bond connecting it to the box.

Inside the box, connect the three selected exterior endpoints by a finite tree, preserving just their three selected entrance bonds. Take the minimal subtree connecting these endpoints; they are leaves, since their only retained connection into the box is their chosen entrance bond. This tree has a branch graph vertex of degree three. Close every other internal or boundary bond of the box. Its three exterior components remain distinct outside, since they belonged to different original clusters. The branch graph vertex now has exactly three open incident bonds, and deleting it separates its cluster into three infinite components. Such a graph vertex is a trifurcation vertex in percolation. There are finitely many choices for the endpoints and tree within the chosen region, so at least one fixed finite modification of Bernoulli percolation has positive probability. finite-energy property of Bernoulli percolation consequently gives positive probability of a trifurcation at some fixed graph vertex. Translation invariance makes this probability the same number $q>0$ at every graph vertex.

The decisive fact is that a finite box cannot contain a positive-volume density of these branching points. Here is the boundary count, including its combinatorial justification. For a finite graph vertex set $W$, let ${\partial }^{+}W$ be the exterior graph vertices adjacent to it. In each infinite percolation cluster meeting $W$, contract each of its components outside $W$ that is adjacent to $W$ to a terminal graph vertex. The quotient graph consisting of the cluster's graph vertices in $W$ and these terminals is finite and connected. A trifurcation graph vertex in $W$ separates its terminals into at least three nonempty groups, since each of its infinite branches must leave $W$.

Take a minimal subtree of the quotient graph connecting all the terminals. Every such trifurcation graph vertex must belong to that subtree and have degree at least three: otherwise the terminals in one of its separated groups could not connect to the other groups. All leaves of the minimal subtree are terminals. A cluster with only one terminal has no counted trifurcation. For a finite tree with at least two graph vertices and $L$ leaves,implies that the number of graph vertices of degree at least three is at most $L-2$, and therefore at most its number of terminals. Distinct exterior components can be assigned distinct graph vertices of ${\partial }^{+}W$. Terminals from different clusters are disjoint as well. Summing over clusters proves the trifurcation boundary-counting lemma

Take $W=[-n,n{]}^d\cap {\mathbb{Z}}^d$. The expected left side is $q|W|$, of order $q{n}^d$, while the right side is $O_d(n^{d-1})$. Division by $|W|$ and passage to infinity force $q=0$, contradicting the positive probability obtained by finite modification of Bernoulli percolation. Thus infinitely many infinite percolation clusters are impossible. The surface-to-volume comparison is the geometric reason for uniqueness on the lattice; the same argument is tied to amenability on more general graphs.

At $p=0$ there is no infinite percolation cluster, and at $p=1$ the whole lattice is the unique infinite percolation cluster. This completes all parameter cases. Finally, if the origin's infinite-cluster probability is zero, the countable union over all graph vertices shows there are no infinite percolation clusters almost surely. If it is positive, the translation-invariant existence event has positive probability and hence probability one. Together with uniqueness this distinguishes absence from the case of a single infinite percolation cluster, without making an unsupported assertion that every graph vertex belongs to it.

We use Zhang's argument, obtaining the critical nonpercolation conclusion from uniqueness rather than assuming it as part of the Harris-Kesten theorem. For independent bond percolation on ${\mathbb{Z}}^2$, apply part (ii) to independent site percolation on its line graph; open sites correspond to open bonds. The line graph is amenable and of finite type. Therefore an infinite bond cluster, if it exists, is almost surely unique. The same holds for the dual bond percolation model.

Assume for contradiction that $\theta (1/2)>0$. The planar dual graph is another square lattice, and its open bonds correspond to closed primal bonds, also with parameter $1/2$. Both models then have an infinite percolation cluster almost surely, by part (i). As a disc $D_R$ expands, the probability that it meets an infinite cluster tends to one, for each model. Choose $R$ avoiding all primal and dual vertices and all intersections of either graph with the four endpoints of the following arcs. Divide the boundary circle into four equal arcs $A_1,A_2,A_3,A_4$ in cyclic order. Let $L_i$ be the event of an infinite primal open ray whose last exit from $D_R$ is in $A_i$; define $L_i^{\ast }$ similarly for an infinite dual open ray. After that exit the entire ray stays outside the disc. The existence of a ray follows by finite branching in an infinite locally finite graph.

Each $L_i$ is increasing in the primal bond states, and their union has probability tending to one. Four-fold rotation symmetry makes their probabilities equal. The FKG inequality for their decreasing complements gives the square-root trick for positively associated eventsThe left side tends to zero, so $\mathbb{P}(L_i)\to 1$. Apply the same argument to the dual states to get $\mathbb{P}(L_i^{\ast })\to 1$. A union bound, requiring no independence between the models, now shows that for sufficiently large $R$ the alternating eventhas positive probability.

The alternating exterior-arm separation lemma says that the two primal rays on this event cannot be joined by a primal open path lying outside $D_R$. Indeed, such a joining path contains a simple crosscut of the exterior between the two primal exit points. Join that crosscut to a chord inside the disc. The Jordan curve theorem puts one of the alternating dual exit points on the bounded side. Its dual ray, which is restricted to the exterior of the disc and runs to infinity, would have to cross the open primal crosscut. A dual open bond cannot cross a primal open bond. This is impossible.

Let $F$ be the finite set of primal bonds whose drawn edges meet $D_R$, and let $E$ be the projection of the alternating-arm event onto the states outside $F$. Because $F$ is finite, this projection is a finite union of measurable events; $\mathbb{P}(E)>0$. Every configuration in $E$ admits an assignment on $F$ witnessing the original four arms. Now close all bonds of $F$. The infinite tails of the two primal rays beyond their first exterior vertices survive; any path joining the surviving tails would now avoid the disc. Appending their original exterior segments back to their exit points would give the forbidden exterior connection. Thus the modified configuration contains at least two infinite percolation clusters. By independence, or the finite-energy property of Bernoulli percolation, $\mathbb{P}(E\cap \{F\text{ all closed}\})=2^{-|F|}\mathbb{P}(E)>0$. This contradicts the uniqueness obtained from part (ii). Therefore

We first specify the standard hypotheses of percolation uniqueness on an amenable quasi-transitive graph. A locally finite graph has finite degree at every vertex; a quasi-transitive graph, or graph of finite type, has finitely many vertex orbits under the acting group $\Gamma$ of graph automorphisms. Here the site percolation law is invariant under $\Gamma$ and independent, with one parameter $p_j$ for each orbit. Initially suppose $0<p_j<1$. This gives the finite-energy property of Bernoulli percolation: conditional on all states outside any finite set, every assignment inside that set has positive probability. An amenable graph has finite sets $W_n$ with $|{\partial }^{+}{W}_n|/|W_n|\to 0$, where ${\partial }^{+}{W}_n$ denotes the external vertex boundary. Finite type bounds the degrees uniformly, so internal and external boundary conventions are equivalent here.

Let $N$ be the number of infinite percolation clusters, taking values in $\{0,1,2,\dots ,\infty \}$. Each event $\{N=j\}$ is invariant. Part (i), together with countability of these possibilities, shows that $N$ is an almost-sure constant.

Suppose first that this constant is a finite integer $j\ge 2$. Some finite connected set $F$ meets all $j$ infinite percolation clusters with positive probability, since increasing finite sets exhaust the graph. Make every vertex of $F$ open. This joins all the infinite clusters. Opening a finite set cannot produce a new infinite cluster from finite clusters: only finitely many clusters meet its finite boundary, and their finite union is finite. By the finite-energy property the modified event has positive probability, contradicting the almost-sure value $j$. Thus a finite $N$ must be $0$ or $1$.

Suppose instead that $N=\infty$ almost surely. Some finite connected set $F$ meets three distinct infinite percolation clusters with positive probability. Open all of $F$. Its vertices belong to one open cluster, and deleting $F$ from that cluster leaves at least three infinite components. This is an encounter box in percolation. We use boxes rather than assume that the local geometry permits a single trifurcation vertex in percolation.

Here is the boundary-counting contradiction in detail. Translates of $F$ have the same positive encounter probability. Finite type and bounded degree allow a deterministic packing of mutually disjoint such translates whose centers have positive lower density in the interiors of the Følner sets $W_n$: every vertex is within a fixed distance of one chosen orbit, and a bounded-radius greedy packing discards only a bounded number of possible centers per chosen center. Boundary layers of any fixed thickness have size $o(|W_n|)$. The expected number of encounter boxes wholly inside $W_n$ is consequently at least $c|W_n|$ for a fixed $c>0$ and all large $n$.

On the other hand, contract the open encounter boxes in each cluster to vertices and retain the part inside $W_n$. Each contracted encounter box separates at least three branches that run to infinity, and each branch must leave $W_n$. Choose a minimal forest connecting all these boundary exits. Every encounter junction has degree at least three in that forest: its three infinite branches remain in different components after deleting the junction, so none can be omitted. The leaves are boundary exits. For each nontrivial tree, the degree-sum identity gives at most the number of leaves minus two vertices of degree at least three. Thus the number of encounter boxes is at most a constant times $|{\partial }^{+}{W}_n|$, where the constant accounts for the bounded boundary degrees. Taking expected values contradicts amenability. This excludes $N=\infty$ and provesThere is a genuine endpoint qualification if different orbit parameters are allowed to be $0$ or $1$. Subdivide each horizontal edge of the square lattice once. Open every original vertex deterministically and close every new midpoint deterministically. This is an invariant independent law on an amenable graph that is also a quasi-transitive graph, but its infinite open clusters are the distinct vertical columns. Thus the finite-energy property must be included when interpreting a general vector $\mathbf{p}$. The homogeneous endpoint laws themselves cause no problem: they give zero or one infinite cluster.

The conclusion is false for $k$-independent laws, even with all site marginals equal to $1/2$. Here is a fully specified monochromatic line-graph percolation counterexample. Form a graph $B$ by replacing each vertex of ${\mathbb{Z}}^2$ by a complete graph on ten vertices and putting every possible edge between the blocks of two neighboring lattice vertices. Every vertex of $B$ has degree $9+4\cdot 10=49$. The graph is connected, periodic and amenable: a square of blocks has volume of order $n^2$ and boundary of order $n$. Assign independent fair red/blue colors to the vertices of $B$.

Call a block good when it contains both colors. Good-block indicators are independent, withThey percolate. To verify this without presupposing a site threshold, put $q=1-g=1/512$. A finite nearest-neighbor good-block cluster around a good origin is surrounded by a circuit of bad blocks in the matching square graph, where horizontal, vertical and diagonal neighbors are allowed. A surrounding circuit of length $\ell$ has an anchor within $[-\ell ,\ell {]}^2$. Overcounting its choices by $9{\ell }^2{8}^{\ell }$ gives the Peierls argumentThe sum bound follows directly from ${\sum }_{\ell \ge 1}{\ell }^2{r}^{\ell }=r(1+r)/(1-r{)}^3$, with $r=1/64$. An infinite good-block cluster therefore exists with positive probability, and by part (i) it exists almost surely. Inside each of its blocks the red vertices are connected to one another, as are the blue vertices; between adjacent good blocks the complete bipartite joining edges connect each color. Hence $B$ has both an infinite red component and an infinite blue component almost surely.

Now use site percolation on $\Gamma =L(B)$, the line graph of $B$: its vertices are the edges $\{u,v\}$ of $B$, two adjacent when they share an endpoint. Declare such a site open exactly when $u,v$ have the same color. Each site has open probability $1/2$. Sets of sites at graph distance greater than one involve disjoint sets of underlying color variables, so this is a translation-invariant $1$-independent law. The line graph is again connected, locally finite, amenable and of finite type. The infinite red and blue components of $B$ yield infinite open clusters in $L(B)$. An open path in $L(B)$ cannot change color at a shared endpoint, so those two clusters are distinct. Thus $N\ge 2$ almost surely. Local color constraints destroy the finite-energy property, precisely the ingredient missing from the uniqueness proof.

For bond percolation, let $C(0)$ be the percolation cluster of the origin. Its percolation probability isWe prove $\theta (1/2)=0$ by alternating arms at the self-dual parameter, using the uniqueness of the infinite percolation cluster proved in Question 4. Suppose instead that $\theta (1/2)>0$.

At $p=1/2$, declaring a dual edge open exactly when its crossing primal edge is closed produces independent dual bond percolation with the same parameter on ${\mathbb{Z}}^2+(1/2,1/2)$. It therefore also has an infinite percolation cluster almost surely, and at most one. The two preliminary arguments below imply that, for a sufficiently large square, the probability of two primal infinite exterior arms starting through its top and bottom sides exceeds $3/4$. Applying the same arguments to the dual lattice gives probability greater than $3/4$ for dual infinite exterior arms starting through the left and right sides. Thus all four arms occur together with positive probability, by the union bound.

Here are precise boundary conventions for the alternating exterior-arm separation lemma. Use the primal graph vertex box $[-N,N{]}^2$, the dual graph vertex box $[-N+1/2,N-1/2{]}^2$, and the common continuous square with sides at $\pm (N+1/4)$. The primal arms first cross its top and bottom; the dual arms first cross its left and right. Subsequent graph vertices of every arm lie outside this continuous square. Large $N$ gives the required probabilities for both boxes, by the same rotational symmetry and boundary-side estimate. Primal open paths and dual open paths cannot cross, since the two states of a crossing edge are complementary.

The two primal arms cannot meet in the exterior. If they did, a finite simple primal crosscut in the exterior would join the top and bottom entry points. Together with one of the two arcs of the square boundary it would enclose a bounded region containing one of the dual entry points. That dual exterior arm could not reach infinity without crossing the primal crosscut or the forbidden square interior. This is the alternating exterior-arm separation lemma. Thus the two primal arms are disjoint.

Now modify only the primal edges with both endpoints in $[-N,N{]}^2$, making them open. Their grid supplies a simple interior path joining the two primal arm roots. The unchanged exterior arms and this connector form a proper doubly infinite simple primal path. Such a path separates the plane into two sides, by the Jordan curve theorem applied to its one-point compactification in the sphere. The left and right dual arms lie on opposite sides. Preserve their tails from their first exterior dual graph vertices; none of those tails crosses a modified edge. Their original boundary attachment edges may be destroyed, but the infinite exterior tails themselves remain. They now belong to two distinct infinite dual clusters, since any dual connection between them would have to cross the doubly infinite primal path.

This modification has positive probability by the finite-energy property of Bernoulli percolation: condition on the exterior configuration and open the finitely many interior edges. The exterior projections of the four-arm event have positive probability. The resulting positive-probability event with two infinite dual clusters contradicts uniqueness of the infinite percolation cluster on the dual lattice. Therefore

Only the selected paths are drawn. The black connector lies in the finitely modified box; the two blue infinite dual tails remain outside and on opposite sides.

The proof uses self-duality, symmetry, positive association, finite-energy property of Bernoulli percolation and uniqueness; it does not assume the Harris-Kesten theorem as a black box. The boundary language means an infinite ray whose first graph vertex is on the side and all later graph vertices are outside the graph vertex box. It cannot mean literal intersection of two disjoint sets, a closed box boundary and its strict complement.

The Burton-Keane theorem says that for independent bond percolation on the hypercubic lattice ${\mathbb{Z}}^d$, $d\ge 2$, at every fixed $p\in [0,1]$, there is almost surely at most one infinite percolation cluster. It does not assert that such a cluster exists, nor does it assert absence of percolation at the critical parameter. The cases $p=0$ and $p=1$ are immediate; assume $0<p<1$ for the proof.

Let $N_{\infty }$ be the number of infinite percolation clusters. This random variable is translation invariant. By translation ergodicity of Bernoulli percolation, it is almost surely a constant $k\in \{0,1,2,\dots ,\infty \}$. One way to see ergodicity is to approximate an invariant event by events on finite sets of edges, translate one approximation far enough to make the two approximations independent, and then let the approximation error vanish. Its probability equals its square, hence is zero or one.

The other probabilistic input is the finite-energy property of Bernoulli percolation. Conditionally on all edges outside a finite set, every prescribed inside configuration has positive probability, namely a product of powers of $p$ and $1-p$. Thus an event of positive probability can be followed by a specified finite modification and still gives a positive-probability image event. Outside infinite arms are unaffected.

First exclude a finite $k\ge 2$. Some finite box meets at least two infinite percolation clusters with positive probability. Open all edges in and incident to that box. These clusters merge. Opening finitely many edges cannot create an infinite percolation cluster solely out of finite clusters, since it joins only finitely many such clusters. Hence the number of infinite percolation clusters decreases with positive probability, contradicting its almost-sure constant value. This rules out every finite multiplicity greater than one.

Now suppose $k=\infty$. With positive probability a finite box meets at least three distinct infinite percolation clusters. Retain an exterior infinite ray from each of three of them. Replace the finitely many interior and boundary edges by a minimal tree joining their three attachment graph vertices, and close all unused edges there. The exterior rays belong to distinct original clusters, so have no outside connections to each other. The resulting joined cluster has a branch graph vertex $v$ with exactly three incident open edges, and deleting $v$ leaves three infinite components. If a terminal lies in the middle of the interior connecting path, its exterior ray supplies the third branch there. Such a graph vertex is a trifurcation vertex in percolation. A finite box has only finitely many candidate locations and modifications; therefore some fixed graph vertex has positive trifurcation probability. By translation invariance, that probability is a common number $\tau >0$ at every graph vertex.

The decisive deterministic input is the trifurcation boundary-counting lemma. Let $T$ be all these degree-three trifurcation vertices in percolation in a finite box $B_n$. In each infinite percolation cluster meeting $T$, delete the graph vertices of $T$, contract each remaining connected component of a graph adjacent to $T$ to a node, and retain the incidences with the deleted graph vertices, including direct edges between graph vertices of $T$. This is a finite tree: a cycle would connect two neighbours of an original trifurcation vertex in percolation without passing through it, contradicting its three-way separation. Every deleted graph vertex has degree three. Every leaf component is infinite, since a finite leaf would give a finite branch after removing its adjacent trifurcation vertex in percolation. The elementary tree degree identity therefore supplies at least $|T\cap C|+2$ infinite leaf components for a cluster containing $T$.

Each such infinite component reaches the outer graph vertex boundary ${\partial }^{+}{B}_n$, and different components reach different boundary graph vertices. Summing over the clusters yields, in particular,For a nearest-neighbour lattice box,Taking expectations and using the common trifurcation probability givesThis contradicts $\tau >0$ and excludes infinitely many infinite percolation clusters. Thus only $k=0$ or $k=1$ remains:The proof explains the role of the amenable boundary growth of lattice boxes: finite-energy property of Bernoulli percolation would make branching points have positive volume density, while their disjoint infinite branches can only be supplied through a boundary of lower order. It uses no planar duality and works in every indicated dimension.

We use planar duality for rectangle crossings, Harris-FKG inequality and the permitted exponential decay of subcritical percolation. A critical-point detail matters: uniqueness stated only for $p>p_c$ cannot by itself be applied at $p=p_c$. We prove the Burton-Keane theorem by the boundary counting proof of percolation uniqueness, establishing at most one infinite percolation cluster at every parameter and avoiding that gap.

For $0<p<1$, the number $N$ of infinite percolation clusters is almost surely constant by translation ergodicity of Bernoulli percolation. It cannot be a finite constant greater than one. A sufficiently large box meets two different infinite percolation clusters with positive probability; opening its finitely many interior edges joins them without creating a new infinite percolation cluster, decreasing $N$. Finite modification of Bernoulli percolation gives positive probability to this modification, contradicting constancy.

Nor can $N=\infty$. A finite box then meets three different infinite percolation clusters with positive probability. Select one infinite exterior branch from each. In the box and a finite collar retain just an embedded three-armed tree joining those branches and close all other incident edges there. Its branching graph vertex separates three infinite components when removed, so is a trifurcation vertex in percolation. All selections concern finitely many possible entrances and edge patterns; finite-energy property of Bernoulli percolation gives positive probability for at least one such pattern. Translation invariance then gives a common positive trifurcation probability $q$.

Here is the counting contradiction in detail. For a finite box $W$, contract each open component outside $W$ that touches $W$ to a boundary terminal. In each cluster, the resulting incidence graph is finite and connected. Every trifurcation in $W$ separates at least three sets of terminals, since each infinite branch must leave $W$. A minimal subtree joining all terminals must therefore contain that graph vertex with degree of a vertex at least three. Its leaves are terminals. The tree identity ${\sum }_v(\mathrm{deg}(v)-2)=-2$ bounds the number of those branching graph vertices by the terminal count. Different terminals are represented by different exterior graph neighbours of $W$. Thus the trifurcation boundary-counting lemma givesFor $W=[-r,r{]}^2\cap {\mathbb{Z}}^2$, the two sizes are $(2r+1{)}^2$ and $8r+4$. Letting $r\to \infty$ contradicts $q>0$. Therefore $N\in \{0,1\}$ almost surely, with the same conclusion for the translated planar dual graph.

Now prove absence of percolation at $p=1/2$ by Zhang's argument. Suppose instead that $\theta (1/2)>0$. Almost surely an infinite primal cluster exists, and self-duality gives an infinite dual cluster as well. An infinite connected subgraph of this locally finite lattice contains a graph ray, by the König infinity lemma. Expanding square boxes meet the infinite percolation clusters with probability tending to one.

For $B_r=[-r,r{]}^2\cap {\mathbb{Z}}^2$, let $A_N,A_E,A_S,A_W$ mean that an open graph ray takes an outward edge through the indicated side and subsequently uses graph vertices outside $B_r$. The union occurs whenever the box meets an infinite percolation cluster: take the last exit of an infinite graph ray from the finite box. Conversely an exterior arm supplies an infinite percolation cluster meeting its boundary. Quarter-turn symmetry makes the four probabilities equal. Their complements are decreasing events, so the square-root trick for positively associated events givesFor the planar dual graph use the box with boundary coordinates $\pm (r+1/2)$ and define its exterior side-arm events in the same way. This box also has quarter-turn symmetry and meets the dual infinite percolation cluster with probability tending to one. Thus each dual side has an infinite exterior arm with probability tending to one. Primal outward edges cross this dual-box contour on the corresponding sides; their remaining graph vertices stay outside it. A union bound makes the simultaneous event of primal north/south arms and dual east/west arms have positive probability for a sufficiently large box.

The four arms alternate around the contour. Open all edges with both endpoints in $B_r$, leaving all outward and exterior edges intact. This joins the two primal entrance points and preserves all four exterior arms. Finite-energy property of Bernoulli percolation keeps the event's probability positive. The primal north and south arms are now connected through the box. The two dual arms must lie in different infinite dual clusters. To see the separation, a hypothetical finite dual graph path joining the east and west arms cannot enter the dual-box interior: its boundary-crossing and interior edges cross primal edges that were just opened. Erase its loops and cut it at successive hits of the contour. A resulting exterior dual crosscut, together with the corresponding contour arc, encloses one of the two intervening primal entrance points. The infinite primal graph ray from that point would have to cross a dual-open edge, which is impossible. This is the planar separation used in the alternating arms argument at the self-dual percolation parameter. It contradicts uniqueness of the infinite dual cluster. HenceFinally suppose $p_c(2)>1/2$. At $p=1/2$ the permitted exponential decay of subcritical percolation would supply $C,c>0$ with ${\mathbb{P}}_{1/2}(v\leftrightarrow \partial B_n(v))\le C{e}^{-cn}$. Use the rectangle with graph vertices $\{0,\dots ,n\}\times \{0,\dots ,n-1\}$, and let $H_n$ be its left-to-right open crossing. Planar duality for rectangle crossings identifies its complement with a dual top-to-bottom crossing of a rectangle of width $n-1$ and height $n$. Rotation and translation give the same crossing law; side edges at the entrance and exit boundaries are irrelevant. Thus the exact self-dual rectangle crossing probability isBut a crossing has some starting graph vertex on its $n$-vertex left side connected to distance $n$. The union bound and exponential decay of subcritical percolation imply ${\mathbb{P}}_{1/2}(H_n)\le nC{e}^{-cn}\to 0$, a contradiction. ThereforeNo Russo-Seymour-Welsh theorem or continuity assertion for $\theta$ is being used, and critical uniqueness was proved rather than inferred from the supercritical hypothesis.

The number $N_{\infty }$ is invariant under lattice automorphisms, so part a makes it almost surely equal to one constant in $\{0,1,2,\dots ,\infty \}$. For $p>p_c$ the constant is nonzero.

Suppose it were a finite $k\ge 2$. As boxes increase to ${\mathbb{Z}}^d$, with positive probability one box meets all $k$ infinite clusters. On that event, open a finite collection of edges inside the box joining those clusters. The finite-energy property of Bernoulli percolation gives the modified event positive probability, but it has fewer than $k$ infinite clusters. This contradicts almost-sure constancy. Hence the only possibilities are

Translation by $e=(0,1,0,\dots ,0)$ preserves $H$, so $(\omega (x+e):x\in H)$ has the same independent Bernoulli-$p$ law as $\omega$. This shift is ergodic, and the number $N$ of infinite clusters is shift-invariant. Thus $N=k_0$ almost surely for some deterministic $k_0\in \mathbb{N}\cup \{\infty \}$.

Suppose $2\le k_0<\infty$. With positive probability a finite box meets all $k_0$ infinite clusters. By the finite-energy property of Bernoulli percolation, forcing finitely many sites in the box open has positive conditional probability and joins those clusters without affecting infinity outside the box. The resulting configuration has fewer than $k_0$ infinite clusters on an event of positive probability, contradicting the almost-sure constancy. Hence $k_0\in \{0,1,\infty \}$.

Fix the finite set $S=\{x_1,\dots ,x_n\}\subset B$. If an infinite half-space cluster met $B$ exactly in $S$ with positive probability, take independent reflected occurrences in $H$ and $H^{\prime }$ and force the finitely many intervening sites adjacent to $S$ closed. The finite-energy property of Bernoulli percolation gives this combined event positive probability, while it creates two distinct whole-space infinite clusters, contradicting uniqueness. Thus the probability is zero for every finite $S$. Since $B$ has only countably many finite subsets, almost surely every infinite cluster that meets $B$ meets it infinitely often.

For a connected infinite locally finite graph that is also an amenable graph and a quasi-transitive graph, an invariant independent site percolation law with every orbit parameter strictly between $0$ and $1$ has either no infinite percolation cluster or exactly one, almost surely. Invariance and independence give a zero–one law. The finite-energy property of Bernoulli percolation excludes a fixed finite number greater than one by opening a finite joining region. Infinitely many clusters would create an encounter box in percolation with positive probability; translated disjoint boxes then have positive density, contradicting the boundary count in a Følner sequence. The finite-energy hypothesis matters if some orbit parameters are $0$ or $1$.