Methods of modern mathematical physics: Uncertainty and exclusion principles in quantum mechanics

These are lecture notes for a master-level course given at KTH, Stockholm, in the spring of 2017, with the primary aim of proving the stability of matter from first principles using modern mathematical methods in many-body quantum mechanics. General quantitative formulations of the uncertainty and the exclusion principles of quantum mechanics are introduced, such as the Hardy, Sobolev and Poincar\'e functional inequalities as well as the powerful Lieb-Thirring inequality that combines these two principles. The notes are aimed to be both fairly self-contained and at the same time complementary to existing literature, also covering recent developments to prove Lieb-Thirring inequalities and stability from general, weaker formulations of the exclusion principle.