Correlations decide a shallow-circuit advantage

Im Wettlauf darum zu beweisen, dass Quantencomputer Dinge tun können, die gewöhnliche Maschinen nicht können, stehen Wissenschaftler vor einem eigentümlichen Problem: Wie man das Ergebnis verifiziert, ohne der Maschine selbst zu vertrauen. Stellen Sie sich ein Gerät vor, das behauptet, ein spezifisches, komplexes Muster von Zufallszahlen zu erzeugen. Ein klassischer Computer, egal wie leistungsstark, könnte dieses Muster fälschen, wenn es ihm erlaubt wird, sich das Ergebnis anzusehen und seine Strategie anzupassen. Die Herausforderung besteht darin, einen Test zu finden, den ein klassischer Computer nicht bestehen kann, selbst wenn er die Ergebnisse sieht, vorausgesetzt, der klassische Computer ist darin beschränkt, wie viele Informationen er speichern und wie schnell er diese verarbeiten kann. Dies ist die Grenze des „Sampling-Vorteils“, bei dem es nicht nur darum geht zu zeigen, dass eine Quantenmaschine funktioniert, sondern zu beweisen, dass ihr Output fundamental unmöglich für eine eingeschränkte Klasse klassischer Computer zu imitieren ist. Der Einsatz ist hoch, denn ohne einen zuverlässigen, annahmenfreien Test bleibt der Anspruch auf Quantenüberlegenheit eine Frage des Glaubens statt der Tatsache.

Ein Team von Forschern hat nun einen solchen Test entwickelt, der nicht darauf basiert, zu messen, wie weit ein Ergebnis vom Ideal entfernt ist, sondern darauf, die verborgenen Beziehungen zwischen den Bits im Output zu überprüfen. Ihre Arbeit konzentriert sich auf einen spezifischen Typ von Quantenschaltkreis, der sehr schnell läuft und einen speziellen verschränkten Zustand von 43 Qubits als Ressource nutzt. Dieser Zustand ist wie ein einzelner, synchronisierter Schalter, der alle seine Teile gleichzeitig umlegt. Die Quantenmaschine nutzt dies, um eine Zeichenfolge von Bits zu erzeugen, wobei das letzte Bit ein Label ist, das aus dem Rest berechnet wird. Die Forscher entwarfen ein Verifizierungsprotokoll, das eine einfache Frage stellt: Stimmt das Label mit der Berechnung überein? Wenn die Maschine ehrlich ist, wird das Label fast jedes Mal übereinstimmen. Wenn ein klassischer Computer versucht abzuweichen, wird er schließlich scheitern, aber die Forscher mussten genau herausfinden, wie man ihn ertappt.

Das Team entdeckte, dass der Schlüssel zum Erwischen eines Abweichlers in den Korrelationen zwischen den Bits liegt, nicht nur in der allgemeinen Distanz zum Zielwert. Sie bewiesen, dass jeder klassische Computer, der in seiner Komplexität beschränkt ist, entweder das Label häufig falsch setzt oder es versäumt, eine zufällig aussehende Bitfolge zu produzieren. Diese Erkenntnis führte zu einem zweiteiligen Test. Der erste Teil zählt einfach, wie oft das Label falsch ist. Wenn die Fehlerrate zu hoch ist, wird die Maschine sofort abgelehnt. Dieser Teil des Tests ist mathematisch als optimal bewiesen und funktioniert für jede Maschine, die versucht abzuweichen, unabhängig davon, wie sie gebaut ist. Es ist eine robuste, bedingungslose Prüfung, die nur eine polynomielle Anzahl von Stichproben benötigt, um zuverlässig zu sein.

Ein kluger Abweichler könnte jedoch versuchen, das Label jedes Mal richtig zu bekommen, während er dennoch eine Zeichenfolge produziert, die nicht wirklich zufällig ist. Um dies zu erfassen, entwickelten die Forscher eine zweite Ebene der Überprüfung, eine Reihe von fünf verschiedenen „Türen“, durch die der Output gehen muss. Vier dieser Türen betrachten allgemeine Eigenschaften der Zeichenfolge, wie etwa, ob die Bits gleichmäßig verteilt sind oder ob die Zeichenfolge einen bestimmten mathematischen Rang besitzt. Die Fors 아닌 Forscher zeigten durch rigorose Konstruktion, dass ein klassischer Computer diese vier Türen passieren könnte, während er dennoch ein Fälscher bleibt. Sie bauten ein spezifisches Beispiel einer klassischen Maschine, die alle vier Prüfungen überlistete, und bewiesen damit, dass diese Standardtests allein unzureichend waren.

