TUM – Technische Universität München Menü
Mit flüssigem Stickstoff gekühlter Hochtemperatur-Supraleiter. Die Voraussage, ob und wann ein Material supraleitend wird, hängt entscheidend davon ab, ob Anregungen Energie benötigen oder nicht. Eine Vorausberechnung dieser Eigenschaft ist jedoch schwieriger als gedacht, da sich ein zugrunde liegendes mathematisches Problem als prinzipiell unlösbar erwiesen hat. - Foto: Ulli Benz / TUM
Mit flüssigem Stickstoff gekühlter Hochtemperatur-Supraleiter. Die Voraussage, ob und wann ein Material supraleitend wird, hängt entscheidend davon ab, ob Anregungen Energie benötigen oder nicht. Eine Vorausberechnung dieser Eigenschaft ist jedoch schwieriger als gedacht, da sich ein zugrunde liegendes mathematisches Problem als prinzipiell unlösbar erwiesen hat. - Foto: Ulli Benz / TUM
Bild in höherer Qualität herunterladen
  • Forschung

Gödel und Turing in der Welt der Quantenphysik

Fundamentales Problem der Quantenphysik unlösbar

Ein vielen fundamentalen Fragen der Teilchen- und Quantenphysik zugrunde liegendes mathematisches Problem ist nachweislich unlösbar. Den Beweis dafür haben Wissenschaftler der Technischen Universität München (TUM), des University College London (UCL) und der Universidad Complutense in Madrid – ICMAT erbracht. Es ist das erste wichtige Problem der Physik, für das eine so grundlegende Einschränkung gilt. Die Ergebnisse zeigen, dass sogar eine perfekte und vollständige Beschreibung der mikroskopischen Eigenschaften eines Materials nicht ausreicht, um sein makroskopisches Verhalten vorherzusagen.

Eine kleine "spektrale Lücke" – die Energie, die benötigt wird, um ein Elektron aus dem niedrigsten Energiezustand in einen angeregten Zustand zu befördern – ist die zentrale Eigenschaft von Halbleitern. In ähnlicher Weise spielen spektrale Lücken auch bei vielen anderen Materialien eine wichtige Rolle. Schließt sich diese spektrale Lücke, das heißt, wird der Energieabstand sehr klein, können Materialien sprunghaft zu einem völlig anderen Verhalten übergehen. Ein Beispiel hierfür ist der Übergang zur Supraleitung bei tiefen Temperaturen.

Eine gängige Methode bei der Suche nach Materialien, die Strom auch bei Raumtemperatur verlustlos leiten oder andere wünschenswerte Eigenschaften besitzen, ist die mathematische Modellierung: Ausgehend von einer mikroskopischen Beschreibung des Materials wird auf die makroskopischen Eigenschaften geschlossen. Die von den Wissenschaftlern heute in Nature veröffentlichte Studie zeigt jedoch entscheidende Grenzen dieses Ansatzes. Mit ausgefeilter Mathematik bewiesen die Autoren, dass auch bei einer vollständigen mikroskopischen Beschreibung eines Quantenmaterials im Allgemeinen nicht vorhersagbar ist, ob das Material eine spektrale Lücke hat.

„Alan Turing ist berühmt für seine Rolle beim Knacken des Enigma-Codes“, sagt Co-Autor
Dr. Toby Cubitt, Informatiker am UCL. „Aber unter Mathematikern und Informatikern, er ist noch bekannter für seinen Beweis, dass bestimmte mathematische Fragen ‚unentscheidbar’ sind – sie sind weder wahr noch falsch, sondern außerhalb der Reichweite der Mathematik. Wir haben gezeigt, dass die spektrale Lücke eines dieser unentscheidbaren Probleme ist. Das bedeutet, es kann keine allgemeine Methode geben um festzustellen, ob ein quanten-mechanisch beschriebenes Material eine spektrale Lücke hat, oder nicht. Dies begrenzt die Möglichkeiten, das Verhalten von Quantenmaterialien vorherzusagen entscheidend – möglicherweise sogar grundlegende Aussagen in der Teilchenphysik.“

Eine Million Dollar zu gewinnen!

Das bekannteste Problem bezüglich spektraler Lücken ist die Frage, ob das Standardmodell der Teilchenphysik eine spektrale Lücke vorhersagt. Die „Yang-Mills-Massenlücke-Vermutung“ gilt als eines der sieben sogenannten Millenium-Probleme. Teilchenphysikalische Experimente wie CERN und numerische Rechnungen auf Supercomputern legen nahe, dass es auch hier eine spektrale Lücke gibt. Demjenigen, der dies mathematisch aus den Gleichungen des Standardmodells beweist, winkt ein Preis des Clay Mathematics Institute (USA) in Höhe von einer Million Dollar.

„In bestimmten Fällen kann ein Teilproblem lösbar sein, auch wenn das allgemeine Problem unentscheidbar ist. Den begehrten Preis könnte also noch jemand gewinnen“, sagt Dr. Cubitt. „Aber unsere Ergebnisse deuten stark darauf hin, dass einige der großen offenen Probleme der theoretischen Physik nachweislich unlösbar sein könnten.“

„Seit den Arbeiten von Turing und Gödel in den 1930er Jahren war bekannt, dass es prinzipiell unentscheidbare Probleme gibt“, sagt Michael Wolf, Professor für Mathematische Physik an der Technischen Universität München. „Bisher fanden sich solche jedoch nur in sehr abstrakten Winkeln der theoretischen Informatik und der mathematischen Logik. Niemand hätte so etwas mitten im Herzen der theoretischen Physik erwartet. Doch unsere Ergebnisse ändern dieses Bild. Aus einer mehr philosophischen Perspektive heraus betrachtet sind sie auch eine Herausfor-derung für den reduktionistischen Standpunkt: denn die unüberwindliche Schwierigkeit liegt gerade in der Herleitung der makroskopischen Eigenschaften aus einer mikroskopischen Beschreibung.“

