Kohn–Sham Theory with Paramagnetic Currents: Compatibility and Functional Differentiability

Exchange energies with forces in density-functional theory

We propose exchanging the energy functionals in ground-state density-functional theory with physically equivalent exact force expressions as a new promising route toward approximations to the exchange-correlation potential and energy. In analogy to the usual energy-based procedure, we split the force difference between the interacting and auxiliary Kohn-Sham system into a Hartree, an exchange, and a correlation force. The corresponding scalar potential is obtained by solving a Poisson equation, while an additional transverse part of the force yields a vector potential. These vector potentials obey an exact constraint between the exchange and correlation contribution and can further be related to the atomic shell structure. Numerically, the force-based local-exchange potential and the corresponding exchange energy compare well with the numerically more involved optimized effective potential method. Overall, the force-based method has several benefits when compared to the usual energy-based approach and opens a route toward numerically inexpensive nonlocal and (in the time-dependent case) nonadiabatic approximations.

The Structure of the Density-Potential Mapping. Part II: Including Magnetic Fields

The Hohenberg-Kohn theorem of density-functional theory (DFT) is broadly considered the conceptual basis for a full characterization of an electronic system in its ground state by just one-body particle density. In this Part II of a series of two articles, we aim at clarifying the status of this theorem within different extensions of DFT including magnetic fields. We will in particular discuss current-density-functional theory (CDFT) and review the different formulations known in the literature, including the conventional paramagnetic CDFT and some nonstandard alternatives. For the former, it is known that the Hohenberg-Kohn theorem is no longer valid due to counterexamples. Nonetheless, paramagnetic CDFT has the mathematical framework closest to standard DFT and, just like in standard DFT, nondifferentiability of the density functional can be mitigated through Moreau-Yosida regularization. Interesting insights can be drawn from both Maxwell-Schrödinger DFT and quantum-electrodynamic DFT, which are also discussed here.

The Structure of Density-Potential Mapping. Part I: Standard Density-Functional Theory

The Hohenberg-Kohn theorem of density-functional theory (DFT) is broadly considered the conceptual basis for a full characterization of an electronic system in its ground state by just the one-body particle density. Part I of this review aims at clarifying the status of the Hohenberg-Kohn theorem within DFT and Part II at different extensions of the theory that include magnetic fields. We collect evidence that the Hohenberg-Kohn theorem does not so much form the basis of DFT, but is rather the consequence of a more comprehensive mathematical framework. Such results are especially useful when it comes to the construction of generalized DFTs.

DFT exchange: sharing perspectives on the workhorse of quantum chemistry and materials science

In this paper, the history, present status, and future of density-functional theory (DFT) is informally reviewed and discussed by 70 workers in the field, including molecular scientists, materials scientists, method developers and practitioners. The format of the paper is that of a roundtable discussion, in which the participants express and exchange views on DFT in the form of 302 individual contributions, formulated as responses to a preset list of 26 questions. Supported by a bibliography of 777 entries, the paper represents a broad snapshot of DFT, anno 2022.

Analyzing the Behavior of Spin Phases in External Magnetic Fields by Means of Spin-Constrained States

During molecular dissociation in the presence of an external uniform magnetic field, electrons flip their spin antiparallel to the magnetic field because of the stabilizing influence of the spin Zeeman operator. Although generalized Hartree-Fock descriptions furnish the optimal mean-field energetic description of such bond-breaking processes, they are allowed to break Ŝ_z symmetry, leading to intricate and unexpected spin phases and phase transitions. In this work, we show that the behavior of these molecular spin phases can be interpreted in terms of spin phase diagrams constructed by constraining states to target expectation values of projected spin. The underlying constrained states offer a complete electronic characterization of the spin phases and spin phase transitions, as they can be analyzed using standard quantum chemical tools. Because the constrained states effectively span the entire phase space, they could provide an excellent starting point for post-Hartree-Fock methods aimed at gaining more electron correlation or regaining spin symmetry.

Revisiting density-functional theory of the total current density

Density-functional theory (DFT) requires an extra variable besides the electron density in order to properly incorporate magnetic-field effects. In a time-dependent setting, the gauge-invariant, total current density takes that role. A peculiar feature of the static ground-state setting is, however, that the gauge-dependent paramagnetic current density appears as the additional variable instead. An alternative, exact reformulation in terms of the total current density has long been sought but to date a work by Diener is the only available candidate. In that work, an unorthodox variational principle was used to establish a ground-state DFT of the total current density as well as an accompanying Hohenberg-Kohn-like result. We here reinterpret and clarify Diener's formulation based on a maximin variational principle. Using simple facts about convexity implied by the resulting variational expressions, we prove that Diener's formulation is unfortunately not capable of reproducing the correct ground-state energy and, furthermore, that the suggested construction of a Hohenberg-Kohn map contains an irreparable mistake.

Lower Semicontinuity of the Universal Functional in Paramagnetic Current-Density Functional Theory

A cornerstone of current-density functional theory (CDFT) in its paramagnetic formulation is proven. After a brief outline of the mathematical structure of CDFT, the lower semicontinuity and expectation-valuedness of the CDFT constrained-search functional is proven, meaning that there is always a minimizing density matrix in the CDFT constrained-search universal density functional. These results place the mathematical framework of CDFT on the same footing as that of standard DFT.

Unique continuation for the magnetic Schrödinger equation

The unique-continuation property from sets of positive measure is here proven for the many-body magnetic Schrödinger equation. This property guarantees that if a solution of the Schrödinger equation vanishes on a set of positive measure, then it is identically zero. We explicitly consider potentials written as sums of either one-body or two-body functions, typical for Hamiltonians in many-body quantum mechanics. As a special case, we are able to treat atomic and molecular Hamiltonians. The unique-continuation property plays an important role in density-functional theories, which underpins its relevance in quantum chemistry.

Guaranteed Convergence of a Regularized Kohn-Sham Iteration in Finite Dimensions

The exact Kohn-Sham iteration of generalized density-functional theory in finite dimensions with a Moreau-Yosida regularized universal Lieb functional and an adaptive damping step is shown to converge to the correct ground-state density.