Empirical Falsification of Pairwise-Only Explanations for an Engineered Parity Benchmark on a 133-Qubit Superconducting Processor

Die Studie widerlegt auf einem 133-Qubit-Superconducting-Prozessor durch den Nachweis signifikanter irreduzibler Dreier-Korrelationen die Annahme, dass Paarwechselwirkungen ausreichen, um Rauschen und Kontextstruktur in Quantenprozessoren vollständig zu beschreiben.

Das Wesentliche

Der große Test: Können wir das Chaos nur mit Paaren verstehen?

Stellen Sie sich vor, Sie haben eine riesige Gruppe von 133 Menschen (die Qubits auf dem Computerchip), die in einem Raum stehen. Die Wissenschaftler wollen herausfinden, wie diese Menschen miteinander kommunizieren.

Die gängige Annahme in der Welt der Quantencomputer ist bisher so:

„Wenn diese Leute Fehler machen oder verrückt werden, dann passiert das meistens nur zwischen zwei Personen, die sich direkt gegenüberstehen. Wenn wir also verstehen, wer mit wem spricht (Paare), dann verstehen wir das ganze Chaos."

Diese Studie von Petr Sramek sagt jedoch: „Nein, das reicht nicht!"

Die Forscher haben einen speziellen Test entwickelt, um zu beweisen, dass es Situationen gibt, in denen drei Personen gleichzeitig eine geheime Botschaft austauschen, die man gar nicht erkennen kann, wenn man nur auf Paare schaut.

Die Analogie: Das geheime Wort

Stellen Sie sich ein Spiel vor mit drei Personen: Anna, Ben und Clara.

1. Das Paar-Problem:

   • Wenn Sie nur Anna und Ben beobachten, sehen Sie: „Sie sagen zufällige Dinge." (Kein Muster).
   • Wenn Sie nur Ben und Clara beobachten, sehen Sie: „Auch nur Zufall."
   • Wenn Sie nur Anna und Clara beobachten: „Wieder Zufall."
   • Das Problem: Wenn Sie nur auf die Paare schauen, denken Sie, es passiert gar nichts. Die Information ist unsichtbar.

2. Die Lösung (Das Trio):

   • Aber! Wenn Sie alle drei gleichzeitig beobachten, merken Sie: „Aha! Wenn Anna 'Ja' sagt und Ben 'Nein', dann muss Clara 'Ja' sagen, damit die Gruppe gewinnt."
   • Die Regel existiert nur für die Dreiergruppe. Sie ist in den Paaren gar nicht enthalten.

