partition function zeros, Lee-Yang theorem, Pirogov-Sinai theory, Blume-Capel model, Ising model, Potts model, first-order phase transition, cluster expansion