Past exam of the advanced quantum theory: path integrals and many-particle physics course of the University of Oxford / 2025 (A15757H1)

Source PDF: mmathphys.physics.ox.ac.uk/sites/g/files/vzsiac2991/files/mmathphys/documents/media/a15757h1.pdf

Each neighboring pair of Ising spins contributes at least $-J$ to the energy, with equality exactly when the two Ising spins are opposite. For even $N$, alternation closes consistently under the periodic boundary conditions. The ground states are thereforeHere $g_0$ is the ground-state degeneracy. Choosing $S_1$ fixes every other Ising spin, so these are all the ground states; translations do not give additional spin configurations. The two ground states are exchanged by spin inversion symmetry.

Let $m$ count the parallel neighboring pairs, or frustrated bonds in an antiferromagnetic Ising ring. The periodic boundary conditions implyThere are $N-m$ antiparallel pairs, so $(-1{)}^{N-m}=1$: the number of antiparallel pairs must be even. For odd $N$, $m$ must consequently be odd. Each frustrated bond in an antiferromagnetic Ising ring raises the energy by $2J$ relative to a satisfied pair, givingThe minimum is attained at $m=1$. Choose its position among the $N$ labeled bonds, choose either orientation of one Ising spin, then alternate across every other bond. This constructs exactly two spin configurations per position. ThusThis is geometric frustration: every local interaction prefers opposite Ising spins, but the closed odd ring prevents all preferences being satisfied at once. No particular location is preferred for the single frustrated bond in an antiferromagnetic Ising ring.

Write $K=\beta J$, where $\beta =1/(k_{B}T)$ is the inverse temperature, $T$ is temperature and $k_B$ is the Boltzmann constant. In the canonical ensemble, each spin configuration has probability $e^{-\beta H}/Z_N$. The nearest-neighbor Boltzmann factors multiply, so the spin-chain transfer matrix, in the order $+1,-1$, isMultiplying its entries around the ring and summing over every Ising spin yields the partition function:The trace implements the periodic boundary conditions; replacing it by an endpoint sum would describe a different partition function. The normalized eigenvectors and corresponding eigenvalues areThe negative eigenvalue is essential for the antiferromagnetic Ising model. Introduce their ratioThe exact finite-$N$ partition function and Helmholtz free energy areFor finite $K>0$, $|t|<1$, so $Z_N>0$ for both even and odd $N$. The last term retains the finite-ring effect of geometric frustration.

To insert an Ising spin into this trace, use the diagonal matrix $\mathsf{S}=\mathrm{diag}(1,-1)$. In the eigenbasis of $\mathsf{T}$, it exchanges $|+⟩$ and $|-⟩$, and hence has vanishing diagonal entries. The one-point correlation function is thereforeThe same conclusion follows directly from spin inversion symmetry: reversing every Ising spin preserves the energy and the Boltzmann factor while reversing $S_1$.

For the two-point correlation function, the two insertions divide the ring into paths of $n$ and $N-n$ bonds. ThusIn particular, the exact finite-ring antiferromagnetic Ising correlation isBecause the one-point correlation functions vanish, this is also the connected correlation function. It gives $C_0=1$ and $C_n=C_{N-n}$, as required by $S_1^2=1$ and exchanging the two paths around the ring. At $K=0$, distinct Ising spins are independent and $C_n=0$ for $1\le n\le N-1$; $C_0=1$ is understood separately if a power $0^0$ occurs in the displayed expression.

Take the thermodynamic limit $N\to \infty$ at fixed separation $n$ and fixed finite $K=\beta J>0$. Since $|t|=\tanh K<1$, the terms $t^{N-n}$ and $t^N$ in the finite-ring antiferromagnetic Ising correlation vanish, through either even or odd $N$. ThereforeMatching the decaying exponential function gives the correlation length, in units of the site spacing:If the physical spacing is $a$, the physical correlation length is $a\xi$. The alternating sign records the preferred opposite orientation of neighboring Ising spins; the finite correlation length shows that this preference does not maintain long-range Néel order at positive temperature.