Die Forscher haben genau dieses Szenario auf einem echten Quantencomputer (dem IBM „Torino"-Chip) programmiert. Sie haben die Maschine so eingestellt, dass sie eine solche „Dreier-Regel" befolgen muss.

Was ist passiert? (Die Ergebnisse)

Die Forscher haben zwei Dinge getan:

1. Der einfache Test (A1): Sie haben die Maschine laufen lassen. Das Ergebnis war eindeutig: Die Maschine hat die Dreier-Regel perfekt befolgt. Es gab eine starke Verbindung zwischen den drei Qubits, die man nicht durch Paare erklären konnte.
2. Der strenge Test (A1b): Kritiker könnten sagen: „Vielleicht ist ja nur einer der drei Qubits defekt und macht einen Fehler, und das sieht dann nur aus wie ein Dreier-Problem."
   • Um das auszuschließen, haben die Forscher die Rollen der Qubits getauscht (manchmal ist Qubit 1 der „Führer", dann Qubit 2, dann Qubit 3).
   • Das Ergebnis: Selbst nachdem sie alle „Einzel-Fehler" (Singletons) herausgefiltert hatten, blieb das starke Dreier-Muster bestehen!

Der entscheidende Beweis: Der „Paar-Experte" scheitert

Das Spannendste an der Studie ist der Vergleich mit einem Computerprogramm, das nur auf Paare spezialisiert ist (ein sogenanntes „Maximum-Entropy"-Modell).

• Die Erwartung: Wenn man diesem Programm alle Daten über die Paare gibt, sollte es die Dreier-Regel vorhersagen können.
• Die Realität: Das Paar-Programm hat völlig versagt. Es konnte die Ergebnisse nur zu 61 % richtig erraten (das ist kaum besser als Raten).
• Der Gewinner: Ein Programm, das auch die Dreier-Beziehungen kennt, lag zu 91 % richtig.

Die Metapher:
Stellen Sie sich vor, Sie versuchen, ein komplexes Orchester zu verstehen, indem Sie nur auf die Geige und die Trompete hören. Sie denken, das ist alles. Aber plötzlich spielt ein Schlagzeuger eine Rhythmuslinie, die nur mit der Geige und der Trompete zusammen Sinn ergibt. Wenn Sie nur auf die Paare hören, klingt das wie Rauschen. Erst wenn Sie alle drei Instrumente zusammenhören, verstehen Sie den Song.

Warum ist das wichtig?

Aktuelle Methoden, um Fehler in Quantencomputern zu korrigieren (sogenannte „Error Mitigation"), gehen davon aus, dass Fehler meist nur zwischen Paaren auftreten.

• Die Gefahr: Wenn es in der echten Welt (in unprogrammierten, komplexen Berechnungen) solche „versteckten Dreier-Regeln" gibt, dann werden die aktuellen Korrektur-Methoden blind sein. Sie werden denken, alles sei in Ordnung, weil die Paare sauber aussehen, aber das eigentliche Problem (die Dreier-Verbindung) wird ignoriert.
• Die Erkenntnis: Diese Studie beweist, dass wir aufpassen müssen. Wir können nicht einfach annehmen, dass alles nur aus Paaren besteht. Es gibt eine „höhere Ebene" der Komplexität, die wir bisher übersehen haben.

Fazit in einem Satz

Die Forscher haben bewiesen, dass Quantencomputer manchmal geheime Botschaften zwischen drei Teilen gleichzeitig senden, die man gar nicht sieht, wenn man nur auf zwei schaut – und dass unsere aktuellen Werkzeuge, die nur auf Paare achten, diese wichtigen Informationen komplett übersehen.

Technische Zusammenfassung

Titel: Empirische Fälschung von rein paarweisen Erklärungen für einen konstruierten Paritäts-Benchmark auf einem 133-Qubit-Superconducting-Prozessor

Autoren: Petr Sramek (Whytics, Cambridge, MA, USA)
Datum: März 2026
Hardware: IBM Quantum Prozessor ibm_torino (133 Qubits)

---

1. Problemstellung

Moderne Pipelines zur Charakterisierung, Verifizierung und Validierung von Quantencomputern (QCVV) sowie Protokolle zur Fehlerminderung basieren häufig auf der Annahme, dass das relevante Rauschen und die Messkontamination von Quantenbauelementen durch niedriggewichtige, überwiegend paarweise Wechselwirkungen (2-Body-Interaktionen) und Einzel-Qubit-Fehler hinreichend genau erfasst werden können.

Auf supraleitenden Architekturen wird oft angenommen, dass Resteffekte wie ZZ-Kreuztalk, Dephasierung von Spektator-Qubits und Messfehler mit dem topologischen Abstand schnell abklingen und effektiv durch Zwei-Körper-Pauli-Lindblad-Generatoren modelliert werden können.

Das Kernproblem: Diese Annahme versagt dramatisch bei makroskopischen Paritäts-ähnlichen Strukturen. In solchen Fällen können alle Einzel- und Zwei-Qubit-Randverteilungen (Marginals) vollständig uninformiert sein (maximal gemischt), während der vollständige gemeinsame Zustand dennoch stark mit dem kontextuellen Label korreliert bleibt. Bisher fehlte ein direktes Hardware-Experiment, das diese rein paarweisen Erklärungen operational widerlegt.

2. Methodik

Das Paper beschreibt ein kompaktes Hardware-Experiment, das darauf ausgelegt ist, rein paarweise Erklärungen von einer irreduzilen tripletten (3-Body) prädiktiven Struktur zu unterscheiden.

• Theoretisches Fundament:

  • Es wird eine binäre makroskopische Kontext-Label $Y \in \{0, 1\}$ definiert.
  • Die Ausgabe eines 3-Qubit-Registers ($X_1, X_2, X_3$) wird gemessen.
  • Anstelle von aufwendigen Prozess-Tensor-Tomografien wird eine klassische Möbius-Zerlegung der Teilmenge-Mutual-Informationen verwendet.
  • Die irreduzible Triplet-Komponente $f(123)$ wird berechnet als:
    $$f(123) = g(123) - \sum g(ij) + \sum g(i)$$
    wobei $g(S) = I(Y; X_S)$ die Mutual Information zwischen dem Label und der Teilmenge $S$ ist.
  • Ein Wert von $f(123) > 0$ zeigt Information an, die nur durch die gemeinsame Beobachtung aller drei Qubits zugänglich ist und nicht auf Einzel- oder Paarebene erklärt werden kann.

• Experimentelle Protokolle (A1 und A1b):

  • Plattform: IBM ibm_torino (133 Qubits, abstimmbare Koppler).
  • A1 (Baseline): Ein minimaler Hardware-Nachweis mit 16 Schaltkreisen (2 Labels, 8 Mess-Twirl-Masken). Ziel ist es, zu prüfen, ob ein Paritätssignal trotz realer Hardware-Leckagen in niedrigen Marginals einen großen tripletten Term erzeugt.
  • A1b (Loophole-Reduction): Eine strengere Variante mit 48 Schaltkreisen. Um zu verhindern, dass ein einzelnes Qubit durch statische Hardware-Asymmetrien (z. B. Resonator-Ungleichgewichte) das Label "leakt", wird die Rolle des Paritäts-Akkumulators zwischen den physikalischen Qubits $\{0, 1, 2\}$ rotiert. Dies unterdrückt Singleton-Leckagen.

• Statistische Analyse:

  • Berechnung von Mutual Information mittels Plug-in-Schätzer.
  • Unsicherheitsquantifizierung durch Bootstrap-Resampling (5.000 Replikate).
  • Signifikanztest durch Permutation (Label-Shuffle, 10.000 Shuffles).
  • Vergleich zweier klassischer Klassifikatoren: einer nur mit paarweisen Features und einer, die auch Triplet-Features nutzt.
  • Gegenmodell: Ein prinzipieller paarweiser Maximum-Entropy-Modell (Ising-Modell), das so konstruiert ist, dass es die empirischen 1- und 2-Körper-Marginals exakt nachbildet. Wenn die Hardware-Daten rein paarweise erklärbar wären, müsste dieses Surrogat-Modell die triplette Struktur reproduzieren.

3. Wichtige Ergebnisse

• A1 Baseline:

  • Beobachtung eines massiven, hochsignifikanten tripletten Signals: $f(123) = 0.72609$ Bits ($p \le 1.0 \times 10^{-4}$).
  • Die paarweise-basierte Klassifikator-Accuracy lag bei nur 0.622, während der triplette Modell 0.953 erreichte.

• A1b (Loophole-Reduction):

  • Die Singleton-Leckage wurde drastisch reduziert (maximale Randverteilungs-Differenz sank von 0.01367 auf 0.00326).
  • Der irreduzible Triplet-Term blieb robust: $f(123) = 0.56521$ Bits.
  • Die paarweise-basierte Klassifikator-Accuracy sank leicht auf 0.617, während der triplette Modell 0.910 erreichte.
  • Die Informationstheoretischen Leckagen waren extrem klein (Singleton-MI: $7.65 \times 10^{-6}$ Bits, Pair-MI: $8.42 \times 10^{-4}$ Bits).

• Widerlegung der "rein paarweisen Welt":

  • Das konstruierte paarweise Maximum-Entropy-Surrogat-Modell, das die empirischen 1- und 2-Körper-Daten perfekt nachbildet, sagt einen Triplet-Term von $\approx 6.6 \times 10^{-6}$ Bits voraus (praktisch Null).
  • Dies steht in direktem, starkem Widerspruch zu den beobachteten Hardware-Daten ($0.56521$ Bits).
  • Fazit: Die beobachtete Struktur kann nicht durch Einzel- oder Paarstatistiken erklärt werden; sie ist intrinsisch dreigliedrig.

4. Hauptbeiträge

1. Erster experimenteller Nachweis: Demonstration, dass auf aktuellen supraleitenden Prozessoren (133 Qubits) irreduzible 3-Körper-Korrelationen existieren, die durch rein paarweise Modelle nicht erfasst werden.
2. Operationaler Fälschungs-Benchmark: Einführung des A1/A1b-Protokolls als kontrolliertes "Ground-Truth"-Werkzeug, um zu testen, ob QCVV-Tools höherordentliche Strukturen erkennen können.
3. Möbius-Analyse auf Hardware: Anwendung der Möbius-Inversion auf Messdaten, um informationstheoretisch saubere Beiträge der Interaktionsordnung zu isolieren.
4. Datenverfügbarkeit: Öffentliche Bereitstellung aller Rohdaten, Schaltkreisbeschreibungen und Kalibrierungs-Snapshots (Zenodo), was eine vollständige Reproduzierbarkeit ermöglicht.

5. Bedeutung und Implikationen

• Für Fehlerminderung (Error Mitigation): Viele gängige Techniken wie Probabilistic Error Cancellation (PEC) oder Randomized Benchmarking (RB) basieren auf der Annahme, dass Rauschen durch sparse, paarweise Modelle beschreibbar ist. Dieses Experiment zeigt, dass solche Methoden "blinde Flecken" haben können. Wenn höherordentliche Korrelationen (z. B. durch parasitären Kreuztalk) natürlich auftreten, könnten sie von paarweisen Korrekturstrategien übersehen oder falsch attribuiert werden.
• Für QCVV-Pipelines: Benchmark-Suiten, die sich ausschließlich auf paarweise Total-Variations-Checks oder paarweise Feature-Decoder verlassen, sind fundamental blind für diese Klasse von kontextuellen Korrelationen.
• Einschränkungen: Die Studie gilt für einen spezifisch konstruierten Paritäts-Benchmark auf einem bestimmten Gerät und Kalibrierungstag. Sie behauptet nicht, dass alle Hardware-Rauschen 3-Körper-Natur hat, sondern dass die Annahme der rein paarweisen Erklärbarkeit in diesem Kontext empirisch widerlegt wurde.

Zusammenfassend liefert das Paper einen klaren, datengestützten Beweis dafür, dass die Komplexität heutiger Quantenhardware über einfache paarweise Wechselwirkungen hinausgeht und dass fortschrittlichere, höherordentliche Analysemethoden notwendig sind, um die tatsächliche Leistungsfähigkeit und Fehlerstruktur von Quantenprozessoren zu verstehen.