Gaussian domination
= Gaussian domination
Gaussian domination bounds the partition function of a reflection-positive spin model under a mean-zero external source by the partition function times a Gaussian exponential involving the inverse lattice Laplacian.