This is a second course on the methods of mathematically rigorous statistical physics. It may be considered as a sequel to Thomas Bothner's TCC module on discrete models held in the Spring-2021 term. However, in a technical sense it is independent and self-contained.
I will assume known and I will mention only tangentially (for reference and comparison only) the basic facts about phase transitions in discrete spin models (like e.g. the Ising model). My main focus will be on lattice spin models with continuous spins and continuous internal symmetries. These systems exhibit very different large scale behaviour and their investigation requires very different mathematical methods from those of the discrete spin models. For example, combinatorial contour methods and Peierls-type arguments simply do not work here. As a physical consequence, Long Range Order (LRO) at low but still positive temperatures occurs only in 3 (and more) dimensions. (In contrast to the discrete contour models, where LRO may - and does - occur in 2-dimensions.) The methods developed and used are more analytic and probabilistic, but combinatorial elements are still at hand.
In the first half of the module I will discuss in full mathematical detail the Classical Heisenberg (a.k.a. O(N)) Models and some related variants. The two most important results being:
(C1) No LRO at positive temperatures in d=2 (Mermin-Wagner Theorem).
(C2) Existence of phase transition and LRO at low temperatures in d>=3 (Fröhlich-Simon-Spencer Theorem, and its consequences).
In the second half of the module I will turn to quantum spin systems, primarily to the Quantum Heisenberg Models. Due to non-commutativity of the observables new difficulties and challenges come up. These problems are also strongly linked to Bose-Einstein condensation in some particular lattice boson gases. The most important issues are:
(Q1) The quantum version of the Mermin-Wagner Theorem excludes long range order at positive temperatures in 2d.
(Q2) However, in the quantum setting the Néel LRO in the ground state of antiferromagnetic models is of major importance, even in 2d.
(Q3) Phase transition and Long Range Order at low temperatures in d>=3 in a restricted range of parameters (antiferromagnetic coupling and no external magnetic field) is proved in the celebrated Dyson-Lieb-Simon Theorem.
Finally, time permitting, I will present some elements of stochastic graphical representations relating some classes of quantum spin systems to probabilistic problems like random interchange dynamics and lattice loop models.
Plenty of beautiful (and relevant!) mathematics and plenty of hard open problems for future generations of mathematicians/mathematical physicists.