 Harris-Kesten theorem

The percolation critical probability of independent bond percolation on the infinite square lattice is exactlyIn this model, $\theta (p)=0$ for $p\le 1/2$ and $\theta (p)>0$ for $p>1/2$. The particular graph, independent edge decisions, and distinction between bond percolation and site percolation matter: this value is not a universal threshold for arbitrary random networks. The equality of open and closed edge probabilities at $1/2$ suggests a relation to dual bond percolation, but that symmetry alone is not a proof of long-distance connectivity.

Harris established the lower bound, including absence of an infinite percolation cluster at $p=1/2$, in 1960. Kesten completed the equality in 1980. His original paper states the threshold result as Theorem 1 and the positive/zero percolation probability alternatives as Theorem 2: ^[ref]. These are claims about the infinite square lattice, rather than deductions from a simulated finite sample.