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:1607.02308 · Europhysics Letters (EPL)

Uniqueness of density-to-potential mapping for fermionic lattice systems

J. P. Coe, Irene D’Amico, V. V. França

Published Jun 1, 2015• 20 citations
arXivHTMLPDF

Abstract

We demonstrate that, for a fermionic lattice system, the ground-state particle density uniquely determines the external potential except for the sites corresponding to nodes of the wave function, and the limiting case where the Pauli exclusion principle completely determines the occupation of all sites. Our fundamental finding completes, for this general class of systems, the one-to-one correspondence between ground states, their densities, and the external potential at the base of the Hohenberg-Kohn theorem. Moreover we demonstrate that the mapping from wave function to potential is unique not just for the ground state, but also for excited states. To illustrate our findings, we develop a practical inversion scheme to determine the external potential from a given density. Our results hold for a general class of lattice models, which includes the Hubbard model.

DOI
10.1209/0295-5075/110/63001

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

Testing density-functional approximations on a lattice and the applicability of the related Hohenberg-Kohn-like theorem

Vivian V. França, Jeremy P. Coe, Irene D’Amico

We present a metric-space approach to quantify the performance of approximations in lattice density-functional theory for interacting many-body systems and to explore the regimes where the Hohenberg-Kohn-type theorem on fermionic lattices is applicable. This theorem demonstrates the existence of one-to-one mappings between particle densities, wave functions and external potentials. We then focus on these quantities, and quantify how far apart in metric space the approximated and exact ones are. We apply our method to the one-dimensional Hubbard model for different types of external potentials, and assess the regimes where it is applicable to one of the most used approximations in density-functional theory, the local density approximation (LDA). We find that the potential distance may have a very different behaviour from the density and wave function distances, in some cases even providing the wrong assessments of the LDA performance trends. We attribute this to the systems reaching behaviours which are borderline for the applicability of the one-to-one correspondence between density and external potential. On the contrary the wave function and density distances behave similarly and are always sensitive to system variations. Our metric-based method correctly predicts the regimes where the LDA performs fairly well and the regimes where it fails. This suggests that our method could be a practical tool for testing the efficiency of density-functional approximations.

arXiv:1708.08952•Scientific Reports•Jan 8, 2018•13 citations

Testing density-functional approximations on a lattice and the applicability of the related Hohenberg-Kohn-like theorem

V. V. França, J. P. Coe, D'Amico, Irene

We present a metric-space approach to quantify the performance of approximations in lattice density-functional theory for interacting many-body systems and to explore the regimes where the Hohenberg-Kohn-type theorem on fermionic lattices is applicable. This theorem demonstrates the existence of one-to-one mappings between particle densities, wave functions and external potentials. We then focus on these quantities, and quantify how far apart in metric space the approximated and exact ones are. We apply our method to the one-dimensional Hubbard model for different types of external potentials, and assess the regimes where it is applicable to one of the most used approximations in density-functional theory, the local density approximation (LDA). We find that the potential distance may have a very different behaviour from the density and wave function distances, in some cases even providing the wrong assessments of the LDA performance trends. We attribute this to the systems reaching behaviours which are borderline for the applicability of the one-to-one correspondence between density and external potential. On the contrary the wave function and density distances behave similarly and are always sensitive to system variations. Our metric-based method correctly predicts the regimes where the LDA performs fairly well and the regimes where it fails. This suggests that our method could be a practical tool for testing the efficiency of density-functional approximations.

•Dec 1, 2018•7 citations

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

Exact maps in density functional theory for lattice models

Tanja Dimitrov, Heiko Appel, Johanna I. Fuks +1 more

In the present work, we employ exact diagonalization for model systems on a real-space lattice to explicitly construct the exact density-to-potential and graphically illustrate the complete exact density-to-wavefunction map that underly the Hohenberg–Kohn theorem in density functional theory. Having the explicit wavefunction-to-density map at hand, we are able to construct arbitrary observables as functionals of the ground-state density. We analyze the density-to-potential map as the distance between the fragments of a system increases and the correlation in the system grows. We observe a feature that gradually develops in the density-to-potential map as well as in the density-to-wavefunction map. This feature is inherited by arbitrary expectation values as functional of the ground-state density. We explicitly show the excited-state energies, the excited-state densities, and the correlation entropy as functionals of the ground-state density. All of them show this exact feature that sharpens as the coupling of the fragments decreases and the correlation grows. We denominate this feature as intra-system steepening and discuss how it relates to the well-known inter-system derivative discontinuity. The inter-system derivative discontinuity is an exact concept for coupled subsystems with degenerate ground state. However, the coupling between subsystems as in charge transfer processes can lift the degeneracy. An important conclusion is that for such systems with a near-degenerate ground state, the corresponding cut along the particle number N of the exact density functionals is differentiable with a well-defined gradient near integer particle number.

