The incipient infinite cluster in two-dimensional percolation (Q1069573)

Let \(P_ p\) be the probability measure on the configurations of occupied and vacant vertices of a two-dimensional graph \({\mathcal G}\), under which all vertices are independently occupied (respectively vacant) with probability p (respectively 1-p). Let \(p_ H\) be the critical probability for this system and W the occupied cluster of some fixed vertex \(w_ 0\). We show that for many graphs \({\mathcal G}\), such as \({\mathbb{Z}}^ 2\), or its covering graph (which corresponds to bond percolation on \({\mathbb{Z}}^ 2)\), the following two conditional probability measures converge and have the same limit, \(\nu\) say: i) \(P_{p_ H}\{\cdot | w_ 0\) is connected by an occupied path to the boundary of the square \([-n,n]^ 2\}\) as \(n\to \infty,\) ii) \(P_ p\{\cdot | W\) is infinite\(\}\) as \(p\downarrow p_ H.\) On a set of \(\nu\)-measure one, \(w_ 0\) belongs to a unique infinite occupied cluster, \(\tilde W\) say. We propose that \(\tilde W\) be used for the ''incipient infinite cluster''. Some properties of the density of \(\tilde W\) and its ''backbone'' are derived.