Showing 1–16 of 16 results for author: Laestadius, A

Adaptation of Moreau-Yosida regularization to the modulus of convexity

Authors: Markus Penz, Andre Laestadius

Abstract: We study a generalization of Moreau-Yosida regularization that is adapted to the geometry of Banach spaces where the dual space is uniformly convex with modulus of convexity of power type. Important properties for regularized convex functions are given, in particular strong monotonicity of the subdifferential of their convex conjugate and Hölder-continuity of their gradient. We study a generalization of Moreau-Yosida regularization that is adapted to the geometry of Banach spaces where the dual space is uniformly convex with modulus of convexity of power type. Important properties for regularized convex functions are given, in particular strong monotonicity of the subdifferential of their convex conjugate and Hölder-continuity of their gradient. △ Less

Submitted 2 April, 2025; originally announced April 2025.

Density-functional theory for the Dicke Hamiltonian

Authors: Vebjørn H. Bakkestuen, Mihály A. Csirik, Andre Laestadius, Markus Penz

Abstract: 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 several representability results. The constrained-se… ▽ More 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 several representability results. The constrained-search functionals for pure states and ensembles are introduced and analyzed. We find the optimizers for the pure-state constrained-search functional to be low-lying eigenstates of the Hamiltonian and, based on the properties of the optimizers, we formulate an adiabatic-connection formula. In the reduced case of the Rabi model we can even show differentiability of the universal density functional, which amounts to unique pure-state v-representability. △ Less

Submitted 23 April, 2025; v1 submitted 18 September, 2024; originally announced September 2024.

Journal ref: J. Stat. Phys. 192, 61 (2025)

Kohn-Sham inversion with mathematical guarantees

Authors: Michael F. Herbst, Vebjørn H. Bakkestuen, Andre Laestadius

Abstract: 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 mathematically rigorous inversion algorithm which is demonstra… ▽ More 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 mathematically rigorous inversion algorithm which is demonstrated for representative bulk materials, specifically bulk silicon, gallium arsenide, and potassium chloride. Our inversion algorithm allows the construction of rigorous error bounds that we are able to verify numerically. This unlocks a new pathway to analyze Kohn-Sham inversion methods, which we expect in turn to foster mathematical approaches for developing approximate functionals. △ Less

Submitted 5 May, 2025; v1 submitted 6 September, 2024; originally announced September 2024.

Comments: 6 pages, 4 figures, supporting information see https://github.com/mfherbst/supporting-my-inversion

Thermodynamic limit for the magnetic uniform electron gas and representability of density-current pairs

Authors: Mihály A. Csirik, Andre Laestadius, Erik I. Tellgren

Abstract: 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 universal functional introduced by Vignale and Ra… ▽ More 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 universal functional introduced by Vignale and Rasolt in the context of current-density-functional theory. Besides establishing the existence of the thermodynamic limit, we derive an estimate on the kinetic energy functional that also gives a convenient answer to the (mixed) current-density representability problem. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Exchange-only virial relation from the adiabatic connection

Authors: Andre Laestadius, Mihály A. Csirik, Markus Penz, Nicolas Tancogne-Dejean, Michael Ruggenthaler, Angel Rubio, Trygve Helgaker

Abstract: 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… ▽ More 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 ($λ\searrow 0$) involving the exchange-correlation potential $v_\mathrm{xc}^λ$, which exists by assumption of $v$-representability. On the other hand, a local-exchange potential $v_\mathrm{x}$ is not warranted to exist as such a limit. △ Less

Submitted 13 February, 2024; v1 submitted 29 October, 2023; originally announced October 2023.

Journal ref: J. Chem. Phys. 160, 084115 (2024)

Coupled-Cluster Theory Revisited. Part II: Analysis of the single-reference Coupled-Cluster equations

Authors: Mihály A. Csirik, Andre Laestadius

