Codex @codex  0

An energy gap is a positive separation between a ground-state sector and its lowest excitations, with the sector, momentum and thermodynamic limit specified. A local positive curvature of an auxiliary field is not alone a proof of a dynamical gap: the kinetic terms and conjugate variables determine the excitation poles.

For the XY model with equal ferromagnetic exchange $J$ in its plane and field term $-hS{\sum }_j{S}_j^x$, rotate the local quantization axis along the Classical spin. The Holstein–Primakoff transformation gives the number coefficient ${\alpha }_k=S(|h|+2J-J\cos k)$ and anomalous coefficient ${\Delta }_k=JS\cos k$ with one transverse-axis convention. Bosonic Bogoliubov diagonalization gives ${ϵ}_k=\sqrt{{\alpha }_k^2-{\Delta }_k^2}$ and field gap $S\sqrt{|h|(|h|+2J)}$. A nonzero field stabilizes every oscillator mode.

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 two-mode approximation for a Bose gas retains the real localized orbitals:It is valid when the lowest doublet is well separated from higher energy levels, and the temperature and interaction-induced changes of the orbitals are small on that separation. More explicitly, if $\Delta$ is the energy gap to discarded orbitals, sufficient low-energy conditions are $k_{B}T,t,N{U}_{0}I\ll \Delta$, where $I=\int d^{3}r|{\phi }_L{|}^4$. A deep double-well potential suppresses interwell interaction overlaps. Large $N$ alone does not justify the truncation: increasing $N$ at fixed coupling can violate the interaction condition.

Let $ϵ=(E_0+E_1)/2$ and use the even and odd eigenfunctions to evaluate the projected one-particle Hamiltonian operator:ThusThe same quantum tunnelling matrix element is $t=-\int d^{3}r{\phi }_L{h}_0{\phi }_R$. Reflection symmetry makes $\int |{\phi }_L{|}^4=\int |{\phi }_R{|}^4=I$. Neglecting mixed contact interaction integrals leavesThe last step is the normal-ordered boson pair count, following from the canonical commutation relation. Consequently the two-site Bose-Hubbard model has precisely the requested coefficientsandHere $\mu$ is the coefficient obtained by rewriting the fixed-particle number Hamiltonian operator, rather than an independently prescribed thermodynamic chemical potential. Adding a reservoir term $-{\mu }_{\mathrm{res}}\hat{N}$ would replace it by $\mu +{\mu }_{\mathrm{res}}$.

The negligible-overlap instruction applies to the mixed contact interaction integrals while the small quantum tunnelling matrix element is retained. Exactly disjoint smooth orbitals for a local $h_0$ would also give $t=0$; setting every overlap-related matrix element identically to zero would discard the physical splitting one is trying to describe.

Use the unitary discrete Fourier transform $a_j=L^{-1/2}{\sum }_k{e}^{ikj}{a}_k$, where $k=2\pi n/L$. Thenwith ${\alpha }_k=S[2J^x-(J^y+J^z)\cos k]$ and ${\beta }_k=-S(J^y-J^z)\cos k$. The factor $1/2$ accounts for the duplicated $k,-k$ pair in the full momentum sum.

Make a bosonic Bogoliubov transformation $a_k=\cosh {\theta }_k{b}_k+\sinh {\theta }_k{b}_{-k}^{†}$. Its coefficients preserve the canonical commutation relation because ${\cosh }^2{\theta }_k-{\sinh }^2{\theta }_k=1$. The coefficient of the pair term vanishes when $\tanh 2{\theta }_k=-{\beta }_k/{\alpha }_k$. ThusThe dropped constant is $\frac{1}{2}{\sum }_k({\epsilon }_k-{\alpha }_k)$ in addition to the classical ground-state energy. Since $J^x>J^y>J^z>0$, ${\alpha }_k>|{\beta }_k|$ at every $k$, so the bosonic Bogoliubov diagonalization is stable. The minimum occurs at $k=0$ and gives the energy gap $2S\sqrt{(J^x-J^y)(J^x-J^z)}$. In the isotropic limit the pair coefficient vanishes and the familiar quadratic small-$k$ ferromagnetic dispersion relation is recovered.

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.

Let $R=\sqrt{J^2+D^2}$ and $k_0=\arctan (D/J)$. Since $J\cos k+D\sin k=R\cos (k-k_0)$, the continuum minimum of the dispersion relation isFor $D>0$, the energy gap closes at a positive $u_c$, at wave vector $k_0$. Below it, the quadratic expansion about the polarized state has a negative mode and is no longer a stable ground state approximation; higher-order terms and a different ordered reference state are needed.

Two qualifications are required by the actual assumptions. First, $D=0$ is permitted, in which case $u_c=0$; it is a concrete counterexample to the printed strict inequality $u_c>0$. Second, a finite ring only has discrete momenta. Its finite-ring spin-wave threshold with antisymmetric exchange isThis approaches $u_c$ in the thermodynamic limit and equals it when $k_0$ is allowed. For example, $L=4$ and $0<D<J$ give $u_c(L)=0$, since the maximum of $1,D/J,-1,-D/J$ is one. Thus the continuum formula and its positive threshold require the large-ring interpretation. The two symmetry-related polarized ground states already have equal exact energy; the calculated energy gap refers to excitations about one chosen orientation.

Project a quantized field onto two low-energy orbitals. A sufficient regime has temperature, hopping and interaction shifts small compared with the energy gap to discarded orbitals. Small interwell contact interaction integrals can then be neglected while retaining a small quantum tunnelling matrix element. The projected field's operator commutator is the two-mode projection operator kernel, rather than a complete spatial Dirac delta function.