Constant-rate quantum codes with low-weight stabilizers and full logical Clifford actions via transversal and fold-transversal gates
Diese Arbeit führt eine Familie von Quantencodes mit konstanter Rate und sublogarithmisch wachsenden Stabilisatorgewichten ein, die die gesamte logische Clifford-Gruppe unter Verwendung ausschließlich transversaler und falttransversaler Gates unterstützen und somit eine fehlertolerante Quantenberechnung mit geringem Platzoverhead ermöglichen.
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
Um einen Computer zu bauen, der Probleme lösen kann, die weit jenseits der Reichweite heutiger Maschinen liegen, versuchen Wissenschaftler, die seltsamen Regeln der Quantenphysik zu nutzen. Diese Maschinen verwenden Quantenbits, oder Qubits, die gleichzeitig in mehreren Zuständen existieren können, was eine immense Leistungsfähigkeit bietet. Diese Leistung hat jedoch einen fragilen Preis: Qubits sind unglaublich empfindlich gegenüber Rauschen und Fehlern. Ein einziger Fehler kann die gesamte Berechnung korrumpieren. Um dies zu beheben, verwenden Forscher Quantenfehlerkorrektur-Codes, die Informationen über viele physikalische Qubits verteilen, um ein einzelnes, stabiles „logisches“ Qubit zu erzeugen. Das Ziel besteht darin, einen Weg zu finden, diese Informationen zu schützen, ohne so viele zusätzliche physische Teile zu verwenden, dass die Maschine zu groß für den Bau wird. Darüber hinaus muss die Maschine in der Lage sein, Berechnungen auf diesen geschützten Informationen durchzuführen, ohne den Schutz zu brechen. Dies erfordert ein empfindliches Gleichgewicht: Der Code muss effizient genug sein, um auf einen Chip zu passen, aber dennoch robust genug, um den unvermeidlichen Fehlern der realen Welt zu trotzen, während er gleichzeitig dem Computer ermöglicht, nützliche Arbeit zu leisten.
Jahrelang war eine große Hürde das Finden eines Codes, der sowohl hocheffizient ist als auch in der Lage ist, eine vollständige Palette notwendiger Operationen durchzuführen, ohne zusätzliche Hilfsteile zu benötigen. Einige bestehende Methoden funktionieren gut für die Fehlerkorrektur, erfordern aber komplexe, zeitaufwendige Messungen, die neue Risiken einführen. Andere ermöglichen einfache Operationen, schützen aber nicht genügend Informationen oder erfordern so viele physische Komponenten, dass sie unpraktisch werden. Die zentrale Herausforderung bestand darin, ein System zu konstruieren, das eine hohe Rate der Informationsspeicherung mit einem vollständigen Satz logischer Werkzeuge kombiniert, während es gleichzeitig die physischen Verbindungen zwischen den Teilen einfach und den Fehlerkorrekturprozess schnell hält.
In einer neuen Studie haben Forscher eine Familie von Quantencodes konstruiert, die dieses schwierige Gleichgewicht erreicht. Sie entwickelten ein System, das eine konstante Menge an Informationen im Verhältnis zu seiner Größe speichern kann, was bedeutet, dass es keinen Platz verschwendet, wenn es größer wird. Entscheidend ist, dass dieses System jede notwendige logische Operation unter Verwendung nur einfacher, direkter Interaktionen zwischen phischen Teilen ausführen kann, ohne zusätzliche Hilfs-Qubits zu benötigen. Um jedoch die volle Bandbreite dieser Operationen zu erreichen, erfordert das System mindestens zwei zusammenarbeitende Code-Blöcke statt nur eines. Die Forscher nannten ihre Schöpfung PRISM-Codes. Diese Codes werden durch die Kombination zweier Kopien eines spezifischen Typs klassischer Codes erstellt, die aus den Symmetrien geometrischer Formen bekannt als „Buildings“ in der Mathematik abgeleitet sind. Durch das Verknüpfen dieser Strukturen schuf das Team ein Quantensystem, in dem die Verbindungen zwischen den Teilen relativ einfach bleiben, selbst wenn das System skaliert.
Die entscheidende Innovation liegt darin, wie diese Codes mit Fehlern und Operationen umgehen. Die Forscher entwarfen das System so, dass die Verbindungen zwischen den physikalischen Qubits, die zur Überprüfung von Fehlern verwendet werden, nicht überwältigend komplex werden. Zwar wächst die Anzahl der Verbindungen mit der Vergrößerung des Systems, doch wächst sie sehr langsam – so langsam, dass die Verbindungen für jede praktische Größe eines Computers handhabbar bleiben, ähnlich denen der fortschrittlichsten Fehlerkorrektursysteme, die derzeit verfügbar sind. Dies ermöglicht es dem System, auch in kleinen, frühen Versionen eine hohe Leistung aufrechtzuerhalten. Das Team demonstrierte durch Simulationen, dass diese Codes Fehler effektiv korrigieren können und dabei andere bekannte Methoden übertreffen, wenn sie die gleiche Anzahl an logischen Qubits und ähnliche Fehlerschutzstufen verwenden.
Um den Computer funktionsfähig zu machen, zeigten die Forscher, dass sie alle notwendigen logischen Operationen unter Verwendung zweier spezifischer Arten von Gates durchführen können. Die erste Art wirkt unabhängig auf einzelne physikalische Qubits und stellt sicher, dass ein Fehler an einer Stelle nicht zu anderen Stellen überträgt wird. Die zweite Art beinhaltet das Vertauschen der Positionen von Qubits und das Anwenden einfacher Operationen, eine Methode, die es dem System ermöglicht, auf eine viel breitere Palette logischer Aktionen zuzugreifen, als mit solch einfachen Werkzeugen bisher für möglich gehalten wurde. Durch die Kombination dieser beiden Methoden bewies das Team, dass sie den gesamten Satz an logischen Operationen generieren können, die für komplexe Berechnungen erforderlich sind. Dies ist ein bedeutender Schritt nach vorn, da frühere Systeme entweder nicht in der Lage waren, all diese Operationen auszuführen, oder zusätzliche Ressourcen erforderten, die den Zweck eines effizienten Codes zunichtemachten.
Die Studie befasste sich auch mit einem weit verbreiteten Missverständnis, dass hochperformante Codes auf komplexen, hochdichten Verbindungen basieren müssen. Die Forscher zeigten, dass sie durch die Nutzung der mathematischen Eigenschaften ihrer spezifischen Code-Familie in der Lage waren, einen vollständigen Satz logischer Werkzeuge bereitzustellen, während sie gleichzeitig die Verbindungen spärlich hielten. Sie merkten explizit an, dass ihre Codes zwar theoretisch gesehen nicht der streng einfachste Typ sind, sie sich aber für jede realistische Computergröße fast wie die einfachsten Typen verhalten. Die Arbeit bietet einen klaren Weg zum Bau fehlertoleranter Quantencomputer, die sowohl platzsparend als auch in der Lage sind, das volle Spektrum der für universelles Computing erforderlichen Operationen auszuführen, ohne den schweren Overhead zusätzlicher Hilfsteile.
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.