Percolation without FKG

We prove a Russo-Seymour-Welsh theorem for the antiferromagnetic Ising model with small parameter on a regular enough periodic planar triangulation.

More generally we prove that the box-crossing property extends to a neighborhood of the product measure among certain families of discrete percolation models that do not necessarily satisfy the Fortuin-Kasteleyn-Ginibre condition of positive association.