Quantenrauschen – oder die Unvermeidlichkeit der Fehler

Eine Herausforderung, die sich bei Quantencomputern stellt, betrifft deren Fehleranfälligkeit. Die heutigen Quantencomputer funktionieren mit einem sehr starken «Rauschen» (engl. noise), wie Fehler oder Störeinflüsse in der Fachsprache heissen. Für die Amerikanische Physikalische Gesellschaft stellt dieses Rauschen «das grösste Hindernis zur Vergrösserung und Leistungssteigerung von Quantencomputern» dar. Sowohl für die Korrektur als auch für die Vermeidung von Fehlern gibt es keine umfassende Lösung. Noch wurde kein Weg gefunden, wie man eine fehlerfreie Quanten-​Hardware herstellen könnte, und zur Implementierung einer Korrektur-​Software oder eines Korrektur-​Algorithmus sind Quantencomputer mit 50 bis 100 Qubits zu klein.

Bis zu einem gewissen Grad muss man damit leben, dass Fehler beim Quantenrechnen im Prinzip unvermeidlich sind, weil sich die Quantenzustände, die den konkreten Rechenschritten zugrunde liegen, nur mit Wahrscheinlichkeiten unterscheiden und beziffern lassen. Was sich hingegen erreichen lässt, sind Verfahren, die das Ausmass des Rauschens und der Störeinflüsse soweit begrenzen, dass die Berechnungen trotzdem zuverlässige Ergebnisse liefern. Informatiker bezeichnen ein zuverlässig funktionierendes Rechenverfahren als «robust» und sprechen in diesem Zusammenhang auch von der erforderlichen «Fehlertoleranz».

Genau das hat die Forschungsgruppe von Ce Zhang, ETH-​Informatikprofessor und Mitglied des ETH AI Centers, nun vor kurzem erforscht – gewissermassen «zufällig» während der Arbeit über die Robustheit klassischer Wahrscheinlichkeitsverteilungen und um bessere Systeme und Plattformen für maschinelles Lernen zu bauen. Zusammen mit Nana Liu, Professorin der Shanghai Jiao Tong Universität und mit Bo Li von der Universität von Illinois in Urbana-​Champaign, hat sie einen neuen Ansatz entwickelt, mit dem sie für bestimmte Quantenmodelle des maschinellen Lernens nachweislich die Robustheitsbedingungen angeben kann, unter denen gewährleistet ist, dass die Berechnung eines Quantencomputers zuverlässig erfolgt und das Ergebnis korrekt ist. Ihren Ansatz, der zu den ersten seiner Art zählt, haben die Forschenden in der Wissenschaftszeitschrift «npj Quantum Information» veröffentlicht.

«Als wir feststellten, dass die Quantenalgorithmen so wie die klassischen Algorithmen anfällig sind auf Fehler und Störungen, haben wir uns gefragt, wie wir diese Fehlerquellen und Störeinflüsse für bestimmte Aufgaben des maschinellen Lernens abschätzen sowie die Robustheit und die Zuverlässigkeit des gewählten Verfahrens gewährleisten können», sagt Zhikuan Zhao, Postdoktorand in Ce Zhangs Gruppe, «Wenn wir das wissen, können wir den Rechenergebnissen vertrauen, selbst wenn sie verrauscht sind.»

Diese Frage haben die Forschenden am Beispiel der Quantenklassifizierungsalgorithmen untersucht – schliesslich sind Fehler bei Klassifizierungsaufgaben heikel, da sie sich auf die reale Welt auswirken können, zum Beispiel wenn giftige Pilze als ungiftig klassifiziert würden. Vielleicht am wichtigsten ist, dass die ETH-​Forschenden – inspiriert von früheren Arbeiten anderer Forschenden bei der Anwendung von Hypothesentests im klassischen Bereich – mit der Theorie des Quantenhypothesentestens, mit der sich Quantenzustände unterscheiden lassen, einen Schwellenwert ermittelten, ab dem die Zuordnungen des Quantenklassifikationsalgorithmus garantiert korrekt und seine Voraussagen robust sind.

Mit ihrem Robustheits-​Verfahren können die Forschenden sogar feststellen, ob die Klassifizierung eines fehlerhaften, verrauschten Inputs dasselbe Ergebnis liefert wie ein sauberer Input. Aus ihren Erkenntnissen haben die Forschenden auch ein Schutzkonzept entwickelt, mit dem sich die Fehlertoleranz eines Berechnungsvorgangs angeben lässt, und zwar unabhängig davon, ob ein Fehler eine natürliche Ursache hat oder durch Manipulation bei einem Hackerangriff entstanden ist. Ihr Robustheitskonzept funktioniert bei Hackerangriffen und bei natürlichen Fehlern.

«Das Verfahren lässt sich auch auf eine breitere Klasse von Quantenalgorithmen anwenden», sagt Maurice Weber, Doktorand bei Ce Zhang und Erstautor der Publikation. Da der Einfluss von Fehlern beim Quantenrechnen mit der Grösse des Systems zunimmt, forschen er und Zhao nun an diesem Problem. «Wir sind optimistisch, dass sich unsere Robustheitsbedingungen als nützlich erweisen, zum Beispiel in Verbindung mit Quantenalgorithmen, die dafür entwickelt wurden, um die elektronische Struktur von Molekülen besser zu verstehen».