Quenched invariance principles for random walks on percolation clusters
arXiv:math/0505672
Abstract
We prove the almost sure ('quenched') invariance principle for a random walker on an infinite Bernoulli percolation cluster in where is larger or equal than 2.
Different and more self-contained exposition of the main step of the proof. Paper can now be read without any previous knowledge on 2 scale convergence