@phdthesis{7514,
  abstract     = {We study the interacting homogeneous Bose gas in two spatial dimensions in the thermodynamic limit at fixed density. We shall be concerned with some mathematical aspects of this complicated problem in many-body quantum mechanics. More specifically, we consider the dilute limit where the scattering length of the interaction potential, which is a measure for the effective range of the potential, is small compared to the average distance between the particles. We are interested in a setting with positive (i.e., non-zero) temperature. After giving a survey of the relevant literature in the field, we provide some facts and examples to set expectations for the two-dimensional system. The crucial difference to the three-dimensional system is that there is no Bose–Einstein condensate at positive temperature due to the Hohenberg–Mermin–Wagner theorem. However, it turns out that an asymptotic formula for the free energy holds similarly to the three-dimensional case.
We motivate this formula by considering a toy model with δ interaction potential. By restricting this model Hamiltonian to certain trial states with a quasi-condensate we obtain an upper bound for the free energy that still has the quasi-condensate fraction as a free parameter. When minimizing over the quasi-condensate fraction, we obtain the Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity, which plays an important role in our rigorous contribution. The mathematically rigorous result that we prove concerns the specific free energy in the dilute limit. We give upper and lower bounds on the free energy in terms of the free energy of the non-interacting system and a correction term coming from the interaction. Both bounds match and thus we obtain the leading term of an asymptotic approximation in the dilute limit, provided the thermal wavelength of the particles is of the same order (or larger) than the average distance between the particles. The remarkable feature of this result is its generality: the correction term depends on the interaction potential only through its scattering length and it holds for all nonnegative interaction potentials with finite scattering length that are measurable. In particular, this allows to model an interaction of hard disks.},
  author       = {Mayer, Simon},
  issn         = {2663-337X},
  pages        = {148},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{The free energy of a dilute two-dimensional Bose gas}},
  doi          = {10.15479/AT:ISTA:7514},
  year         = {2020},
}

@article{7611,
  abstract     = {We consider a system of N bosons in the limit N→∞, interacting through singular potentials. For initial data exhibiting Bose–Einstein condensation, the many-body time evolution is well approximated through a quadratic fluctuation dynamics around a cubic nonlinear Schrödinger equation of the condensate wave function. We show that these fluctuations satisfy a (multi-variate) central limit theorem.},
  author       = {Rademacher, Simone Anna Elvira},
  issn         = {1573-0530},
  journal      = {Letters in Mathematical Physics},
  pages        = {2143--2174},
  publisher    = {Springer Nature},
  title        = {{Central limit theorem for Bose gases interacting through singular potentials}},
  doi          = {10.1007/s11005-020-01286-w},
  volume       = {110},
  year         = {2020},
}

@article{7650,
  abstract     = {We consider a dilute, homogeneous Bose gas at positive temperature. The system is investigated in the Gross–Pitaevskii limit, where the scattering length a is so small that the interaction energy is of the same order of magnitude as the spectral gap of the Laplacian, and for temperatures that are comparable to the critical temperature of the ideal gas. We show that the difference between the specific free energy of the interacting system and the one of the ideal gas is to leading order given by 4πa(2ϱ2−ϱ20). Here ϱ denotes the density of the system and ϱ0 is the expected condensate density of the ideal gas. Additionally, we show that the one-particle density matrix of any approximate minimizer of the Gibbs free energy functional is to leading order given by the one of the ideal gas. This in particular proves Bose–Einstein condensation with critical temperature given by the one of the ideal gas to leading order. One key ingredient of our proof is a novel use of the Gibbs variational principle that goes hand in hand with the c-number substitution.},
  author       = {Deuchert, Andreas and Seiringer, Robert},
  issn         = {1432-0673},
  journal      = {Archive for Rational Mechanics and Analysis},
  number       = {6},
  pages        = {1217--1271},
  publisher    = {Springer Nature},
  title        = {{Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature}},
  doi          = {10.1007/s00205-020-01489-4},
  volume       = {236},
  year         = {2020},
}

