Connective-constant lower bound for percolation
ID: connective-constant-lower-bound-for-percolation
For independent bond percolation on a transitive locally finite lattice, let count rooted self-avoiding walks and let be the connective constant. An infinite open percolation cluster supplies an open walk of every length. The union bound gives , which tends to zero when . Thus .
New to topics? Read the docs here!