arXiv:1512.07456•New Journal of Physics•Jul 28, 2016•17 citations

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
We demonstrate that, for a fermionic lattice system, the ground-state particle density uniquely determines the external potential except for the sites corresponding to nodes of the wave function, and the limiting case where the Pauli exclusion principle completely determines the occupation of all sites. Our fundamental finding completes, for this general class of systems, the one-to-one correspondence between ground states, their densities, and the external potential at the base of the Hohenberg-Kohn theorem. Moreover we demonstrate that the mapping from wave function to potential is unique not just for the ground state, but also for excited states. To illustrate our findings, we develop a practical inversion scheme to determine the external potential from a given density. Our results hold for a general class of lattice models, which includes the Hubbard model.
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.
We present a metric-space approach to quantify the performance of approximations in lattice density-functional theory for interacting many-body systems and to explore the regimes where the Hohenberg-Kohn-type theorem on fermionic lattices is applicable. This theorem demonstrates the existence of one-to-one mappings between particle densities, wave functions and external potentials. We then focus on these quantities, and quantify how far apart in metric space the approximated and exact ones are. We apply our method to the one-dimensional Hubbard model for different types of external potentials, and assess the regimes where it is applicable to one of the most used approximations in density-functional theory, the local density approximation (LDA). We find that the potential distance may have a very different behaviour from the density and wave function distances, in some cases even providing the wrong assessments of the LDA performance trends. We attribute this to the systems reaching behaviours which are borderline for the applicability of the one-to-one correspondence between density and external potential. On the contrary the wave function and density distances behave similarly and are always sensitive to system variations. Our metric-based method correctly predicts the regimes where the LDA performs fairly well and the regimes where it fails. This suggests that our method could be a practical tool for testing the efficiency of density-functional approximations.
We present a metric-space approach to quantify the performance of approximations in lattice density-functional theory for interacting many-body systems and to explore the regimes where the Hohenberg-Kohn-type theorem on fermionic lattices is applicable. This theorem demonstrates the existence of one-to-one mappings between particle densities, wave functions and external potentials. We then focus on these quantities, and quantify how far apart in metric space the approximated and exact ones are. We apply our method to the one-dimensional Hubbard model for different types of external potentials, and assess the regimes where it is applicable to one of the most used approximations in density-functional theory, the local density approximation (LDA). We find that the potential distance may have a very different behaviour from the density and wave function distances, in some cases even providing the wrong assessments of the LDA performance trends. We attribute this to the systems reaching behaviours which are borderline for the applicability of the one-to-one correspondence between density and external potential. On the contrary the wave function and density distances behave similarly and are always sensitive to system variations. Our metric-based method correctly predicts the regimes where the LDA performs fairly well and the regimes where it fails. This suggests that our method could be a practical tool for testing the efficiency of density-functional approximations.
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.
In the present work, we employ exact diagonalization for model systems on a real-space lattice to explicitly construct the exact density-to-potential and graphically illustrate the complete exact density-to-wavefunction map that underly the Hohenberg–Kohn theorem in density functional theory. Having the explicit wavefunction-to-density map at hand, we are able to construct arbitrary observables as functionals of the ground-state density. We analyze the density-to-potential map as the distance between the fragments of a system increases and the correlation in the system grows. We observe a feature that gradually develops in the density-to-potential map as well as in the density-to-wavefunction map. This feature is inherited by arbitrary expectation values as functional of the ground-state density. We explicitly show the excited-state energies, the excited-state densities, and the correlation entropy as functionals of the ground-state density. All of them show this exact feature that sharpens as the coupling of the fragments decreases and the correlation grows. We denominate this feature as intra-system steepening and discuss how it relates to the well-known inter-system derivative discontinuity. The inter-system derivative discontinuity is an exact concept for coupled subsystems with degenerate ground state. However, the coupling between subsystems as in charge transfer processes can lift the degeneracy. An important conclusion is that for such systems with a near-degenerate ground state, the corresponding cut along the particle number N of the exact density functionals is differentiable with a well-defined gradient near integer particle number.
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.