Lebowitz inequalities for Ashkin–Teller systems

We consider the Ashkin–Teller model with negative four-spin coupling but still in the region where the ground state is ferromagnetic. We establish the standard Lebowitz inequality as well as the extension that is necessary to prove a divergent susceptibility.