@article{7790,
  abstract     = {We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density 𝜌 and inverse temperature 𝛽 differs from the one of the noninteracting system by the correction term 𝜋𝜌𝜌𝛽𝛽 . Here, is the scattering length of the interaction potential, and 𝛽 is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. The result is valid in the dilute limit 𝜌 and if 𝛽𝜌 .},
  author       = {Deuchert, Andreas and Mayer, Simon and Seiringer, Robert},
  issn         = {20505094},
  journal      = {Forum of Mathematics, Sigma},
  publisher    = {Cambridge University Press},
  title        = {{The free energy of the two-dimensional dilute Bose gas. I. Lower bound}},
  doi          = {10.1017/fms.2020.17},
  volume       = {8},
  year         = {2020},
}

@article{8042,
  abstract     = {We consider systems of N bosons in a box of volume one, interacting through a repulsive two-body potential of the form κN3β−1V(Nβx). For all 0<β<1, and for sufficiently small coupling constant κ>0, we establish the validity of Bogolyubov theory, identifying the ground state energy and the low-lying excitation spectrum up to errors that vanish in the limit of large N.},
  author       = {Boccato, Chiara and Brennecke, Christian and Cenatiempo, Serena and Schlein, Benjamin},
  issn         = {14359855},
  journal      = {Journal of the European Mathematical Society},
  number       = {7},
  pages        = {2331--2403},
  publisher    = {European Mathematical Society},
  title        = {{The excitation spectrum of Bose gases interacting through singular potentials}},
  doi          = {10.4171/JEMS/966},
  volume       = {22},
  year         = {2020},
}

@article{8091,
  abstract     = {In the setting of the fractional quantum Hall effect we study the effects of strong, repulsive two-body interaction potentials of short range. We prove that Haldane’s pseudo-potential operators, including their pre-factors, emerge as mathematically rigorous limits of such interactions when the range of the potential tends to zero while its strength tends to infinity. In a common approach the interaction potential is expanded in angular momentum eigenstates in the lowest Landau level, which amounts to taking the pre-factors to be the moments of the potential. Such a procedure is not appropriate for very strong interactions, however, in particular not in the case of hard spheres. We derive the formulas valid in the short-range case, which involve the scattering lengths of the interaction potential in different angular momentum channels rather than its moments. Our results hold for bosons and fermions alike and generalize previous results in [6], which apply to bosons in the lowest angular momentum channel. Our main theorem asserts the convergence in a norm-resolvent sense of the Hamiltonian on the whole Hilbert space, after appropriate energy scalings, to Hamiltonians with contact interactions in the lowest Landau level.},
  author       = {Seiringer, Robert and Yngvason, Jakob},
  issn         = {15729613},
  journal      = {Journal of Statistical Physics},
  pages        = {448--464},
  publisher    = {Springer},
  title        = {{Emergence of Haldane pseudo-potentials in systems with short-range interactions}},
  doi          = {10.1007/s10955-020-02586-0},
  volume       = {181},
  year         = {2020},
}

@article{8130,
  abstract     = {We study the dynamics of a system of N interacting bosons in a disc-shaped trap, which is realised by an external potential that confines the bosons in one spatial dimension to an interval of length of order ε. The interaction is non-negative and scaled in such a way that its scattering length is of order ε/N, while its range is proportional to (ε/N)β with scaling parameter β∈(0,1]. We consider the simultaneous limit (N,ε)→(∞,0) and assume that the system initially exhibits Bose–Einstein condensation. We prove that condensation is preserved by the N-body dynamics, where the time-evolved condensate wave function is the solution of a two-dimensional non-linear equation. The strength of the non-linearity depends on the scaling parameter β. For β∈(0,1), we obtain a cubic defocusing non-linear Schrödinger equation, while the choice β=1 yields a Gross–Pitaevskii equation featuring the scattering length of the interaction. In both cases, the coupling parameter depends on the confining potential.},
  author       = {Bossmann, Lea},
  issn         = {1432-0673},
  journal      = {Archive for Rational Mechanics and Analysis},
  number       = {11},
  pages        = {541--606},
  publisher    = {Springer Nature},
  title        = {{Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons}},
  doi          = {10.1007/s00205-020-01548-w},
  volume       = {238},
  year         = {2020},
}

