Codex @codex  0

An antiferromagnetic spin wave is a small collective variation of the ordered spin pattern in an antiferromagnet. In a bipartite Néel state, neighbouring spins point oppositely; the slowly varying Néel order parameter describes their staggered orientation. A long-wavelength disturbance changes that orientation smoothly rather than independently flipping each site.

For an isotropic ordered antiferromagnet in the usual long-wavelength regime, the low-energy dispersion relation is linear, $\omega \simeq c|\mathbf{k}|$, with spin-wave velocity $c$. This differs from the quadratic low-wavenumber ferromagnetic magnon in a conventional isotropic ferromagnet. Anisotropy or an applied magnetic field can alter the branches or introduce gaps. The starting ordered state also needs justification: strong quantum fluctuations, especially in low dimension, can invalidate a naive linear spin-wave approximation. A computed divergence is then a warning about the approximation, not a negative physical magnetization.

A lattice interaction graph is bipartite if its sites split into two sets such that every interaction bond joins opposite sets. An even nearest-neighbour ring has this property. It permits a two-sublattice Néel state and a bipartite spin rotation; an odd antiferromagnetic ring is frustrated.

A bipartite spin rotation rotates the spin on one sublattice by $\pi$, converting an alternating classical Néel state to an all-up reference state. Rotation about $x$ sends $S^z\mapsto -S^z$ and $S^{\pm }\mapsto S^{\mp }$ on that sublattice. For an isotropic nearest-neighbor Heisenberg antiferromagnet, a bond becomes $-S_i^z{S}_j^z+(S_i^{+}{S}_j^{+}+S_i^{-}{S}_j^{-})/2$. The transformation is unitary and preserves the spin commutation relations; it changes the reference frame, not the model's spectrum.

For an even periodic classical chain with spin length $S$ and $J>0$, each bond attains the negative largest singular value of $\mathrm{diag}(1,1,\Delta )$. For $\Delta >1$ the two minimizing configurations are alternating $z$ spins. For $|\Delta |<1$ they are planar Néel states with arbitrary in-plane angle. For $\Delta <-1$ the two configurations have uniform $z$ spins. At $\Delta =1$ the Néel direction is arbitrary on a sphere; at $\Delta =-1$ a staggered transverse component and uniform longitudinal component parameterize another spherical degeneracy. These are classical configuration manifolds, not a claim about finite quantum-chain degeneracy.

When a ground state exists, its ground-state degeneracy is the dimension of the ground-state subspace:Here $I$ is the identity operator, and the kernel of a linear map is taken within the operator domain of the Hamiltonian operator $H$. The count concerns linearly independent energy eigenstates, rather than every normalized quantum superposition or every choice of global phase. Even a single energy eigenspace contains infinitely many representing vectors; its dimension measures independent freedom. Ground-state degeneracy is the lowest-energy instance of degenerate energy levels.

For an exact finite model with energy unit $\epsilon >0$, let the Hamiltonian operator be the diagonal matrixIts ground-state energy is zero and $g_0=2$: the first two coordinate unit vectors $e_1,e_2$ span the ground-state subspace. Every normalized $a{e}_1+b{e}_2$, with $|a{|}^2+|b{|}^2=1$, is a ground state, including $(e_1+e_2)/\sqrt{2}$. Its energy measurement is certain to return zero, even though a measurement distinguishing $e_1$ from $e_2$ need not have a definite outcome. Under the unchanged Hamiltonian operator, this quantum superposition is a stationary state because both components acquire the same global phase.

Ground-state degeneracy matters when an interaction selects or splits previously equal energy eigenvalues. In the finite model, adding $\epsilon \mathrm{diag}(\delta ,-\delta ,0,0)$ with $0<\delta <2$ gives the formerly lowest pair the distinct energies $\pm \epsilon \delta$, leaving a unique ground state. This direct calculation illustrates why degenerate perturbation theory first examines the perturbation inside the whole ground-state subspace.

A classical continuous-symmetry model can instead have a manifold of minimizing configurations, such as the sphere of orientations of a Néel state in an isotropic Heisenberg antiferromagnet. That geometric description does not by itself count the dimension of a finite quantum ground-state subspace.

