Signatures of quantum noise in the operation of Deutsch's algorithm

Dieser Artikel zeigt, dass zwar einzelne Durchläufe des Deutsch-Algorithmus unter vollständigen Quanten- und klassischen Rauschmodellen identische Ergebnisse liefern, jedoch die zweifache Ausführung des Algorithmus deutliche Unterschiede in Dekohärenzeffekten und Messergebnissen aufdeckt, ein Phänomen, das experimentell an IBM-Quantenprozessoren und Spin-Qubits von NV-Zentren verifiziert wurde.

Das Wesentliche

Die große Idee: Das „Rauschen" im Raum hören

Stellen Sie sich vor, Sie versuchen, eine geheime Nachricht mit einem Walkie-Talkie zu senden. Normalerweise machen Sie sich Sorgen, dass „Rauschen" (Störgeräusche) Ihre Nachricht unleserlich macht. In der Welt der Quantencomputer wird dieses Rauschen als Dekohärenz bezeichnet. Es entsteht, weil die winzigen Teile des Computers (Qubits) ständig mit ihrer Umgebung (der Umgebung) kollidieren, wodurch sie ihre speziellen Quanteneigenschaften verlieren.

Dieses Papier stellt eine sehr spezifische Frage: Verhält sich dieses „Rauschen" wie ein einfaches, vorhersehbares Zischen oder wie ein komplexes, lebendiges Gespräch zwischen dem Computer und seiner Umgebung?

Um dies herauszufinden, verwendeten die Forscher ein einfaches Quantenspiel namens Deutschs Algorithmus. Betrachten Sie diesen Algorithmus als einen Zaubertrick, der Ihnen sagt, ob ein versteckter Schalter „immer an" (konstant) ist oder „zufällig umschaltet" (balanciert).

Die zwei Arten des Zuhörens

Die Forscher testeten dieses Spiel auf zwei verschiedene Arten, um zu sehen, wie sich das Rauschen auf das Ergebnis auswirkt:

1. Die „klassische" Sichtweise (Die Einbahnstraße):
   Stellen Sie sich vor, die Umgebung ist eine laute Menschenmenge, die zum Computer schreit, aber der Computer kann nicht zurückschreien. Die Menge macht die Dinge nur chaotisch, und der Computer versucht, sie zu ignorieren. So modellieren die meisten Wissenschaftler normalerweise Rauschen. Sie verwenden ein Werkzeug namens „Kraus-Operatoren" (denken Sie daran als einen einfachen Filter), um das Rauschen zu simulieren.

   • Die Analogie: Es ist wie der Versuch, ein Lied zu hören, während jemand neben Ihnen ein Schlagzeug-Solo spielt. Das Trommelgeräusch wird nur lauter und chaotischer, ändert sich aber nicht basierend darauf, welches Lied Sie hören.

2. Die „quantenmechanische" Sichtweise (Die Zwei-Wege-Straße):
   In der Realität sind der Computer und die Umgebung verbunden. Wenn der Computer mit der Umgebung „spricht", antwortet die Umgebung. Das Rauschen baut eine Beziehung (Korrelation) zwischen den beiden auf.

   • Die Analogie: Es ist wie ein Tanz. Wenn Sie auf den Fuß Ihres Partners treten, reagiert dieser. Wenn er reagiert, ändern Sie Ihren Schritt. Das Rauschen ist nicht nur ein Hintergrund-Trommeln; es ist ein Partner, der Ihre Bewegungen im Gedächtnis behält und sein eigenes Verhalten daraufhin ändert.

Das Experiment: Das Spiel zweimal ausführen

Die Forscher führten den Zaubertrick (Deutschs Algorithmus) einmal aus und dann zweimal hintereinander.

• Einmal ausführen:
  Egal ob sie das „klassische" Modell oder das „quantenmechanische" Modell verwendeten, die Ergebnisse waren identisch.

  • Warum? Den Trick einmal auszuführen ist wie das Aufnehmen eines einzelnen Fotos. In einem einzelnen Schnappschuss können Sie nicht erkennen, ob das Hintergrundrauschen nur zufälliges statisches Rauschen oder ein komplexer Tanzpartner ist. Das Ergebnis sieht in beiden Fällen gleich aus.

