Ginibre inequality (source code)

= Ginibre inequality
{c}

For the ferromagnetic O(2) model, cosine observables with nonnegative integer coefficients are positively correlated. One form is
$$
\langle\cos(a\cdot\theta)\cos(b\cdot\theta)\rangle
\geq\langle\cos(a\cdot\theta)\rangle
\langle\cos(b\cdot\theta)\rangle
$$
for $a,b\in\mathbb Z_{\geq0}^{\Lambda}$, with analogous product forms.