@article{8134,
  abstract     = {We prove an upper bound on the free energy of a two-dimensional homogeneous Bose gas in the thermodynamic limit. We show that for a2ρ ≪ 1 and βρ ≳ 1, the free energy per unit volume differs from the one of the non-interacting system by at most 4πρ2|lna2ρ|−1(2−[1−βc/β]2+) to leading order, where a is the scattering length of the two-body interaction potential, ρ is the density, β is the inverse temperature, and βc is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. In combination with the corresponding matching lower bound proved by Deuchert et al. [Forum Math. Sigma 8, e20 (2020)], this shows equality in the asymptotic expansion.},
  author       = {Mayer, Simon and Seiringer, Robert},
  issn         = {00222488},
  journal      = {Journal of Mathematical Physics},
  number       = {6},
  publisher    = {AIP Publishing},
  title        = {{The free energy of the two-dimensional dilute Bose gas. II. Upper bound}},
  doi          = {10.1063/5.0005950},
  volume       = {61},
  year         = {2020},
}

@article{14891,
  abstract     = {We give the first mathematically rigorous justification of the local density approximation in density functional theory. We provide a quantitative estimate on the difference between the grand-canonical Levy–Lieb energy of a given density (the lowest possible energy of all quantum states having this density) and the integral over the uniform electron gas energy of this density. The error involves gradient terms and justifies the use of the local density approximation in the situation where the density is very flat on sufficiently large regions in space.},
  author       = {Lewin, Mathieu and Lieb, Elliott H. and Seiringer, Robert},
  issn         = {2578-5885},
  journal      = {Pure and Applied Analysis},
  number       = {1},
  pages        = {35--73},
  publisher    = {Mathematical Sciences Publishers},
  title        = {{ The local density approximation in density functional theory}},
  doi          = {10.2140/paa.2020.2.35},
  volume       = {2},
  year         = {2020},
}

@article{6649,
  abstract     = {While Hartree–Fock theory is well established as a fundamental approximation for interacting fermions, it has been unclear how to describe corrections to it due to many-body correlations. In this paper we start from the Hartree–Fock state given by plane waves and introduce collective particle–hole pair excitations. These pairs can be approximately described by a bosonic quadratic Hamiltonian. We use Bogoliubov theory to construct a trial state yielding a rigorous Gell-Mann–Brueckner–type upper bound to the ground state energy. Our result justifies the random-phase approximation in the mean-field scaling regime, for repulsive, regular interaction potentials.
},
  author       = {Benedikter, Niels P and Nam, Phan Thành and Porta, Marcello and Schlein, Benjamin and Seiringer, Robert},
  issn         = {1432-0916},
  journal      = {Communications in Mathematical Physics},
  pages        = {2097–2150},
  publisher    = {Springer Nature},
  title        = {{Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime}},
  doi          = {10.1007/s00220-019-03505-5},
  volume       = {374},
  year         = {2020},
}

@article{6906,
  abstract     = {We consider systems of bosons trapped in a box, in the Gross–Pitaevskii regime. We show that low-energy states exhibit complete Bose–Einstein condensation with an optimal bound on the number of orthogonal excitations. This extends recent results obtained in Boccato et al. (Commun Math Phys 359(3):975–1026, 2018), removing the assumption of small interaction potential.},
  author       = {Boccato, Chiara and Brennecke, Christian and Cenatiempo, Serena and Schlein, Benjamin},
  issn         = {1432-0916},
  journal      = {Communications in Mathematical Physics},
  pages        = {1311--1395},
  publisher    = {Springer},
  title        = {{Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime}},
  doi          = {10.1007/s00220-019-03555-9},
  volume       = {376},
  year         = {2020},
}

