Relativistic Exchange Bounds

We collect estimates of the exchange energy of the relativistic no-pair Hartree-Fock and Müller functional and use them to show the existence of a minimizer and stability of matter of the relativistic Müller functional in the free picture.