Thematic Programme:
Synergies between Mathematical and Computational Approaches to Quantum Many-Body Physics

The traditional goal of mathematical physics is to prove mathematically rigorous statements about physically interesting models. Ingredients in a proof of a mathematical statement may also be useful beyond the specific situation of that proof if they elucidate mathematical structures or reveal properties that must be obeyed by the solution to the problem, hence can serve to benchmark and improve approximate approaches. Ideally (and sometimes really), methods of constructing solutions mathematically also suggest algorithms which can then be applied in practice. Conversely, the development of algorithms and computational methods has provided many interesting problems and ideas for mathematical studies.

The basics