Heavy repulsion of clusters in Bernoulli percolation
We study Bernoulli$(p)$ percolation on (non)unimodular quasi-transitive graphs and prove that, almost surely, for any two heavy clusters $C$ and $C'$, the set of vertices in $C$ within distance one of $C'$ is light, i.e. it has finite total weight. This is a significant step towards resolving a longstanding question posed by H\"aggstr\"om, Peres, and Schonmann, and a generalization of a theorem of Tim\'ar, who proved the same result in the unimodular setting. Our proof adapts Tim\'ar's approach but requires developing weighted analogues of several classical unimodular results. This presents nontrivial challenges, since in a nonunimodular graph a subtree with infinitely many ends may be hyperfinite or even light. To overcome this, we employ newly developed machinery from the theory of measure-class-preserving equivalence relations and graphs. In particular, we establish a weighted generalization of a theorem of Benjamini, Lyons, and Schramm on the existence of an invariant random subgraph with positive weighted Cheeger constant, a result of independent interest.