Size-Consistent Quantum Chemistry on Quantum Computers

Diese Studie zeigt, dass die aktuelle Quantenhardware die Größenkonsistenz für chemisch relevante Systemgrößen bewahrt, indem sie nachweist, dass die Molekülenergien nicht-wechselwirkender H$_2$-Subsysteme bei Verwendung optimal flacher unitärer Schaltkreise für bis zu 118 Subsysteme innerhalb der chemischen Genauigkeit genau bleiben.

Das Wesentliche

Stellen Sie sich vor, Sie backen eine Charge Kekse. Wenn ein Keks 1 US-Dollar kostet, um ihn herzustellen, sollten zehn Kekse genau 10 US-Dollar kosten. Wenn Sie hundert backen, sollten es 100 US-Dollar kosten. Diese einfache Regel – dass die Gesamtkosten lediglich die Summe der einzelnen Teile sind – nennen Wissenschaftler Größenkonsistenz.

In der Welt der Quantenchemie (der Untersuchung, wie Atome und Elektronen sich verhalten) ist diese Regel entscheidend. Wenn ein Computerprogramm sagt, dass ein Molekül 10 US-Dollar kostet, aber zehn solcher Moleküle 150 US-Dollar kosten, ist das Programm defekt. Es kann nicht darauf vertraut werden, vorherzusagen, wie Chemikalien reagieren oder wie Materialien sich verhalten werden.

Lange Zeit hatten klassische Computer (die, die wir täglich verwenden) Schwierigkeiten mit dieser Regel, wenn es um sehr komplexe, „stark korrelierte" Moleküle ging. Sie begannen Fehler zu machen, sobald das System größer wurde. Quantencomputer, die die seltsamen Regeln der Physik nutzen, um Informationen zu verarbeiten, versprachen, dies zu lösen. Doch es gab einen Haken: Rauschen.

Das Problem: Das „Statische" in der Maschine

Stellen Sie sich einen Quantencomputer wie ein sehr empfindliches Musikinstrument vor. Es ist so empfindlich, dass selbst ein kleiner Luftzug (Rauschen) oder eine leichte Vibration die Stimmung verfälschen kann. Wenn Sie versuchen, ein größeres, komplexeres Lied zu spielen (ein größeres Molekül zu simulieren), benötigen Sie mehr Saiten (Qubits) und mehr Zeit zum Spielen. Je länger Sie spielen, desto wahrscheinlicher ist es, dass das Rauschen die Musik durcheinanderbringt und potenziell die Regel der „Größenkonsistenz" verletzt.

Die große Frage, die die Autoren stellten, war: Verdirbt das Rauschen auf heutigen Quantencomputern die Mathematik, sodass die „Kosten" von 10 Molekülen im Vergleich zu 1 falsch werden?

Das Experiment: Das H₂-Molekül-Lego-Set

Um dies zu testen, verwendeten die Forscher keine komplexen, realweltlichen Medikamente oder Materialien. Stattdessen nutzten sie einen einfachen, repetitiven Baustein: das Wasserstoffmolekül (H₂).

Stellen Sie sich vor, sie hätten eine riesige Kiste mit identischen Lego-Steinen.

1. Sie bauten eine Struktur mit 1 Stein.
2. Dann mit 2 Steinen.
3. Dann mit 4, 8 und bis zu 16 Steinen.
4. Entscheidend war, dass sie sicherstellten, dass die Steine sich nicht berührten. Sie saßen einfach nebeneinander da und interagierten nicht.

Da sich die Steine nicht berührten, besagt die Physik, dass die „Energie" (die Kosten) der gesamten Gruppe genau die Summe der Energie jedes einzelnen Steins sein sollte. Wenn der Quantencomputer beginnt zu driften und sagt: „Oh, 16 Steine kosten weniger als das 16-Fache eines Steins", dann hat das Rauschen das System zerstört.

Die Ergebnisse: Die Maschine hält stand

