Prescription for the design and selection of density functional approximations: More constraint satisfaction with fewer fits

We present the case for the nonempirical construction of density functional approximations for the exchange-correlation energy by the traditional method of "constraint satisfaction" without fitting to data sets, and present evidence that this approach has been successful on the first three rungs of "Jacob's ladder" of density functional approximations [local spin-density approximation (LSD), generalized gradient approximation (GGA), and meta-GGA]. We expect that this approach will also prove successful on the fourth and fifth rungs (hyper-GGA or hybrid and generalized random-phase approximation). In particular, we argue for the theoretical and practical importance of recovering the correct uniform density…