The Convexity Condition of Density-Functional Theory
arXiv:2309.17443 · doi:10.1063/5.0174159
Abstract
It has long been postulated that within density-functional theory (DFT) the total energy of a finite electronic system is convex with respect to electron count, so that 2 E_v[N_0] <= E_v[N_0 - 1] + E_v[N_0 + 1]. Using the infinite-separation-limit technique, this article proves the convexity condition for any formulation of DFT that is (1) exact for all v-representable densities, (2) size-consistent, and (3) translationally invariant. An analogous result is also proven for one-body reduced density matrix functional theory. While there are known DFT formulations in which the ground state is not always accessible, indicating that convexity does not hold in such cases, this proof nonetheless confirms a stringent constraint on the exact exchange-correlation functional. We also provide sufficient conditions for convexity in approximate DFT, which could aid in the development of density-functional approximations. This result lifts a standing assumption in the proof of the piecewise linearity condition with respect to electron count, which has proven central to understanding the Kohn-Sham band-gap and the exchange-correlation derivative discontinuity of DFT.
This Communication has been published in the Journal of Chemical Physics 159, 211102 (2023) which can be found at the following link: https://doi.org/10.1063/5.0174159
References in corpus (6)
- Fractional spins and static correlation error in density functional theory
- Density functional with full exact exchange, balanced nonlocality of correlation, and constraint satisfaction
- Spin in Density-Functional Theory
- Predictive Power of the Exact Constraints and Appropriate Norms in Density Functional Theory
- Variations of the Hartree-Fock fractional-spin error for one electron
- The tilted-plane structure of the energy of finite quantum systems