These lectures will be an introduction to the quantum Heisenberg model and other related systems. We will review the Hilbert space, the spin operators, the Hamiltonian, and the free energy. We will restrict ourselves to equilibrium systems. The main questions deal with the nature of equilibrium states and the phase transitions. We will review some of the main results such as the Mermin-Wagner theorem and the method of reflection positivity, that allows to prove the existence of phase transitions. Finally, we will discuss certain probabilistic representations and their consequences.[-]

These lectures will be an introduction to the quantum Heisenberg model and other related systems. We will review the Hilbert space, the spin operators, the Hamiltonian, and the free energy. We will restrict ourselves to equilibrium systems. The main questions deal with the nature of equilibrium states and the phase transitions. We will review some of the main results such as the Mermin-Wagner theorem and the method of reflection positivity, that allows to prove the existence of phase transitions. Finally, we will discuss certain probabilistic representations and their consequences.[-]

We present a 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 situations where the density is very flat on sufficiently large regions in space. (Joint work with Mathieu Lewin and Elliott Lieb)[-]

We consider the quantum ferromagnetic Heisenberg model in three dimensions, for all spins $S= 1/2$. We rigorously prove the validity of the spin-wave approximation for the excitation spectrum, at the level of the first non-trivial contribution to the free energy at low temperatures. The proof combines a bosonic representation of the model introduced by Holstein and Primakoff with probabilistic estimates, localization bounds and functional inequalities.
Joint work with Michele Correggi and Alessandro Giuliani[-]

These lectures will be an introduction to the quantum Heisenberg model and other related systems. We will review the Hilbert space, the spin operators, the Hamiltonian, and the free energy. We will restrict ourselves to equilibrium systems. The main questions deal with the nature of equilibrium states and the phase transitions. We will review some of the main results such as the Mermin-Wagner theorem and the method of reflection positivity, that allows to prove the existence of phase transitions. Finally, we will discuss certain probabilistic representations and their consequences.[-]

These lectures will be an introduction to the quantum Heisenberg model and other related systems. We will review the Hilbert space, the spin operators, the Hamiltonian, and the free energy. We will restrict ourselves to equilibrium systems. The main questions deal with the nature of equilibrium states and the phase transitions. We will review some of the main results such as the Mermin-Wagner theorem and the method of reflection positivity, that allows to prove the existence of phase transitions. Finally, we will discuss certain probabilistic representations and their consequences.[-]