Der Durchbruch kam mit der fünften Tür, die nach etwas Subtilerem sucht: den spezifischen, quantisierten Korrelationen zwischen Paaren von Bits. Im Gegensatz zu den anderen Prüfungen, die die Zeichenfolge als Ganzes betrachten, untersucht diese Tür, wie einzelne Bits in einer Weise miteinander in Beziehung stehen, die einzigartig für die Klasse einfacher klassischer Schaltkreise ist. Sie bewiesen, dass jede Maschine, die nur eine begrenzte Anzahl an Zufallssamen lesen kann, um ihren Output zu generieren, diese Korrelationen annehmen muss, die spezifische, diskrete Werte besitzen. Eine wahrhaft zufällige Zeichenfolge oder eine von einer Quantenmaschine erzeugte, würde diese spezifischen Werte nicht aufweisen. Durch die Überprüfung dieser Korrelationen schufen die Forscher einen Test, der den Abweichler erwischt, den die anderen vier Türen übersehen hatten.

Die Arbeit bestätigt, dass dieser kombinierte Test für eine breite Palette klassischer Maschinen funktioniert, speziell für jene, bei denen jedes Output-Bit von nur wenigen Zufallseingaben abhängt. Die Forscher nutzten einen Computer-Assistenten zur Beweisverifizierung, um jeden Schritt ihrer mathematischen Argumente zu prüfen und sicherzustellen, dass die Logik ohne Lücken hält. Sie demonstrierten zudem, dass der Test gegen eine spezifische, breite Klasse von klassischen Samplern, bekannt als „bounded pinned-residue“-Sampler, wirksam ist. Für diese Maschinen ist der Test nicht nur effektiv, sondern mathematisch garantiert.

Es gibt noch ein Puzzleteil, das ungelöst bleibt. Die Forscher identifizierten eine schmale, theoretische Lücke, in der ein sehr komplexer klassischer Computer immer noch durch das Netz gleiten könnte. Diese Lücke betrifft eine Maschine, die weit vom Ziel entfernt ist, aber ihre Zufälligkeit so streut, dass sie mit einer begrenzten Anzahl von Stichproben schwer zu entdecken ist. Obwohl sie diese Lücke noch nicht geschlossen haben, haben sie das Problem auf eine präzise, wohldefinierte Frage reduziert. Sie haben gezeigt, dass, falls diese Lücke geschlossen werden kann, der Test vollständig und annahmenfrei für alle klassischen Maschinen dieses Typs sein wird.

Die physische Anforderung für diesen Test ist überraschend bescheiden. Das Quantengerät muss einen 43-Qubit-verschränkten Zustand mit einer Fidelität von etwa 0,99 vorbereiten, was bedeutet, dass es zu 99 % korrekt ist. Dies ist ein anspruchsvolles, aber mit heutiger Technologie erreichbares Ziel, und die Vorbereitung dieses Zustands, nicht das Lesen des Outputs, ist die kritische Ressource. Der Test selbst ist rein klassisch; er erfordert lediglich das Lesen der von der Maschine produzierten Bits und deren Abgleich mit den Regeln.

Diese Arbeit stellt einen bedeutenden Schritt nach vorn bei der Verifizierung des Quantenvorteils dar. Sie bewegt das Feld weg von der Abhängigkeit von unbewiesenen Annahmen oder komplexen Gerätemodellen hin zu einem Test, der auf den fundamentalen Einschränkungen der klassischen Berechnung basiert. Indem sie bewiesen haben, dass vier natürliche Prüfungen unzureichend sind und eine fünfte bereitgestellt haben, die funktioniert, haben die Forscher einen klaren Weg aufgezeigt, um zu zertifizieren, dass ein Quantencomputer etwas tut, was ein klassischer Computer nicht kann. Das verbleibende offene Problem ist eine Frage der mathematischen Verfeinerung, nicht einer fundamentalen Barriere, und der Rahmen, den sie aufgebaut haben, bietet die Werkzeuge, um es zu lösen. Das Ergebnis ist ein Verifizierungsprotokoll, das so nah an einem definitiven Beweis ist, wie es die Wissenschaft derzeit ermöglichen kann, indem es die Struktur der Daten selbst nutzt, um die Natur der Maschine zu enthüllen, die sie produziert hat.