For large $K$, $\tanh K=1-2e^{-2K}+O(e^{-4K})$, so $\xi \sim e^{2K}/2$: the correlation length becomes large on cooling, but diverges only at zero temperature. At infinite temperature, $K\to 0^{+}$ and $\xi \to 0$; the separate equal-site two-point correlation function remains $C_0=1$.

Keep $N$ fixed and put $q=\tanh K$, so $q\to 1^{-}$ as temperature tends to zero. For even $N$, the finite-ring antiferromagnetic Ising correlation becomesBoth alternating ground states have $S_1{S}_{n+1}=(-1{)}^n$, so their equal-weight canonical ensemble has the same two-point correlation function despite its zero one-point correlation function.

For odd $N$, the signs instead giveDirect substitution gives an indeterminate ratio. Expanding at fixed $N,n$ with $q=1-\delta$,Consequently the zero-temperature correlation of an odd antiferromagnetic Ising ring isThe odd-ring factor has a direct probability interpretation. At zero temperature, the canonical ensemble gives equal weight to its $2N$ ground states. The single frustrated bond in an antiferromagnetic Ising ring is uniformly located, with probability $n/N$ of lying on the chosen $n$-bond path. If it is absent from that path, $S_1{S}_{n+1}=(-1{)}^n$; if it is present, this product is $-(-1{)}^n$. Averaging gives $(-1{)}^n[(1-n/N)-n/N]$.

Thus the decay with separation here comes from averaging a movable, compulsory frustrated bond in an antiferromagnetic Ising ring, even after additional thermally excited frustrated bonds in an antiferromagnetic Ising ring disappear. In particular $C_1=-1+2/N$ for odd $N$, and $JN{C}_1=-J(N-2)$ reproduces the ground-state energy. The formula also respects $C_n=C_{N-n}$, although its factor $1-2n/N$ changes sign halfway around the ring.

The order and scale of limits matter. Taking the thermodynamic limit first at positive temperature gives the exponential function in part (c). Cooling an odd finite ring first leaves the linear factor $1-2n/N$. Both orders subsequently give $(-1{)}^n$ at fixed $n$, but this agreement is not uniform in separation: when $n/N$ stays nonzero, the odd-ring linear factor survives in the zero-temperature expression.

Use the standard canonical anticommutation relations for the two distinct fermionic orbitals. In particular $\{a,b^{†}\}=\{a^{†},b\}=0$, in addition to the relations explicitly listed in the paper; these mixed relations are part of the usual two-orbital fermionic Fock space interpretation. Normalize the original vacuum state by $⟨0|0⟩=1$ and fix the orderingThe canonical anticommutation relations give $a^2=(a^{†}{)}^2=0$ and $a{a}^{†}=1-a^{†}a$. Consequently the number operator is an orthogonal projector:The same holds for $N_b$. Hence each eigenvalue obeys $n^2=n$ and is either $0$ or $1$, expressing the Pauli exclusion principle. Also $[N_a,N_b]=0$, so the two number operators have a simultaneous orthonormal basis of Fock states:Each number operator has eigenvalues $0,1$, each with state degeneracy two. For $N_a$, the zero eigenspace is spanned by $|00⟩,|01⟩$ and the unit eigenspace by $|10⟩,|11⟩$; for $N_b$, these are respectively $|00⟩,|10⟩$ and $|01⟩,|11⟩$. Any normalized linear combination within one such eigenspace is also an eigenstate of that number operator.

The ordering convention will matter below: $b^{†}{a}^{†}|0⟩=-|11⟩$ and

Writing the Bogoliubov transformation componentwise, together with its Hermitian adjoint, givesThe full canonical anticommutation relations for $c,d$ implyEqual-type anticommutators vanish because $c^2=d^2=0$ and $\{c,d^{†}\}=\{c^{†},d\}=0$:For the mixed anticommutators, the only potentially nonzero terms cancel:while $\{a,b^{†}\}=0$ follows from $\{c,c\}=\{d^{†},d^{†}\}=\{c,d^{†}\}=0$. Taking the Hermitian adjoint supplies the remaining relations. Thus the necessary and sufficient condition isEquivalently, the matrix $R=\left(\begin{array}{cc}u& v\\ -v& u\end{array}\right)$ is an orthogonal matrix, $R^{\mathsf{T}}R=I$, giving a canonical rotation of two fermionic modes. Its inverse is therefore

