Exact real-time longitudinal correlation functions of the massive XXZ chain

We apply the recently developed thermal form factor expansion method to evaluate the real-time longitudinal spin-spin correlation functions of the spin-$\frac{1}{2}$ XXZ chain in the antiferromagnetically ordered regime at temperature $T=0$. An analytical result containing all types of excitations in the model is obtained, without any approximations. This allows for the accurate calculation of the real-time correlation functions in this strongly interacting quantum system for arbitrary distances and times.