Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2409.13767 · Journal of Statistical Physics

Density-Functional Theory for the Dicke Hamiltonian

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

Published Apr 21, 2025• 5 citations
arXivHTMLPDF

Abstract

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

DOI
10.1007/s10955-025-03442-9

Related papers

Density-functional theory on graphs

Markus Penz, Robert van Leeuwen

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.

arXiv:2106.15370•The Journal of Chemical Physics•Dec 7, 2021•35 citations

Unified Framework for Functional Theories of Quantum Systems

Chih-Chun Wang, Julia Liebert, Markus Penz +1 more

We introduce and study a unified framework for density-functional theory and its variants for quantum systems on finite-dimensional Hilbert spaces. These theories seek to reduce the complexity inherent in the many-body quantum problem by describing ground states through reduced variables. The central ingredients of our unified framework are a generalized choice of basic observables, whose expectation values define precisely those reduced variables, and a fixed part of the Hamiltonian characterizing the class of quantum systems under consideration. It is this minimal structure, which we call the scope of a functional theory, that is necessary and sufficient for the formulation of a functional theory. In particular, it allows one to define the universal functionals, establish their convexity and differentiability properties, address representability questions, and prove a Hohenberg-Kohn-type uniqueness result. A purification construction also relates ensemble and weighted-ensemble functionals to the pure-state variant. Particular emphasis is placed on functional theories with Lie-algebra observable structures, connecting the variational framework to symplectic geometry. The result of this work is a systematic mathematical formulation in which structural results can be proved once and applied across a broad class of finite-dimensional functional theories.

math-phCross-listedarXiv:2606.06676•Jun 8, 2026•0 citations

Hohenberg-Kohn and Percus-Levy-Lieb proofs of density-functional theory

Viraht Sahni, Xiao‐Yin Pan

The premise of density-functional theory is that knowledge of the ground-state density uniquely determines the Hamiltonian, and thereby, via solution of the corresponding time-independent Schr\"odinger equation, all the properties of the system. The density therefore constitutes a basic variable of quantum mechanics. There are at present two paths from the density to the Hamiltonian: the Hohenberg and Kohn proof of the bijectivity between the external potential and the basic variable, and the Percus, Levy, and Lieb constrained-search proof. We argue the Hohenberg- and Kohn-type proof to be the more fundamental, and that this is the case in general when both external electrostatic and magnetostatic fields are present, and the basic variables are the ground-state density and physical current density.

Physical Review A•May 2, 2012•15 citations

Axiomatic formulations of the Hohenberg-Kohn functional

Paul W. Ayers

Properties of the Hohenberg-Kohn functional are considered. In particular, the Hohenberg-Kohn functional should (a) give correct results in the variational principle and should be (b) continuous, (c) convex, and (d) size consistent. All of these properties are satisfied by the Legendre-transform functional (equivalently, the density matrix constrained search functional) and, moreover, this is the only functional that possesses all these properties. Not only that, but the Legendre-transform functional is determined uniquely by requiring (a), (b), and either (c) or (d). This shows how an ``axiomatic'' approach to constructing the Hohenberg-Kohn functional leads naturally to the Legendre-transform functional. Among all functionals consistent with the variational principle, the Legendre-transform functional is the smallest. One corollary to this approach is a simple proof of the equivalence of the Legendre-transform and density-matrix constrained search functionals. For completeness, the Appendix shows that ensemble-$v$-representable densities lie dense in the set of $N$-representable densities.

Physical Review A•Jan 31, 2006•57 citations

Exact maps in density-functional theory

Tanja Dimitrov