• Zweimal ausführen:
  Hier geschah die Magie. Als sie den Algorithmus ein zweites Mal ausführten, lieferten die beiden Modelle drastisch unterschiedliche Ergebnisse, aber nur für bestimmte Arten von Problemen.

  • Szenario A: Das „balancierte" Problem (Der zufällige Schalter)
    Wenn der versteckte Schalter zufällig war, machte das zweimalige Ausführen des Spiels den Rauscheffekt im „quantenmechanischen" Modell etwas schwächer.

    • Die Metapher: Es ist wie der Versuch, durch eine Menschenmenge zu gehen. Wenn Sie einmal hindurchgehen, werden Sie angestoßen. Wenn Sie zweimal hindurchgehen, erinnert sich die Menge an Sie und weicht tatsächlich ein kleines bisschen mehr aus, was den zweiten Durchgang etwas erleichtert. Der Unterschied war da, aber er war subtil.

  • Szenario B: Das „konstante" Problem (Der immer-an-Schalter)
    Wenn der versteckte Schalter immer „an" war, war der Unterschied riesig.

    • Die Metapher: Stellen Sie sich vor, Sie versuchen, einen geheimen Code zu erraten.
      • In der klassischen Welt (einfaches Rauschen) haben Sie, wenn Sie den Test zweimal durchführen und das Rauschen total ist, eine 50/50-Chance, beim zweiten Mal die richtige Antwort zu erhalten. Es ist ein kompletter Münzwurf.
      • In der quantenmechanischen Welt (komplexes Rauschen) haben Sie, selbst wenn das Rauschen total ist, eine 75%ige Chance, zweimal dieselbe Antwort zu erhalten. Das Rauschen hat die Nachricht nicht nur durcheinandergebracht; es hat ein Muster geschaffen, bei dem sich die „falschen" Antworten gegenseitig aufheben, wodurch die „richtige" Antwort wahrscheinlicher wird.
    • Die Kernaussage: Dies ist eine „qualitative Veränderung". Das Rauschen wurde nicht nur schlimmer oder besser; es änderte die Regeln des Spiels. Sie können erkennen, dass das Rauschen „quantenmechanisch" ist, indem Sie einfach die Ergebnisse des zweiten Durchlaufs betrachten, ohne sie mit einer perfekten, rauschfreien Version vergleichen zu müssen.

Tests in der realen Welt

Die Forscher haben dies nicht nur auf dem Papier gemacht; sie testeten es an echter Hardware.

1. IBM Quantenprozessor:
   Sie führten das Experiment an einem echten supraleitenden Quantencomputer (dem ibm_marrakesh) durch. Sie bewegten die Qubits weiter auseinander, um zu ändern, wie viel Rauschen sie erfuhren.

   • Das Ergebnis: Der echte Computer verhielt sich genau so, wie das „quantenmechanische" Modell vorhersagte. Das Rauschen auf dieser Maschine verhält sich wie ein komplexer Tanzpartner, nicht wie ein einfaches statisches Zischen. Die Qubits hinterlassen ein „Gedächtnis" in der Umgebung, das den nächsten Schritt der Berechnung beeinflusst.

2. Diamant-Spins (NV-Zentren):
   Sie simulierten auch einen anderen Computertyp, der Defekte in Diamanten (Stickstoff-Leerstellen-Zentren) verwendet, die mit einer winzigen, spärlichen Umgebung aus Kohlenstoffatomen wechselwirken.

   • Das Ergebnis: Hier war die Umgebung so klein und „spärlich", dass sich das Rauschen noch seltsamer verhielt, mit Wacklern und Oszillationen. Dennoch galt die Hauptregel: Die „konstanten" Probleme zeigten eine dramatische, einzigartige Verhaltensänderung, die die „balancierten" Probleme nicht zeigten.

Zusammenfassung

Das Papier beweist, dass Rauschen in Quantencomputern nicht nur ein einfacher Fehler ist. Es ist eine komplexe Wechselwirkung, bei der sich der Computer und seine Umgebung gegenseitig beeinflussen.

• Wenn Sie einen Quantenalgorithmus einmal ausführen, können Sie keinen Unterschied zwischen einfachem Rauschen und komplexem Quantenrauschen feststellen.
• Wenn Sie ihn zweimal ausführen, offenbart sich die komplexe Natur des Rauschens, insbesondere bei bestimmten Arten von Problemen.
• Diese „Signatur" des Quantenrauschens wurde in echten IBM-Computern gefunden und beweist, dass diese Maschinen auf tiefgreifend quantenmechanische Weise mit ihrer Umgebung interagieren.

Diese Entdeckung hilft Wissenschaftlern zu verstehen, dass sie, um Fehler in Quantencomputern zu beheben, das Rauschen nicht einfach als ein statisches Zischen behandeln können; sie müssen berücksichtigen, dass das Rauschen „erinnert", was der Computer getan hat.

