Density Uniqueness Proven for Non-Interacting Quantum Systems

Thiago Carvalho Corso of the Institute of Applied Analysis and Numerical Simulation, University of Stuttgart has proven a maximal version of the Hohenberg-Kohn theorem, a cornerstone of Density Functional Theory, for non-interacting quantum systems. The work establishes that the theorem holds true for Schrödinger operators with weakly correlated ground states, but only if the single-particle density is positive quasi-everywhere, a surprisingly precise condition that dictates when the theorem applies. Corso demonstrates this uniqueness extends to the Kohn-Sham potential within the class of Laplace form-bounded potentials, establishing the theorem for non-interacting systems with discrete ground state energy. The research reveals that the fundamental mechanism underlying the Hohenberg-Kohn theorem is the (quasi)-unique continuation of the density rather than of the many-body wavefunction.

A single-particle density that is positive quasi-everywhere is the precise condition proven necessary for the Hohenberg-Kohn theorem to hold for weakly correlated quantum systems; systems failing to meet this requirement fall outside the scope where the theorem holds. The research, detailed in a recent paper, establishes the Hohenberg-Kohn theorem for non-interacting systems with discrete ground state energy. This focus on non-interacting systems allows for a more precise characterization of the conditions required for the theorem’s validity, building on earlier work by Lieb which clarified the proof under suitable regularity assumptions on the potential. The work builds on recent developments in one-dimensional systems, demonstrating that distributional potentials constitute the natural functional-analytic setting for a differentiable formulation of DFT. This emphasis on the density offers a new perspective on the theorem’s foundations and relies on tools from classical potential theory, marking a novel application of these methods to DFT.

The pursuit of greater accuracy in modeling quantum systems has led researchers to refine the mathematical foundations of Density Functional Theory (DFT). While DFT remains the primary method for calculating electronic structures in materials science and chemistry, establishing the precise conditions under which its core theorem, the Hohenberg-Kohn theorem, holds has proven mathematically challenging. Crucially, the research establishes that a single-particle density that is positive quasi-everywhere is the required condition for the Hohenberg-Kohn theorem to function correctly. If this condition isn’t met, the theorem does not hold. The study focuses on Schrödinger operators and demonstrates the theorem’s validity within a mathematically defined space of potential energies, building on earlier work attempting to broaden the scope of potentials considered in DFT. The implications extend to non-interacting systems possessing a discrete ground state energy.

His recent work focuses on rigorously characterizing the conditions for the Hohenberg-Kohn theorem, which underpins the entire DFT framework by asserting that a system’s density uniquely determines its external potential. The study establishes that a single-particle density must be positive quasi-everywhere, meaning it’s positive across almost all points in the system, for the theorem to hold when dealing with form-bounded external potentials. Corso, affiliated with the Institute of Applied Analysis and Numerical Simulation, University of Stuttgart, specifically establishes the theorem for non-interacting Schrödinger operators possessing a discrete ground state energy.

Recent work at the Institute of Applied Analysis and Numerical Simulation, University of Stuttgart, is refining the understanding of how accurately quantum systems can be modeled, with implications for materials science and drug discovery. The theorem, which allows scientists to determine a system’s properties from its electron density, doesn’t hold universally; this research clarifies exactly when it applies to weakly correlated quantum systems. If this condition isn’t met, the theorem, and therefore the ability to uniquely determine the external potential, does not hold. This establishes the theorem for non-interacting systems with discrete ground state energy. This focus on non-interacting systems allows for a more precise characterization of the conditions required for the theorem’s validity, and this characterization of “weakly correlated regular states” is the core structural result enabling this refined understanding of the Hohenberg-Kohn theorem.

The assumption that a quantum system’s wavefunction uniquely determines its external potential, a cornerstone of Density Functional Theory (DFT), isn’t as straightforward as previously believed. Corso’s work reveals that the fundamental mechanism underlying the Hohenberg-Kohn theorem is the (quasi)-unique continuation of the density rather than of the many-body wavefunction.

For non-interacting systems with discrete ground state energy, the theorem is established, and the research reveals that the fundamental mechanism underlying the Hohenberg-Kohn theorem is the (quasi)-unique continuation of the density rather than of the many-body wavefunction. This work doesn’t merely broaden the scope of DFT; it pinpoints a surprisingly specific requirement for its validity.

Recent advances in density functional theory (DFT) are refining the conditions under which its foundational Hohenberg-Kohn theorem reliably predicts the properties of quantum systems. While DFT remains the primary method for modeling materials and chemical interactions, mathematical rigor surrounding the theorem, which links a system’s density to its external potential, has historically been limited by assumptions about potential regularity. Researchers are now establishing more precise boundaries for its applicability, moving beyond broad assumptions to pinpoint specific criteria. This research extends the scope of DFT to include Laplace form-bounded potentials, a class previously considered challenging. “Our proof 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.” This shifts the focus of understanding the theorem away from complex many-body wavefunctions and towards the more manageable single-particle density.

Thiago Carvalho Corso’s work challenges long-held assumptions about what truly dictates the unique relationship between a system’s density and its external potential, a core tenet of the Hohenberg-Kohn theorem. The focus has shifted from the complex many-body wavefunction to a surprisingly simpler concept: the single-particle density itself. This is not merely a technical detail; the research demonstrates the theorem does not hold if the density is not strictly positive quasi-everywhere, a remarkably specific requirement previously unproven. Crucially, Corso’s proof 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.