Providing sufficient accuracy at low-computational cost, not surprisingly, density-functional theory ( DFT ) is a standard tool in theoretical material science. Similarly, quantum-electrodynamical density-functional theory ( QEDFT ) provides a promising route to describe experiments at the interface of quantum optics and quantum chemistry. Formally, in the Kohn-Sham ( KS ) formulation of DFT and QEDFT the exact many-particle Schrödinger equation is replaced by a set of coupled non-linear one-particle differential equations. The electron-electron, the electron-ion and the electron-photon interactions of the interacting system are mimicked by their corresponding effective KS potential with an, in principle unknown exchange-correlation ( xc ) term. In practice, DFT and QEDFT require approximations for this xc potential. The quality of which fully determines how much the DFT and QEDFT observables deviate from the exact ones. Understanding the shortcomings and improving the quality of approximate functionals makes the study of the exact functional of model systems indispensable. Here, we employ exact diagonalization for the Hamiltonian of different types of real-space lattice models in one spatial dimension to access the ground-state wave function, and thus to explicitly construct the exact functionals of DFT and QEDFT . To study the functional behavior of purely electronic systems, we consider two singlet-state electrons moving in an external potential with two connected atomic wells of variable depth and distance. To study coupled electron-photon systems, we consider the Rabi Hamiltonian with variable electron-photon coupling strength. By varying the model parameters, we systematically construct the functionals for systems from weak to strong coupling between the building blocks of the global system. Using the concept of the effective density-to- potential map, we discuss the intrasystem steepening which is an exact condition on the xc functional that captures the static correlation present in the system and carve out how it relates to the well-known intersystem derivative discontinuity. We further construct arbitrary observables as functionals of the internal variables which are directly affected by such features of the effective density-to-potential map. By constructing the reduced dipole map in the four-particle case of coupled electron-photon system, we show that the density-to-potential map helps to identify and understand recently discovered physical effects in the field of strongly coupled electron-photon systems. This work provides a contribution to the development of approximate function- als required in practical density-functional calculations of arbitrary experimentally accessible observables. Both the intrasystem steepening and the intersystem derivative discontinuity play a crucial role for systems with highly-localized electrons. Including both features in approximate functionals will improve the accu- racy of DFT evaluation of observables for such systems. Those results provide novel insight into the properties of the exact xc potentials in QEDFT . This work opens a new route to construct new functionals using coarse-grained or embed- ding approaches within the general and exact frameworks of DFT and QEDFT.

•Jan 1, 2017•1 citation

Function domains and the universal matrix functional of multi-state density functional theory

Yangyi Lu, Jiali Gao

On the basis of recent advancements in the Hamiltonian matrix density functional for multiple electronic eigenstates, this study delves into the mathematical foundation of the multistate density functional theory (MSDFT). We extend a number of physical concepts at the core of Kohn-Sham DFT, such as density representability, to the matrix density functional. In this work, we establish the existence of the universal matrix functional for many states as a proper generalization of the Lieb universal functional for the ground state. Consequently, the variation principle of MSDFT can be rigorously defined within an appropriate domain of matrix densities, thereby providing a solid framework for DFT of both the ground state and excited states. We further show that the analytical structure of the Hamiltonian matrix functional is considerably constrained by the subspace symmetry and invariance properties, requiring and ensuring that all elements of the Hamiltonian matrix functional are variationally optimized in a coherent manner until the Hamiltonian matrix within the subspace spanned by the lowest eigenstates is obtained. This work solidifies the theoretical foundation to treat multiple electronic states using density functional theory.

