The mean field limit for systems of many fermions is naturally coupled with a semiclassical limit. This makes the analysis of the mean field regime much more involved, compared with bosonic systems. In this paper, we study the dynamics of initial data close to a Slater determinant, whose reduced one-particle density is an orthogonal projection ω N with the appropriate semiclassical structure. Assuming some regularity of the interaction potential, we show that the evolution of such an initial data remains close to a Slater determinant, with reduced one-particle density given by the solution of the Hartree-Fock equation with initial data ω N . Our result holds for all (semiclassical) times, and gives effective bounds on the rate of the convergence towards the Hartree-Fock dynamics.

Topological insulators can be characterized alternatively in terms of bulk or edge properties. We prove the equivalence between the two descriptions for two-dimensional solids in the single-particle picture. We give a new formulation of the Z 2 -invariant, which allows for a bulk index not relying on a (two-dimensional) Brillouin zone. When available though, that index is shown to agree with known formulations. The method also applies to integer quantum Hall systems. We discuss a further variant of the correspondence, based on scattering theory.

In these notes we review the material presented at the summer school on "Mathematical Physics, Analysis and Stochastics" held at the University of Heidelberg in July 2014. We consider the time-evolution of quantum systems and in particular the rigorous derivation of effective equations approximating the many-body Schrödinger dynamics in certain physically interesting regimes.for an appropriate constant C > 0. This gives a mathematically rigorous derivation of the Thomas-Fermi theory, and it tells us how big N should be in order for E T F (N ) to be a good approximation of the true quantum energy (later, better bounds have been obtained [41,58,59]: one knows that the error with respect to Thomas-Fermi theory is of the order N 2 in the limit of large N ).2 Mean-field regime for bosonic systems

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 manybody 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.

In this paper we study the dynamics of fermionic mixed states in the mean-field regime. We consider initial states that are close to quasi-free states and prove that, under suitable assumptions on the initial data and on the many-body interaction, the quantum evolution of such initial data is well approximated by a suitable quasi-free state. In particular, we prove that the evolution of the reduced one-particle density matrix converges, as the number of particles goes to infinity, to the solution of the time-dependent Hartree-Fock equation. Our result holds for all times and gives effective estimates on the rate of convergence of the many-body dynamics towards the Hartree-Fock evolution.