🔢 mathematics

Equality of the Jellium and the Uniform Electron Gas Energies

This paper proves that the ground-state energy per unit volume of Jellium coincides with that of the uniform electron gas, extending a previously known classical result to the quantum mechanical case.

Original authors: Mihály A. Csirik

Published 2026-10-16

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Mihály A. Csirik

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the microscopic world of matter, electrons are the tiny, negatively charged particles that zip around atomic nuclei, binding atoms together and allowing electricity to flow. When physicists try to understand how these electrons behave in bulk—such as in a metal or a star—they often imagine a simplified, infinite ocean of them. This idealized system is called the electron gas. For decades, scientists have relied on two slightly different mathematical models to describe this ocean, hoping they would lead to the same answer about the system's fundamental energy. One model, known as Jellium, pictures the electrons moving through a uniform, positively charged background that acts like a neutralizing glue, keeping the whole system balanced. The other model, called the uniform electron gas, imagines the electrons floating in empty space but forced to maintain a perfectly constant density everywhere, without any background glue at all. While these two pictures look different on paper, with one having a background and the other not, the prevailing belief in the physics community was that they should ultimately describe the same physical reality and yield the same energy values. Proving this, however, has been a stubborn mathematical challenge, particularly when accounting for the quantum mechanical rules that govern how electrons interact and avoid each other.

A new study by Mihály A. Csirik has finally settled this question with a rigorous mathematical proof. The researcher demonstrated that the ground-state energy per unit volume for the Jellium model is exactly equal to the energy of the uniform electron gas model. This result confirms that the choice of mathematical framework—whether one includes a neutralizing background or enforces a constant density constraint—does not change the fundamental energy of the system. The proof is significant because it bridges two major approaches used in quantum mechanics, ensuring that calculations performed using either model are consistent with one another. Previously, this equality had only been proven for classical systems where quantum effects are ignored, but the quantum version remained an open problem. Csirik's work shows that even when the complex, wave-like nature of electrons is fully taken into account, the two models converge to the same value.

To reach this conclusion, the author had to navigate a difficult path involving the construction of specific quantum states. The proof works by showing that the energy of one model cannot be higher than the other, and vice versa. First, the researcher showed that the energy of the uniform electron gas is at least as high as that of Jellium. This was relatively straightforward, as one can imagine taking a state from the uniform gas and placing it into the Jellium setup. The more challenging part was proving the reverse: that the Jellium energy is not higher than the uniform gas energy. This required a clever construction where the researcher took the likely crystalline, ordered arrangement of electrons found in the Jellium model and smoothed it out to look like a constant density, without adding a significant amount of extra energy.

The method involved a technique of averaging and localizing. The researcher imagined filling a large space with many small, isolated regions, each containing a "ground state" of the Jellium model. These regions were arranged in a pattern with gaps between them. In the gaps, the electrons were described by a different, simpler state that filled the space with a constant density. Crucially, the researcher designed the boundaries of these regions so that the charge imbalances at the edges canceled out perfectly, preventing any long-range electrical forces from disrupting the system. By carefully balancing the energy costs of the boundaries against the energy of the bulk material, the proof showed that the total energy of this mixed system could be made arbitrarily close to the energy of the uniform electron gas. This construction effectively turned the crystalline Jellium states into states with a constant density, proving that the two models are energetically identical.

The implications of this finding are that any known properties of the uniform electron gas now automatically apply to Jellium, and vice versa. For instance, the study confirms that at very high densities, the energy of the system follows a specific mathematical pattern involving the kinetic energy of free electrons and an exchange energy term. It also confirms that as the system becomes more classical (losing its quantum character), the energy converges to the known classical value. The work does not introduce new physical constants or change the existing laws of physics; rather, it provides a solid mathematical foundation that validates the use of these interchangeable models in future research. By proving that these two distinct ways of looking at the electron gas lead to the same result, the paper removes a layer of uncertainty from the theoretical toolkit used to describe matter, ensuring that physicists can move forward with confidence in their calculations.

Technical Summary: Equality of the Jellium and the Uniform Electron Gas Energies

Problem Statement
The paper addresses a fundamental question in many-body quantum mechanics regarding the equivalence of two standard models for the electron gas: Jellium and the Uniform Electron Gas (UEG).

Jellium is defined as a system of interacting electrons moving in a uniform, neutralizing positive background charge. The ground-state energy is typically defined via the thermodynamic limit of the canonical Hamiltonian with Dirichlet boundary conditions on a sequence of growing domains (Lieb–Narnhofer definition).
UEG is defined as a system of electrons with a strictly constant density everywhere, without a background charge. Its energy is defined via the grand-canonical Levy–Lieb functional, minimizing kinetic and interaction energies subject to a prescribed density (Lewin, Lieb, and Seiringer definition).

