Quantum-Electrodynamical Density-Functional Theory Exemplified by the Quantum Rabi Model.

The key features of density-functional theory (DFT) within a minimalistic implementation of quantum electrodynamics are demonstrated, thus allowing to study elementary properties of quantum-electrodynamical density-functional theory (QEDFT). We primarily employ the quantum Rabi model that describes a two-level system coupled to a single photon mode and also discuss the Dicke model, where multiple two-level systems couple to the same photon mode. In these settings, the density variables of the system are the polarization and the displacement of the photon field.

Geometrical perspective on spin-lattice density-functional theory.

A recently developed viewpoint on the fundamentals of density-functional theory for finite interacting spin-lattice systems that centers around the notion of degeneracy regions is presented. It allows for an entirely geometrical description of the Hohenberg-Kohn theorem and v-representability. The phenomena receive exemplification by an Anderson impurity model and other small-lattice examples.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.