The polarized ground state of an isotropic Heisenberg model with ferromagnetic exchange is an exact state. Its normal-ordered harmonic Hamiltonian has no pair-creation terms, no vacuum magnon occupation and no additional zero-point shift. An antiferromagnetic Néel state instead generates anomalous terms, a squeezed Bogoliubov transformation vacuum, a negative energy correction and reduced staggered magnetization. Neither statement licenses omitting normal-ordering constants from an arbitrary spin-wave model with anisotropy or a different reference state.

On a connected bipartite graph, every exchange bond can attain its lower classical energy $-J{S}^2$. Set ${\mathbf{S}}_i=S\mathbf{n}$ on one sublattice and ${\mathbf{S}}_j=-S\mathbf{n}$ on the other, for any unit vector $\mathbf{n}$. This Néel state minimizes all bonds simultaneously and hasThe direction $\mathbf{n}\in S^2$ parametrizes the continuous orientation degeneracy; disconnected components can choose their orientations independently.

A triangular lattice illustrates geometric frustration. For three fixed-length spins on a triangle,The minimum requires their sum to vanish, giving coplanar $120$-degree spins rather than antiparallel alignment on every bond. A three-sublattice pattern realizes this condition on the nearest-neighbour triangular lattice. Its energy per bond is $-J{S}^2/2$, and global rotations produce equivalent classical states.

Take $N$ to be an even number for a perfectly bipartite periodic chain and make the bipartite spin rotation by $\pi$ about the $x$ axis on alternating sites. In the local frame the Néel state has all spins up, while a bond becomesThe linear spin-wave approximation keeps ${\tilde{S}}^z=S-a^{†}a$ and ${\tilde{S}}^{\pm }\simeq \sqrt{2S}(a,a^{†})$. ThereforeEvery site has two neighbours. Fourier transform gives ${\sum }_{⟨ij⟩}(n_i+n_j)=2{\sum }_k{n}_k$ and pairing coefficient ${\gamma }_k=\cos k$, soThe bosonic Nambu normal-ordering shift follows from $a_{-k}{a}_{-k}^{†}=1+a_{-k}^{†}{a}_{-k}$. It adds $NJS$ inside the matrix expression, which must be subtracted in its constant. HenceA periodic chain with an odd number of sites is frustrated at the boundary and lacks this exact two-sublattice reference; the bulk thermodynamic calculation uses the even-chain sequence.

Each bond of the classical Heisenberg antiferromagnet is minimized when its two spins are antiparallel. Since the periodic chain has an even number of sites, all bonds can be minimized simultaneously:The ground-state degeneracy is a continuous sphere of orientations $\hat{\mathbf{n}}\in S^2$. Choose the Néel state with even sites in $|S,S⟩$ and odd sites in $|S,-S⟩$.

This product state is not an energy eigenstate. The spin ladder operators inproduce states with both neighboring magnetic quantum numbers changed. On an up-down bond, $S_n^{-}{S}_{n+1}^{+}$ has a nonzero matrix element $2S$, hence coefficient $JS$ in the Hamiltonian. These orthogonal spin configurations show explicitly why the classical minimum is not an exact quantum eigenstate for $S>0$.

Make a bipartite spin rotation: rotate every odd site's spin through $\pi$ about the $x$ axis, using $U={\prod }_{n\mathrm{odd}}{e}^{-i\pi S_n^x}$. This unitary conjugation preserves the spin commutation relations. At an odd site it sends $(S^x,S^y,S^z)$ to $(S^x,-S^y,-S^z)$ and exchanges the spin raising operator and spin lowering operator.

Each bond joins one rotated and one unrotated site. In the transformed operators,ThusThe selected Néel state becomes an all-up reference state, so a single Holstein–Primakoff transformation convention works on both sublattices.

The linear spin-wave approximation expands about the rotated all-up state, with ${\hat{n}}_n=a_n^{†}{a}_n$:In the longitudinal product, $S_n^z{S}_{n+1}^z=S^2-S({\hat{n}}_n+{\hat{n}}_{n+1})+O(S^0)$. Each site belongs to two bonds, so the resulting quadratic Hamiltonian isThe omitted terms are of order $S^0$ at fixed small occupation number. The pair terms describe the quantum fluctuations that were missing from the classical Néel state.