The Journal of Chemical Physics•Mar 11, 2025•10 citations
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-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.
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.
We introduce and study a unified framework for density-functional theory and its variants for quantum systems on finite-dimensional Hilbert spaces. These theories seek to reduce the complexity inherent in the many-body quantum problem by describing ground states through reduced variables. The central ingredients of our unified framework are a generalized choice of basic observables, whose expectation values define precisely those reduced variables, and a fixed part of the Hamiltonian characterizing the class of quantum systems under consideration. It is this minimal structure, which we call the scope of a functional theory, that is necessary and sufficient for the formulation of a functional theory. In particular, it allows one to define the universal functionals, establish their convexity and differentiability properties, address representability questions, and prove a Hohenberg-Kohn-type uniqueness result. A purification construction also relates ensemble and weighted-ensemble functionals to the pure-state variant. Particular emphasis is placed on functional theories with Lie-algebra observable structures, connecting the variational framework to symplectic geometry. The result of this work is a systematic mathematical formulation in which structural results can be proved once and applied across a broad class of finite-dimensional functional theories.
The premise of density-functional theory is that knowledge of the ground-state density uniquely determines the Hamiltonian, and thereby, via solution of the corresponding time-independent Schr\"odinger equation, all the properties of the system. The density therefore constitutes a basic variable of quantum mechanics. There are at present two paths from the density to the Hamiltonian: the Hohenberg and Kohn proof of the bijectivity between the external potential and the basic variable, and the Percus, Levy, and Lieb constrained-search proof. We argue the Hohenberg- and Kohn-type proof to be the more fundamental, and that this is the case in general when both external electrostatic and magnetostatic fields are present, and the basic variables are the ground-state density and physical current density.
Properties of the Hohenberg-Kohn functional are considered. In particular, the Hohenberg-Kohn functional should (a) give correct results in the variational principle and should be (b) continuous, (c) convex, and (d) size consistent. All of these properties are satisfied by the Legendre-transform functional (equivalently, the density matrix constrained search functional) and, moreover, this is the only functional that possesses all these properties. Not only that, but the Legendre-transform functional is determined uniquely by requiring (a), (b), and either (c) or (d). This shows how an ``axiomatic'' approach to constructing the Hohenberg-Kohn functional leads naturally to the Legendre-transform functional. Among all functionals consistent with the variational principle, the Legendre-transform functional is the smallest. One corollary to this approach is a simple proof of the equivalence of the Legendre-transform and density-matrix constrained search functionals. For completeness, the Appendix shows that ensemble-vvv-representable densities lie dense in the set of NNN-representable densities.
Providing sufficient accuracy at low-computational cost, not surprisingly, density-functional theory ( DFT ) is a standard tool in theoretical material science. Similarly, quantum-electrodynamical density-functional theory ( QEDFT ) provides a promising route to describe experiments at the interface of quantum optics and quantum chemistry. Formally, in the Kohn-Sham ( KS ) formulation of DFT and QEDFT the exact many-particle Schrödinger equation is replaced by a set of coupled non-linear one-particle differential equations. The electron-electron, the electron-ion and the electron-photon interactions of the interacting system are mimicked by their corresponding effective KS potential with an, in principle unknown exchange-correlation ( xc ) term. In practice, DFT and QEDFT require approximations for this xc potential. The quality of which fully determines how much the DFT and QEDFT observables deviate from the exact ones. Understanding the shortcomings and improving the quality of approximate functionals makes the study of the exact functional of model systems indispensable. Here, we employ exact diagonalization for the Hamiltonian of different types of real-space lattice models in one spatial dimension to access the ground-state wave function, and thus to explicitly construct the exact functionals of DFT and QEDFT . To study the functional behavior of purely electronic systems, we consider two singlet-state electrons moving in an external potential with two connected atomic wells of variable depth and distance. To study coupled electron-photon systems, we consider the Rabi Hamiltonian with variable electron-photon coupling strength. By varying the model parameters, we systematically construct the functionals for systems from weak to strong coupling between the building blocks of the global system. Using the concept of the effective density-to- potential map, we discuss the intrasystem steepening which is an exact condition on the xc functional that captures the static correlation present in the system and carve out how it relates to the well-known intersystem derivative discontinuity. We further construct arbitrary observables as functionals of the internal variables which are directly affected by such features of the effective density-to-potential map. By constructing the reduced dipole map in the four-particle case of coupled electron-photon system, we show that the density-to-potential map helps to identify and understand recently discovered physical effects in the field of strongly coupled electron-photon systems. This work provides a contribution to the development of approximate function- als required in practical density-functional calculations of arbitrary experimentally accessible observables. Both the intrasystem steepening and the intersystem derivative discontinuity play a crucial role for systems with highly-localized electrons. Including both features in approximate functionals will improve the accu- racy of DFT evaluation of observables for such systems. Those results provide novel insight into the properties of the exact xc potentials in QEDFT . This work opens a new route to construct new functionals using coarse-grained or embed- ding approaches within the general and exact frameworks of DFT and QEDFT.
On the basis of recent advancements in the Hamiltonian matrix density functional for multiple electronic eigenstates, this study delves into the mathematical foundation of the multistate density functional theory (MSDFT). We extend a number of physical concepts at the core of Kohn-Sham DFT, such as density representability, to the matrix density functional. In this work, we establish the existence of the universal matrix functional for many states as a proper generalization of the Lieb universal functional for the ground state. Consequently, the variation principle of MSDFT can be rigorously defined within an appropriate domain of matrix densities, thereby providing a solid framework for DFT of both the ground state and excited states. We further show that the analytical structure of the Hamiltonian matrix functional is considerably constrained by the subspace symmetry and invariance properties, requiring and ensuring that all elements of the Hamiltonian matrix functional are variationally optimized in a coherent manner until the Hamiltonian matrix within the subspace spanned by the lowest eigenstates is obtained. This work solidifies the theoretical foundation to treat multiple electronic states using density functional theory.