Sampling hard circuits with verifiably high fidelity
Dieses Paper führt eine Methode unter Verwendung strukturierter, fehlerkorrigierter Schaltkreise ein, um gleichzeitig beweisbare rechnerische Komplexität, hochpräzise Quantenzustandserzeugung und verifizierbare Treuezertifizierung zu erreichen, was experimentell mit einem 70-Qubit-Clifford-Schaltkreis demonstriert wurde, der eine untere Schranke für die Zustands-Fidelity von 0,284 liefert.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie versuchen zu beweisen, dass ein neues, superschnelles Rennauto tatsächlich schneller ist als das weltweit beste Fahrrad. Man kann nicht einfach sagen „es sieht schnell aus“; man muss es tatsächlich gegeneinander fahren lassen. Aber hier ist der Haken: Das Rennauto ist so komplex und zerbrechlich, dass es anfängt, auseinanderzuschütteln, wenn man es zu schnell fährt, und wenn man versucht, seine Geschwindigkeit mit einer Standard-Stoppuhr zu messen, könnte die Stoppuhr selbst kaputtgehen oder ein falsches Ergebnis liefern. Dies ist der aktuelle Stand des Quantencomputings. Wissenschaftler haben Maschinen mit Hunderten von winzigen „Qubits“ gebaut, die Berechnungen durchführen können, die für normale Computer unmöglich sind, aber diese Maschinen sind verrausscht und fehleranfällig. Die große Frage ist: Wie beweisen wir, dass wir tatsächlich eine Quantenberechnung durchführen, die ein klassischer Computer nicht kopieren könnte, ohne dass die eigenen Fehler der Maschine den Beweis ruinieren?
Um die Lösung zu verstehen, müssen wir zuerst ein paar Dinge wissen. Erstens ist „Sampling“ (Stichprobenziehung) so, als würde man einen seltsamen, mehrseitigen Würfel Millionen Male werfen, um zu sehen, welche Zahlen erscheinen. Quantencomputer sind großartig darin, diese Würfel auf eine Weise zu werfen, die für normale Computer unglaublich schwer vorherzusagen ist. Zweitens ist „Fidelity“ (Treue/Genauigkeit) nur ein schickes Wort dafür, „wie sehr das Ergebnis mit dem übereinstimmt, was wir erwartet haben“. Wenn ein Quantencomputer verrauscht ist, ist das Ergebnis eine „niedrige Fidelity“, wie ein unscharfes Foto. Drittens ist „Error Detection“ (Fehlererkennung) eine Methode, um zu prüfen, ob die Maschine einen Fehler während des Rennens gemacht hat. Wenn sie einen Fehler gemacht hat, können wir dieses spezifische Rennergebnis wegwerfen und es einfach noch einmal versuchen, wobei wir nur die sauberen Ergebnisse behalten. Die Herausforderung bestand bisher darin, dass die Methoden, die zur Überprüfung der Maschine verwendet wurden, den Quantencomputer oft zu langsam oder zu simpel machten, um interessant zu sein, während die superkomplexen Probleme meist zu chaotisch waren, um auf Fehler überprüft werden zu können.
Dieses Paper stellt einen cleveren neuen Weg vor, um dieses Rätsel zu lösen. Die Forscher haben unter Verwendung von IBMs Quantenprozessoren eine spezielle Art von Quantenschaltkreis entwickelt, der sowohl unglaublich schwer für klassische Computer zu simulieren ist als auch über einen eingebauten „Wahrheitsdetektor“ verfügt. Sie nennen diese Methode „Doped Clifford Sampling“ (DCS). Denken Sie an einen Standard-Quantenschaltkreis als eine riesige, perfekt symmetrische Schneeflocke. Sie ist wunderschön und leicht zu beschreiben, aber ein klassischer Computer kann leicht herausfinden, wie sie aussieht. Um es schwierig zu machen, haben die Wissenschaftler die Schneeflocke mit ein paar speziellen, chaotischen Zutaten („gedopt“) – sogenannten T-Gates – versetzt, die die Symmetrie brechen. Dies macht das Muster so komplex, dass kein Supercomputer das Ergebnis vorhersagen könnte.
Der magische Trick liegt darin, wie sie das Ergebnis verifiziert haben. Normalerweise macht das Hinzufügen dieser chaotischen Zutaten es unmöglich zu überprüfen, ob die Maschine korrekt arbeitet. Aber das Team nutzte einen speziellen „Raumzeit-Code“, der wie das Einwickeln der Schneeflocke in ein schützendes, selbstprüfendes Netz funktioniert. Dieses Netz hat Sensoren (genannt „Syndromes“), die erkennen können, ob ein Teil der Schneeflocke während des Rennens zerbrochen ist. Wenn die Sensoren „alles in Ordnung“ melden, behalten sie das Ergebnis; wenn sie „beschädigt“ melden, werfen sie es weg. Da die chaotischen Zutaten an sehr spezifischen Stellen hinzugefügt wurden, die das Netz nicht beschädigen, konnte das Team beweisen, dass die „alles in Ordnung“-Ergebnisse tatsächlich hochwertige Quantenzustände waren.
In ihrem Experiment bauten sie einen Schaltkreis mit 70 Qubits (den Rädern des Rennautos) und ließen ihn 70 Schritte tief laufen, wobei sie 468 dieser speziellen „chaotischen“ T-Gates hinzufügten. Sie verwendeten insgesamt 97 physische Qubits, um ihr Schutznetz zu erstellen. Nach dem Herausfiltern der Fehler gelang es ihnen, einen Quantenzustand mit einer „Fidelity-Untergrenze“ von 0,284 zu erzeugen. Das bedeutet, dass sie zu 95 % sicher sind, dass das Ergebnis, das sie erhalten haben, mindestens zu 28,4 % dem perfekten, theoretischen Ergebnis entspricht. Obwohl das niedrig klingen mag, ist es in der Welt der verrauschten Quantencomputer eine große Sache, denn es beweist, dass sie erfolgreich eine komplexe, fehlergeprüfte Berechnung durchgeführt haben, die ein klassischer Computer unmöglich fälschen könnte.
Das Team hat nicht einfach nur geraten, ob dies funktioniert; sie haben es auf verschiedene Arten validiert. Sie überprüften kleinere Versionen des Experiments, bei denen sie die Ergebnisse direkt messen konnten, und stellten fest, dass ihre Methode standhielt. Sie zeigten auch, dass das „Rauschen“ in ihrer Maschine die Funktionsweise des Schutznetzes nicht veränderte, selbst nachdem die chaotischen Zutaten hinzugefügt worden waren. Sie schätzten, dass die Simulation ihres spezifischen Experiments auf einem klassischen Computer mit der aktuellen Technologie nicht machbar wäre, und demonstrierten damit effektiv einen „Quantenvorteil“, bei dem die Quantenmaschine etwas tut, was eine klassische Maschine nicht kann, während sie gleichzeitig ein Zertifikat liefert, das besagt: „Ja, das ist echt, und hier ist der Beweis.“
Diese Arbeit ist ein bedeutender Schritt nach vorn, da sie die Lücke zwischen zwei Welten schließt: der Welt der „schwierigen“ Probleme, die Quantenüberlegenheit beweisen, und der Welt des „zuverlässigen“ Computings, das wir für die Zukunft benötigen. Sie zeigt, dass wir uns nicht zwischen dem Erledigen von etwas Unsimulierbarem und dem Durchführen von etwas entscheiden müssen, dem wir vertrauen können. Durch die Verwendung dieser strukturierten, fehlergeprüften Schaltkreise haben die Forscher eine Tür geöffnet, um tiefere, komplexere Quantenberechnungen durchzuführen, die wir tatsächlich verifizieren können, was uns dem Tag näher bringt, an dem Quantencomputer reale Probleme lösen können, ohne dass wir ihnen einfach nur ihr Wort glauben müssen.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.