Eine schlechte und eine gute Nachricht

„Das alles ist aber nicht nur eine schlechte Nachricht“, sagt David Pérez-García Professor an der Universidad Complutense de Madrid und am Instituto de Ciencias Matemáticas (ICMAT). „Der Grund dafür, dass dieses Problem nicht zu lösen ist, liegt darin, dass Modelle auf dieser Ebene ein extrem abnormes Verhalten zeigen. Es macht es uns unmöglich sie zu analysieren. Aber diese bizarre Verhalten zeigt auch eine sehr eigenartige, neue Physik, die niemand zuvor gesehen hat. Fügt man beispielsweise zu einem Stück Materie, egal wie groß, auch nur ein einziges Teilchen hinzu, könnte dies im Prinzip seine Eigenschaften dramatisch verändern. Neue Physik wie diese hat schon oft auch neue Technologien hervorgebracht.“

Die Forscher versuchen nun, ihre in der künstlichen Welt mathematischer Modelle gewonnenen Erkenntnisse auf reale Quantenmaterialien zu übertragen, die im Labor hergestellt werden können.

Die Forschung wurde von der John Templeton Foundation, der Royal Society (UK), dem spanischen Ministerium für Wirtschaft und Wettbewerbsfähigkeit (Mineco), der Madrider Regionalregierung und dem European Research Council (ERC) gefördert.

Publikation:

Undecidability of the spectral gap; Toby S. Cubitt, David Perez-Garcia, Michael M. Wolf;
Nature, 10.12.2015 – DOI: 10.1038/nature16059

Kontakt:

Prof. Dr. Michael M. Wolf
Technische Universität München
Boltzmannstr. 3, 85748 Garching, Germany
Tel.: +49 89 289 17002E-MailWeb

Corporate Communications Center

Technische Universität München Dr. Andreas Battenberg
battenberg(at)zv.tum.de

Weitere Artikel zum Thema auf www.tum.de:

Erster Beweis, dass Quantencomputer überlegen sind

Sie werden als die Computing-Verheißung der Zukunft gehandelt: Quantencomputer. Dass sie tatsächlich Vorteile gegenüber konventionellen Rechnern haben, haben ein Wissenschaftler der Technischen Universität München (TUM) und...

Zukunftsvision: Quantencomputer mit Chips aus Diamant und Graphen – Grafik: Christoph Hohmann / NIM

Zentrum für Quantentechnik kommt nach Garching

Auf dem Campus Garching hat sich in den letzten Jahren ein weltweit beachteter Forschungsschwerpunkt zu Quantentechnologien entwickelt. Der Wissenschaftsrat befürwortet nun ein neues Zentralinstitut der Technischen...

Eine neue Methode erlaubt, die Verschränkung von quantenmechnischen Vielteilchensystemen zu messen.

Empfindliche Quantenteilchen

Für technische Anwendungen spielt die quantenmechanische Verschränkung von Teilchen eine wichtige Rolle. Bisher war sie jedoch nur schwer experimentell messbar. Physiker der Technischen Universität München (TUM), der...

Andrew Crampton und Marian Rötzer an ihrer Vakuum-Anlage zur Herstellung ultrakleiner Katalysatorpartikel - Foto: Andreas Heddergott / TUM

Extrapolieren verboten

Zur Herstellung von Margarine werden jedes Jahr Millionen Tonnen ungesättigter Fettsäuren aus Pflanzenölen mit Wasserstoff umgesetzt. Auf der Suche nach besseren Katalysatoren für solche als Hydrierung bezeichneten...

Elektron im Quanten-Punkt, beeinflusst von Kernspins der Umgebung – Grafik: Fabian Flassig / TUM

Quantencomputer aus gängigen Halbleitermaterialien

Physiker der Technischen Universität München, des Los Alamos National Laboratory und der Universität Stanford (USA) spürten in Halbleiter-Nanostrukturen Mechanismen auf, aufgrund derer gespeicherte Informationen verloren...

Eine App liefert intuitive graphische Darstellungen von Quantenzuständen gekoppelter Spins - Bild: Steffen Glaser / TUM

Die Visualisierung der „Matrix“

Kernspintomografiebilder sind ein wichtiges Diagnoseinstrument. Der dabei erzielbare Kontrast hängt davon ab wie gut es gelingt, die den bildgebenden Signalen zugrunde liegenden Kernspins gezielt zu beeinflussen....

Jitae Park am PUMA-Dreiachsen-Spektrometer – Foto: Volker Lannert / DAAD

Neuer Fokus für Forschung an Hochtemperatur-Supraleitern

Weltweit versuchen Wissenschaftler, das Phänomen des verlustlosen Stromtransports durch Hochtemperatur-Supraleiter zu verstehen. Materialien, die diesen Effekt auch bei Raumtemperatur zeigen, hätten ein riesiges technisches...

Dreiachsen-Spektrometer PUMA im FRM II. (Foto: Wenzel Schuermann / TUM)

Supraleitung bei hohen Temperaturen

Magnetische Wechselwirkungen könnten bewirken, dass bestimmte Materialien Strom verlustfrei leiten, und zwar bei höheren Temperaturen als klassische Supraleiter wie etwa Blei. Dazu haben Wissenschaftler vom...