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!