Direct first principles algorithm for the universal electron density functional

An explicit formula is provided giving a formal derivation of the exact universal electron density functional. This abstract theorem enables the derivaton of a funcional Taylor series expansion of this density functional about a reference density. Although wave funcion methods are used in the derivation, the final quantities may be evaluated by a variety of methods including nonwave fuction many-body methods.