Abstract: 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 that also sheds light on the numerically observed beh… ▽ More 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 that also sheds light on the numerically observed behavior. In particular, we compute the topological index of the zeros of the single-reference Coupled-Cluster mapping. For the truncated Coupled-Cluster method, we derive an energy error bound for approximate eigenstates of the Schrodinger equation. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Comments: Published in: ESAIM: M2AN Volume 57, Number 2, March-April 2023, Pages 545-583

Coupled-Cluster Theory Revisited. Part I: Discretization

Authors: Mihály A. Csirik, Andre Laestadius

Abstract: 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 different methods in a unified and more transparent… ▽ More 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 different methods in a unified and more transparent manner, including multireference methods. Moreover, we derive the single-reference and the Jeziorski-Monkhorst multireference Coupled-Cluster equations in a unified and rigorous manner. △ Less

Submitted 27 March, 2023; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: Published in ESAIM: M2AN, Volume 57, Number 2, March-April 2023, Pages 645 -670

Convergence of the regularized Kohn-Sham iteration in Banach spaces

Authors: Markus Penz, Andre Laestadius

Abstract: 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 power type. The Moreau-Yosida regularization is ad… ▽ More 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 power type. The Moreau-Yosida regularization is adapted to match the geometry of the spaces and some convex analysis results are extended to this type of regularization. Possible connections between regularization and physical effects are pointed out as well. The proof of convergence presented here (Theorem 23) contains a critical mistake that has been noted and fixed for the finite-dimensional case in arXiv:1903.09579. Yet, the proposed correction is not straightforwardly generalizable to a setting of infinite-dimensional Banach spaces. This means the question of convergence in such a case is still left open. We present this draft as a collection of techniques and ideas for a possible altered, successful demonstration of convergence of the Kohn--Sham iteration in Banach spaces. △ Less

Submitted 2 April, 2025; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: The proof of convergence (Theorem 23) contains a critical mistake that has been noted and fixed for the finite-dimensional case in arXiv:1903.09579. Some additional mathematical results have been taken out of this draft and published elsewhere as "Adaptation of Moreau-Yosida regularization to the modulus of convexity"

One-Dimensional Lieb-Oxford Bounds

Authors: Andre Laestadius, Fabian M Faulstich

Abstract: 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 potential and regularized Coulomb potential. For… ▽ More 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 potential and regularized Coulomb potential. For these potentials, we establish Lieb-Oxford-type bounds utilizing logarithmic expressions of the particle density. Furthermore, a previous conjectured form $I_\mathrm{xc}(ψ)\geq - C_1 \int_{\mathbb R} ρ_ψ(x)^{2} \mathrm{d}x$ is discussed for different convex potentials. △ Less

Submitted 4 June, 2020; v1 submitted 4 October, 2019; originally announced October 2019.

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

Authors: Markus Penz, Andre Laestadius, Erik I. Tellgren, Michael Ruggenthaler

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

Submitted 30 September, 2020; v1 submitted 22 March, 2019; originally announced March 2019.

Comments: 3 figures, contains erratum with additional author Paul E. Lammert

Journal ref: Phys. Rev. Lett. 123, 037401 (2019)

Kohn-Sham theory with paramagnetic currents: compatibility and functional differentiability

Authors: Andre Laestadius, Erik I. Tellgren, Markus Penz, Michael Ruggenthaler, Simen Kvaal, Trygve Helgaker

