Use the unitary discrete Fourier transformThe transformed operators obey . The hopping terms contribute to the number coefficient. In the pairing sum, the odd sine part cancels between and . ThuswhereThe factor one half in the full momentum sum avoids counting an anomalous pair twice. For , for every allowed momentum. SetReal even angles ensure consistency between opposite momenta, and preserves the canonical commutation relations. The anomalous coefficient becomes . Normal ordering then giveswithThe field-polarized planar ferromagnetic spin wave has energy gap . The momenta run over the whole Brillouin zone once, including the self-inverse momenta and, for even , ; 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 , but , so no finite squeezing angle exists for the uniform mode. With , its Hamiltonian is , not an identically zero oscillator. For example, its matrix element between the vacuum and the two-boson number state is , whereas 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.
Use the unitary discrete Fourier transformThe transformed operators obey . The hopping terms contribute to the number coefficient. In the pairing sum, the odd sine part cancels between and . ThuswhereThe factor one half in the full momentum sum avoids counting an anomalous pair twice. For , for every allowed momentum. SetReal even angles ensure consistency between opposite momenta, and preserves the canonical commutation relations. The anomalous coefficient becomes . Normal ordering then giveswithThe field-polarized planar ferromagnetic spin wave has energy gap . The momenta run over the whole Brillouin zone once, including the self-inverse momenta and, for even , ; 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 , but , so no finite squeezing angle exists for the uniform mode. With , its Hamiltonian is , not an identically zero oscillator. For example, its matrix element between the vacuum and the two-boson number state is , whereas 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.