Let $N_c=c^{†}c$, $N_d=d^{†}d$ and $P=cd+d^{†}{c}^{†}$. Substitution of the Bogoliubov transformation, with normal ordering using $d{d}^{†}=1-d^{†}d$ and $c{c}^{†}=1-c^{†}c$, givesFor example, the $v^{2}d{d}^{†}$ term in $a^{†}a$ contributes $v^2-v^2{N}_d$; these constants must be retained to obtain the ground-state energy. The two-orbital fermionic pairing Hamiltonian is consequentlyTo eliminate the pairing term, choose a canonical rotation of two fermionic modes satisfyingWith $u=\cos \theta$, $v=\sin \theta$, take $0<\theta <\pi /4$, so $\tan 2\theta =\Delta /\epsilon$. Setting $E=\sqrt{{\epsilon }^2+{\Delta }^2}>0$ givesThis positive choice fixes a convenient convention for the vacuum state in part (d). It yieldsBoth number operators independently have eigenvalues $0,1$. Hence the energy eigenvalues and state degeneracies areThere is one fermionic Bogoliubov quasiparticle of energy $E$ per occupied transformed orbital. The two Nambu spinor matrix eigenvalues $\pm E$ should not be mistaken for two independently occupiable levels of opposite energy; the normal ordering constant and the two positive quasiparticle excitation costs give the four physical energy eigenvalues above.

An independent diagonalization of a matrix checks both the pairing sign and the additive constant. In the ordered orthonormal basis $|0⟩,|11⟩$, the even-fermion parity block isbecause $ab|11⟩=-|0⟩$ and $b^{†}{a}^{†}|0⟩=-|11⟩$. Its characteristic polynomial is $x^2-2\epsilon x-{\Delta }^2$, giving $x=\epsilon \pm E$. The odd-fermion parity Fock states $a^{†}|0⟩,b^{†}|0⟩$ are unaffected by pairing and both have energy $\epsilon$.

Equivalently, with the Nambu spinor $\Psi =(a,b^{†}{)}^{\mathsf{T}}$,Replacing $\Psi$ by $R(c,d^{†}{)}^{\mathsf{T}}$ gives $E{c}^{†}c-Ed{d}^{†}+\epsilon =E(N_c+N_d)+\epsilon -E$, reproducing the result by normal ordering.

The canonical anticommutation relations make $(a^{†}{b}^{†}{)}^2=0$, so the proposed exponential function terminates exactly:Use the inverse Bogoliubov transformation $c=ua-v{b}^{†}$, $d=v{a}^{†}+ub$, and the actions $a|11⟩=b^{†}|0⟩$ and $b|11⟩=-a^{†}|0⟩$. The two vacuum state conditions becomeBoth therefore require $B=v/u$. Normalizing this quantum state gives $1=A^2(1+B^2)$. Choosing positive $A$, which fixes an irrelevant overall global phase, yields $A=u$ because $u^2+v^2=1$. Thus the two-mode fermionic paired vacuum isThe other sign for $A$ describes the same physical quantum state. The positive relative coefficient is fixed by the paper's pairing order and the convention $|11⟩=a^{†}{b}^{†}|0⟩$.

As a direct eigenvector check, $\Delta v=(E-\epsilon )u$ and $\Delta u=(E+\epsilon )v$ implyIt is therefore the unique ground state, as also follows from positive quasiparticle excitation energy $E$. It has definite even fermion parity but is not an eigenstate of the original total number operator: the empty-pair and occupied-pair probabilities are $u^2$ and $v^2$. In particular $⟨N_a⟩=⟨N_b⟩=v^2$. The pair amplitude is $⟨ab⟩=-uv$, consistently with $ab|11⟩=-|0⟩$.

For the limiting check $\Delta \to 0^{+}$ at fixed positive $\epsilon$, $A\to 1$, $B\to 0$, so $|\tilde{0}⟩\to |0⟩$. For $\epsilon \to 0^{+}$ at fixed positive $\Delta$, $A\to 1/\sqrt{2}$, $B\to 1$, giving equal amplitudes for the empty and occupied pair. These checks also fix which branch of the Bogoliubov transformation produces the ground state.