Equality of the Jellium and the Uniform Electron Gas Energies
math-ph, cond-mat.quant-gas, cond-mat.stat-mech, math.MP
Submitted: 2026-10-14
Updated: 2026-10-14
Comments: GitHub repo with Lean formalization: https://github.com/xyzw/jellium_ueg
License: http://creativecommons.org/licenses/by/4.0/
The gist: Jellium, a system of electrons in a uniform neutralizing background, and the uniform electron gas (UEG), a system of electrons with constant density and no background, are two standard models of the
Abstract
Jellium, a system of electrons in a uniform neutralizing background, and the uniform electron gas (UEG), a system of electrons with constant density and no background, are two standard models of the electron gas. We prove that the ground-state energy per unit volume of Jellium, as defined by Lieb and Narnhofer, coincides with the UEG energy defined by Lewin, Lieb and Seiringer, i.e. e Jel (ρ 0)=e UEG (ρ 0). This equality was previously established in the classical case by Lewin, Lieb and Seiringer and independently by Cotar and Petrache.
Related papers
- Pure gapped ground states of spin chains are short-range entangled
- Multipartite entanglement spreads
- Central Limit Theorems for Outcome Records in Disordered Quantum Trajectories
- The Classification of 3+1d Symmetry Enriched Topological Order
- Large Deviations for the Bose--Einstein Condensate of the Ideal Gas in the Canonical Ensemble
- A Time-Frequency Framework for GKP Codes