Das Beweisen ist für die Mathematik als Disziplin von zentraler Bedeutung und spielt daher auch in der mathematischen Ausbildung eine wichtige Rolle. Lernende sollen die Mathematik als deduktives System begreifen, die Art der Absicherung mathematischer Ergebnisse verstehen, argumentative Herausforderungen erfolgreich bewältigen können und so ein adäquates Verständnis von mathematischen Beweisen aufbauen. Ausgehend von einem theoretischen Rahmenmodell zum mathematischen Beweisverständnis werden Ergebnisse empirischer Studien vorgestellt, die das Beweisverständnis von Lernenden in unterschiedlichen Phasen der mathematischen Ausbildung untersuchen und Möglichkeiten der Förderung aufzeigen. ______________________

Invited by Prof. Stefan Ufer

This talk will provide a basic introduction to the three dimensional Dirac equation that describes an electron interacting with a magnetic field. Over the years a lot of work has gone into constructing zero energy solutions, also known as zero modes, for said equation. In this talk I will explain the importance of zero modes e.g. I will show how they relate to the stability of the hydrogen atom. After presenting explicit examples, I will state necessary conditions for the magnetic field so that zero modes exist. Here, of particular interest is a sharp inequality that is optimized by a magnetic field whose field lines are interlinking circles. This inequality relates to sharp inequalities for spinors of which some more examples will be given.

_____________________

Invited by Prof. Christian Hainzl

Quantum mechanics, now about a century old, is a very successful physical theory of matter on a small scale. From its first description until today, it has surprised scientists and laypersons alike by the strange behaviour it attributes to particles, atoms, and molecules. This behaviour can be characterized by the keywords Uncertainty, Superposition, and Entanglement. It took about sixty years before it was realized that these three characteristics do not just express a certain vagueness and strangeness of matter on a small scale but can actually be USEd to our advantage. In 1994 Peter Shor made this idea concrete by devising an algorithm that would enable large arrays of quantum systems to perform specific calculations (factoring large integers), which are impossible to do in practice on any classical device. With this algorithm, present-day cryptographic schemes can be broken, provided such "quantum computers” can be made to work. Starting from a discussion of the "two-slit experiment”, we sketch the working of Shor's algorithm and discuss the possibilities of future quantum computers.

About the speaker: Hans Maassen is a dutch mathematical physicist and emeritus professor specializing in quantum probability and quantum information theory. Standing out among his discoveries is the entropic uncertainty relation, named after himself and Jos Uffink, a fundamental  inequality in quantum mechanics.

This talk is open to the general public and all interested persons, and is presented by the SFB TRR352 "Mathematics of Many-Body Quantum systems and their collective phenomena" in cooperation with the TUM-IAS Workshop "Beyond IID in Information Theory".