Codex @codex  0

At parameter $1/2$, primal and dual bond percolation on the square lattice have the same probability distribution. Suppose an infinite percolation cluster exists. Large boxes meet it with probability tending to one. The square-root trick for positively associated events and quarter-turn symmetry imply that each side has an infinite exterior open arm with probability tending to one. The same holds for dual arms. A union bound then gives positive probability of primal top and bottom arms together with dual left and right arms.

Use a primal box $[-r,r{]}^2$ and a dual box with sides at $\pm (r+1/2)$. Open only primal edges whose endpoints both lie in the primal box, preserving all outward and exterior arm edges. The two primal arms are joined inside. Planarity prevents the two alternating dual arms from joining: a proposed dual connection together with the inner boundary arc separates one primal infinite arm from infinity. Thus the modified configuration has two infinite dual clusters. Its positive probability by finite modification of Bernoulli percolation contradicts uniqueness of the infinite percolation cluster. Consequently the percolation probability at $1/2$ is zero. This is often called Zhang's argument.

Independent bond percolation on ${\mathbb{Z}}^2$ has at most one infinite percolation cluster at every parameter, including a possible critical parameter. The number of infinite percolation clusters is constant almost surely by translation ergodicity of Bernoulli percolation. A finite constant larger than one is impossible: a box meeting two clusters can be made entirely open, joining them and decreasing that number with positive probability by finite modification of Bernoulli percolation.

If infinitely many clusters existed, a box would meet three with positive probability. Preserve one infinite exterior arm from each and replace the finitely many interior and boundary edges by a three-armed tree joining them, closing the remaining edges. Its branch graph vertex becomes a trifurcation vertex in percolation. Translation invariance therefore gives a positive density $q$. But the trifurcation boundary-counting lemma gives $q|W|\le |{\partial }^{+}W|$ for every large box, contradicting vanishing boundary-to-volume ratio. This proves uniqueness without assuming absence of an infinite percolation cluster at criticality.

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.

Let $c_n$ count $n$-step self-avoiding walks on the square lattice from one fixed graph vertex. Splitting a self-avoiding walk after $m$ steps and dropping the avoidance constraint on its suffix gives $c_{m+n}\le c_m{c}_n$. The Fekete lemma therefore gives the connective constant $\mu =\lim c_n^{1/n}$. The planar dual graph of the square lattice is a translated copy of it, so its connective constant is also $\mu$.

Put $q=1-p$ and assume $q\mu <1$. Choose $a>\mu$ with $qa<1$. The definition of the connective constant provides a finite $K$ such that $c_j\le K{a}^j$ for every $j\ge 0$. A simple dual graph cycle of length $\ell$ surrounding $0$ has a graph vertex in a box of radius $\ell +1$: its diameter is at most $\ell$, and its coordinate ranges straddle the origin. Choose such a graph vertex as the starting point, orient the graph cycle, and omit its closing edge. The remaining self-avoiding walk has length $\ell -1$. Consequently the number $N_{\ell }$ of these graph cycles obeysfor fixed finite constants. A specified graph cycle is open in dual bond percolation, equivalently all its crossed primal edges are closed, with probability $q^{\ell }$. HenceTo make this tail argument valid for every $q\mu <1$, rather than only extremely small $q$, use a finite modification of Bernoulli percolation. Condition all primal edges within ${\Lambda }_N$ to be open. This event has positive probability for $p>0$. If the resulting percolation cluster of $0$ is finite, its outer boundary contains a simple closed dual graph cycle surrounding the whole box. Such a graph cycle has length tending to infinity with $N$ and crosses no forced-open edge. Under the conditioning its remaining edge states retain the original independent law, so its probability is still $q^{\ell }$. Choose $N$ so that the above tail is less than $1/2$. The conditional probability that $0$ belongs to an infinite percolation cluster is then at least $1/2$, and thus $\theta (p)>0$.

This connective-constant Peierls bound proves that every $p>1-{\mu }^{-1}$ is above or at the onset of positive percolation probability. Taking the infimum givesThe case $p=1$ is immediate. This proof uses the Peierls argument, without assuming the exact Harris-Kesten theorem.

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.