Quantum Computation aus algorithmischer Sicht

Nach einer physikalischen Betrachtung der Quantenmechanik werden zunächst die benötigten mathematischen Grundlagen eingeführt bzw. wiederholt: Vektorräume, darauf aufbauend Hilberträume und die Tensorrechnung, gefolgt von den Grundlagen der Wahrscheinlichkeitsrechnung. Auf diesen Grundlagen wird ein Quantencomputer insoweit modelliert, wie es für die Formulierung von Algorithmen notwendig ist, d.h. als mathematisches Modell der Quantenbits, der Zeitentwicklung durch Gates und der abschließenden Messungen. Auf diesem Modell werden dann die klassischen Quantenalgorithmen jeweils vollständig eingeführt und erklärt. Schließlich wird die denkbare Umsetzung von Quantenalgorithmen auf heute existierende klassische Computer diskutiert.

Thomas Sturm studierte Mathematik an der TU München, wo er 1992 auch zum Dr.rer.nat. promovierte. Eine zweite Promotion zum Dr.-Ing. erhielt er 2003 an der Universität der Bundeswehr München. Von 1995 bis 2003 war er Projektwissenschaftler bei Siemens bzw. Infineon Technologies. Seit 2004 lehrt Thomas Sturm als Fachhochschulprofessor für Mathematik, insbesondere Technomathematik, an der Universität der Bundeswehr München.