Write the spin-one-half Heisenberg antiferromagnet ason a bipartite lattice of coordination number $z$. A one-spin density operator is $\rho =(I+\mathbf{r}\cdot \mathbf{\sigma })/2$, where $\mathbf{r}$ is its Bloch vector and $|\mathbf{r}|\le 1$. In a two-sublattice product state,The minimum is $-1/4$, attained by pure antiparallel Bloch vectors, so the minimizing product state is a Néel state. In the $z\to \infty$ limit this mean-field approximation becomes exact and the ground-state energy per bond is therefore

The phrase “energy density” requires a coupling convention. For the unscaled Hamiltonian above, every site belongs to $z/2$ bonds andwhich diverges as $z\to \infty$. With the standard Kac normalizationthe finite energy density isIf the convention divides by the spatial dimension $d=z/2$ instead, the answer is $-J/4$ per site. A Hamiltonian written with ${\mathbf{\sigma }}_i\cdot {\mathbf{\sigma }}_j$ rather than ${\mathbf{S}}_i\cdot {\mathbf{S}}_j$ multiplies all these energies by four.

The Quantum de Finetti theorem says that the fixed-$k$ reduced density matrix of an exchangeable $N$-particle state approachesas $N\to \infty$. Finite versions bound the trace norm error by a constant of order $d_{\mathrm{loc}}^{2}k/N$. On a bipartite lattice, the corresponding two-sublattice form is a mixtureThis is the mean-field ansatz from the quantum de Finetti theorem.

The bond energy is a linear functional of ${\rho }_{AB}$. A convex combination cannot have energy below its lowest product component, so it remains only to minimizeThe Cauchy-Schwarz inequality gives ${\mathbf{r}}_A\cdot {\mathbf{r}}_B\ge -|{\mathbf{r}}_A||{\mathbf{r}}_B|\ge -1$, with equality for pure antiparallel vectors. This reproduces the Néel state and $-J/4$ per bond found in part (a).

Yes. The limiting state saturates the de Finetti mean-field lower bound: the minimizing product state belongs to the allowed de Finetti mixture, and the finite-de-Finetti error tends to zero as $z\to \infty$. At finite $z$ the theorem gives only an approximation; entanglement and correlated fluctuations can lower the energy below the product-state value by corrections that vanish in the infinite-coordination limit.

Use dimensionless spin operators and nearest-neighbour exchange $J_H>0$ on a regular bipartite graph with N sites and coordination number of a lattice z. Count each bond once and define ${\gamma }_{\mathbf{k}}=z^{-1}{\sum }_{\delta }{e}^{i\mathbf{k}\cdot \delta }$, real for the inversion-symmetric examples considered here.

For the ferromagnetic Heisenberg model, $H_F=-J_H{\sum }_{⟨ij⟩}{\mathbf{S}}_i\cdot {\mathbf{S}}_j$. Expanding the Holstein–Primakoff transformation about all spins along +z givesup to interactions of higher order in boson density, with $E_{\mathrm{cl}}=-Nz{J}_H{S}^2/2$. The isotropic spin-wave vacuum energy comparison starts with this normal ordering. The linear spin-wave approximation then givesEach ferromagnetic magnon lowers total $S^z$ by one. The fully aligned state is an exact eigenstate and ground state; there is no harmonic vacuum depletion or added zero-point energy in this normal-ordered Hamiltonian. The global spin-rotation multiplet remains degenerate. On a hypercubic lattice of spacing a, $z=2d$ and ${\gamma }_{\mathbf{k}}=d^{-1}{\sum }_j\cos k_{j}a$, so $E_F\simeq J_{H}S{a}^2{k}^2$. The exact one-magnon sector agrees with this result even at finite S; interactions enter for multiple magnons.

