Exchange-only virial relation from the adiabatic connection.

The exchange-only virial relation due to Levy and Perdew is revisited. Invoking the adiabatic connection, we introduce the exchange energy in terms of the right-derivative of the universal density functional w.r.t. the coupling strength λ at λ = 0. This agrees with the Levy-Perdew definition of the exchange energy as a high-density limit of the full exchange-correlation energy. By relying on v-representability for a fixed density at varying coupling strength, we prove an exchange-only virial relation without an explicit local-exchange potential. Instead, the relation is in terms of a limit (λ ↘ 0) involving the exchange-correlation potential vxcλ, which exists by assumption of v-representability. On the other hand, a local-exchange potential vx is not warranted to exist as such a limit.

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.

Weakened Topological Protection of the Quantum Hall Effect in a Cavity.

We study the quantum Hall effect in a two-dimensional homogeneous electron gas coupled to a quantum cavity field. As initially pointed out by Kohn, Galilean invariance for a homogeneous quantum Hall system implies that the electronic center of mass (c.m.) decouples from the electron-electron interaction, and the energy of the c.m. mode, also known as Kohn mode, is equal to the single particle cyclotron transition. In this work, we point out that strong light-matter hybridization between the Kohn mode and the cavity photons gives rise to collective hybrid modes between the Landau levels and the photons. We provide the exact solution for the collective Landau polaritons and we demonstrate the weakening of topological protection at zero temperature due to the existence of the lower polariton mode which is softer than the Kohn mode. This provides an intrinsic mechanism for the recently observed topological breakdown of the quantum Hall effect in a cavity [F. Appugliese et al., Breakdown of topological protection by cavity vacuum fields in the integer quantum Hall effect, Science 375, 1030 (2022).SCIEAS0036-807510.1126/science.abl5818]. Importantly, our theory predicts the cavity suppression of the thermal activation gap in the quantum Hall transport. Our work paves the way for future developments in cavity control of quantum materials.

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.

Making ab initio QED functional(s): Nonperturbative and photon-free effective frameworks for strong light-matter coupling.

Strong light-matter coupling provides a promising path for the control of quantum matter where the latter is routinely described from first principles. However, combining the quantized nature of light with this ab initio tool set is challenging and merely developing as the coupled light-matter Hilbert space is conceptually different and computational cost quickly becomes overwhelming. In this work, we provide a nonperturbative photon-free formulation of quantum electrodynamics (QED) in the long-wavelength limit, which is formulated solely on the matter Hilbert space and can serve as an accurate starting point for such ab initio methods. The present formulation is an extension of quantum mechanics that recovers the exact results of QED for the zero- and infinite-coupling limit and the infinite-frequency as well as the homogeneous limit, and we can constructively increase its accuracy. We show how this formulation can be used to devise approximations for quantum-electrodynamical density-functional theory (QEDFT), which in turn also allows us to extend the ansatz to the full minimal-coupling problem and to nonadiabatic situations. Finally, we provide a simple local density-type functional that takes the strong coupling to the transverse photon degrees of freedom into account and includes the correct frequency and polarization dependence. This QEDFT functional accounts for the quantized nature of light while remaining computationally simple enough to allow its application to a large range of systems. All approximations allow the seamless application to periodic systems.

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.

Density-functional theory on graphs.

The principles of density-functional theory are studied for finite lattice systems represented by graphs. Surprisingly, the fundamental Hohenberg-Kohn theorem is found void, in general, while many insights into the topological structure of the density-potential mapping can be won. We give precise conditions for a ground state to be uniquely v-representable and are able to prove that this property holds for almost all densities. A set of examples illustrates the theory and demonstrates the non-convexity of the pure-state constrained-search functional.

Virial Relations for Electrons Coupled to Quantum Field Modes.

In this work, we present a set of virial relations for many electron systems coupled to both classical and quantum fields, described by the Pauli-Fierz Hamiltonian in dipole approximation and using length gauge. Currently, there is growing interest in solutions of this Hamiltonian because of its relevance for describing molecular systems strongly coupled to photonic modes in cavities and in the possible modification of chemical properties of such systems compared to the ones in free space. The relevance of such virial relations is demonstrated by showing a connection to mass renormalization and by providing an exact way to obtain total energies from potentials in the framework of quantum electrodynamical density functional theory.

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.

Erratum: Guaranteed Convergence of a Regularized Kohn-Sham Iteration in Finite Dimensions [Phys. Rev. Lett. 123, 037401 (2019)].

This corrects the article DOI: 10.1103/PhysRevLett.123.037401.

