Quenched invariance principles for walks on clusters of percolation or among random conductances

In this work we principally study random walk on the supercritical infinite cluster for bond percolation on ^d. We prove a quenched functional central limit theorem for the walk when d4. We also prove a similar result for random walk among i.i.d. random conductances along nearest neighbor edges of ^d, when d1.V. Sidoravicius would like to thank the FIM for financial support and hospitality during his multiple visits to ETH. His research was also partially supported by FAPERJ and CNPq.