A rigorous formulation of Density Functional Theory for spinless fermions in one dimension

This paper establishes a completely rigorous formulation of Kohn-Sham density functional theory for spinless fermions in one dimension by characterizing pure-state $v$-representable densities, proving a Hohenberg-Kohn theorem for distributional potentials, and demonstrating the differentiability of the exchange-correlation functional to confirm the exactness of the Kohn-Sham scheme.

The Gist

The Big Picture: The "Cheat Code" for Quantum Physics

Imagine you are trying to predict the weather. To do this perfectly, you would need to track every single air molecule in the atmosphere, how they bump into each other, and how they react to the sun. This is impossible; there are too many variables.

In the world of atoms and electrons, scientists face a similar problem. They want to know how a group of electrons (let's say 100 of them) behaves. But electrons are tiny, they repel each other, and they dance to the rules of quantum mechanics. Tracking 100 electrons individually is like trying to track every raindrop in a hurricane. It's a mathematical nightmare.

Density Functional Theory (DFT) is the "cheat code" that physicists have been using for decades to solve this. Instead of tracking 100 individual electrons, DFT says: "Hey, we don't need to know where every electron is. We just need to know the density of electrons—where they are likely to be found on average."

If you know the density, you can calculate the energy of the system. It turns a 100-dimensional problem into a 3-dimensional one (or in this paper's case, a 1-dimensional one).

The Problem: Is the Cheat Code Actually Real?

For 60 years, scientists have used this cheat code (called the Kohn-Sham scheme) and it works amazingly well in practice. However, mathematically, it was a bit of a "black box."

Think of it like a magic trick. The magician (the computer) pulls a rabbit out of a hat (the correct electron density). Everyone is happy. But the mathematicians in the audience were asking:

1. Existence: Is there actually a rabbit in the hat, or is the magician just pulling a trick? (Does a non-interacting system exist that perfectly mimics the real one?)
2. Uniqueness: If I see a rabbit, is it the only rabbit that could have come from that hat? (Is the connection between the density and the forces unique?)
3. Smoothness: Is the magic trick smooth, or does it glitch? (Is the math behind the "exchange-correlation" part well-behaved?)

For a long time, no one could prove these things rigorously for continuous systems (real space). The math was too messy, especially when dealing with "distributional potentials" (which are like sudden, sharp spikes in force, such as a Dirac delta function).

The Paper's Achievement: Proving the Magic is Real

This paper, written by Thiago Carvalho Corso, steps into a simplified world: One-dimensional space (imagine electrons living on a tightrope instead of flying in 3D space). In this 1D world, the author proves that the "cheat code" is not just a trick—it is mathematically exact.

Here is what he proved, using analogies:

1. The "Perfect Map" (v-representability)

The Question: Can every possible arrangement of electron density be created by some set of forces (potentials)?
The Analogy: Imagine you have a map of a city showing where people live (the density). The question is: Can you always find a set of street signs and traffic lights (the external potential) that would cause people to settle exactly in that pattern?
The Result: The author proved that yes, for any smooth, positive density on a line, there is a specific set of forces that creates it. Furthermore, he showed that it doesn't matter how the electrons interact with each other; the set of possible maps is the same. This means the "cheat code" covers all valid scenarios.

2. The "Fingerprint" (Hohenberg-Kohn Theorem)

The Question: If I see a specific density pattern, can I uniquely identify the forces that created it?
The Analogy: If I show you a footprint in the sand, can you tell exactly which shoe made it?
The Result: The author proved that the density is a unique fingerprint of the forces. If two different sets of forces create the exact same density, those forces must be identical (or just shifted by a constant amount, which doesn't change the physics). This confirms that the relationship between the "map" and the "forces" is one-to-one.

3. The "Smooth Switch" (Differentiability)

The Question: Is the math behind the "exchange-correlation" part (the part that accounts for the complex quantum dance of electrons) smooth and predictable?
The Analogy: Imagine a dimmer switch for a light. If you turn it slightly, does the light get slightly brighter? Or does it flicker and jump?
The Result: The author proved that the "switch" is perfectly smooth. You can calculate the exact "force" needed to adjust the density at any point. This is crucial because it means the equations used to solve the problem (the Kohn-Sham equations) are mathematically valid and won't break down.

The "One-Dimensional" Caveat

You might be wondering: "This is great, but we live in 3D, not 1D. Does this matter?"

Yes and no.

• The Limitation: The proof relies on the fact that in 1D, electrons cannot pass each other without colliding (they are "spinless fermions"). This makes the math much cleaner. In 3D, electrons can weave around each other, making the proof much harder.
• The Significance: This paper is the first time anyone has rigorously proven that the Kohn-Sham scheme is exact for a continuous system with distributional potentials. Before this, it was widely believed to be exact, but it was a "faith-based" theory in the mathematical community. This paper provides the "proof of concept."

The Takeaway

Think of this paper as the architectural blueprint for a skyscraper that everyone has been living in for 60 years.

• Before this, people lived in the building and said, "It feels solid, it works great."
• This paper went in with a hammer and a microscope and said, "I have checked every beam and bolt. The foundation is mathematically sound. The building will not fall."

By proving that the Kohn-Sham scheme is rigorously exact in 1D, the author gives us confidence that the methods we use to design new drugs, batteries, and materials are built on a rock-solid mathematical foundation, even if we haven't yet climbed the mountain to prove it for 3D.

In short: The paper proves that for electrons on a line, the "cheat code" of Density Functional Theory is not a trick—it is the real deal.

Technical Summary

1. Problem Statement

The paper addresses the mathematical foundations of Kohn-Sham Density Functional Theory (KS-DFT), specifically focusing on three critical gaps that have historically prevented a fully rigorous formulation of the theory for continuous electronic systems:

1. The $v$-Representability Problem: It is unclear whether a given ground-state density of an interacting system can be exactly reproduced by a non-interacting (Kohn-Sham) system. While known for lattice systems, this remains an open problem for continuous 3D systems and was not fully resolved for 1D continuous systems with distributional potentials.
2. The Hohenberg-Kohn (HK) Uniqueness Problem: It is not rigorously established whether the external potential is uniquely determined by the ground-state density when the class of admissible potentials is extended to include distributions (e.g., Dirac delta functions), which are necessary to represent certain densities.
3. Differentiability of the Exchange-Correlation Functional: The existence of a well-defined exchange-correlation potential ($v_{xc}$) relies on the differentiability of the exchange-correlation energy functional ($E_{xc}$). Previous works focused on convex relaxations (Lieb functional) rather than the specific KS functional, leaving the differentiability of the latter unproven.

The author aims to resolve these issues rigorously for spinless fermions in a one-dimensional bounded interval ($\Omega = (0,1)$) with distributional potentials.

2. Methodology and Mathematical Framework

The paper employs advanced functional analysis, specifically Sobolev spaces, quadratic forms, and convex analysis.

• Hamiltonian and Potentials:
  The system is defined by the $N$-particle Hamiltonian:
  $$H_N(v, w) = -\Delta + \sum_{i \neq j} w(x_i, x_j) + \sum_{j=1}^N v(x_j)$$
  acting on the antisymmetric space $\mathcal{H}_N = \bigwedge^N L^2(I)$.

  • External Potentials ($v$): Chosen from the space $\mathcal{V} = H^{-1}(I)$, allowing for distributional potentials (e.g., $\delta$-functions).
  • Interaction Potentials ($w$): Chosen from $W^{-1,q}(I^2)$ with $q > 2$.
  • Boundary Conditions (BCs): The study considers Neumann, Periodic, and Anti-periodic BCs. The operators are constructed via sesquilinear forms using the KLMN theorem to ensure self-adjointness.

• Key Mathematical Tools:

  • Regularity of Reduced Densities: Utilizing Gagliardo-Nirenberg-Sobolev (GNS) inequalities to prove that ground-state densities $\rho$ belong to $H^1(I)$ and are strictly positive.
  • Non-Degeneracy: Leveraging a recent result by the author ([Cor25b]) stating that the ground state of $H_N(v,w)$ is non-degenerate (unique up to a phase) and satisfies strong unique continuation properties.
  • Convex Analysis: Using the Levy-Lieb constrained search functional and subgradient theory to characterize representable densities.
  • Unique Continuation Principles (UCP): Proving that ground-state wavefunctions cannot vanish on open subsets of hyperplanes or boundaries, which is crucial for the HK theorem proof.

3. Key Contributions and Results

The paper provides a complete characterization of the KS-DFT framework in 1D through three main theorems:

A. Characterization of Pure-State $v$-Representability (Theorem 2.3 & 2.4)

The author provides necessary and sufficient conditions for a function to be a pure-state ground-state density.

• Neumann BCs: A density $\rho$ is $v$-representable if and only if:
  1. $\rho \in H^1(I)$,
  2. $\int_I \rho(x) dx = N$,
  3. $\rho(x) > 0$ for all $x \in [0, 1]$.
     Crucially, this set is independent of the interaction potential $w$.
• Periodic/Anti-periodic BCs: Similar characterizations are provided, though they depend on the parity of the particle number $N$. For example, for anti-periodic BCs, the set of representable densities matches the periodic set only if $N$ is even.
• Significance: This is the first complete solution to the pure-state $v$-representability problem for an infinite-dimensional continuous system. It proves that the set of densities reproducible by non-interacting systems is identical to those of interacting systems.

B. Hohenberg-Kohn Theorem for Distributional Potentials (Theorem 2.9 & 2.10)

The paper proves that the external potential is uniquely determined by the ground-state density, even when $v$ is a distribution.

• Neumann Case: If $H_N(v, w)$ and $H_N(v', w)$ share the same ground-state density, then $v - v'$ is a constant.
• Non-Local BCs: Uniqueness holds modulo constants, provided specific parity conditions on $N$ are met (e.g., $N$ odd for periodic, $N$ even for anti-periodic).
• Counter-examples: The paper explicitly constructs counter-examples showing that HK uniqueness fails for $N=1$ with anti-periodic BCs, highlighting the necessity of the parity constraints.
• Methodology: The proof overcomes the difficulty of dividing by a wavefunction that might vanish on a set of measure zero (due to $\delta$-potentials) by using a "regularity improving" operator argument involving the pair density.

C. Differentiability and Exactness of the Kohn-Sham Scheme (Theorem 2.12 & 2.15)

The paper establishes the rigorous validity of the KS equations.

• Differentiability: The exchange-correlation functional $E_{xc}$ is proven to be Gâteaux differentiable on the set of representable densities. Consequently, the exchange-correlation potential $v_{xc} = \delta E_{xc} / \delta \rho$ exists and is well-defined.
• Exactness: The Kohn-Sham scheme is proven to be rigorously exact. The ground-state density of any interacting system can be exactly reproduced by a non-interacting system with an effective potential $v_{eff} = v + v_H + v_{xc}$.
• Aufbau Principle: The paper proves that the minimizer of the KS energy is indeed the Slater determinant of the $N$ lowest eigenfunctions of the KS Hamiltonian, justifying the standard "Aufbau" filling rule.

4. Significance and Implications

• Mathematical Rigor: This work provides the first rigorous proof that KS-DFT is an exact ground-state theory for continuous electronic systems, albeit in 1D. It resolves long-standing mathematical ambiguities regarding existence, uniqueness, and differentiability.
• Role of Distributional Potentials: The results demonstrate that extending the class of potentials to include distributions is not just a technical convenience but a necessary condition to achieve a complete characterization of $v$-representable densities.
• Foundation for Higher Dimensions: While the results are specific to 1D, the methods (particularly the use of non-degeneracy and unique continuation properties) offer a blueprint for tackling these problems in higher dimensions, where non-degeneracy is not guaranteed.
• Boundary Conditions: The paper highlights the subtle and critical role of boundary conditions (Neumann vs. Periodic vs. Anti-periodic) and particle number parity in the validity of the HK theorem.

5. Limitations and Future Directions

The author notes several open questions:

• Dirichlet Boundary Conditions: The current convex analysis arguments fail for Dirichlet BCs because the set of representable densities has an empty interior in the relevant topology.
• Spin: The results are for spinless fermions. Extending to spin electrons is non-trivial due to the loss of the simple non-degeneracy theorem.
• Higher Dimensions: Extending these results to 2D or 3D is difficult because the non-degeneracy of ground states is not guaranteed, and the characterization of $v$-representable densities is much more complex.

In conclusion, this paper establishes a mathematically solid foundation for Kohn-Sham DFT in one dimension, proving that the scheme is not merely an approximation but an exact reformulation of the many-body problem under the specified conditions.