Force balance approach for advanced approximations in density functional theories.

We propose a systematic and constructive way to determine the exchange-correlation potentials of density-functional theories including vector potentials. The approach does not rely on energy or action functionals. Instead, it is based on equations of motion of current quantities (force balance equations) and is feasible both in the ground-state and the time-dependent settings. This avoids, besides differentiability and causality issues, the optimized-effective-potential procedure of orbital-dependent functionals. We provide straightforward exchange-type approximations for different density functional theories that for a homogeneous system and no external vector potential reduce to the exchange-only local-density and Slater Xα approximations.

Quantum Electrodynamical Bloch Theory with Homogeneous Magnetic Fields.

We propose a solution to the problem of Bloch electrons in a homogeneous magnetic field by including the quantum fluctuations of the photon field. A generalized quantum electrodynamical (QED)-Bloch theory from first principles is presented. In the limit of vanishing quantum fluctuations, we recover the standard results of solid-state physics: the fractal spectrum of the Hofstadter butterfly. As a further application, we show how the well-known Landau physics is modified by the photon field and that Landau polaritons emerge. This shows that our QED-Bloch theory does not only allow us to capture the physics of solid-state systems in homogeneous magnetic fields but also novel features that appear at the interface of condensed matter physics and quantum optics.

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.

Kohn-Sham Theory with Paramagnetic Currents: Compatibility and Functional Differentiability.

Recent work has established Moreau-Yosida regularization as a mathematical tool to achieve rigorous functional differentiability in density-functional theory. In this article, we extend this tool to paramagnetic current-density-functional theory, the most common density-functional framework for magnetic field effects. The extension includes a well-defined Kohn-Sham iteration scheme with a partial convergence result. To this end, we rely on a formulation of Moreau-Yosida regularization for reflexive and strictly convex function spaces. The optimal L p-characterization of the paramagnetic current density L1 ∩ L3/2 is derived from the N-representability conditions. A crucial prerequisite for the convex formulation of paramagnetic current-density-functional theory, termed compatibility between function spaces for the particle density and the current density, is pointed out and analyzed. Several results about compatible function spaces are given, including their recursive construction. The regularized, exact functionals are calculated numerically for a Kohn-Sham iteration on a quantum ring, illustrating their performance for different regularization parameters.

Generalized Kohn-Sham iteration on Banach spaces.

A detailed account of the Kohn-Sham (KS) algorithm from quantum chemistry, formulated rigorously in the very general setting of convex analysis on Banach spaces, is given here. Starting from a Levy-Lieb-type functional, its convex and lower semi-continuous extension is regularized to obtain differentiability. This extra layer allows us to rigorously introduce, in contrast to the common unregularized approach, a well-defined KS iteration scheme. Convergence in a weak sense is then proven. This generalized formulation is applicable to a wide range of different density-functional theories and possibly even to models outside of quantum mechanics.

Functional differentiability in time-dependent quantum mechanics.

In this work, we investigate the functional differentiability of the time-dependent many-body wave function and of derived quantities with respect to time-dependent potentials. For properly chosen Banach spaces of potentials and wave functions, Fréchet differentiability is proven. From this follows an estimate for the difference of two solutions to the time-dependent Schrödinger equation that evolve under the influence of different potentials. Such results can be applied directly to the one-particle density and to bounded operators, and present a rigorous formulation of non-equilibrium linear-response theory where the usual Lehmann representation of the linear-response kernel is not valid. Further, the Fréchet differentiability of the wave function provides a new route towards proving basic properties of time-dependent density-functional theory.

Existence, uniqueness, and construction of the density-potential mapping in time-dependent density-functional theory.

In this work we review the mapping from densities to potentials in quantum mechanics, which is the basic building block of time-dependent density-functional theory and the Kohn-Sham construction. We first present detailed conditions such that a mapping from potentials to densities is defined by solving the time-dependent Schrödinger equation. We specifically discuss intricacies connected with the unboundedness of the Hamiltonian and derive the local-force equation. This equation is then used to set up an iterative sequence that determines a potential that generates a specified density via time propagation of an initial state. This fixed-point procedure needs the invertibility of a certain Sturm-Liouville problem, which we discuss for different situations. Based on these considerations we then present a discussion of the famous Runge-Gross theorem which provides a density-potential mapping for time-analytic potentials. Further we give conditions such that the general fixed-point approach is well-defined and converges under certain assumptions. Then the application of such a fixed-point procedure to lattice Hamiltonians is discussed and the numerical realization of the density-potential mapping is shown. We conclude by presenting an extension of the density-potential mapping to include vector-potentials and photons.