Past exam of the theoretical physics major option course of the University of Oxford / 2018 / 4

Let $\beta =1/(k_{B}T)$ and use the two spin values $+1,-1$ as row and column labels. Define the spin-chain transfer matrixIt is a real symmetric matrix because $E_0(s,t)=E_0(t,s)$; every entry is strictly positive for finite bond energies at $T>0$. The Boltzmann factor of a spin configuration factorizes into the product $W_{{\sigma }_1{\sigma }_2}\cdots W_{{\sigma }_L{\sigma }_1}$. Summing the intermediate spin labels is exactly matrix multiplication, and the final closure imposes periodic boundary conditions. ThusWriting $W=\left(\begin{array}{cc}a& b\\ b& d\end{array}\right)$, its eigenvalues areA positive-entry matrix need not have two positive eigenvalues; ${\lambda }_{-}$ can be negative. The Perron–Frobenius theorem ensures ${\lambda }_{+}>|{\lambda }_{-}|$ here. Therefore the Helmholtz free energy is $F_L=-k_{B}T\ln Z_L$, and its value per spin in the thermodynamic limit is $-k_{B}T\ln {\lambda }_{+}$.

For an open chain there are $L-1$ bonds, with both endpoint Ising spins independently summed. Retain the same spin-chain transfer matrix, but replace the trace by endpoint vectors. With $1=(1,1{)}^{\mathsf{T}}$,This follows directly by expanding the product of $L-1$ Boltzmann factors. If ${\mathbf{v}}_{\pm }$ are orthonormal eigenvectors of the symmetric matrix $W$, the equivalent spectral decomposition isFixed endpoint Ising spins replace the corresponding $1$ by a basis vector; extra endpoint energies replace its entries by the corresponding Boltzmann factors. The leading bulk Helmholtz free energy per spin agrees with the periodic result, because the boundary changes only subextensive terms. In particular, $L=1$ gives $Z_1^{\mathrm{open}}=1^{\mathsf{T}}1=2$, as required for one free Ising spin.

Let $M=L/2$, so that the total number of Ising spins is $3M$. Write $K=\beta J$ and group each triangle's two base spins and its apex into one cell. The Ising chain with alternating triangular decorations has a triangle bond followed by an undecorated connecting bond. Summing an apex Ising spin first gives a decorated-bond Boltzmann weightThe undecorated bridge has Boltzmann weight $B_{t{s}^{\prime }}=e^{-Kt{s}^{\prime }}$. In the basis $+1,-1$,Each cell contributes $T=AB$, so periodic boundary conditions giveThe two matrices have common normalized eigenvectors $(1,1{)}^{\mathsf{T}}/\sqrt{2}$ and $(1,-1{)}^{\mathsf{T}}/\sqrt{2}$, expressing spin inversion symmetry. Their respective eigenvalues areConsequently the cell transfer matrix has eigenvaluesand the finite-size partition function isFor $K>0$, ${\lambda }_{-}\ge 0$ and ${\lambda }_{+}-{\lambda }_{-}=4+2e^{-2K}+2e^{2K}>0$, so only ${\lambda }_{+}$ survives in the thermodynamic limit. Divide the Helmholtz free energy by $3M$, the number of sites rather than the number of cells or base spins:As a counting check, $K=0$ gives ${\lambda }_{+}=8$, ${\lambda }_{-}=0$, hence $Z_L=8^M=2^{3M}$, exactly the number of independent Ising spin configurations. This model has separated decorated bonds and should not be confused with the corner-sharing sawtooth Ising chain, which has a different site count.

For low temperature, factor out the largest Boltzmann factor from the dominant eigenvalue:Thus the Helmholtz free energy per site has the expansionDifferentiate at fixed $J$, remembering that $K=J/(k_{B}T)$. The entropy per site isThe nonzero residual entropy comes from an exponentially large ground-state degeneracy, generated by geometrical frustration. A triangle with antiferromagnetic energy $J[st+(s+t)\tau ]$ has minimum energy $-J$: if $s=t$, the apex must have the opposite sign; if $s=-t$, either apex sign is permitted. The two all-equal configurations instead have energy $3J$. Thus exactly one of a minimum-energy triangle's bonds is frustrated. The bridge can simultaneously minimize its energy at $-J$ by requiring $t=-s^{\prime }$, where $s^{\prime }$ is the next cell's first base spin.

For fixed $s$ and $s^{\prime }$, the number of allowed apex choices is therefore two when $s=s^{\prime }$ and one when $s=-s^{\prime }$. The zero-temperature counting transfer matrix on successive first base spins isThe eigenvalues of $G$ are $3$ and $1$. Dividing $k_B\ln g_M$ by the $3M$ sites and taking the thermodynamic limit gives $k_B\ln 3/3$, independently confirming the derivative calculation. This does not assert a unique ordered ground state: the extensive choice of frustrated bonds is precisely what leaves entropy at zero temperature. At high temperature, all Ising spins become independent and $s\to k_B\ln 2$ per site.