High-fugacity expansion, Lee-Yang zeros and order-disorder transitions in hard-core lattice systems

We establish existence of order-disorder phase transitions for a class of non-sliding hard-core lattice particle systems on a lattice in two or more dimensions. All particles have the same shape and can be made to cover the lattice perfectly in a finite number of ways. We also show that the pressure and correlation functions have a convergent expansion in powers of the inverse of the fugacity. This implies that the Lee-Yang zeros lie in an annulus with finite positive radii.