pith. sign in

arxiv: 2405.01386 · v2 · submitted 2024-05-02 · 🧮 math-ph · math.MP

The Correlation Energy of the Electron Gas in the Mean-Field Regime

Martin Ravn Christiansen , Christian Hainzl , Phan Th\`anh Nam This is my paper

Pith reviewed 2026-05-24 01:30 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords correlation energyelectron gasmean-field regimeGell-Mann-Brueckner formulahigh-density limitfermionsCoulomb interactionlower bound
0
0 comments X

The pith

A matching lower bound establishes the Gell-Mann--Brueckner asymptotic for the electron gas correlation energy.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a rigorous lower bound for the correlation energy of interacting fermions subject to singular potentials, including Coulomb, in the mean-field regime. Combined with a prior upper bound, this pins down the leading high-density behavior as c1 ρ log(ρ) + c2 ρ. The result supplies the missing half of an asymptotic formula long used in physics and extends the analysis to scalings beyond strict mean-field while keeping the same class of interactions. A reader would care because the formula governs the energy correction beyond the Hartree-Fock term in dense fermionic systems.

Core claim

We prove a rigorous lower bound on the correlation energy of interacting fermions in the mean-field regime for a wide class of singular interactions, including the Coulomb potential. Combined with the upper bound obtained in prior work, our result establishes an analogue of the Gell-Mann--Brueckner formula c1ρlog(ρ)+c2ρ for the correlation energy of the electron gas in the high-density limit. Moreover, our analysis allows us to go beyond mean-field scaling while still covering the same class of potentials.

What carries the argument

Rigorous lower bound on the correlation energy for fermions with singular interactions in the mean-field regime, matched to an existing upper bound.

If this is right

  • The correlation energy of the electron gas obeys the two-term asymptotic c1ρlog(ρ)+c2ρ in the high-density limit.
  • The same asymptotic holds for the wider class of singular potentials treated in the lower-bound argument.
  • The proof technique extends to interaction scalings that are weaker than pure mean-field.
  • The result supplies the first complete rigorous justification of the Gell-Mann--Brueckner formula for the three-dimensional electron gas.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method may adapt to finite-temperature or relativistic corrections to the same asymptotic.
  • Similar lower-bound techniques could be tested on other long-range interactions appearing in quantum chemistry.
  • If the constants c1 and c2 can be extracted explicitly from the proof, they would give a parameter-free check against Monte-Carlo simulations at high density.

Load-bearing premise

The upper bound from the authors' earlier paper can be combined directly with the new lower bound without extra error terms that would alter the asymptotic coefficients.

What would settle it

A direct numerical evaluation of the correlation energy at successively higher densities that deviates from the predicted c1 ρ log(ρ) + c2 ρ form by more than the expected remainder would falsify the claimed asymptotic.

read the original abstract

We prove a rigorous lower bound on the correlation energy of interacting fermions in the mean-field regime for a wide class of singular interactions, including the Coulomb potential. Combined with the upper bound obtained in \cite{ChrHaiNam-23b}, our result establishes an analogue of the Gell-Mann--Brueckner formula $c_{1}\rho\log\left(\rho\right)+c_{2}\rho$ for the correlation energy of the electron gas in the high-density limit. Moreover, our analysis allows us to go beyond mean-field scaling while still covering the same class of potentials.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves a rigorous lower bound on the correlation energy of interacting fermions in the mean-field regime, applicable to a wide class of singular potentials including the Coulomb interaction. When combined with the upper bound from the authors' prior work [ChrHaiNam-23b], this establishes the asymptotic form c₁ρ log(ρ) + c₂ρ for the correlation energy of the electron gas in the high-density limit, providing a rigorous analogue of the Gell-Mann--Brueckner formula. The analysis further extends to regimes beyond strict mean-field scaling while retaining the same class of potentials.

Significance. If the lower bound holds with the stated precision, the result completes a long-standing asymptotic formula in mathematical many-body theory and quantum statistical mechanics. The rigorous treatment of singular interactions and the extension beyond mean-field scaling represent a technical advance. The explicit disclosure of the dependence on the prior upper bound is a strength, as is the focus on a falsifiable asymptotic prediction.

major comments (2)
  1. [Abstract, §1] Abstract and §1: The central claim that the new lower bound 'establishes' the full asymptotic when paired with [ChrHaiNam-23b] requires explicit verification that the error terms are compatible (both o(ρ) or smaller, with no cross terms). This compatibility is load-bearing for the headline result but is treated as given rather than derived in the present manuscript.
  2. [§2] §2 (mean-field regime definition): The precise scaling regime in which the lower bound holds, including the range of the interaction potential and the density parameter, must be stated with the same precision as the error term in the asymptotic; any restriction that excludes the physical Coulomb case at the claimed order would undermine the application to the electron gas.
minor comments (2)
  1. [Introduction, Theorem 1.1] Notation for the correlation energy (e.g., definition of E_corr relative to the Hartree-Fock energy) should be restated uniformly in the introduction and in the statement of the main theorem to avoid ambiguity for readers.
  2. [References] The reference list should include the full bibliographic details for [ChrHaiNam-23b] at first citation, and any overlap in technical lemmas between the two papers should be briefly indicated.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and supportive recommendation of minor revision. We respond to the major comments below.

read point-by-point responses

  1. Referee: [Abstract, §1] Abstract and §1: The central claim that the new lower bound 'establishes' the full asymptotic when paired with [ChrHaiNam-23b] requires explicit verification that the error terms are compatible (both o(ρ) or smaller, with no cross terms). This compatibility is load-bearing for the headline result but is treated as given rather than derived in the present manuscript.

    Authors: We agree that an explicit verification of the compatibility of the error terms is useful for clarity. In the revised manuscript we will add a short paragraph in Section 1 (cross-referenced from the abstract) that confirms the o(ρ) remainder from the lower bound proved here combines with the o(ρ) remainder from the upper bound in [ChrHaiNam-23b] to produce the claimed asymptotic c₁ρ log(ρ) + c₂ρ + o(ρ) without additional cross terms, since the two bounds directly sandwich the correlation energy. revision: yes

  2. Referee: [§2] §2 (mean-field regime definition): The precise scaling regime in which the lower bound holds, including the range of the interaction potential and the density parameter, must be stated with the same precision as the error term in the asymptotic; any restriction that excludes the physical Coulomb case at the claimed order would undermine the application to the electron gas.

    Authors: Section 2 defines the mean-field regime through the scaling N → ∞ in the high-density limit together with the admissible class of potentials V (which explicitly includes the Coulomb potential). To meet the referee's request for matching precision, we will revise the statement of the regime in Section 2 to align the scaling parameters and potential assumptions directly with the o(ρ) error term, thereby confirming that the physical Coulomb case is covered at the stated order. revision: yes

Circularity Check

1 steps flagged

Self-citation load-bearing for combined asymptotic formula

specific steps
  1. self citation load bearing [Abstract]
    "Combined with the upper bound obtained in [ChrHaiNam-23b], our result establishes an analogue of the Gell-Mann--Brueckner formula c1ρlog(ρ)+c2ρ for the correlation energy of the electron gas in the high-density limit."

    The paper's central result (the full asymptotic formula) is obtained only by pairing the new lower bound with an upper bound whose validity is taken from a citation to the same authors' earlier work. Without that self-citation the claimed analogue does not follow from the present paper alone.

full rationale

The paper's headline claim is the establishment of the Gell-Mann--Brueckner analogue via a new lower bound combined with an upper bound from the authors' own prior paper [ChrHaiNam-23b]. This matches pattern 3 (self-citation load-bearing) because the full asymptotic result depends on that citation, yet the lower-bound derivation itself is presented as independent and the reliance is explicitly disclosed in the abstract. No other circular patterns (self-definitional, fitted predictions, ansatz smuggling, etc.) are evident from the provided text. The central contribution remains non-circular, yielding a moderate score of 4 rather than higher.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the mean-field regime assumption and the technical class of singular interactions; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption The system is a gas of interacting fermions obeying the mean-field scaling.
    Invoked in the abstract as the setting in which the lower bound holds.
  • domain assumption The interaction belongs to a wide class of singular potentials that includes the Coulomb potential.
    Stated explicitly in the abstract as the class for which the bound is proved.

pith-pipeline@v0.9.0 · 5626 in / 1407 out tokens · 37765 ms · 2026-05-24T01:30:37.005761+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    V. Bach. Error bound for the Hartree-Fock energy of atoms a nd molecules. Commun. Math. Phys. 147, 527–548, 1992

    work page 1992

  2. [2]

    Benedikter, P

    N. Benedikter, P. T. Nam, M. Porta, B. Schlein, and R. Seirin ger. Optimal upper bound for the correlation energy of a fermi gas in the mean-field regime. Commun. Math. Phys. 374, 2097–2150, 2020

    work page 2097

  3. [3]

    Benedikter, P

    N. Benedikter, P. T. Nam, M. Porta, B. Schlein, and R. Seirin ger. Correlation energy of a weakly interacting Fermi gas. Invent. Math. , 225 (2021), pp. 885-979

    work page 2021

  4. [4]

    Benedikter, M

    N. Benedikter, M. Porta, B. Schlein, and R. Seiringer. Corr elation Energy of a Weakly Interacting Fermi Gas with Large Interaction Potential. Arch. Rational Mech. Anal. 247, Art. 65, 2023

    work page 2023

  5. [5]

    N. N. Bogolubov. On the theory of superfluidity. J. Phys. (USSR) , 11, p. 23, 1947

    work page 1947

  6. [6]

    Bohm and D

    D. Bohm and D. Pines. A collective description of electron interactions. I. Magnetic interactions. Phys. Rev. 82, 625–634, 1951

    work page 1951

  7. [7]

    Bohm and D

    D. Bohm and D. Pines. A collective description of electron interactions: II. Collective vs. Individual particle aspects of the interactions. Phys. Rev. 85, 338–353, 1952

    work page 1952

  8. [8]

    Bohm and D

    D. Bohm and D. Pines. A collective description of electron interactions: III. Coulomb interactions in a degenerate electron gas. Phys. Rev. 92, 609–625, 1953

    work page 1953

  9. [9]

    Bourgain, Z

    J. Bourgain, Z. Rudnick and P. Sarnak. Spatial statistics for lattice points on the sphere I: Individual Results. Bull. Iranian Math. Soc. 43, Issue 4, 361–386, 2017

    work page 2017

  10. [10]

    M. Brooks. Diagonalizing Bose Gases in the Gross-Pitaevs kii Regime and Beyond. Preprint 2023. arXiv:2310.11347

    work page arXiv 2023

  11. [11]

    M. R. Christiansen, C. Hainzl, and P. T. Nam. The Random P hase Approximation for Interacting Fermi Gases in the Mean-Field Regime. Forum Math. Pi 11, e32, 1-131, 2023

    work page 2023

  12. [12]

    M. R. Christiansen, C. Hainzl, and P. T. Nam. The Gell-Ma nn–Brueckner Formula for the Correlation Energy of the Electron Gas: A Rigorous Upper Bound in the Mean- Field Regime. Commun. Math. Phys. 401, 1469-1-529, 2023

    work page 2023

  13. [13]

    C. L. Fefferman and L. A. Seco, On the energy of a large atom , Bull. Amer. Math. Soc. 23 (1990), 525-530

    work page 1990

  14. [14]

    Fournais, B

    S. Fournais, B. Ruba, and J. P. Solovej. Ground state ener gy of dense gases of strongly interacting fermions. Preprint 2024. arXiv:2402.08490

    work page arXiv 2024

  15. [15]

    Fournais and J

    S. Fournais and J. P. Solovej. The energy of dilute Bose ga ses. Annals of Math. 192, 893–976, 2020

    work page 2020

  16. [16]

    Gell-Mann and K

    M. Gell-Mann and K. A. Brueckner. Correlation energy of a n electron gas at high density. Phys. Rev. 106, 364, 1957

    work page 1957

  17. [17]

    Gontier, C

    D. Gontier, C. Hainzl, and M. Lewin. Lower bound on the Ha rtree-Fock energy of the electron gas. Phys. Rev. A 99, 052501, 2019

    work page 2019

  18. [18]

    G. M. Graf and J. P. Solovej. A correlation estimate with applications to quantum systems with Coulomb interactions. Rev. Math. Phys , 06, 977–997, 1994

    work page 1994

  19. [19]

    Hainzl, M

    C. Hainzl, M. Porta, and F. Rexze. On the correlation ene rgy of interacting fermionic systems in the mean-field regime. Commun. Math. Phys. 524, 374–485, 2020

    work page 2020

  20. [20]

    Heisenberg

    W. Heisenberg. Zur Theorie der Supraleitung. Zeitschrift für Naturforschung A , 2(4), 185–201, 1947

    work page 1947

  21. [21]

    Lieb and J

    E.H. Lieb and J. P. Solovej. Ground State Energy of the On e-Component Charged Bose Gas. Commun. Math. Phys. 217, pp. 127–163, 2001. 59

    work page 2001

  22. [22]

    W. Macke. Über die Wechselwirkungen im Fermi-Gas. Pola risationserscheinungen, Correlationsenergie, Elektronenkondensation. Zeitschrift für Naturforschung A , 5 (4), pp. 192–208, 1950

    work page 1950

  23. [23]

    D. Pines. A Collective Description of Electron Interac tions: IV. Electron Interaction in Metals. Phys. Rev. 92, 626, 1953

    work page 1953

  24. [24]

    K. Sawada. Correlation energy of an electron gas at high density. Phys. Rev. 106, 372, 1957

    work page 1957

  25. [25]

    Sawada, K

    K. Sawada, K. A. Brueckner, N. Fukuda, and R. Brout. Correl ation energy of an electron gas at high density: Plasma oscillations. Phys. Rev. 108, 507, 1957

    work page 1957

  26. [26]

    E. Wigner. On the Interaction of Electrons in Metals. Phys. Rev., 46 (11), 1002– 1011, 1934. 60

    work page 1934