 Solution

For nonzero field, the spin-wave ground state is the vacuum of all $b_k$. The inverse Bogoliubov transformation gives $⟨a_k^{†}{a}_q⟩={\delta }_{kq}{\sinh }^2{\theta }_k$ and vanishing one-point oscillator averages. Translational invariance therefore gives the depletionRotating back to the physical axes yields, to the retained spin-wave order,The zero transverse components also follow from rotation by $\pi$ about the physical $x$ axis in a symmetry-preserving ground state. The nonzero depletion describes zero-point quantum fluctuations: the original boson vacuum is not the ground state because the anomalous terms create pairs. It is nonnegative and must satisfy $\delta S\ll S$ for the expansion to be reliable. At strong field it tends to zero, with $\delta S\sim J^2/(8H_f^2)$ in the infinite-chain limit.

For fixed $H_f>0$, the momentum sum has a finite thermodynamic limit obtained by $L^{-1}{\sum }_k\to (2\pi {)}^{-1}{\int }_{-\pi }^{\pi }dk$. At zero field the uniform mode already has no oscillator vacuum, as explained in part d. Even after removing that mode, the nonzero modes behave asThus assigning a finite ordered moment by simply setting $h=0$ in the infinite momentum sum is invalid. The divergence indicates failure of this expansion about a fixed planar orientation; it is not a negative physical magnetization. At finite size an exact zero-field state chosen to have definite total $S^z$ has zero planar one-point magnetization by the continuous rotation symmetry. Establishing its full correlations requires a treatment beyond the divergent ordered-state approximation.