The Gell-Mann–Brueckner Formula for the Correlation Energy of the Electron Gas: A Rigorous Upper Bound in the Mean-Field Regime

We prove a rigorous upper bound on the correlation energy of interacting fermions in the mean-field regime for a wide class of interaction potentials. Our result covers the Coulomb potential, and in this case we obtain the analogue of the Gell-Mann–Brueckner formula c 1 ρ log ρ + c 2 ρ in the high density limit. We do this by refining the analysis of our bosonization method to deal with singular potentials, and to capture the exchange contribution which is absent in the purely bosonic picture.