Paper detail

A Russo Seymour Welsh Theorem for critical site percolation on \(\mathbb{Z}^2\)

The Russo-Seymour-Welsh Theorem for Z^2 bond or T (triangular lattice) site percolation states that at criticality, for all fixed real λ, the probability of the existence of a horizontal occupied crossing of each rectangle with size n*λn is not degenerated when n tends to infinity. Turning to site percolation on Z^2, where the self duality does not hold anymore, we prove that the analogue statement of the RSW Theorem will still be true in this case. The proof uses appropriate finite size criteria and a result of Kesten which allows us to extend existing crossings without losing too much probability. As a consequence, there is no infinite cluster at criticalty. Our object in this short paper is twofold. Our first goal is to give a proof of a RSW Theorem for Z 2 site percolation. Since the proof uses in an essential way a celebrated result by Kesten on the so called "box crossing", our second goal in this paper is to present a self-contained proof of this theorem in perhaps a more accessible language.