Showing 1–18 of 18 results for author: Penz, M

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)

Solution of the v-representability problem on a one-dimensional torus

Authors: Sarina M. Sutter, Markus Penz, Michael Ruggenthaler, Robert van Leeuwen, Klaas J. H. Giesbertz

Abstract: We provide a solution to the v-representability problem for a non-relativistic quantum many-particle system on a ring domain in terms of Sobolev spaces and their duals. Any one-particle density that is square-integrable, has a square-integrable weak derivative, and is gapped away from zero can be realized from the solution of a many-particle Schrödinger equation, with or without interactions, by c… ▽ More We provide a solution to the v-representability problem for a non-relativistic quantum many-particle system on a ring domain in terms of Sobolev spaces and their duals. Any one-particle density that is square-integrable, has a square-integrable weak derivative, and is gapped away from zero can be realized from the solution of a many-particle Schrödinger equation, with or without interactions, by choosing a corresponding external potential. This potential can contain a distributional contribution but still gives rise to a self-adjoint Hamiltonian. Importantly, this allows for a well-defined Kohn-Sham procedure but, on the other hand, invalidates the usual proof of the Hohenberg-Kohn theorem. △ Less

Submitted 5 November, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Journal ref: J. Phys. A: Math. Theor. 57, 475202 (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)

Geometry of Degeneracy in Potential and Density Space

Authors: Markus Penz, Robert van Leeuwen

Abstract: In a previous work [J. Chem. Phys. 155, 244111 (2021)], we found counterexamples to the fundamental Hohenberg-Kohn theorem from density-functional theory in finite-lattice systems represented by graphs. Here, we demonstrate that this only occurs at very peculiar and rare densities, those where density sets arising from degenerate ground states, called degeneracy regions, touch each other or the bo… ▽ More In a previous work [J. Chem. Phys. 155, 244111 (2021)], we found counterexamples to the fundamental Hohenberg-Kohn theorem from density-functional theory in finite-lattice systems represented by graphs. Here, we demonstrate that this only occurs at very peculiar and rare densities, those where density sets arising from degenerate ground states, called degeneracy regions, touch each other or the boundary of the whole density domain. Degeneracy regions are shown to generally be in the shape of the convex hull of an algebraic variety, even in the continuum setting. The geometry arising between density regions and the potentials that create them is analyzed and explained with examples that, among other shapes, feature the Roman surface. △ Less

Submitted 6 February, 2024; v1 submitted 24 June, 2022; originally announced June 2022.

Comments: This version includes an appendix on extensions to complex Hamiltonians and arbitrary observables that is not included in the journal-published paper

Journal ref: Quantum 7, 918 (2023)

Density-Functional Theory on Graphs

Authors: Markus Penz, Robert van Leeuwen

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

Submitted 11 January, 2022; v1 submitted 29 June, 2021; originally announced June 2021.

Journal ref: J. Chem. Phys. 155, 244111 (2021)

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"

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)

Regularity for evolution equations with non-autonomous perturbations in Banach spaces

Authors: Markus Penz

Abstract: We provide regularity of solutions to a large class of evolution equations on Banach spaces where the generator is composed of a static principal part plus a non-autonomous perturbation. Regularity is examined with respect to the graph norm of the iterations of the principal part. The results are applied to the Schrödinger equation and conditions on a time-dependent scalar potential for regularity… ▽ More We provide regularity of solutions to a large class of evolution equations on Banach spaces where the generator is composed of a static principal part plus a non-autonomous perturbation. Regularity is examined with respect to the graph norm of the iterations of the principal part. The results are applied to the Schrödinger equation and conditions on a time-dependent scalar potential for regularity of the solution in higher Sobolev spaces are derived. △ Less

Submitted 31 October, 2018; v1 submitted 10 January, 2018; originally announced January 2018.

Journal ref: J. Math. Phys. 59, 103512 (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)

The Density-Potential Mapping in Quantum Dynamics

Authors: Markus Penz

Abstract: This work studies in detail the possibility of defining a one-to-one mapping from charge densities as obtained by the time-dependent Schrödinger equation to external potentials. Such a mapping is provided by the Runge-Gross theorem and lies at the very core of time-dependent density functional theory. After introducing the necessary mathematical concepts, the usual mapping "there" - from potential… ▽ More This work studies in detail the possibility of defining a one-to-one mapping from charge densities as obtained by the time-dependent Schrödinger equation to external potentials. Such a mapping is provided by the Runge-Gross theorem and lies at the very core of time-dependent density functional theory. After introducing the necessary mathematical concepts, the usual mapping "there" - from potentials to wave functions as solutions to the Schrödinger equation - is revisited paying special attention to Sobolev regularity. This is scrutinised further when the question of functional differentiability of the solution with respect to the potential arises, a concept related to linear response theory. Finally, after a brief introduction to general density functional theory, the mapping "back again" - from densities to potentials thereby inverting the Schrödinger equation for a fixed initial state - is defined. Apart from utilising the original Runge-Gross proof this is achieved through a fixed-point procedure. Both approaches give rise to mathematical issues, previously unresolved, which however could be dealt with to some extent within the framework at hand. △ Less

