Supercritical percolation on nonamenable graphs

Let G be a transitive nonamenable graph, and consider supercritical Bernoulli bond percolation on G. We prove that the probability that the origin lies in a finite cluster of size n decays exponentially in n. We deduce that:
1. Every infinite cluster has anchored expansion almost surely. This answers positively a question of Benjamini, Lyons, and Schramm (1997).
2. Various observables including the percolation probability and the truncated susceptibility are analytic functions of p throughout the entire supercritical phase.
Joint work with Jonathan Hermon.