activity
20242026
most citedThe Huang-Yang formula for the low-density Fermi gas: upper bound

1 citations · 1 across the 3 of their papers we have counts for

collaborators

6 papers

math.AP2026

From Bogoliubov-de Gennes to Ginzburg-Landau: Critical Points Near in the Non-Magnetic Case

Rupert L. Frank, Christian Hainzl, Dong Hao Ou Yang

We study the relation between the Bogoliubov-de Gennes (BdG) equation and the Ginzburg-Landau (GL) equation for a BCS model without external fields. While previous rigorous derivat…

math-ph2026

The Huang--Yang formula for a two-dimensional Fermi gas: upper bound

Christian Hainzl, Fabian Saxler, Robert Seiringer

We compute an upper bound on the ground state energy of a dilute two-dimensional Fermi gas with repulsive short-range interactions. Our bound can be viewed as the two-dimensional a…

math-ph2026

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

Martin Ravn Christiansen, Christian Hainzl, Phan Thà nh Nam

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 potentia…

math-ph20261 cited

The Huang-Yang formula for the low-density Fermi gas: upper bound

Emanuela L. Giacomelli, Christian Hainzl, Phan Thà nh Nam +1

We study the ground state energy of a gas of spin fermions with repulsive short-range interactions. We derive an upper bound that agrees, at low density , with the Huang-…

math-ph2025

The Huang-Yang conjecture for the low-density Fermi gas

Emanuela L. Giacomelli, Christian Hainzl, Phan Thà nh Nam +1

Our work establishes a three-term asymptotic expansion of the ground state energy of a dilute gas of spin fermions with repulsive short-range interactions, validating a formu…

math-ph2024

Upper Bound for the Free Energy of Dilute Bose Gases at Low Temperature

Florian Haberberger, Christian Hainzl, Benjamin Schlein +1

We consider a Bose gas at density , interacting through a repulsive potential with scattering length . We prove an upper bound f…