Kohn-Sham computation and the bivariate view of density functional theory
Abstract
Informed by an abstraction of Kohn-Sham (KS) computation called a KS machine, a functional analytic perspective is developed on mathematical aspects of density functional theory. A natural semantics for the machine is bivariate, consisting of a sequence of potentials paired with a ground density. Although the question of when the KS machine can converge to a solution (where the potential component matches a designated target) is not resolved here, a number of related ones are. For instance: can the machine progress toward a solution? Barring presumably exceptional circumstances, yes in an energetic sense, but using a potential-mixing scheme rather than the usual density-mixing variety. Are energetic and function space distance notions of proximity-to-solution commensurate? Yes, to a significant degree. If the potential components of a sequence of ground pairs converges to a target density, do the density components cluster on ground densities thereof? Yes, barring particle number drifting to infinity.
- Publication:
-
Journal of Physics A Mathematical General
- Pub Date:
- December 2023
- DOI:
- 10.1088/1751-8121/ad075d
- arXiv:
- arXiv:2305.17795
- Bibcode:
- 2023JPhA...56W5203L
- Keywords:
-
- density functional theory;
- Kohn-Sham computation;
- functional analysis;
- Condensed Matter - Other Condensed Matter;
- Mathematical Physics;
- Quantum Physics
- E-Print:
- A major mistake, namely a circular argument, has been fixed