The Ding-Song-Sun inequality for a class of even ferromagnets

Ding-Song-Sun proved the remarkable correlation inequality that the truncated two-point correlation function of ferromagnetic Ising models with arbitrary mixed-sign external field is largest when the field vanishes. This inequality has various important consequences such as log-Sobolev inequalities for Ising and ${\phi }^4$ models up to and at the critical point. We extend the DSS inequality to the class of single spin measures satisfying the GHS condition. This is an important ingredient in our proof of the log-Sobolev inequality for the massless sinh-Gordon model on ${\mathbb{R}}^2$ in a forthcoming article.