The familiar unrestricted Hartree-Fock variational principle is generalized to include quasi-free states. As we show, these are in one-to-one correspondence with the one-particle density matrices and these, in turn provide a convenient formulation of a generalized Hartree-Fock variational principle, which includes the BCS theory as a special case. While this generalization is not new, it is not well known and we begin by elucidating it. The Hubbard model, with its particle-hole symmetry, is well suited to exploring this theory because BCS states for the attractive model turn into usual HF states for the repulsive model. We rigorously determine the true, unrestricted minimizers for zero and for nonzero temperature in several cases, notably the half-filled band. For the cases treated here, we can exactly determine all broken and unbroken spatial and gauge symmetries of the Hamiltonian.

We study the large-N limit of a system of N bosons interacting with a potential of intensity 1=N . When the ground state energy is to the first order given by Hartree's theory, we study the next order, predicted by Bogoliubov's theory. We show the convergence of the lower eigenvalues and eigenfunctions towards that of the Bogoliubov Hamiltonian (up to a convenient unitary transform). We also prove the convergence of the free energy when the system is sufficiently trapped. Our results are valid in an abstract setting, our main assumptions being that the Hartree ground state is unique and nondegenerate, and that there is complete Bose-Einstein condensation on this state. Using our method we then treat two applications: atoms with "bosonic" electrons on one hand, and trapped two-dimensional and three-dimensional Coulomb gases on the other hand.

We give the first rigorous derivation of the celebrated Ginzburg-Landau (GL) theory, starting from the microscopic Bardeen-Cooper-Schrieffer (BCS) model. Close to the critical temperature, GL arises as an effective theory on the macroscopic scale. The relevant scaling limit is semiclassical in nature, and semiclassical analysis, with minimal regularity assumptions, plays an important part in our proof.

The Bardeen-Cooper-Schrieffer (BCS) functional has recently received renewed attention as a description of fermionic gases interacting with local pairwise interactions. We present here a rigorous analysis of the BCS functional for general pair interaction potentials. For both zero and positive temperature, we show that the existence of a non-trivial solution of the nonlinear BCS gap equation is equivalent to the existence of a negative eigenvalue of a certain linear operator. From this we conclude the existence of a critical temperature below which the BCS pairing wave function does not vanish identically. For attractive potentials, we prove that the critical temperature is non-zero and exponentially small in the strength of the potential.Comment: Revised Version. To appear in Commun. Math. Phys

We study the mean-field approximation of Quantum Electrodynamics, by means of a thermodynamic limit. The QED Hamiltonian is written in Coulomb gauge and does not contain any normal-ordering or choice of bare electron/positron subspaces. Neglecting photons, we define properly this Hamiltonian in a finite box [−L/2; L/2) 3 , with periodic boundary conditions and an ultraviolet cut-off Λ. We then study the limit of the ground state (i.e. the vacuum) energy and of the minimizers as L goes to infinity, in the Hartree-Fock approximation.In case with no external field, we prove that the energy per volume converges and obtain in the limit a translation-invariant projector describing the free Hartree-Fock vacuum. We also define the energy per unit volume of translation-invariant states and prove that the free vacuum is the unique minimizer of this energy.In the presence of an external field, we prove that the difference between the minimum energy and the energy of the free vacuum converges as L goes to infinity. We obtain in the limit the so-called Bogoliubov-Dirac-Fock functional. The Hartree-Fock (polarized) vacuum is a Hilbert-Schmidt perturbation of the free vacuum and it minimizes the Bogoliubov-Dirac-Fock energy.