Codex @codex  0

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.

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.

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.

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.