Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

Auf der Suche nach dem Beweis, dass Quantencomputer Dinge tun können, die klassische Maschinen nicht können, haben Wissenschaftler ein spezielles digitales Experiment herangezogen: das Ausführen zufälliger Sequenzen von Operationen auf einem Quantenprozessor und das Messen der Ergebnisse. Diese Aufgabe, bekannt als Random Circuit Sampling (Zufallsschaltkreis-Sampling), gilt als Benchmark für den „Quantenvorteil“ – einen Meilenstein, bei dem ein Quantengerät die besten Supercomputer übertrifft. Die Theorie dahinter stützt sich auf ein statistisches Muster, das als Porter-Thomas-Verteilung bezeichnet wird. Stellen Sie sich das Ergebnis eines wahrhaft zufälligen Quantenprozesses als eine Landschaft von Wahrscheinlichkeiten vor; für ein perfekt zufälliges System folgt diese Landschaft einer spezifischen, vorhersehbaren Form, in der einige Ergebnisse sehr wahrscheinlich sind und andere verschwindend gering, aber das Gesamtmuster ist konsistent. Jahrelang nahmen Forscher an, dass selbst flache, unvollkommene Quantenschaltkreise schließlich zu diesem Muster finden würden, doch diese Annahme entbehrte einer strengen mathematischen Grundlage. Oh ohne Beweis blieb es eine offene Frage, ob die chaotischen, endlichen Tiefen-Schaltkreise, die wir tatsächlich in einem Labor bauen können, die ideale Zufälligkeit wirklich imitieren, die erforderlich ist, um die strengsten Tests der Quantenüberlegenheit zu bestehen.

Ein Team von Forschern an der University of Texas at Austin hat nun diesen fehlenden Beweis geliefert. Sie haben demonstriert, dass lokale Zufallsquantenschaltkreise, speziell jene, die in einem „Brickwork“-Muster (Ziegelmauer-Muster) angeordnet sind, bei denen Gates auf benachbarte Qubits in Schichten wirken, tatsächlich zur Porter-Thomas-Verteilung konvergieren. Ihre Arbeit zeigt, dass sich die statistische Ausgabe der Maschine, wenn die Tiefe des Schaltkreises – die Anzahl der Operationen in den Schichten – auf eine bestimmte polynomielle Skala erhöht, der idealen Zufallsverteilung annähert, innerhalb einer mathematisch präzisen, invers-polynomiellen Fehlerschranke in der Totalvariation-Distanz. Dieser Befund ist signifikant, da er den Linear Cross Entropy Benchmark validiert, den Standardtest, der verwendet wird, um zu zertifizieren, dass ein Quantencomputer eine Aufgabe durchgeführt hat, die für klassische Maschinen zu schwer war. Durch den Beweis, dass diese Schaltkreise sich natürlich in die erwartete statistische Form entwickeln, haben die Autoren das theoretische Fundament der jüngsten experimentellen Behauptungen des Quantenvorteils gestärkt.

Die Forscher konzentrierten sich auf eine spezifische Architektur, die als Brickwork-Schaltkreis bekannt ist, bei dem Gates in alternierenden Schichten auf Paare benachbarter Qubits angewendet werden, ähnlich wie beim Verlegen von Ziegeln in einer Mauer. Sie analysierten, wie sich die Wahrscheinlichkeit, eine bestimmte Zeichenfolge aus Nullen und Einsen zu messen, ändert, während der Schaltkreis tiefer wird. Ihre Analyse ergab, dass für Schaltkreise mit einer Tiefe, die proportional zur Anzahl der Qubits hoch einer spezifischen Potenz ist, die Verteilung der Ergebnisse mit der Porter-Thomas-Kurve übereinstimmt. Der Beweis ist keine einfache Beobachtung, sondern eine komplexe mathematische Reise, die mehrere fortgeschrittene Konzepte miteinander verbindet. Das Team musste zeigen, dass die Momente, oder statistischen Mittelwerte, der Ausgabe des Schaltkreises mit denen eines perfekt zufälligen Systems übereinstimmen, und dann beweisen, dass diese Übereinstimmung der Mittelwerte, kombiniert mit spezifischen Glattheitseigenschaften, ausreicht, um die gesamte Verteilung als naheliegend zu garantieren. Sie nutzten Techniken der komplexen Analysis und der Wahrscheinlichkeitstheorie, um die Lücke zwischen dem Wissen über einige statistische Mittelwerte und dem Wissen über die volle Form der Verteilung zu schließen, wobei sie die Tatsache überwanden, dass das Übereinstimmen endlicher Momente allein nicht ausreicht, um die Nähe von Verteilungen zu etablieren.

Ein wesentlicher Teil ihrer Entdeckung beinhaltet das Verständnis darüber, wie sich die Zufälligkeit durch den Schaltkreis ausbreitet. Sie zeigten, dass die Zufälligkeit, obwohl die Gates lokal wirken und nur auf unmittelbare Nachbarn, effizient genug propagiert, sodass das gesamte System nach einer relativ kurzen Anzahl von Schritten so agiert, als wäre es global zufällig. Das Team bewies, dass der Abstand zwischen der tatsächlichen Ausgabe dieser Schaltkreise und der idealen Porter-Thomas-Verteilung schnell schrumpft. Speziell zeigten sie, dass für einen Schaltkreis, dessen Tiefe mit der Anzahl der Qubits skaliert, der Unterschied zwischen der realen Ausgabe und dem idealen Muster verschwindend klein wird, und zwar mit einer Rate, die invers proportional zu einer Potenz der Anzahl der Qubits ist. Dies bedeutet, dass die Approximation immer präziser wird, wenn das Quantensystem größer wird, vorausgesetzt, der Schaltkreis ist tief genug.

