An example of universal braiding in Links--Gould topological quantum computation

Auf der Suche nach dem Bau eines Quantencomputers suchen Wissenschaftler nach Wegen, um fragile Informationen vor dem Rauschen der Außenwelt zu schützen. Ein vielversprechender Ansatz besteht darin, die Regeln der Quantenmechanik zu nutzen, um Daten nicht in statischen Teilchen zu speichern, sondern in der Art und Weise, wie diese Teilchen in Raum und Zeit miteinander verwoben sind. Stellen Sie sich eine Menge von Schnüren vor, die umeinander geflochten werden können; das spezifische Muster des Zopfes verändert den Zustand des Systems, aber da die Information in der Form des Knotens selbst gespeichert ist, ist sie von Natur aus gegen kleine Störungen geschützt. Dieses Konzept, bekannt als topologische Quantenberechnung, beruht auf exotischen Teilchen, die Anyonen genannt werden. Wenn diese Teilchen umeinander bewegt werden, führen sie Berechnungen durch, indem sie einfach den Pfaden ihrer Flechtung folgen. Die Herausforderung bestand bisher darin, ein physikalisches System zu finden, in dem diese Flechtungen jede mögliche für einen Computer benötigte Berechnung – eine Eigenschaft, die als Universalität bekannt ist – ausführen können, ohne dass die Information durch Fehler oder „Leckage“ in unerwünschte Zustände verloren geht.

Einem Team von Forschern ist es nun gelungen, zu demonstrieren, dass ein spezifischer mathematischer Rahmen, der Quanten-Supergruppen umfasst, dieses Ziel erreichen kann. Sie konzentrierten sich auf ein System, das aus Objekten aufgebaut ist, die sie „Neglectons“ nennen – spezielle Arten von Quantenrepräsentationen, die sich auf eine Weise verhalten, die sich von den gängigeren, einfacheren Modellen unterscheidet. Durch die Anordnung dieser Neglectons in einer spezifischen Sequenz und deren Verflechtung konstruierten die Forscher einen Berechnungsraum, der in der Lage ist, Informationen äquivalent zu einem Satz von Quantenbits, oder Qubits, zu halten. Ihre Arbeit beweist, dass man durch die Bewegung dieser Teilchen umeinander in präziser Weise jede gewünschte Quantenoperation mit extremer Genauigkeit approximieren kann. Entscheidend war, dass sie zeigten, dass der Berechnungsraum unter der Zopfgruppen-Aktion nicht streng abgeschlossen ist – was bedeutet, dass Leckage theoretisch möglich ist –, der Prozess jedoch kontrolliert werden kann, um sicherzustellen, dass jegliche Leckage in andere, nutzlose Zustände beliebig klein gemacht werden kann, sofern bestimmte mathematische Bedingungen hinsichtlich der Parameter des Systems erfüllt sind.

Die Forscher bauten ihr System mit einer mathematischen Struktur auf, die mit einer Quanten-Supergruppe assoziiert ist, einem komplexen algebraischen Objekt, das die vertrauten Regeln der Symmetrie in der Physik erweitert. Innerhalb dieser Struktur wählten sie spezifische Bausteine aus, die sie Neglectons nannten, um als fundamentale Einheiten ihrer Berechnung zu dienen. Diese Neglectons sind nicht einfach; sie besitzen die einzigartige Eigenschaft, dass ihr kombiniertes Verhalten eine reiche, nicht-semisimple Struktur erzeugt, was bedeutet, dass ihre Interaktionen komplexer sind als die in Standardmodellen. Das Team konzentrierte sich auf ein Szenario, in dem ein spezifischer Parameter, der die Quantennatur des Systems steuert, auf einem Kreis in der komplexen Ebene liegt, aber nicht ein einfacher Bruchteil einer vollen Drehung ist. Diese Wahl stellt sicher, dass das System in einem „typischen“ Zustand bleibt und mathematische Singularitäten vermeidet, die die Berechnung andernfalls unterbrechen würden.

