© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:2512.04726

A quantitative Hohenberg-Kohn theorem and the unexpected regularity of density functional theory in one spatial dimension

Thiago Carvalho Corso, Andre Laestadius

math-phphysics.chem-phquant-phSubmitted Dec 4, 2025• Announced Dec 5, 2025• Revised Oct 27, 2026 (v2)

v1 · Dec 4, 2025 v2 · Oct 27, 2026

Abstract

In this paper we investigate the (Kohn-Sham) density-to-potential map in the case of spinless fermions in one spatial dimension, whose existence has been rigorously established by the first author in [Lett. Math. Phys. 116, (2026), no. 27. https://doi.org/10.1007/s11005-026-02051-1]. Here, we focus on the regularity of this map as a function of the density and the coupling constant in front of the interaction term. More precisely, we first prove a quantitative version of the Hohenberg-Kohn theorem, thereby showing that this map is Lipschitz continuous with respect to the natural Sobolev norms in the space of densities and potentials. In particular, this implies that the inverse (Kohn-Sham) problem is not only well-posed but also Lipschitz stable. Using this result, we then show that the density-to-potential map is in fact real analytic with respect to both the density and the interaction strength. As a consequence, we obtain a holomorphic extension of the universal constrained-search functional to a suitable subset of complex-valued densities. This partially extends the DFT framework to non-self-adjoint Schrödinger operators. As further applications of these results, we also establish the existence of an exchange-only part of the exchange-correlation potential, and justify the Görling-Levy perturbation expansion for the correlation energy.

Comments: Improved presentation, simplified some arguments, fixed lots of typos, and updated/corrected the bibliography

Related papers

A maximal Hohenberg-Kohn theorem for non-interacting systems via potential theory

Thiago Carvalho Corso

We show that for Schrödinger operators in a connected domain, the Hohenberg-Kohn theorem holds within the class of Laplace form-bounded external potentials if and only if the single-particle density is strictly positive quasi-everywhere. Furthermore, we show that this condition is satisfied for non-interacting Schrödinger operators whenever a ground-state exists. Consequently, we establish the Hohenberg-Kohn theorem for non-interacting systems, and thereby the uniqueness of the Kohn-Sham potential, within the maximal class of Laplace form-bounded distributions. The main ingredient to establish these results is a characterization of regular states, whose proof relies on tools from classical potential theory. Moreover, this characterization reveals that, in the continuum setting, the fundamental mechanism underlying the Hohenberg-Kohn theorem is the (quasi)-unique continuation of the density rather than of the many-body wavefunction.

math-phCross-listedarXiv:2607.12852•Jul 15, 2026

Hohenberg-Kohn theorem for nonlocal external potentials

Thomas L. Gilbert

The Hohenberg-Kohn theorem is extended to the case that the external potential is nonlocal. It is shown that, in this more general case, a nondegenerate ground-state wave function is a universal functional of the one-particle density kernel $\ensuremath{\mu}(x,{x}^{\ensuremath{'}})$, but probably not of the particle density $n(\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}})=\ensuremath{\Sigma}{s}^{}\ensuremath{\mu}(\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}}s,\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}}s)$. The variational equations for the local and nonlocal cases are compared. The former must be replaced by a variational equation for an equivalent system of noninteracting particles, following a prescription of Kohn and Sham, in order to obtain a Schr\"odinger-like form, and contains only local potentials. The latter may be obtained directly in Schr\"odinger-like form, but the exchange-correlation potential is nonlocal. If the nonlocal pseudo-Hamiltonian exists [i.e., if the functional derivative $\frac{\ensuremath{\delta}E}{\ensuremath{\delta}\ensuremath{\mu}(x,{x}^{\ensuremath{'}})}$ exists for a nondegenerate ground-state density kernel], then the eigenfunctions of the pseudo-Hamiltonian are natural spin orbitals, and all partially occupied orbitals ($0<〈{\ensuremath{\varphi}}_{i}|\ensuremath{\mu}|{\ensuremath{\varphi}}_{i}〉<1$) belong to the same degenerate eigenvalue of the pseudo-Hamiltonian. Finally, it is shown, as a corollary of Coleman's theorem for $N$-representable density kernels, that any finite non-negative differentiable function is an $N$-representable particle density.

Physical review. B, Solid state•Sep 15, 1975•819 citations

Tests of the locality of exact Kohn-Sham exchange potentials

ROBERT K. NESBET, Renato Colle

