Using Green’s-function many-body theory, we present the details of a formally exact adiabatic-connection fluctuation-dissipation density-functional theory based on range separation, which was sketched in Toulouse et al. [Phys. Rev. Lett. 102, 096404 (2009)]. Range-separated density-functional theory approaches combining short-range density-functional approximations with long-range random-phase ...