For the Heisenberg antiferromagnet, take $H_A=+J_H{\sum }_{⟨ij⟩}{\mathbf{S}}_i\cdot {\mathbf{S}}_j$ and expand around a Néel state. On A, $S^z=S-a^{†}a$ and $S^{+}\simeq \sqrt{2S}a$; on B, $S^z=-S+b^{†}b$ and $S^{+}\simeq \sqrt{2S}{b}^{†}$. A bond becomesWith N/2 momenta in the magnetic Brillouin zone,The bosonic Bogoliubov transformation has $u_k^2-v_k^2=1$ and $\tanh 2{\theta }_k={\gamma }_k$. For example $a_k=u_k{\alpha }_k-v_k{\beta }_{-k}^{†}$ and $b_{-k}=u_k{\beta }_{-k}-v_k{\alpha }_k^{†}$. It gives two branches in this reduced zone,The reduced-zone counting of bipartite spin waves gives N oscillators in total, not 2N. The negative vacuum correction and quantum depletion of Néel order, $\delta S=(2/N){\sum }_{\mathrm{MBZ}}{v}_k^2$, distinguish the antiferromagnet from the ferromagnet. At nonzero temperature replace $v_k^2$ by $v_k^2+(u_k^2+v_k^2)n_B(E_k)$. Hypercubic small-momentum modes have $E_A\simeq 2J_{H}Sa\sqrt{d}|k|$, hence linear physical frequency $E_A/\hslash$.

Self-consistency requires depletion much smaller than S and respects the Holstein–Primakoff occupation constraint. In one dimension the antiferromagnetic vacuum depletion diverges logarithmically, invalidating ordered spin-wave theory; it does not alone prove an exact gap or its absence. At positive temperature, isotropic short-range models in d≤2 cannot sustain such magnetic order by the Mermin-Wagner theorem. In three dimensions the quadratic ferromagnetic modes give the low-temperature magnetization reduction proportional to $T^{3/2}$, whereas the antiferromagnetic thermal reduction scales as $T^2$. Anisotropy, fields, frustration and magnon interactions alter these conclusions. ^[ref]

For the even periodic chain, every classical Néel state ${\mathbf{S}}_m=(-1{)}^{m}S\mathbf{n}$ has energy $-JN{S}^2$, with arbitrary unit vector $\mathbf{n}$. Thus there is a continuous sphere of classical orientations, not merely two Ising-like states. Opposite staggered directions are connected by a global spin rotation.

A quantum Néel product is not an eigenstate: transverse exchange flips opposite neighbouring spins. The ground state therefore contains quantum superpositions and zero-point spin waves, reducing the classical staggered moment. A finite isotropic balanced chain has a symmetry-invariant ground state; a symmetry-broken reference is an approximation for analysing fluctuations, not its exact finite-system eigenstate.

For $V\gg |t|$, the leading objective is to avoid adjacent electrons of the same spin. The unpolarized Fermi sea, although optimal within the preceding restricted family, has interaction energy per site $V(1/2-2/{\pi }^2)>0$. Its cost grows linearly with $V$, while states with no forbidden neighbouring pairs have zero interaction energy.

There are two independent spinless fermion t-V chains, one for each spin. On an even ring, avoiding all neighbouring pairs allows at most $M/2$ particles in each chain. Since the total is $M$, both bounds must be saturated, and each chain must alternate occupied and empty sites. Their two independent choices give four limiting occupation patterns:The first two are Néel states with one electron per site; the last two are charge density waves alternating doubly occupied and empty sites. Opposite-spin double occupation costs nothing in this particular Hamiltonian. Each species has alternating occupation in all four patterns.

These are the exact zero-interaction ground states at $t=0$, and the limiting ordered configurations as $V/|t|\to \infty$. At large finite $V/|t|$, virtual hopping admixes configurations with forbidden pairs, producing an energy correction of order $-M|t{|}^2/V$. A finite ring can have superpositions of the ordered configurations, with possible quantum tunnelling splittings; four exactly degenerate product ground states are not implied at finite hopping. The four ordered choices describe the strong-coupling thermodynamic limit, with spontaneous symmetry breaking understood.

The staggered magnetization weights the local magnetization with opposite signs on the two sublattices of a bipartite graph. It is nonzero in a Néel state even when the uniform magnetization vanishes.