It is commonly assumed that exact Kohn-Sham theory implies a local exchange-correlation potential for ground states. Here we show that this is not true for the exchange potential in a Hartree-Fock model of density-functional theory, although Hohenberg-Kohn theorems can be proved for this model. It may not be possible to express exact Kohn-Sham equations in general in terms of density-functional derivatives that are equivalent to local potential functions.

Physical Review A•Dec 9, 1999•25 citations

Strong Correlation in Kohn-Sham Density Functional Theory

Francesc Malet, Paola Gori‐Giorgi

We use the exact strong-interaction limit of the Hohenberg-Kohn energy density functional to approximate the exchange-correlation energy of the restricted Kohn-Sham scheme. Our approximation corresponds to a highly nonlocal density functional whose functional derivative can be easily constructed, thus transforming exactly, in a physically transparent way, an important part of the electron-electron interaction into an effective local one-body potential. We test our approach on quasi-one-dimensional systems, showing that it captures essential features of strong correlation that restricted Kohn-Sham calculations using the currently available approximations cannot describe.

arXiv:1207.2775•Physical Review Letters•Dec 10, 2012•118 citations

Exact exchange-correlation potential of effectively interacting Kohn-Sham systems

Shunsuke A. Sato, Ángel Rubio

Aiming to combine density functional theory (DFT) and wave-function theory, we study a mapping from the many-body interacting system to an effectively interacting Kohn-Sham system instead of a noninteracting Kohn-Sham system. Because a ground state of effectively interacting systems requires having a solution for the correlated many-body wave functions, this provides a natural framework to many-body wave-function theories such as the configuration interaction and the coupled-cluster method in the formal theoretical framework of DFT. Employing simple one-dimensional two-electron systems---namely, the one-dimensional helium atom, the hydrogen molecule, and the heteronuclear diatomic molecule---we investigate properties of many-body wave functions and exact exchange-correlation potentials of effectively interacting Kohn-Sham systems. As a result, we find that the asymptotic behavior of the exact exchange-correlation potential can be controlled by optimizing that of the effective interaction. Furthermore, the typical features of the exact noninteracting Kohn-Sham system, namely, a spiky feature and a step feature in the exchange-correlation potential for the molecular dissociation limit, can be suppressed by a proper choice of the effective interaction. These findings open a possibility to construct numerically robust and efficient exchange-correlation potentials and functionals based on the effectively interacting Kohn-Sham scheme.

arXiv:1907.00183•Physical Review A•Jan 15, 2020•1 citation

Exploring foundations of time-independent density functional theory for excited states

Prasanjit Samal, Manoj K. Harbola

Based on the work of Görling and that of Levy and Nagy, a density-functional formalism for many fermionic excited states is explored through a careful and rigorous analysis of the excited-state density to external potential mapping. It is shown that knowledge of the ground-state density is a must to fix the mapping from an excited-state density to an external potential. This is the excited-state counterpart of the Hohenberg–Kohn theorem, where instead of the ground-state density the density of the excited state gives the true many-body wavefunctions of the system. Further, the excited-state Kohn–Sham system is defined by comparing its non-interacting kinetic energy with the true kinetic energy. The theory is demonstrated by studying a large number of atomic systems.

arXiv:cond-mat/0602067•Journal of Physics B Atomic Molecular and Optical Physics•Oct 2, 2006•27 citations

