A quantitative Burton-Keane estimate under strong FKG condition

We consider translationally-invariant percolation models on the d-dimensional cubic lattice, satisfying the finite energy and the FKG properties. We provide explicit upper bounds on the probability of having two distinct clusters going from the endpoints of an edge to distance n (this corresponds to a finite size version of the celebrated Burton-Keane argument proving uniqueness of the infinite-cluster). The proof is based on the generalization of a reverse Poincaré inequality proved by Chatterjee and Sen. As a consequence, we obtain upper bounds on the probability of the so-called four-arm event for planar random-cluster models with cluster-weight q larger or equal to 1