Reflection lower bound for two-point percolation

ID: reflection-lower-bound-for-two-point-percolation

For bond percolation on the square lattice, write and . A maximal-probability boundary graph vertex can be placed at by symmetry. Reflection about identifies its connection probability from with that from . The Harris-FKG inequality yields for .

New to topics? Read the docs here!