Positivity of the Spectral Densities of Retarded Floquet Green Functions

Periodically driven nonequilibrium many-body systems are interesting because they have quasi-energy spectra, which can be tailored by controlling the external driving fields. We derive the general spectral representation of retarded Green functions in the Floquet regime, thereby generalizing the well-known Lehmann representation from equilibrium many-body physics. The derived spectral Floquet representation allows us to prove the non-negativity of spectral densities and to determine exact spectral sum rules, which can be employed to benchmark the accuracy of approximations to the exact Floquet many-body Green functions.