Technische Zusammenfassung

Technische Zusammenfassung: Signaturen von Quantenrauschen im Betrieb des Deutsch-Algorithmus

Problemstellung
Die Entwicklung skalierbarer Quantencomputer wird durch Dekohärenz behindert, insbesondere durch reine Dephasierung (PD), die den vorherrschenden Mechanismus für Festkörper-Qubits (Ladung, Spin und supraleitend) darstellt. Standardmodellierungstechniken wie Kraus-Operatoren, Quantenkanäle und Lindblad-Master-Gleichungen stützen sich typischerweise auf reduzierte Dichtematrizen. Diese Methoden gehen davon aus, dass Korrelationen zwischen dem Qubitsystem und der Umgebung schnell abklingen oder vernachlässigbar sind, wodurch sie das Aufbauen von System-Umgebungs-Verschränkung und die Rückwirkung der Qubits auf die Umgebung nicht erfassen können. Folglich können diese klassischen Rauschmodellen das Verhalten von Quantenalgorithmen nicht genau vorhersagen, wenn Rauschquellen Quantengedächtnis besitzen oder wenn der Algorithmus wiederholt ausgeführt wird. Die Autoren untersuchen, ob sich die „Quantennatur" des Rauschumfelds in den operationellen Ergebnissen eines Quantenalgorithmus manifestiert, indem sie spezifisch nach Signaturen suchen, die Quantenrauschen von klassischen Rauschmodellen unterscheiden.

Methodik
Die Studie nutzt den Deutsch-Algorithmus, eine vereinfachte Zwei-Qubit-Version des Deutsch-Jozsa-Algorithmus, als Testumgebung. Der Algorithmus bestimmt, ob eine Funktion $f(x)$ konstant oder ausgeglichen ist. Die Autoren vergleichen zwei unterschiedliche Modellierungsansätze für reine Dephasierung:

1. Quanten-Umgebungsmodell: Dieser Ansatz verfolgt die vollständige Dichtematrix der Qubits und ihrer jeweiligen Umgebungen. Er nutzt eine formale Lösung für den System-Umgebungs-Evolutionsoperator, wobei die Wechselwirkung in der Pointer-Basis diagonal ist. Diese Methode berücksichtigt explizit den Aufbau von Korrelationen und die bedingte Evolution der Umgebung basierend auf dem Qubit-Zustand.
2. Klassisches Dekohärenzmodell: Dieser Ansatz modelliert denselben Dephasierungsprozess unter Verwendung von Kraus-Operatoren (Phasendämpfungs-Kanäle). Diese Methode beschreibt die reduzierte Dichtematrix der Qubits unter der Annahme, dass System-Umgebungs-Korrelationen nachfolgende Operationen nicht signifikant beeinflussen (d. h. die Umgebung hat kein Gedächtnis).

Die Autoren analysieren den Algorithmus unter zwei Bedingungen:

• Einzelner Durchlauf: Der Algorithmus wird einmal ausgeführt.
• Doppelter Durchlauf: Der Algorithmus wird zweimal hintereinander ausgeführt. Der zweite Durchlauf beginnt mit einer bedingten Operation am ersten Qubit basierend auf dem Messergebnis des ersten Durchlaufs. Dieses Setup dient dazu zu testen, ob die Historie der System-Umgebungs-Wechselwirkung (Gedächtniseffekte) die Wahrscheinlichkeiten der Ergebnisse verändert.

Die Studie wird durch zwei Plattformen validiert:

• IBM Quantum-Prozessor: Experimente wurden auf dem ibm_marrakesh (Heron r2)-Prozessor unter Verwendung supraleitender Transmon-Qubits durchgeführt. Die Dekohärenzniveaus wurden durch Veränderung des physischen Abstands (Anzahl der dazwischenliegenden Qubits) zwischen den operativen Qubits variiert.
• NV-Zentrum-Spin-Qubits: Theoretische Simulationen wurden für Stickstoff-Fehlstellen-Zentren (NV-Zentren) in Diamant durchgeführt, die mit einer spärlichen Kernspin-Umgebung ($^{13}$C) wechselwirken. Dieses System wurde gewählt, um nicht-exponentielle Dekohärenz und Few-Body-Effekte zu untersuchen, bei denen die Umgebung klein ist und Korrelationen signifikant sind.

Hauptbeiträge und Ergebnisse