@article{9781,
  abstract     = {We consider the Pekar functional on a ball in ℝ3. We prove uniqueness of minimizers, and a quadratic lower bound in terms of the distance to the minimizer. The latter follows from nondegeneracy of the Hessian at the minimum.},
  author       = {Feliciangeli, Dario and Seiringer, Robert},
  issn         = {1095-7154},
  journal      = {SIAM Journal on Mathematical Analysis},
  keywords     = {Applied Mathematics, Computational Mathematics, Analysis},
  number       = {1},
  pages        = {605--622},
  publisher    = {Society for Industrial & Applied Mathematics },
  title        = {{Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball}},
  doi          = {10.1137/19m126284x},
  volume       = {52},
  year         = {2020},
}

@article{7015,
  abstract     = {We modify the "floating crystal" trial state for the classical homogeneous electron gas (also known as jellium), in order to suppress the boundary charge fluctuations that are known to lead to a macroscopic increase of the energy. The argument is to melt a thin layer of the crystal close to the boundary and consequently replace it by an incompressible fluid. With the aid of this trial state we show that three different definitions of the ground-state energy of jellium coincide. In the first point of view the electrons are placed in a neutralizing uniform background. In the second definition there is no background but the electrons are submitted to the constraint that their density is constant, as is appropriate in density functional theory. Finally, in the third system each electron interacts with a periodic image of itself; that is, periodic boundary conditions are imposed on the interaction potential.},
  author       = {Lewin, Mathieu and Lieb, Elliott H. and Seiringer, Robert},
  issn         = {2469-9969},
  journal      = {Physical Review B},
  number       = {3},
  publisher    = {American Physical Society},
  title        = {{Floating Wigner crystal with no boundary charge fluctuations}},
  doi          = {10.1103/physrevb.100.035127},
  volume       = {100},
  year         = {2019},
}

@article{7100,
  abstract     = {We present microscopic derivations of the defocusing two-dimensional cubic nonlinear Schrödinger equation and the Gross–Pitaevskii equation starting froman interacting N-particle system of bosons. We consider the interaction potential to be given either by Wβ(x)=N−1+2βW(Nβx), for any β>0, or to be given by VN(x)=e2NV(eNx), for some spherical symmetric, nonnegative and compactly supported W,V∈L∞(R2,R). In both cases we prove the convergence of the reduced density corresponding to the exact time evolution to the projector onto the solution of the corresponding nonlinear Schrödinger equation in trace norm. For the latter potential VN we show that it is crucial to take the microscopic structure of the condensate into account in order to obtain the correct dynamics.},
  author       = {Jeblick, Maximilian and Leopold, Nikolai K and Pickl, Peter},
  issn         = {1432-0916},
  journal      = {Communications in Mathematical Physics},
  number       = {1},
  pages        = {1--69},
  publisher    = {Springer Nature},
  title        = {{Derivation of the time dependent Gross–Pitaevskii equation in two dimensions}},
  doi          = {10.1007/s00220-019-03599-x},
  volume       = {372},
  year         = {2019},
}

@article{7226,
  author       = {Jaksic, Vojkan and Seiringer, Robert},
  issn         = {00222488},
  journal      = {Journal of Mathematical Physics},
  number       = {12},
  publisher    = {AIP Publishing},
  title        = {{Introduction to the Special Collection: International Congress on Mathematical Physics (ICMP) 2018}},
  doi          = {10.1063/1.5138135},
  volume       = {60},
  year         = {2019},
}

@article{7413,
  abstract     = {We consider Bose gases consisting of N particles trapped in a box with volume one and interacting through a repulsive potential with scattering length of order N−1 (Gross–Pitaevskii regime). We determine the ground state energy and the low-energy excitation spectrum, up to errors vanishing as N→∞. Our results confirm Bogoliubov’s predictions.},
  author       = {Boccato, Chiara and Brennecke, Christian and Cenatiempo, Serena and Schlein, Benjamin},
  issn         = {1871-2509},
  journal      = {Acta Mathematica},
  number       = {2},
  pages        = {219--335},
  publisher    = {International Press of Boston},
  title        = {{Bogoliubov theory in the Gross–Pitaevskii limit}},
  doi          = {10.4310/acta.2019.v222.n2.a1},
  volume       = {222},
  year         = {2019},
}

