Put
Fix and write with . Repeated subadditivity gives
so
The finitely many values are bounded, hence
Taking the infimum over gives , while the definition of gives for every . Therefore
This is Fekete lemma.
Let
The events and are increasing events of bond percolation. The FKG inequality and translation invariance give
Thus is a subadditive sequence. Since every probability is positive for , Fekete lemma applies and gives
By the union bound,
Hence some has connection probability at least the left side divided by . Some coordinate of equals or . A coordinate permutation and reflection of sends that face to the face and preserves the bond percolation law. Its image therefore satisfies
Write
Since , , and therefore
For the opposite inequality, choose as in part (ii). Reflection about sends to and preserves the lattice. Thus the increasing events and have the same probability. The FKG inequality yields
Consequently
The polynomial boundary-size estimate makes the last term tend to zero, while the first tends to . Hence

Articles by others on the same topic (0)

There are currently no matching articles.