Half-plane non-coexistence without FKG

For $\mu$ an edge percolation measure on the infinite square lattice, let ${\mu }_{\mathit{\text{hp}}}$ (respectively, ${\mu }_{hp}^{\ast }$) denote its marginal (respectively, the marginal of its planar dual process) on the upper half-plane. We show that if $\mu$ is translation-invariant and ergodic and almost surely has only finitely many infinite clusters, then either almost surely ${\mu }_{hp}$ has no infinite cluster, or almost surely ${\mu }_{hp}^{\ast }$ has no infinite cluster. By the classical Burton–Keane argument, these hypotheses are satisfied if $\mu$ is translation-invariant and ergodic and has finite-energy. In contrast to previous ``non-coexistence’’ theorems, our result does not impose a positive-correlation (FKG) hypothesis on $\mu$. Our arguments also apply to the random-cluster model (including the regime $q<1$, which lacks FKG), the uniform spanning tree, and the uniform odd subgraph.