While the equality of these energies was established for the classical case ( $\hbar=0$ ) by Lewin, Lieb, and Seiringer and independently by Cotar and Petrache, the quantum case ( $\hbar > 0$ ) remained an open problem. The difficulty lies in the fact that Jellium states are expected to exhibit crystalline structures (Wigner crystals) with non-constant density, whereas the UEG requires exactly constant density. Proving their equivalence requires showing that the energy cost of transforming a crystalline Jellium state into a constant-density state is negligible in the thermodynamic limit.

Methodology
The author proves the equality $e^{\hbar}_{\text{Jel}}(\rho_0) = e^{\hbar}_{\text{UEG}}(\rho_0)$ by establishing two inequalities separately, utilizing a combination of variational principles, localization techniques, and specific geometric constructions.

Lower Bound ( $e^{\hbar}_{\text{Jel}} \leq e^{\hbar}_{\text{UEG}}$ ):
- The proof starts with minimizers of the Levy–Lieb functional for the UEG, which have a smoothed constant density.
- These states are confined to a ball with Dirichlet boundary conditions.
- A "neutralization" lemma (Lemma 4.8) is employed to adjust the particle number and background charge in a thin shell around the ball to achieve exact neutrality and an integer particle count.
- The energy cost of this adjustment is shown to be proportional to the surface area ( $O(\ell^2)$ ), which is negligible compared to the volume ( $O(\ell^3)$ ) in the thermodynamic limit.
- This constructs a valid trial state for the canonical Jellium problem, establishing the upper bound on the Jellium energy.
Upper Bound ( $e^{\hbar}_{\text{UEG}} \leq e^{\hbar}_{\text{Jel}}$ ):
- This direction is more complex, as it requires constructing a state with constant density from Jellium ground states.
- The author avoids the "floating crystal" approach (which suffers from boundary charge fluctuations) by constructing a specific trial state using a packing of balls.
- A large cubic domain is filled with a periodic arrangement of disjoint balls. Inside each ball, a rotationally averaged Jellium ground state is placed.
- To ensure the total density is constant, the "missing" charge inside the balls is compensated by a neutralizing shell (constructed via Lemma 4.12) surrounding each ball. This shell carries a charge distribution that cancels the ball's internal charge deficit while maintaining radial symmetry.
- The remaining volume (the gaps between balls) is filled with a quasi-free state of prescribed density.
- Crucially, Newton's theorem is used to show that the cross-interaction terms between the neutral balls and their shells vanish outside the support of the balls.
- The state is then averaged over translations of the packing. This averaging ensures the resulting density is exactly constant ( $\rho_0$ ) in the interior of the domain, with the density transition confined to a boundary layer of fixed width.
- A localization lemma (Lemma 4.11) demonstrates that this boundary layer does not lower the energy per unit volume in the limit.

Key Contributions and Results

Main Theorem (Theorem 3.1): The paper rigorously proves that for any spin multiplicity $q \geq 1$ , density $\rho_0 > 0$ , and Planck constant $\hbar > 0$ , the ground-state energy per unit volume of Jellium coincides with that of the UEG:
$e^{\hbar}_{\text{Jel}}(\rho_0) = e^{\hbar}_{\text{UEG}}(\rho_0)$
Transfer of Properties: As a direct consequence, all known properties of the UEG energy (scaling, regularity, classical limit, and high-density asymptotics) immediately apply to the Jellium energy.
High-Density Asymptotics: The result confirms the high-density expansion for Jellium:
$e^{\hbar}_{\text{Jel}}(\rho_0) = \frac{3}{5}\left(\frac{6\pi^2}{q}\right)^{2/3} \hbar^2 \rho_0^{5/3} - \frac{3}{4}\left(\frac{6}{q\pi}\right)^{1/3} \rho_0^{4/3} + o(\rho_0^{4/3})$
where the first term is the kinetic energy of the free Fermi gas and the second is the Dirac exchange energy.
Classical Limit: The result confirms that the quantum Jellium energy converges to the classical Jellium energy as $\hbar^2 \rho_0^{1/3} \to 0$ .

Significance
The paper resolves a long-standing open problem in mathematical physics by confirming the physical intuition that the choice of boundary conditions (background charge vs. fixed density) does not affect the bulk energy density of the electron gas in the thermodynamic limit. This unifies the canonical and grand-canonical descriptions of the electron gas in the quantum regime. The proof relies on novel geometric constructions (neutralizing shells and ball packings) to bridge the gap between crystalline Jellium states and constant-density UEG states without incurring extensive energy costs. The author notes that the proofs were developed with substantial assistance from Large Language Models (LLMs) and formally verified using the Lean theorem prover, highlighting a modern approach to mathematical proof construction and verification.

More like this