• Diskrepanz zwischen Einzel- und Doppel-Durchlauf: Die Autoren stellen fest, dass für einen einzelnen Durchlauf des Algorithmus sowohl das Quanten- als auch das klassische Modell identische Ergebnisse liefern. Die Natur des Rauschens (quantenmechanisch vs. klassisch) kann durch die Beobachtung einfacher Dekohärenz bei einer einzigen Ausführung nicht unterschieden werden. Das zweimalige Ausführen des Algorithmus enthüllt jedoch deutliche Unterschiede zwischen den beiden Modellen.
• Ausgeglichene Funktionen: Für ausgeglichene Funktionen (bei denen das Zwei-Qubit-Gatter verschränkend ist) besteht der primäre Effekt von Quantenrauschen bei einem doppelten Durchlauf in einer Verlangsamung der Dekohärenz im Vergleich zur klassischen Vorhersage. Die Wahrscheinlichkeiten der Messergebnisse klingen langsamer ab, das qualitative Verhalten bleibt jedoch ähnlich.
• Konstante Funktionen: Für konstante Funktionen (bei denen Operationen lokal sind) erzeugt das Quantenrauschen-Modell eine qualitative Änderung des Verhaltens.
  • Im klassischen Modell führt vollständige Dephasierung ($c=0$) dazu, dass sich alle bedingten Wahrscheinlichkeiten zu $1/2$ konvergieren (zufällige Ergebnisse).
  • Im Quantenmodell führt vollständige Dephasierung zu einer deutlichen Aufspaltung: Die Wahrscheinlichkeit, beim zweiten Messvorgang dasselbe Ergebnis wie beim ersten zu erhalten, steigt auf $3/4$, während die Wahrscheinlichkeit eines unterschiedlichen Ergebnisses auf $1/4$ sinkt. Dies wird auf interferenzähnliche Effekte zwischen den beiden durch die Umgebung vermittelten Dekohärenzprozessen zurückgeführt.
• Experimentelle Verifizierung (IBM Quantum): Die auf dem IBM Quantum-Prozessor erhaltenen Ergebnisse spiegeln die theoretischen Vorhersagen wider. Die Daten zeigen den charakteristischen qualitativen Shift für konstante Funktionen, was darauf hindeutet, dass das Rauschen im supraleitenden Prozessor vorwiegend reine Dephasierung ist und entscheidend quantenmechanische Eigenschaften besitzt (die Umgebung behält Informationen über den Qubit-Zustand länger als die Gate-Operationszeit). Die Näherung $d^2 \approx c^2$ (exponentieller Zerfall) hielt für dieses System gut.
• NV-Zentrum-Simulationen: Theoretische Ergebnisse für NV-Zentren, die mit einer spärlichen Kernumgebung wechselwirken, zeigten, dass, wenn die Dekohärenz nicht-exponentiell ist (d. h. $d^2 \neq c^2$), die Kurven signifikant von den vereinfachten exponentiellen Modellen abweichen. Diese Unterschiede sind bei konstanten Funktionen am ausgeprägtesten und hängen stark von der anfänglichen Polarisation der Kernumgebung ab.

Bedeutung
Die Arbeit zeigt, dass die „Quantennatur" von Umgebungsrauschen nicht nur eine theoretische Nuance ist, sondern beobachtbare Konsequenzen im Betrieb von Quantenalgorithmen hat, sofern der Algorithmus mehrfach ausgeführt wird. Die Autoren behaupten, dass für konstante Funktionen die qualitative Änderung der Messwahrscheinlichkeiten es ermöglicht, Signaturen von Quantenrauschen ohne den Bedarf an vergleichenden Daten von einer klassischen Basislinie zu beobachten. Dies impliziert, dass die Umgebung ein „Gedächtnis" des Qubit-Zustands behält und die Qubits die Umgebung in einer Weise beeinflussen, die nachfolgende algorithmische Schritte beeinflusst.

Die Ergebnisse deuten darauf hin, dass Standard-Rauschminderungsstrategien, die auf klassischen Kanalmodellen basieren, für Algorithmen, die wiederholte Operationen oder Feedback beinhalten, unzureichend sein können. Darüber hinaus könnte die Fähigkeit, Signaturen von Quantenrauschen mit einfachen Algorithmen wie dem Deutsch-Algorithmus zu unterscheiden, als Diagnosewerkzeug zur Charakterisierung der Rauscheigenschaften von Quantenprozessoren dienen, insbesondere hinsichtlich der Zeitskalen der System-Umgebungs-Informationsspeicherung. Die Studie hebt hervor, dass ausgeglichene Funktionen zwar eine quantitative Verlangsamung der Dekohärenz zeigen, konstante Funktionen jedoch einen deutlicheren, qualitativen Signaturen der Quantennatur des Rauschens bieten.