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

Physical Review A

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

Viraht Sahni, Xiao‐Yin Pan

Published May 2, 2012• 15 citations
Publisher

Abstract

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.

DOI
10.1103/physreva.85.052502

Related papers

The Hohenberg–Kohn theorem

Carsten A. Ullrich, Adam Wasserman

Abstract In this chapter, the Hohenberg-Kohn theorem of DFT is formulated and proved. This theorem says that there is a unique one-to-one correspondence between potentials and ground-state densities in electronic many-body systems. The original proof of Hohenberg and Kohn is presented and discussed, which proceeds in two steps: first, the mapping from potentials to wave functions is shown to be unique, followed by the mapping from wave functions to densities. Two corollaries of the theorem are then discussed: the variational principle, whereby the exact ground-state energy can be found by variation of the energy functional, and then the universality of parts of this energy functional. The so-called constrained search formalism is also briefly discussed.

•Aug 20, 2026•0 citations

Many-body energy density functional

Alejandro Kievsky, Giuseppina Orlandini, M. Gattobigio

The Hohenberg-Kohn theorem and the Kohn-Sham equations, which are at the basis of the density-functional theory, are reformulated in terms of a particular many-body density, which is translational and Galilean invariant and therefore is relevant for self-bound systems. In a similar way that there is a unique relation between the one-body density and the external potential that gives rise to it, we demonstrate that there is a unique relation between that particular many-body density and a definite many-body potential. The energy is then a functional of this density, and its minimization leads to the ground-state energy of the system. As a proof of principle, the analogous of the Kohn-Sham equation is solved in the specific case of $^{4}\mathrm{He}$ atomic clusters, to put in evidence the advantages of this formulation in terms of physical insights.

arXiv:2106.13582•Physical Review A•Sep 20, 2021•2 citations

Density-Functional Theory for Time-Dependent Systems

Erich Runge, Eberhard K. U. Gross

A density-functional formalism comparable to the Hohenberg-Kohn-Sham theory of the ground state is developed for arbitrary time-dependent systems. It is proven that the single-particle potential $v(\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}}t)$ leading to a given $v$-representable density $n(\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}}t)$ is uniquely determined so that the corresponding map $v\ensuremath{\rightarrow}n$ is invertible. On the basis of this theorem, three schemes are derived to calculate the density: a set of hydrodynamical equations, a stationary action principle, and an effective single-particle Schr\"odinger equation.

Physical Review Letters•Mar 19, 1984•8,905 citations

Degenerate ground states and nonunique potentials: Breakdown and restoration of density functionals

Klaus Capelle, Carsten A. Ullrich, Giovanni Vignale

The Hohenberg-Kohn (HK) theorem is one of the most fundamental theorems of quantum mechanics, and constitutes the basis for the very successful density-functional approach to inhomogeneous interacting many-particle systems. Here we show that in formulations of density-functional theory (DFT) that employ more than one density variable, applied to systems with a degenerate ground state, there is a subtle loophole in the HK theorem, as all mappings between densities, wave functions, and potentials can break down. Two weaker theorems which we prove here, the joint-degeneracy theorem and the internal-energy theorem, restore the internal, total, and exchange-correlation energy functionals to the extent needed in applications of DFT to atoms, molecules, and solids. The joint-degeneracy theorem constrains the nature of possible degeneracies in general many-body systems.

arXiv:cond-mat/0610322•Physical Review A•Jul 19, 2007•19 citations

Ground state energy in the external field and the problem of density functional approximations

Viktor Borisovich Bobrov, S. A. Trigger

Based on the Schrodinger equation, exact expressions for the non-relativistic particle energy in the local external field and the external field potential are derived as inhomogeneous density functionals. On this basis, it is shown that, when considering more than two noninteracting electrons, the energy of such a system cannot be an inhomogeneous density functional. The result is extended for the system of interacting electrons. This means that the Hohenberg-Kohn lemma which assert that in the ground state to each inhomogeneous density corresponds only one potential of the external field cannot be a justification of the existence of the universal density functional in the general case. At the same time, statements of the density functional theory remain valid when considering any number of noninteracting ground-state bosons due to the Bose condensation effect.

arXiv:1201.3222•Jan 16, 2012•0 citations

The problem of the universal density functional and the density matrix functional theory

Viktor Borisovich Bobrov, S. A. Trigger

