We discuss two basic problems in the Hohenberg-Kohn-Sham version of density functional theory, HKS-DFT: the first, the N -representability of the functional F [ρ] and, the second, the universality of F [ρ]. In relation to the first, we show that F [ρ] must satisfy N -representability conditions that follow from those on the 2-matrix D 2 (r 1 , r 2 ; r , r 2 ). In the case of the second, we provide arguments based on the equivalence between ab initio DFT and HKS-DFT to show that the functional F [ρ] is not universal. Int. J. Mod. Phys. B 2008.22:4642-4654. Downloaded from www.worldscientific.com by MCGILL UNIVERSITY on 02/09/15. For personal use only.