 Lehmann representation

The Lehmann representation expands a thermal correlation function in energy eigenstates. Its poles occur at transition frequencies, and its residues are thermal occupation differences times operator matrix elements.