Equality of the Jellium and the Uniform Electron Gas Energies

arXiv:2610.20910 · math-ph, cond-mat.quant-gas, cond-mat.stat-mech, math.MP · Submitted 2026-10-14 · Read on arXiv

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