Die Forscher führten diese Simulationen auf einem echten Quantencomputer (IBMs „Fez"-Prozessor) durch und fanden einige ermutigende Nachrichten:

• Der „1-Stein"-vs. „16-Stein"-Test: Selbst mit vorhandenem Rauschen hielt der Computer die Mathematik für eine überraschend lange Zeit korrekt.
• Die Grenze: Sie berechneten, dass der Computer ein System bewältigen konnte, das 118 separate Wasserstoffmolekülen entspricht (unter Verwendung eines vereinfachten 1-Qubit-Modells) oder 71 Molekülen (unter Verwendung eines etwas komplexeren 2-Qubit-Modells), bevor das Rauschen die Mathematik aus der „chemischen Genauigkeit" (dem für die echte Chemie erforderlichen Präzisionsniveau) driften ließ.
• Die Analogie: Es ist so, als würden Sie versuchen, einen Haufen Münzen zu zählen. Selbst wenn Ihre Augen ein wenig unscharf sind (Rauschen), können Sie immer noch 100 Münzen korrekt zählen. Sie könnten beginnen, kleine Fehler zu machen, wenn Sie versuchen, 1.000.000 zu zählen, aber für die Größe der Haufen, die uns in der Chemie tatsächlich interessieren, sind die unscharfen Augen noch kein Problem.

Was ist mit den „Glitches"?

Der Artikel untersuchte auch spezifische Details, wie zum Beispiel, wie oft der Computer ein Elektron „anregte" (es in einen höheren Energiezustand versetzte).

• Für das einfachste Setup war der Computer perfekt.
• Für komplexere Setups machte der Computer manchmal kleine Fehler, wie zum Beispiel das versehentliche Zählen eines „Geister"-Elektrons oder das Übersehen eines echten.
• Die Forscher stellten jedoch fest, dass selbst bei diesen kleinen Glitches der Gesamttrend korrekt blieb. Die Fehler wurden nicht schlimmer, als das System größer wurde; sie mittelten sich tatsächlich aus. Es ist so, als ob eine Gruppe von Menschen das Gewicht einer Wassermelone schätzen würde. Manche schätzen zu hoch, andere zu niedrig. Wenn Sie mehr Menschen zur Gruppe hinzufügen, wird der Durchschnittswert genauer, nicht ungenauer.

Das Fazit

Dieser Artikel ist ein „Stresstest" für Quantencomputer. Er beweist, dass diese Maschinen trotz des aktuellen „Rauschens" und der Unvollkommenheiten der heutigen Hardware die grundlegenden Regeln der Chemie nicht brechen, wenn sie nicht-wechselwirkende Systeme simulieren.

Sie zeigten, dass wir Systeme simulieren können, die groß genug sind, um chemisch relevant zu sein (wie die erwähnten 71 oder 118 Wasserstoffmoleküle), ohne dass die Ergebnisse zu Unsinn werden. Dies ist ein entscheidender erster Schritt. Es sagt uns, dass Quantencomputer bereit sind, sich den wirklich schwierigen Problemen zu stellen – wie der Modellierung von Supraleitern oder komplexen Materialien – ohne warten zu müssen, bis „perfekte", rauschfreie Maschinen verfügbar sind. Das Fundament ist solide genug, um zu beginnen.

Technische Zusammenfassung

1. Problemstellung

Größenkonsistenz ist eine fundamentale Anforderung an Methoden der Elektronenstrukturberechnung und besagt, dass die Energie eines Systems, das aus nicht wechselwirkenden Subsystemen besteht, gleich der Summe der Energien dieser Subsysteme sein muss, wenn diese unabhängig voneinander berechnet werden. Verletzungen dieses Prinzips führen zu systematischen Fehlern, die mit der Systemgröße anwachsen und Methoden wie die abgeschnittene Konfigurationswechselwirkung (CISD) für die Modellierung von Bindungsdissoziation, Reaktionsenergien und großen periodischen Systemen (z. B. Supraleiter) ungeeignet machen.

Obwohl viele Quantenalgorithmen theoretisch größenkonsistent sind, führen Noisy Intermediate-Scale Quantum (NISQ)-Geräte Rauschen (Gatter- und Auslesefehler) ein, das mit der Schaltungstiefe und der Qubit-Anzahl skaliert. Die kritische offene Frage, die in dieser Arbeit behandelt wird, ist, ob aktuelle Quantenhardware die Größenkonsistenz trotz Rauschens bewahren kann oder ob durch Rauschen verursachte Kopplungen zwischen nominell unabhängigen Subsystemen diese fundamentale Eigenschaft degradieren und einen skalierbaren Quantenvorteil verhindern werden.

2. Methodik

Die Autoren verfolgten eine methodenneutrale Strategie, um die Auswirkungen von Hardware-Rauschen auf die Größenkonsistenz zu isolieren.

• Systemmodell: Sie simulierten zusammengesetzte Systeme, die aus einer zunehmenden Anzahl ($N$) nicht wechselwirkender Wasserstoffmoleküle ($H_2$) bestehen. Die $H_2$-Moleküle wurden in einer minimalen Basissatz (STO-3G) unter Verwendung der Full Configuration Interaction (FCI)-Wellenfunktion als exakter Grundzustand modelliert.
• Qubit-Repräsentationen: Die Studie nutzte drei verschiedene Qubit-Mappings für jedes $H_2$-Subsystem:
  1. Ein-Qubit: Reduziert durch Symmetrie ($D_{\infty h}$) und Elektronenerhaltung.
  2. Zwei-Qubit: Reduziert durch Symmetrie.
  3. Vier-Qubit: Standard-Jordan-Wigner-Transformation (ein Qubit pro Spin-Orbital).
• Schaltungskonstruktion: Optimal flache unitäre Schaltungen wurden entwickelt, um den Hartree-Fock-Referenzzustand direkt in den FCI-Grundzustand zu transformieren. Da die FCI-Wellenfunktion nicht wechselwirkender Systeme multiplikativ separierbar ist, bewahren diese unitären Schaltungen in einer rauschfreien Umgebung inhärent die Größenkonsistenz.
• Hardware und Rauschminderung: Experimente wurden auf dem IBM Q Fez-Prozessor (156 Qubits) durchgeführt. Um eine konsistente Fehlerprofilierung über verschiedene Systemgrößen hinweg zu gewährleisten, verwendeten die Autoren ein benutzerdefiniertes selektives Stichprobenverfahren. Anstatt Qubits zufällig auszuwählen, sortierten sie physikalische Qubits nach Gatter-/Auslesefehlern und wählten gezielt Teilmengen aus, um die Rauschverteilung größerer Systeme auf kleineren Subsystemen nachzubilden.
• Messung: Energien wurden mittels Quantenzustandstomographie mit einer benutzerdefinierten Pauli-Messstrategie ermittelt. Entscheidend ist, dass, da Subsysteme nicht wechselwirken, Pauli-Strings, die auf verschiedene Subsysteme wirken, kommutieren, was eine gleichzeitige Messung aller Subsysteme aus denselben Daten ermöglicht und die Anzahl der Messungen unabhängig von der Systemgröße konstant hält.

3. Hauptbeiträge

• Systematische Bewertung von Rauschen: Dies ist die erste systematische Bewertung, wie sich NISQ-Rauschen auf die Größenkonsistenz von Quantensimulationen über verschiedene Systemgrößen hinweg auswirkt.
• Quantifizierung von Skalierungsgrenzen: Die Autoren ermittelten quantitative Grenzen für die Anzahl der Subsysteme, die ein aktuelles Gerät simulieren kann, während es „chemische Genauigkeit" (1 kcal/mol) beibehält.
• Validierung von Separabilitätsbedingungen: Die Studie überprüfte sowohl additive Separabilität (Energieskalierung) als auch multiplikative Separabilität (Wellenfunktionsstruktur) unter realistischen Rauschbedingungen.
• Methodenneutrales Framework: Durch die Verwendung optimal flacher Schaltungen anstelle eines spezifischen variationalen Algorithmus (wie VQE) isoliert die Studie Hardware-Rauschen von algorithmischen Konvergenzproblemen.

4. Hauptergebnisse

Die Studie simulierte Systeme mit 1 bis 16 nicht wechselwirkenden $H_2$-Molekülen (bis zu 16 Qubits für das Ein-Qubit-Mapping).

• Energieskalierung (Additive Separabilität):
  • Ein-Qubit-Mapping: Die Energie pro $H_2$ blieb stabil mit einer Abweichung der Steigung ($\Delta$) von $8,474 \times 10^{-3}$ kcal/mol pro Qubit. Es wird geschätzt, dass das Gerät die Größenkonsistenz innerhalb der chemischen Genauigkeit für bis zu 118 $H_2$-Subsysteme (118 Qubits) bewahrt.
  • Zwei-Qubit-Mapping: Die Abweichung der Steigung betrug $-7,000 \times 10^{-3}$ kcal/mol pro Qubit. Konsistenz wird für bis zu 71 $H_2$-Subsysteme (142 Qubits) aufrechterhalten.
  • Vier-Qubit-Mapping: Diese tiefere Schaltung litt unter höherem Rauschen, was zu einem großen Fehler führte ($\Delta = 1,221 \times 10^{-1}$). Konsistenz wurde nur für 2 $H_2$-Subsysteme (8 Qubits) aufrechterhalten.
• Wellenfunktionseigenschaften (Multiplikative Separabilität):
  • Besetzungszahlen von Doppelanregungen: Die Wahrscheinlichkeit von Doppelanregungen blieb über alle Systemgrößen hinweg für alle unitären Schaltungen konstant, was die multiplikative Separabilität bestätigt. Interessanterweise erzeugten die Zwei- und Vier-Qubit-Schaltungen in Anwesenheit von Rauschen Besetzungszahlen, die näher an den exakten FCI-Werten lagen als die Ein-Qubit-Schaltung.
  • Besetzungszahlen von Einfachanregungen: Der FCI-Zustand sollte eine Besetzungszahl von Null für Einfachanregungen aufweisen. Rausch führte in den Zwei- und Vier-Qubit-Schaltungen zu nicht-null Besetzungszahlen. Das Ein-Qubit-Mapping vermied diesen Fehler jedoch aufgrund seines Kodierungsschemas natürlich.
• Fehleranalyse: Die Studie beobachtete, dass die Energievarianz (Heteroskedastizität) mit zunehmender Systemgröße abnahm. Größere Systeme mittelten individuelle Qubit-Fehler während der Tomographie inhärent heraus, während kleinere Systeme anfälliger für das spezifische Rauschprofil der wenigen verwendeten Qubits waren.

5. Bedeutung und Fazit

Das Papier zeigt, dass aktuelle Quantenhardware trotz Rauschens die Größenkonsistenz über chemisch relevante Systemgrößen hinweg bewahren kann.

• Durchführbarkeit skalierbarer Simulation: Die Erkenntnis, dass die Größenkonsistenz für bis zu etwa 100 Qubits gilt, legt nahe, dass kurzfristige Geräte in der Lage sind, stark korrelierte Materialien und fragmentierte molekulare Systeme zu simulieren, ohne die systematischen Fehler, die klassische abgeschnittene Methoden (wie CISD) plagen.
• Grundlage für Quantenvorteil: Indem bewiesen wird, dass Rauschen die fundamentalen Skalierungseigenschaften, die für die Modellierung großer Systeme erforderlich sind, nicht sofort zerstört, liefert diese Arbeit eine notwendige Voraussetzung für die Erreichung eines echten Quantenvorteils in der Quantenchemie.
• Implikationen für die Materialwissenschaft: Die Fähigkeit, nicht wechselwirkende Fragmente genau zu modellieren, ist entscheidend für die Untersuchung von Bindungsdissoziation, Reaktionsthermodynamik und periodischen Systemen (z. B. Supraleiter), die für klassische Computer aufgrund kombinatorischer Skalierung derzeit unlösbar sind.

Zusammenfassend kommen die Autoren zu dem Schluss, dass Rauschen zwar Varianz einführt, aber die größenkonsistente Eigenschaft optimal entworfener Quantenschaltungen nicht fundamental bricht, was den Weg für zuverlässige, großskalige Quantensimulationen komplexer Materie ebnet.