Um einen funktionierenden Computer zu erschaffen, mussten die Forscher einen Raum definieren, in dem Informationen gespeichert und manipuliert werden können. Sie konstruierten diesen Raum, indem sie einen Startpunkt mit einer langen Kette von Neglecton-Teilchen verschmolzen (fusionierten). Die resultierende Struktur ermöglichte es ihnen, eine spezifische Teilmenge von Pfaden oder Fusionssequenzen zu identifizieren, die einem Satz von Qubits entsprachen. Für ein System mit einer bestimmten Anzahl von Teilchen bildete diese Teilmenge einen Raum, dessen Dimension sich mit jedem zusätzlichen Teilchen verdoppelte, was exakt den Anforderungen eines Quantencomputers mit mehreren Bits entspricht. Sie bewiesen dann, dass dieser Raum stabil und wohldefiniert ist und eine mathematische Eigenschaft besitzt, die es ihnen erlaubt, Abstände und Winkel zwischen Zuständen ohne Mehrdeutigkeit zu messen – eine Notwendigkeit für jede zuverlässige Berechnung.

Der Kern ihrer Entdeckung liegt darin, wie sie diese Teilchen bewegten. Durch das Flechten der Neglectons umeinander zeigten die Forscher, dass das System jede beliebige Einzelqubit-Operation ausführen kann, was effektiv bedeutet, den Zustand eines einzelnen Bits in jede gewünschte Position zu rotieren. Sie gingen darüber hinaus und demonstrierten, dass sie durch das Flechten zweier benachbarter Qubits ein „verschränkendes“ Gate erzeugen konnten – eine mächtige Operation, die die Zustände zweier Bits auf eine Weise miteinander verknüpft, die mit klassischer Physik unmöglich ist. Die Kombination aus diesen Einzelbit-Rotationen und den Zwei-Bit-Verschränkungs-Gates ist mathematisch ausreichend, um jede Berechnung durchzuführen, die ein Quantencomputer jemals benötigen könnte. Die Forscher verifizierten dies, indem sie zeigten, dass die Menge der Operationen, die durch ihre Flechtmuster erzeugt werden, dicht in der Gruppe aller möglichen unitären Transformationen liegt, was bedeutet, dass jede Zieloperation durch eine Sequenz von Flechtungen in jedem gewünschten Grad an Präzision approximiert werden kann.

Ein wesentlicher Aspekt ihrer Arbeit war die Methode, mit der sie diese Ergebnisse nachwiesen. Im Gegensatz zu vielen früheren Ansätzen, die die Berechnung komplexer Zwischenwerte erforderten, die als F-Matrizen bekannt sind und die rechentechnisch überwältigend und fehleranfällig sein können, entwickelten diese Forscher eine direkte Methode. Sie berechneten die Flechtmatrizen, indem sie explizit verfolgten, wie die Teilchen in die Fusionsketten einbezogen und aus ihnen herausprojiziert wurden. Dieser Ansatz ermöglichte es ihnen, die schwierigsten Teile der algebraischen Mechanik zu umgehen, indem sie sich statisch auf explizite Inklusionen und Projektionen verließen, welche die Integrität des Systems bewahrten. Sie stellten zudem sicher, dass die zur Messung der Zustände verwendete mathematische Paarung positiv und wohldefiniert blieb, wodurch gewährleistet wurde, dass der Berechnungsraum keine „Geisterzustände“ enthält, die die Information korrumpieren könnten.

Die Forscher bestätigten, dass ihre Konstruktion für jede Anzahl von Qubits funktioniert, sofern die Parameter des Systems innerhalb eines spezifischen Bereichs bleiben. Sie zeigten, dass die Flechtoperationen auf ein einzelnes Qubit oder auf ein Paar benachbarter Qubits unabhängig voneinander gesteuert werden können – eine Eigenschaft, die als Lokalität bekannt ist und für die Skalierung des Systems essenziell ist. Indem sie bewiesen, dass das System für ein und zwei Qubits universal ist, und indem sie sich auf die natürlichen Eigenschaften der Flechtung stützten, um diese Ergebnisse auf größere Ketten zu übertragen, etablierten sie, dass der gesamte Rahmen zur universellen Quantenberechnung fähig ist. Ihre Ergebnisse legen nahe, dass diese spezifische Art von topologischem System, basierend auf den Links–Gould-Invarianten und der ungerollten Quantengruppe, einen robusten und mathematisch fundierten Weg zum Bau eines fehlertoleranten Quantencomputers bietet, der in der Lage ist, die Leckage-Probleme zu minimieren, die anderen theoretischen Modellen zุgefallen sind.