Andre Laestadius

• PhD
• Professor (Associate) at OsloMet – Oslo Metropolitan University

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...

The key features of density-functional theory (DFT) within a minimal 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, an...

Although the concept of the uniform electron gas is essential to quantum physics, it has only been defined recently in a rigorous manner by Lewin, Lieb and Seiringer. We extend their approach to include the magnetic case, by which we mean that the vorticity of the gas is also held constant. Our definition involves the grand-canonical version of the...

A detailed analysis of density-functional theory for quantum-electrodynamical model systems is provided. In particular, the quantum Rabi model, the Dicke model, and a generalization of the latter to multiple modes are considered. We prove a Hohenberg-Kohn theorem that manifests the magnetization and displacement as internal variables, along with se...

We use an exact Moreau-Yosida regularized formulation to obtain the exchange-correlation potential for periodic systems. We reveal a profound connection between rigorous mathematical principles and efficient numerical implementation, which marks the first computation of a Moreau-Yosida-based inversion for physical systems. We develop a mathematical...

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 ful...

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...

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...

Homotopy methods have proven to be a powerful tool for understanding the multitude of solutions provided by the coupled-cluster polynomial equations. This endeavor has been pioneered by quantum chemists that have undertaken both elaborate numerical as well as mathematical investigations. Recently, from the perspective of applied mathematics, new in...

For a quantum-mechanical many-electron system, given a density, the Zhao--Morrison--Parr method allows to compute the effective potential that yields precisely that density. In this work, we demonstrate how this and similar inversion procedures mathematically relate to the Moreau--Yosida regularization of density functionals on Banach spaces. It is...

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 th...

In a series of two articles, we propose a comprehensive mathematical framework for Coupled-Cluster-type methods. In this second part, we analyze the nonlinear equations of the single-reference Coupled-Cluster method using topological degree theory. We establish existence results and qualitative information about the solutions of these equations tha...

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. In this Part~II of a series of two articles, we aim at clarifying the status of this theorem within different extensions of DFT includ...

We propose a novel a posteriori error assessment for the single-reference coupled-cluster (SRCC) method called the $S$-diagnostic. We provide a derivation of the $S$-diagnostic that is rooted in the mathematical analysis of different SRCC variants. We numerically scrutinized the $S$-diagnostic, testing its performance for (1) geometry optimizations...

In a series of two articles, we propose a comprehensive mathematical framework for Coupled-Cluster-type methods. In this second part, we analyze the nonlinear equations of the single-reference Coupled-Cluster method using topological degree theory. We establish existence results and qualitative information about the solutions of these equations tha...

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 th...

In a series of two articles, we propose a comprehensive mathematical framework for Coupled-Cluster-type methods. These methods aim at accurately solving the many-body Schrodinger equation. In this first part, we rigorously describe the discretization schemes involved in Coupled-Cluster methods using graph-based concepts. This allows us to discuss d...

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 exchan...

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 exchan...

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 exchan...

We propose exchanging the energy functionals in DFT with physically equivalent exact force expressions as a promising route towards efficient yet accurate approximations to the exchange-correlation potential. In analogy to the usual energy-based procedure, we split the force difference between the interacting and auxiliary system into a Hartree, an...

The optimized effective potential method is formulated as a convex minimization problem. This formulation does not require assumptions about $v$-representability nor functional differentiability. The formulation provides a natural framework for fully self-consistent calculations where both a Kohn--Sham system with a non-local potential and an addit...

Density-functional theory 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 a...

We propose a comprehensive mathematical framework for Coupled-Cluster-type methods. These aim at accurately solving the many-body Schr\"odinger equation. The present work has two main aspects. First, we rigorously describe the discretization scheme involved in Coupled-Cluster methods using graph-based concepts. This allows us to discuss different m...

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-se...

Density-functional theory 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 a...

DOI:https://doi.org/10.1103/PhysRevLett.125.249902

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 semi-continuity and expectation valuedness of the CDFT constrained-search functional is proven, meaning that there is always a minimizing density matrix in the CDFT constrained-s...

A wide class of coupled-cluster methods is introduced, based on Arponen's extended coupled-cluster theory. This class of methods is formulated in terms of a coordinate transformation of the cluster operators. The mathematical framework for the error analysis of coupled-cluster methods based on Arponen's bivariational principle is presented, in whic...

We investigate and prove Lieb–Oxford bounds in one dimension by studying convex potentials that approximate the ill-defined Coulomb potential. A Lieb–Oxford inequality establishes a bound of the indirect interaction energy for electrons in terms of the one-body particle density ρψ of a wave function ψ. Our results include modified soft Coulomb pote...

A wide class of coupled-cluster methods is introduced, based on Arponen's extended coupled-cluster theory. This class of methods is formulated in terms of a coordinate transformation of the cluster operators. The mathematical framework for the error analysis of coupled-cluster methods based on Arponen's bivariational principle is presented, in whic...

The Kohn-Sham iteration of generalized density-functional theory on Banach spaces with Moreau-Yosida regularized universal Lieb functional and an adaptive damping step is shown to converge to the correct ground-state density. This result demands state spaces for (quasi)densities and potentials that are uniformly convex with modulus of convexity of...

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 fu...

