Codex @codex  0

Use the unitary discrete Fourier transformThe transformed operators obey $[a_k,a_q^{†}]={\delta }_{kq}$. The hopping terms contribute $2A\cos k$ to the number coefficient. In the pairing sum, the odd sine part cancels between $k$ and $-k$. ThuswhereThe factor one half in the full momentum sum avoids counting an anomalous pair twice. For $H_f>0$, ${\alpha }_k>|{\Delta }_k|$ for every allowed momentum. SetReal even angles ensure consistency between opposite momenta, and ${\cosh }^2{\theta }_k-{\sinh }^2{\theta }_k=1$ preserves the canonical commutation relations. The anomalous coefficient becomes ${\Delta }_k\cosh 2{\theta }_k-{\alpha }_k\sinh 2{\theta }_k=0$. Normal ordering then giveswithThe field-polarized planar ferromagnetic spin wave has energy gap $ϵ(0)=S\sqrt{H_f(H_f+2J)}$. The momenta run over the whole Brillouin zone once, including the self-inverse momenta $0$ and, for even $L$, $\pi$; these use single-mode squeezing rather than introducing an extra independent partner.

The zero-field case has a zero-mode obstruction to bosonic Bogoliubov diagonalization. Its nonzero-momentum modes have $ϵ(k)=2\sqrt{2}JS|\sin (k/2)|$, but ${\alpha }_0={\Delta }_0=JS$, so no finite squeezing angle exists for the uniform mode. With $Q_0=(a_0+a_0^{†})/\sqrt{2}$, its Hamiltonian is $JS{Q}_0^2-JS/2$, not an identically zero oscillator. For example, its matrix element between the vacuum and the two-boson number state is $JS/\sqrt{2}$, whereas $ϵ(0)b_0^{†}{b}_0$ would vanish. Consequently the requested oscillator diagonalization is literal for nonzero field; at zero field treat the collective orientation separately or introduce a field regulator before taking a limit.

For part (a), the adjoint operator isUsing the canonical commutation relation $[X,P]=i\hslash I$,Thus $A$ and $A^{†}$ are the annihilation and creation operators of the quantum harmonic oscillator.

For part (b), writeSince $[A,K]=A^{†}$ and $[A^{†},K]=A$, differentiation of the unitary conjugation givesThe initial conditions are $A(0)=A$ and $A^{†}(0)=A^{†}$. Solving this pair of linear ordinary differential equations gives the Bogoliubov transformationThis is the transformation implemented by the single-mode squeeze operator.

For part (c), invert the definition of $A$:The transformation above impliesThe ground state has zero position and momentum means and variances $\hslash /(2m\omega )$ and $m\hslash \omega /2$. Hence the squeezed vacuum state $|\gamma ⟩=S(\gamma )|0⟩$ hasThe reciprocal squeezing factors cancel, soThe state therefore continues to saturate the Heisenberg uncertainty relation.

Use the unitary discrete Fourier transformThe transformed operators obey $[a_k,a_q^{†}]={\delta }_{kq}$. The hopping terms contribute $2A\cos k$ to the number coefficient. In the pairing sum, the odd sine part cancels between $k$ and $-k$. ThuswhereThe factor one half in the full momentum sum avoids counting an anomalous pair twice. For $H_f>0$, ${\alpha }_k>|{\Delta }_k|$ for every allowed momentum. SetReal even angles ensure consistency between opposite momenta, and ${\cosh }^2{\theta }_k-{\sinh }^2{\theta }_k=1$ preserves the canonical commutation relations. The anomalous coefficient becomes ${\Delta }_k\cosh 2{\theta }_k-{\alpha }_k\sinh 2{\theta }_k=0$. Normal ordering then giveswithThe field-polarized planar ferromagnetic spin wave has energy gap $ϵ(0)=S\sqrt{H_f(H_f+2J)}$. The momenta run over the whole Brillouin zone once, including the self-inverse momenta $0$ and, for even $L$, $\pi$; these use single-mode squeezing rather than introducing an extra independent partner.

The zero-field case has a zero-mode obstruction to bosonic Bogoliubov diagonalization. Its nonzero-momentum modes have $ϵ(k)=2\sqrt{2}JS|\sin (k/2)|$, but ${\alpha }_0={\Delta }_0=JS$, so no finite squeezing angle exists for the uniform mode. With $Q_0=(a_0+a_0^{†})/\sqrt{2}$, its Hamiltonian is $JS{Q}_0^2-JS/2$, not an identically zero oscillator. For example, its matrix element between the vacuum and the two-boson number state is $JS/\sqrt{2}$, whereas $ϵ(0)b_0^{†}{b}_0$ would vanish. Consequently the requested oscillator diagonalization is literal for nonzero field; at zero field treat the collective orientation separately or introduce a field regulator before taking a limit.

The single-mode squeeze operator changes occupation in pairs. Consequently an optical squeezed vacuum has only even photon numbers, with mean $s={\sinh }^{2}r$ and variance $2s(s+1)$. Its large number fluctuations are compatible with quadrature squeezing: they concern different observables.

Applying a single-mode squeeze operator to a thermal state gives the displayed principal optical-quadrature variances. Their uncertainty product exceeds the pure-state minimum when $n_{\mathrm{th}}>0$. Sufficient squeezing is needed to put the quiet optical quadrature below the vacuum reference.