Differentiable but exact formulation of density-functional theory

Abstract

The universal density functional $F$ of density-functional theory is a complicated and ill-behaved function of the density-in particular, $F$ is not differentiable, making many formal manipulations more complicated. Whilst $F$ has been well characterized in terms of convex analysis as forming a conjugate pair $(E,F)$ with the ground-state energy $E$ via the Hohenberg-Kohn and Lieb variation principles, $F$ is nondifferentiable and subdifferentiable only on a small (but dense) set of its domain. In this article, we apply a tool from convex analysis, Moreau-Yosida regularization, to construct, for any $\epsilon >0$, pairs of conjugate functionals $({}^{\epsilon }E,{}^{\epsilon }F)$ that converge to $(E,F)$ pointwise everywhere as $\epsilon \to 0^{+}$, and such that ${}^{\epsilon }F$ is (Fréchet) differentiable. For technical reasons, we limit our attention to molecular electronic systems in a finite but large box. It is noteworthy that no information is lost in the Moreau-Yosida regularization: the physical ground-state energy $E(v)$ is exactly recoverable from the regularized ground-state energy ${}^{\epsilon }E(v)$ in a simple way. All concepts and results pertaining to the original $(E,F)$ pair have direct counterparts in results for $({}^{\epsilon }E,{}^{\epsilon }F)$. The Moreau-Yosida regularization therefore allows for an exact, differentiable formulation of density-functional theory. In particular, taking advantage of the differentiability of ${}^{\epsilon }F$, a rigorous formulation of Kohn-Sham theory is presented that does not suffer from the noninteracting representability problem in standard Kohn-Sham theory.

References in corpus (1)

• Optimized Effective Potentials in Finite Basis Sets

Cited by in corpus (38)

• Existence, Uniqueness, and Construction of the Density-Potential Mapping in Time-Dependent Density-Functional Theory
• Ensemble Density Functional Theory of Neutral and Charged Excitations
• Foundation of one-particle reduced density matrix functional theory for excited states
• Landscape of an exact energy functional
• Guaranteed Convergence of a Regularized Kohn-Sham Iteration in Finite Dimensions
• One-body reduced density-matrix functional theory in finite basis sets at elevated temperatures
• Force Balance Approach for Advanced Approximations in Density Functional Theories
• The structure of the density-potential mapping. Part I: Standard density-functional theory
• On derivatives of the energy with respect to total electron number and orbital occupation numbers. A critique of Janak's theorem
• Uniform magnetic fields in density-functional theory
• Kohn-Sham theory with paramagnetic currents: compatibility and functional differentiability
• Exact Excited-State Functionals of the Asymmetric Hubbard Dimer
• On the Predictive Power of Chemical Concepts
• Generalized Kohn-Sham iteration on Banach spaces
• Ghost interaction correction in ensemble density-functional theory for excited states with and without range separation
• Density-functional theory for internal magnetic fields
• The structure of the density-potential mapping. Part II: Including magnetic fields
• Robust All-Electron Optimization in Orbital-Free Density Functional Theory Using the Trust Region Image Method
• Some Problems in Density Functional Theory
• Exchange energies with forces in density-functional theory
• Density-potential inversion from Moreau-Yosida regularization
• Kinetic-Energy Density-Functional Theory on a Lattice
• Basis-set correction based on density-functional theory: Rigorous framework for a one-dimensional model
• Geometry of Degeneracy in Potential and Density Space
• Photoionization and core resonances from range-separated density-functional theory: General formalism and example of the beryllium atom
• Unique Continuation for the Magnetic Schrödinger Equation
• Kohn-Sham inversion with mathematical guarantees
• Excited-State-Specific Kohn-Sham Formalism for the Asymmetric Hubbard Dimer
• Functional differentiability in time-dependent quantum mechanics
• Exchange-only virial relation from the adiabatic connection
• A Many-Body Density Energy Functional
• Exposing minimal composition of Kohn-Sham theory and its extendability
• A rigorous formulation of Density Functional Theory for spinless fermions in one dimension
• Adaptation of Moreau-Yosida regularization to the modulus of convexity
• Regularised density-potential inversion for periodic systems: application to exact exchange in one dimension
• Perspective on Moreau-Yosida Regularization in Density-Functional Theory
• Density-Functional Theory on Graphs
• Notes on open questions within density functional theory (existence of a derivative of the Lieb functional in a restricted sense and non-interacting $v$-representability)