Double-hybrid density-functional theory made rigorous

Kamal Sharkas, Julien Toulouse, Andreas Savin

We provide a rigorous derivation of a class of double-hybrid approximations, combining Hartree-Fock exchange and second-order Moller-Plesset correlation with a semilocal exchange-c…