In this paper we investigate the (Kohn-Sham) density-to-potential map in the case of spinless fermions in one spatial dimension, whose existence has been rigorously established by the first author in [Lett. Math. Phys. 116, (2026), no. 27. https://doi.org/10.1007/s11005-026-02051-1]. Here, we focus on the regularity of this map as a function of the density and the coupling constant in front of the interaction term. More precisely, we first prove a quantitative version of the Hohenberg-Kohn theorem, thereby showing that this map is Lipschitz continuous with respect to the natural Sobolev norms in the space of densities and potentials. In particular, this implies that the inverse (Kohn-Sham) problem is not only well-posed but also Lipschitz stable. Using this result, we then show that the density-to-potential map is in fact real analytic with respect to both the density and the interaction strength. As a consequence, we obtain a holomorphic extension of the universal constrained-search functional to a suitable subset of complex-valued densities. This partially extends the DFT framework to non-self-adjoint Schrödinger operators. As further applications of these results, we also establish the existence of an exchange-only part of the exchange-correlation potential, and justify the Görling-Levy perturbation expansion for the correlation energy.

We show that for Schrödinger operators in a connected domain, the Hohenberg-Kohn theorem holds within the class of Laplace form-bounded external potentials if and only if the single-particle density is strictly positive quasi-everywhere. Furthermore, we show that this condition is satisfied for non-interacting Schrödinger operators whenever a ground-state exists. Consequently, we establish the Hohenberg-Kohn theorem for non-interacting systems, and thereby the uniqueness of the Kohn-Sham potential, within the maximal class of Laplace form-bounded distributions. The main ingredient to establish these results is a characterization of regular states, whose proof relies on tools from classical potential theory. Moreover, this characterization reveals that, in the continuum setting, the fundamental mechanism underlying the Hohenberg-Kohn theorem is the (quasi)-unique continuation of the density rather than of the many-body wavefunction.

The Hohenberg-Kohn theorem is extended to the case that the external potential is nonlocal. It is shown that, in this more general case, a nondegenerate ground-state wave function is a universal functional of the one-particle density kernel $\ensuremath{\mu}(x,{x}^{\ensuremath{'}})$, but probably not of the particle density $n(\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}})=\ensuremath{\Sigma}{s}^{}\ensuremath{\mu}(\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}}s,\stackrel{\ensuremath{\rightarrow}}{\mathrm{r}}s)$. The variational equations for the local and nonlocal cases are compared. The former must be replaced by a variational equation for an equivalent system of noninteracting particles, following a prescription of Kohn and Sham, in order to obtain a Schr\"odinger-like form, and contains only local potentials. The latter may be obtained directly in Schr\"odinger-like form, but the exchange-correlation potential is nonlocal. If the nonlocal pseudo-Hamiltonian exists [i.e., if the functional derivative $\frac{\ensuremath{\delta}E}{\ensuremath{\delta}\ensuremath{\mu}(x,{x}^{\ensuremath{'}})}$ exists for a nondegenerate ground-state density kernel], then the eigenfunctions of the pseudo-Hamiltonian are natural spin orbitals, and all partially occupied orbitals ($0<〈{\ensuremath{\varphi}}_{i}|\ensuremath{\mu}|{\ensuremath{\varphi}}_{i}〉<1$) belong to the same degenerate eigenvalue of the pseudo-Hamiltonian. Finally, it is shown, as a corollary of Coleman's theorem for

N

-representable density kernels, that any finite non-negative differentiable function is an

N

-representable particle density.

We use the exact strong-interaction limit of the Hohenberg-Kohn energy density functional to approximate the exchange-correlation energy of the restricted Kohn-Sham scheme. Our approximation corresponds to a highly nonlocal density functional whose functional derivative can be easily constructed, thus transforming exactly, in a physically transparent way, an important part of the electron-electron interaction into an effective local one-body potential. We test our approach on quasi-one-dimensional systems, showing that it captures essential features of strong correlation that restricted Kohn-Sham calculations using the currently available approximations cannot describe.

Aiming to combine density functional theory (DFT) and wave-function theory, we study a mapping from the many-body interacting system to an effectively interacting Kohn-Sham system instead of a noninteracting Kohn-Sham system. Because a ground state of effectively interacting systems requires having a solution for the correlated many-body wave functions, this provides a natural framework to many-body wave-function theories such as the configuration interaction and the coupled-cluster method in the formal theoretical framework of DFT. Employing simple one-dimensional two-electron systems---namely, the one-dimensional helium atom, the hydrogen molecule, and the heteronuclear diatomic molecule---we investigate properties of many-body wave functions and exact exchange-correlation potentials of effectively interacting Kohn-Sham systems. As a result, we find that the asymptotic behavior of the exact exchange-correlation potential can be controlled by optimizing that of the effective interaction. Furthermore, the typical features of the exact noninteracting Kohn-Sham system, namely, a spiky feature and a step feature in the exchange-correlation potential for the molecular dissociation limit, can be suppressed by a proper choice of the effective interaction. These findings open a possibility to construct numerically robust and efficient exchange-correlation potentials and functionals based on the effectively interacting Kohn-Sham scheme.

Based on the work of Görling and that of Levy and Nagy, a density-functional formalism for many fermionic excited states is explored through a careful and rigorous analysis of the excited-state density to external potential mapping. It is shown that knowledge of the ground-state density is a must to fix the mapping from an excited-state density to an external potential. This is the excited-state counterpart of the Hohenberg–Kohn theorem, where instead of the ground-state density the density of the excited state gives the true many-body wavefunctions of the system. Further, the excited-state Kohn–Sham system is defined by comparing its non-interacting kinetic energy with the true kinetic energy. The theory is demonstrated by studying a large number of atomic systems.