Exact Real-Time Longitudinal Correlation Functions of the Massive XXZ Chain.

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