We here prove a conjectured Lieb-Oxford bound in one dimension. It is established that $I(\psi)\geq - C_1 \int_{\mathbb R} \rho_\psi(x)^{2} \mathrm{d}x$ with $C_1=1$, where $I(\psi)$ is the indirect Coulomb energy for interacting electrons in one dimension modelled with a Dirac (contact) potential and $\rho_\psi$ is the one-body particle density of...

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.

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-...

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

In this article, we investigate the numerical and theoretical aspects of the coupled-cluster method tailored by matrix-product states. We investigate formal properties of the used method, such as energy size consistency and the equivalence of linked and unlinked formulation. The existing mathematical analysis is here elaborated in a quantum chemica...

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-...

In this article, we investigate the numerical and theoretical aspects of the coupled-cluster method tailored by matrix-product states. We investigate chemical properties of the used method, such as energy size extensivity and the equivalence of linked and unlinked formulation. The existing mathematical analysis is here elaborated in a quantum chemi...

A detailed account of the Kohn-Sham 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 to rigorously introd...

A detailed account of the Kohn-Sham 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 to rigorously introd...

The Coupled-Cluster theory is one of the most successful high precision methods used to solve the stationary Schr\"odinger equation. In this article, we address the mathematical foundation of this theory and the advances made in the past decade. Rather than solely relying on spectral gap assumptions, we highlight the importance of coercivity assump...

The Coupled-Cluster theory is one of the most successful high precision methods used to solve the stationary Schr\"odinger equation. In this article, we address the mathematical foundation of this theory with focus on the advances made in the past decade. Rather than solely relying on spectral gap assumptions (non-degeneracy of the ground state), w...

We analyze the tailored coupled-cluster (TCC) method, which is a multi-reference formalism that combines the single-reference coupled-cluster (CC) approach with a full configuration interaction (FCI) solution covering the static correlation. This covers in particular the high efficiency coupled-cluster method tailored by tensor-network states (TNS-...

We analyze the tailored coupled-cluster (TCC) method, which is a multi-reference formalism that combines the single-reference coupled-cluster (CC) approach with a full configuration interaction (FCI) solution covering the static correlation. This covers in particular the high efficiency coupled-cluster method tailored by tensor-network states (TNS-...

We show that the particle density, $\rho(\mathbf{r})$, and the paramagnetic current density, $\mathbf{j}^{p}(\mathbf{r})$, are not sufficient to determine the set of degenerate ground-state wave functions. This is a general feature of degenerate systems where the degenerate states have different angular momenta. We provide a general strategy for co...

We show that the particle density, $\rho(\mathbf{r})$, and the paramagnetic current density, $\mathbf{j}^{p}(\mathbf{r})$, are not sufficient to determine the set of degenerate ground-state wave functions. This is a general feature of degenerate systems where the degenerate states have different angular momenta. We provide a general strategy for co...

The unique-continuation property from sets of positive measure is here proven for the time-independent $N$-electron magnetic Schr\"odinger equation. The unique-continuation property from sets of positive measure guarantees that if a solution to the Schr\"odinger equation vanishes on a set of positive measure, then it vanishes identically. We explic...

We construct a density-functional formalism adapted to uniform external magnetic fields that is intermediate between conventional Density Functional Theory and Current-Density Functional Theory (CDFT). In the intermediate theory, which we term LDFT, the basic variables are the density, the canonical momentum, and the paramagnetic contribution to th...

We construct a density-functional formalism adapted to uniform external magnetic fields that is intermediate between conventional Density Functional Theory and Current-Density Functional Theory (CDFT). In the intermediate theory, which we term LDFT, the basic variables are the density, the canonical momentum, and the paramagnetic contribution to th...

The mathematical foundation of the so-called extended coupled-cluster method for the solution of the many-fermion Schr\"odinger equation is here developed. We prove an existence and uniqueness result, both in the full infinite-dimensional amplitude space as well as for discretized versions of it. The extended coupled-cluster method is formulated as...

The mathematical foundation of the so-called extended coupled-cluster method for the solution of the many-fermion Schr\"odinger equation is here developed. We prove an existence and uniqueness result, both in the full infinite-dimensional amplitude space as well as for discretized versions of it. The extended coupled-cluster method is formulated as...

For a many-electron system, whether the particle density $\rho(\mathbf{r})$ and the total current density $\mathbf{j}(\mathbf{r})$ are sufficient to determine the one-body potential $V(\mathbf{r})$ and vector potential $\mathbf{A}(\mathbf{r})$, is still an open question. For the one-electron case, a Hohenberg-Kohn theorem exists formulated with the...

In this paper density functionals for Coulomb systems subjected to electric and magnetic fields are developed. The density functionals depend on the particle density, $\rho$, and paramagnetic current density, $j^p$. This approach is motivated by an adapted version of the Vignale and Rasolt formulation of Current Density Functional Theory (CDFT), wh...

In this article, we examine Hohenberg–Kohn theorems for Current Density Functional Theory, that is, generalizations of the classical Hohenberg–Kohn theorem that includes both electric and magnetic fields. In the Vignale and Rasolt formulation (Vignale and Rasolt, Phys. Rev. Lett. 1987, 59, 2360), which uses the paramagnetic current density, we addr...

In the well-known Kohn-Sham theory in Density Functional Theory, a fictitious non-interacting system is introduced that has the same particle density as a system of $N$ electrons subjected to mutual Coulomb repulsion and an external electric field. For a long time, the treatment of the kinetic energy was not correct and the theory was not well-defi...