PutFix and write with . Repeated subadditivity givessoThe finitely many values are bounded, henceTaking the infimum over gives , while the definition of gives for every . ThereforeThis is Fekete lemma.
LetThe events and are increasing events of bond percolation. The FKG inequality and translation invariance giveThus 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
WriteSince , , and thereforeFor 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 yieldsConsequentlyThe polynomial boundary-size estimate makes the last term tend to zero, while the first tends to . Hence
Articles by others on the same topic
There are currently no matching articles.