The analysis in this paper shows that the Hohenberg-Kohn theorem is the constellation of two statements: (i) the mathematically rigorous Hohenberg-Kohn lemma, which demonstrates that the same ground-state density cannot correspond to two different potentials of an external field, and (ii) the hypothesis of the existence of the universal density functional. Based on the obtained explicit expression for the nonrel-ativistic particle energy in a local external field, we prove that the energy of the system of more than two non-interacting electrons cannot be a functional of the inhomogeneous density. This result is generalized to the system of interacting electrons. It means that the Hohenberg-Kohn lemma cannot provide justification of the universal density functional for fermions. At the same time, statements of the density functional theory remain valid when considering any number of noninteracting ground-state bosons due to the Bose condensation effect. In the framework of the density matrix functional theory, the hypothesis of the existence of the universal density matrix functional corresponds to the cases of noninteracting particles and to interaction in the Hartree-Fock approximation.

Journal of Experimental and Theoretical Physics•Apr 1, 2013•18 citations
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.
Abstract In this chapter, the Hohenberg-Kohn theorem of DFT is formulated and proved. This theorem says that there is a unique one-to-one correspondence between potentials and ground-state densities in electronic many-body systems. The original proof of Hohenberg and Kohn is presented and discussed, which proceeds in two steps: first, the mapping from potentials to wave functions is shown to be unique, followed by the mapping from wave functions to densities. Two corollaries of the theorem are then discussed: the variational principle, whereby the exact ground-state energy can be found by variation of the energy functional, and then the universality of parts of this energy functional. The so-called constrained search formalism is also briefly discussed.
The Hohenberg-Kohn theorem and the Kohn-Sham equations, which are at the basis of the density-functional theory, are reformulated in terms of a particular many-body density, which is translational and Galilean invariant and therefore is relevant for self-bound systems. In a similar way that there is a unique relation between the one-body density and the external potential that gives rise to it, we demonstrate that there is a unique relation between that particular many-body density and a definite many-body potential. The energy is then a functional of this density, and its minimization leads to the ground-state energy of the system. As a proof of principle, the analogous of the Kohn-Sham equation is solved in the specific case of 4He^{4}\mathrm{He}4He atomic clusters, to put in evidence the advantages of this formulation in terms of physical insights.
A density-functional formalism comparable to the Hohenberg-Kohn-Sham theory of the ground state is developed for arbitrary time-dependent systems. It is proven that the single-particle potential $v(\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}}t)$ leading to a given vvv-representable density $n(\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}}t)$ is uniquely determined so that the corresponding map $v\ensuremath{\rightarrow}n$ is invertible. On the basis of this theorem, three schemes are derived to calculate the density: a set of hydrodynamical equations, a stationary action principle, and an effective single-particle Schr\"odinger equation.
The Hohenberg-Kohn (HK) theorem is one of the most fundamental theorems of quantum mechanics, and constitutes the basis for the very successful density-functional approach to inhomogeneous interacting many-particle systems. Here we show that in formulations of density-functional theory (DFT) that employ more than one density variable, applied to systems with a degenerate ground state, there is a subtle loophole in the HK theorem, as all mappings between densities, wave functions, and potentials can break down. Two weaker theorems which we prove here, the joint-degeneracy theorem and the internal-energy theorem, restore the internal, total, and exchange-correlation energy functionals to the extent needed in applications of DFT to atoms, molecules, and solids. The joint-degeneracy theorem constrains the nature of possible degeneracies in general many-body systems.
Based on the Schrodinger equation, exact expressions for the non-relativistic particle energy in the local external field and the external field potential are derived as inhomogeneous density functionals. On this basis, it is shown that, when considering more than two noninteracting electrons, the energy of such a system cannot be an inhomogeneous density functional. The result is extended for the system of interacting electrons. This means that the Hohenberg-Kohn lemma which assert that in the ground state to each inhomogeneous density corresponds only one potential of the external field cannot be a justification of the existence of the universal density functional in the general case. At the same time, statements of the density functional theory remain valid when considering any number of noninteracting ground-state bosons due to the Bose condensation effect.
The analysis in this paper shows that the Hohenberg-Kohn theorem is the constellation of two statements: (i) the mathematically rigorous Hohenberg-Kohn lemma, which demonstrates that the same ground-state density cannot correspond to two different potentials of an external field, and (ii) the hypothesis of the existence of the universal density functional. Based on the obtained explicit expression for the nonrel-ativistic particle energy in a local external field, we prove that the energy of the system of more than two non-interacting electrons cannot be a functional of the inhomogeneous density. This result is generalized to the system of interacting electrons. It means that the Hohenberg-Kohn lemma cannot provide justification of the universal density functional for fermions. At the same time, statements of the density functional theory remain valid when considering any number of noninteracting ground-state bosons due to the Bose condensation effect. In the framework of the density matrix functional theory, the hypothesis of the existence of the universal density matrix functional corresponds to the cases of noninteracting particles and to interaction in the Hartree-Fock approximation.