 Finite-ring antiferromagnetic Ising correlation

The exact zero-field two-point correlation function $C_n=⟨S_1{S}_{n+1}⟩$ in the finite canonical ensemble of an antiferromagnetic Ising ring. The spin-chain transfer matrix has eigenvalues ${\lambda }_{+}=2\cosh (\beta J)$ and ${\lambda }_{-}=-2\sinh (\beta J)$. In their eigenbasis, an Ising spin insertion exchanges the two eigenvectors. The trace with two insertions is therefore ${\lambda }_{-}^n{\lambda }_{+}^{N-n}+{\lambda }_{+}^n{\lambda }_{-}^{N-n}$, while the partition function is ${\lambda }_{+}^N+{\lambda }_{-}^N$, proving the formula. Its two terms retain both paths around the ring. It has $C_0=1$ and $C_n=C_{N-n}$. At fixed $n$ and finite positive inverse temperature its thermodynamic limit is $(-\tanh \beta J{)}^n$.