One-dimensional Ising correlation function (source code)

= One-dimensional Ising correlation function
{c}

For the zero-field nearest-neighbour Ising model on $\mathbb Z$,
$$
\langle\sigma_x\sigma_y\rangle=(\tanh\beta)^{|x-y|}.
$$
More generally, an even ordered product factors over alternating gaps.