 Solution

For each pair of adjacent spins, define the transfer matrix for a classical spin chain by $T_{s{s}^{\prime }}=e^{-\beta E_0(s,s^{\prime })}$. Multiplying its entries gives the Boltzmann factor of a whole configuration. The periodic boundary condition identifies the last index with the first, soThe assumed interchange symmetry of $E_0$ makes $T$ a real symmetric matrix, hence it has an orthonormal eigenbasis. At finite positive temperature, every matrix entry is strictly positive, so the Perron–Frobenius theorem supplies a unique positive largest eigenvalue ${\lambda }_{+}$, larger in modulus than every other one. Therefore $L^{-1}\log Z_L\to \log {\lambda }_{+}$.

Local observables become matrix insertions. For example, with $S_{s{s}^{\prime }}=s{\delta }_{s{s}^{\prime }}$,Thus partition functions and correlation functions reduce to a fixed-dimensional eigenvalue problem, rather than a sum over exponentially many microstates.