Die Arbeit befasst sich auch mit einer subtilen, aber kritischen mathematischen Hürde. In der Wahrscheinlichkeitstheorie bedeutet das Wissen, dass zwei Verteilungen dieselben ersten paar Mittelwerte teilen, nicht automatisch, dass es sich um dieselbe Verteilung handelt; zwei unterschiedliche Formen können dieselbe durchschnittliche Höhe haben, aber ansonsten völlig verschieden aussehen. Die Forscher überwanden dies, indem sie neue Techniken entwickelten, um die „Glattheit“ der Wahrscheinlichkeitsverteilungen zu analysieren. Sie demonstrierten, dass die Ausgabe dieser Zufallsschaltkreise ausreichend glatt und wohldefiniert ist, was es ihnen ermöglichte, fortgeschrittene mathematische Werkzeuge einzusetzen, um zu bestätigen, dass die Verteilungen tatsächlich nah beieinander liegen. Dies war notwendig, da frühere Methoden nur zeigen konnten, dass die Schaltkreise bestimmte Tests wie den Linear Cross Entropy Benchmark bestanden, ohne jedoch zu beweisen, dass die zugrunde liegende Verteilung tatsächlich Porter-Thomas war. Durch die Etablierung dieser Nähe bestätigten die Autoren, dass der Benchmark ein zuverlässiger Indikator für echte Quanten-Zufälligkeit ist.

Obwohl der Beweis für ideale, rauschfreie Schaltkreise gilt, räumen die Forscher ein, dass reale Quantencomputer unter Fehlern leiden. Sie stellen fest, dass Rauschen dazu neigt, die komplexen Muster zu verwischen und die Ausgabe in Richtung einer uniformen, uninteressanten Verteilung zu treiben. Dennoch setzt ihre Arbeit einen klaren Referenzpunkt für das, was in einer perfekten Welt möglich ist. Sie legen nahe, dass die Schaltkreise immer noch das Porter-Thomas-Verhalten für eine gewisse Tiefe aufweisen sollten, bevor das Rauschen übernimmt, sofern das Rauschen ausreichend gering gehalten wird. Dies lässt die Frage offen, wie tief ein verrauschter Schaltkreis gehen kann, bevor er seinen Quantencharakter verliert, aber der neue Beweis liefert den essenziellen Referenzpunkt, um diese Frage zu beantworten. Das Ergebnis bestätigt, dass das chaotische Verhalten, das für den Quantenvorteil erforderlich ist, nicht nur eine numerische Koinzidenz ist, die in Simulationen beobachtet wurde, sondern eine fundamentale Eigenschaft dieser Quantensysteme, die rigoros bewiesen werden kann.

Die Implikationen dieser Arbeit erstrecken sich über die bloße Validierung vergangener Experimente hinaus. Indem sie bewiesen, dass polynomielle Tiefen-Schaltkreise zur Porter-Thomas-Verteilung konvergieren, haben die Forscher eine stärkere theoretische Rechtfertigung dafür geliefert, warum diese Schaltkreise klassisch schwer zu simulieren sind. Wenn die Ausgabeverteilung tatsächlich Porter-Thomas ist, impliziert dies ein hohes Maß an Entropie und Komplexität, mit denen klassische Computer Schwierigkeiten haben, sie zu replizieren. Dies verleiht den Behauptungen der Quantenüberlegenheit, die durch Experimente an Geräten mit fünfzig bis einhundert Qubits aufgestellt wurden, mehr Gewicht. Die Studie beansprucht nicht, alle Probleme auf diesem Gebiet gelöst zu haben, noch befasst sie sich mit jedem Typ von Quantenschaltkreis, aber sie schließt eine bedeutende Lücke in unserem Verständnis darüber, wie Zufälligkeit in Quantensystemen entsteht. Sie verwandelt eine weit verbreitete Überzeugung, die durch starke numerische Evidenz gestützt wird, in eine mathematische Gewissheit für eine breite Klasse von Schaltkreisen.

Letztlich klärt diese Forschung die Beziehung zwischen der physischen Struktur eines Quantencomputers und dem statistischen Verhalten seiner Ausgabe. Sie zeigt, dass die spezifische Anordnung von Gates im Brickwork-Muster ausreicht, um die komplexen, zufallsähnlichen Statistiken zu erzeugen, die für den Quantenvorteil erforderlich sind. Die Autoren stützten sich nicht auf Simulationen, um ihren Fall zu untermauern, sondern verwendeten eine Kombination aus Momenten-Grenzwerten, analytischen Schätzungen und lokalen Eigenschaften, um ein rigoroses Argument zu konstruieren. Ihre Ergebnisse legen nahe, dass der Weg zur Demonstration des Quantenvorteils nicht durch einen Mangel an theoretischem Verständnis blockiert ist, sondern durch die ingenieurtechnischen Herausforderungen beim Bau tieferer, stabilerer Schaltkreise. Für die wissenschaftliche Gemeinschaft dient diese Arbeit als Bestätigung, dass die Werkzeuge, mit denen die Quantenleistung gemessen wird, auf solider Mathematik basieren, und stärkt das Vertrauen, dass diese Maschinen tatsächlich in einem Bereich operieren, den die klassische Physik nicht ohne Weiteres erklären kann.