Dynamics of low energy wave packets in the one-dimensional quantum Heisenberg ferromagnet

Spin wave theory plays a central role in the analysis of low-energy properties of the quantum ferromagnetic Heisenberg model. In this work, we present a first step towards a rigorous justification of this approximation in the context of quantum dynamics in one dimension. According to spin wave theory, the evolution of a spin wave state should be well approximated by its free evolution with the appropriate energy of free quasiparticles called magnons. Our main result establishes this idea rigorously for a class of spin wave packets. We focus on spin-$\frac{1}{2}$ systems, and consider wave packets composed of two magnons. We argue our result is optimal with respect to the timescales.