 Odd antiferromagnetic Ising ring

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.