Abstract: 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… ▽ More 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 $L^1\cap L^{3/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. △ Less

Submitted 21 May, 2019; v1 submitted 24 February, 2019; originally announced February 2019.

Journal ref: J. Chem. Theory Comput.2019, 15, 7, 4003-4020 (2019)

Generalized Kohn-Sham iteration on Banach spaces

Authors: Andre Laestadius, Markus Penz, Erik I. Tellgren, Michael Ruggenthaler, Simen Kvaal, Trygve Helgaker

Abstract: 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 introduce, in contrast to the common unregularized appro… ▽ More 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 introduce, in contrast to the common unregularized approach, a well-defined Kohn-Sham 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. △ Less

Submitted 17 October, 2018; v1 submitted 23 April, 2018; originally announced April 2018.

Journal ref: J. Chem. Phys. 149, 164103 (2018)

The Coupled-Cluster Formalism - a Mathematical Perspective

Authors: Andre Laestadius, Fabian M. Faulstich

Abstract: The Coupled-Cluster theory is one of the most successful high precision methods used to solve the stationary Schrödinger 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), we highlight the importance of coercivity assumptions… ▽ More The Coupled-Cluster theory is one of the most successful high precision methods used to solve the stationary Schrödinger 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), we highlight the importance of coercivity assumptions - Gårding type inequalities - for the local uniqueness of the Coupled-Cluster solution. Based on local strong monotonicity, different sufficient conditions for a local unique solution are suggested. One of the criteria assumes the relative smallness of the total cluster amplitudes (after possibly removing the single amplitudes) compared to the Gårding constants. In the extended Coupled-Cluster theory the Lagrange multipliers are wave function parameters and, by means of the bivariational principle, we here derive a connection between the exact cluster amplitudes and the Lagrange multipliers. This relation might prove useful when determining the quality of a Coupled-Cluster solution. Furthermore, the use of an Aubin-Nitsche duality type method in different Coupled-Cluster approaches is discussed and contrasted with the bivariational principle. △ Less

Submitted 7 December, 2018; v1 submitted 22 April, 2018; originally announced April 2018.

Unique Continuation for the Magnetic Schrödinger Equation

Authors: Andre Laestadius, Michael Benedicks, Markus Penz

Abstract: 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 qua… ▽ More 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. △ Less

Submitted 1 January, 2020; v1 submitted 3 October, 2017; originally announced October 2017.

Journal ref: Int. J. Quantum Chem., 120(8), e26149 (2020)

Kohn-Sham Theory in the Presence of Magnetic Field

Authors: Andre Laestadius

Abstract: 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-defined for $N$-representable particle densities. In t… ▽ More 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-defined for $N$-representable particle densities. In the work of [Hadjisavvas and Theophilou, Phys. Rev. A, 1984, 30, 2183], a rigorous Kohn-Sham theory for $N$-representable particle densities was developed using the Levy-Lieb functional. Since a Levy-Lieb-type functional can be defined for Current Density Functional Theory formulated with the paramagnetic current density, we here develop a rigorous $N$-representable Kohn-Sham approach for interacting electrons in magnetic field. Furthermore, in the one-electron case, criteria for $N$-representable particle densities to be $v$-representable are given. △ Less

Submitted 11 April, 2014; originally announced April 2014.

Comments: 15 pages

Density Functionals in the Presence of Magnetic Field

Authors: Andre Laestadius

Abstract: In this paper density functionals for Coulomb systems subjected to electric and magnetic fields are developed. The density functionals depend on the particle density, $ρ$, 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), which establishes a one-to-one correspondence between t… ▽ More In this paper density functionals for Coulomb systems subjected to electric and magnetic fields are developed. The density functionals depend on the particle density, $ρ$, 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), which establishes a one-to-one correspondence between the non-degenerate ground-state and the particle and paramagnetic current density. Definition of $N$-representable density pairs $(ρ,j^p)$ is given and it is proven that the set of $v$-representable densities constitutes a proper subset of the set of $N$-representable densities. For a Levy-Lieb type functional $Q(ρ,j^p)$, it is demonstrated that (i) it is a proper extension of the universal Hohenberg-Kohn functional, $F_{HK}(ρ,j^p)$, to $N$-representable densities, (ii) there exists a wavefunction $ψ_0$ such that $Q(ρ,j^p)=(ψ_0,H_0ψ_0)_{L^2}$, where $H_0$ is the Hamiltonian without external potential terms, and (iii) it is not convex. Furthermore, a convex and universal functional $F(ρ,j^p)$ is studied and proven to be equal the convex envelope of $Q(ρ,j^p)$. For both $Q$ and $F$, we give upper and lower bounds. △ Less

Submitted 3 April, 2014; originally announced April 2014.

Comments: 26 pages