Submitted 18 October, 2016; originally announced October 2016.

Comments: Dissertation submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck in partial fulfillment of the requirements for the degree of doctor of science

Functional differentiability in time-dependent quantum mechanics

Authors: Markus Penz, Michael Ruggenthaler

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

Submitted 17 April, 2015; v1 submitted 7 May, 2014; originally announced May 2014.

Journal ref: J. Chem. Phys. 142, 124113 (2015)

Density-potential mappings in quantum dynamics

Authors: M. Ruggenthaler, K. J. H Giesbertz, M. Penz, R. van Leeuwen

Abstract: In a recent letter [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density functional theory. In this work we extend this proof to allow for more general norms and prov… ▽ More In a recent letter [Europhys. Lett. 95, 13001 (2011)] the question of whether the density of a time-dependent quantum system determines its external potential was reformulated as a fixed point problem. This idea was used to generalize the existence and uniqueness theorems underlying time-dependent density functional theory. In this work we extend this proof to allow for more general norms and provide a numerical implementation of the fixed-point iteration scheme. We focus on the one-dimensional case as it allows for a more in-depth analysis using singular Sturm-Liouville theory and at the same time provides an easy visualization of the numerical applications in space and time. We give an explicit relation between the boundary conditions on the density and the convergence properties of the fixed-point procedure via the spectral properties of the associated Sturm-Liouville operator. We show precisely under which conditions discrete and continuous spectra arise and give explicit examples. These conditions are then used to show that in the most physically relevant cases the fixed point procedure converges. This is further demonstrated with an example. △ Less

Submitted 20 April, 2012; v1 submitted 27 March, 2012; originally announced March 2012.

Comments: 20 pages, 8 figures, 3 tables

Journal ref: Phys. Rev. A 85, 052504 (2012)

Domains of time-dependent density-potential mappings

Authors: Markus Penz, Michael Ruggenthaler

Abstract: The key element in time-dependent density functional theory is the one-to-one correspondence between the one-particle density and the external potential. In most approaches this mapping is transformed into a certain type of Sturm-Liouville problem. Here we give conditions for existence and uniqueness of solutions and construct the weighted Sobolev space they lie in. As a result the class of v-repr… ▽ More The key element in time-dependent density functional theory is the one-to-one correspondence between the one-particle density and the external potential. In most approaches this mapping is transformed into a certain type of Sturm-Liouville problem. Here we give conditions for existence and uniqueness of solutions and construct the weighted Sobolev space they lie in. As a result the class of v-representable densities is considerably widened with respect to previous work. △ Less

Submitted 14 July, 2011; v1 submitted 10 March, 2011; originally announced March 2011.

Comments: 7 pages

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 335208

Non-differentiable Bohmian trajectories

Authors: Gebhard Gruebl, Markus Penz

Abstract: A solution $ψ$ to Schrödinger's equation needs some degree of regularity in order to allow the construction of a Bohmian mechanics from the integral curves of the velocity field $\hbar \Im \left( \bigtriangledown ψ/mψ\right) .$ In the case of one specific non-differentiable weak solution $Ψ$ we show how Bohmian trajectories can be obtained for $Ψ$ from the trajectories of a sequence… ▽ More A solution $ψ$ to Schrödinger's equation needs some degree of regularity in order to allow the construction of a Bohmian mechanics from the integral curves of the velocity field $\hbar \Im \left( \bigtriangledown ψ/mψ\right) .$ In the case of one specific non-differentiable weak solution $Ψ$ we show how Bohmian trajectories can be obtained for $Ψ$ from the trajectories of a sequence $Ψ_{n}\rightarrow Ψ.$ (For any real $t$ the sequence $Ψ_{n}\left( t,\cdot \right) $ converges strongly.) The limiting trajectories no longer need to be differentiable. This suggests a way how Bohmian mechanics might work for arbitrary initial vectors $Ψ$ in the Hilbert space on which the Schrödinger evolution $% Ψ\mapsto e^{-iht}Ψ$ acts. △ Less

Submitted 12 November, 2010; originally announced November 2010.

Comments: 12 pages, 4 figures; published in the monography 'Quantum Trajectories', Editor P K Chattaraj , Taylor & Francis, Boca Raton, November 1st, 2010

On the existence of effective potentials in time-dependent density functional theory

Authors: M. Ruggenthaler, M. Penz, D. Bauer

Abstract: We investigate the existence and properties of effective potentials in time-dependent density functional theory. We outline conditions for a general solution of the corresponding Sturm-Liouville boundary value problems. We define the set of potentials and v-representable densities, give a proof of existence of the effective potentials under certain restrictions, and show the set of v-representab… ▽ More We investigate the existence and properties of effective potentials in time-dependent density functional theory. We outline conditions for a general solution of the corresponding Sturm-Liouville boundary value problems. We define the set of potentials and v-representable densities, give a proof of existence of the effective potentials under certain restrictions, and show the set of v-representable densities to be independent of the interaction. △ Less

Submitted 10 November, 2009; originally announced November 2009.

Comments: 13 pages

Journal ref: J. Phys. A: Math. Theor. 42 (2009) 425207