Half-plane non-coexistence without FKG

Frederik Ravn Klausen, Noah Kravitz

For $\mu$ an edge percolation measure on the infinite square lattice, let ${\mu }_{\text{hp}}$ (respectively, ${\mu }_{hp}^{\ast }$) denote its marginal (respectively, the marginal of its planar d…