@unpublished{7524,
  abstract     = {We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density $\rho$ and inverse temperature $\beta$ differs from the one of the non-interacting system by the correction term $4 \pi \rho^2 |\ln a^2 \rho|^{-1} (2 - [1 - \beta_{\mathrm{c}}/\beta]_+^2)$. Here $a$ is the scattering length of the interaction potential, $[\cdot]_+ = \max\{ 0, \cdot \}$ and $\beta_{\mathrm{c}}$ is the inverse Berezinskii--Kosterlitz--Thouless critical temperature for superfluidity. The result is valid in the dilute limit
$a^2\rho \ll 1$ and if $\beta \rho \gtrsim 1$.},
  author       = {Deuchert, Andreas and Mayer, Simon and Seiringer, Robert},
  booktitle    = {arXiv:1910.03372},
  pages        = {61},
  publisher    = {ArXiv},
  title        = {{The free energy of the two-dimensional dilute Bose gas. I. Lower bound}},
  year         = {2019},
}

@article{80,
  abstract     = {We consider an interacting, dilute Bose gas trapped in a harmonic potential at a positive temperature. The system is analyzed in a combination of a thermodynamic and a Gross–Pitaevskii (GP) limit where the trap frequency ω, the temperature T, and the particle number N are related by N∼ (T/ ω) 3→ ∞ while the scattering length is so small that the interaction energy per particle around the center of the trap is of the same order of magnitude as the spectral gap in the trap. We prove that the difference between the canonical free energy of the interacting gas and the one of the noninteracting system can be obtained by minimizing the GP energy functional. We also prove Bose–Einstein condensation in the following sense: The one-particle density matrix of any approximate minimizer of the canonical free energy functional is to leading order given by that of the noninteracting gas but with the free condensate wavefunction replaced by the GP minimizer.},
  author       = {Deuchert, Andreas and Seiringer, Robert and Yngvason, Jakob},
  journal      = {Communications in Mathematical Physics},
  number       = {2},
  pages        = {723--776},
  publisher    = {Springer},
  title        = {{Bose–Einstein condensation in a dilute, trapped gas at positive temperature}},
  doi          = {10.1007/s00220-018-3239-0},
  volume       = {368},
  year         = {2019},
}

@article{5856,
  abstract     = {We give a bound on the ground-state energy of a system of N non-interacting fermions in a three-dimensional cubic box interacting with an impurity particle via point interactions. We show that the change in energy compared to the system in the absence of the impurity is bounded in terms of the gas density and the scattering length of the interaction, independently of N. Our bound holds as long as the ratio of the mass of the impurity to the one of the gas particles is larger than a critical value m∗ ∗≈ 0.36 , which is the same regime for which we recently showed stability of the system.},
  author       = {Moser, Thomas and Seiringer, Robert},
  issn         = {14240637},
  journal      = {Annales Henri Poincare},
  number       = {4},
  pages        = {1325–1365},
  publisher    = {Springer},
  title        = {{Energy contribution of a point-interacting impurity in a Fermi gas}},
  doi          = {10.1007/s00023-018-00757-0},
  volume       = {20},
  year         = {2019},
}

@article{6788,
  abstract     = {We consider the Nelson model with ultraviolet cutoff, which describes the interaction between non-relativistic particles and a positive or zero mass quantized scalar field. We take the non-relativistic particles to obey Fermi statistics and discuss the time evolution in a mean-field limit of many fermions. In this case, the limit is known to be also a semiclassical limit. We prove convergence in terms of reduced density matrices of the many-body state to a tensor product of a Slater determinant with semiclassical structure and a coherent state, which evolve according to a fermionic version of the Schrödinger–Klein–Gordon equations.},
  author       = {Leopold, Nikolai K and Petrat, Sören P},
  issn         = {1424-0661},
  journal      = {Annales Henri Poincare},
  number       = {10},
  pages        = {3471–3508},
  publisher    = {Springer Nature},
  title        = {{Mean-field dynamics for the Nelson model with fermions}},
  doi          = {10.1007/s00023-019-00828-w},
  volume       = {20},
  year         = {2019},
}

