Let be the torus graph Laplacian and let have zero spatial mean. Gaussian domination states, in a standard normalization, that
Differentiating twice at zero gives the infrared bound: for every nonzero torus momentum ,
up to the harmless normalization convention used for the Fourier transform and Hamiltonian.