Antiferromagnetic Ising ring ($H=J{\sum }_{j=1}^N{S}_j{S}_{j+1},J>0,S_{N+1}=S_1$)

An antiferromagnetic Ising model on a closed one-dimensional ring, with Ising spins $S_j=\pm 1$ and the displayed periodic boundary conditions. Every opposite neighboring pair minimizes its bond energy. An even ring admits two completely alternating ground states; an odd ring must contain at least one parallel pair, an example of geometric frustration.

An odd periodic nearest-neighbour Ising model with antiferromagnetic coupling has unavoidable geometrical frustration. For $k$ parallel bonds, $H=-NJ+2Jk$, while ${\prod }_j{S}_j{S}_{j+1}=1$ forces $N-k$ to be even. Thus odd $N$ requires at least one parallel bond. A ground state has exactly one, with $N$ possible locations and two global spin inversion symmetry choices, proving the displayed ground-state degeneracy and ground-state energy. The zero-temperature canonical ensemble distributes that defect uniformly. A directed arc of $n$ bonds contains it with probability $n/N$, giving two-point correlation function $(-1{)}^n(1-2n/N)$. The finite antiferromagnetic Ising-ring correlation gives the corresponding positive-temperature result.

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$.

At fixed odd $N$, the zero-temperature canonical ensemble equally weights the $2N$ ground states of an antiferromagnetic Ising ring. The single frustrated bond in an antiferromagnetic Ising ring lies on a chosen $n$-bond path with probability $n/N$. The Ising spin product is $(-1{)}^n$ if the path excludes that bond and $-(-1{)}^n$ if it includes it, proving the displayed two-point correlation function. The loss of staggered alignment upon averaging persists at zero temperature and is caused by geometric frustration, rather than a positive density of thermal defects. The expression remains symmetric under $n\mapsto N-n$ for odd $N$.

A neighboring parallel pair in an antiferromagnetic Ising ring. It costs $2J$ relative to a satisfied antiparallel pair. If there are $m$ such pairs, the energy is $-JN+2Jm$, and the periodic boundary conditions force $N-m$ to be even because ${\prod }_j{S}_j{S}_{j+1}=1$. Thus an odd ring has $2N$ ground states, obtained by locating one such pair and choosing one overall Ising spin orientation. The even ring has two ground states with no such pair. This definition uses the local preferred ordering; a parallel pair is a defect in staggered order rather than a wall between uniformly magnetized domains.