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!