Um einen Computer zu bauen, der Probleme lösen kann, die jenseits der Reichweite heutiger Maschinen liegen, müssen Wissenschaftler zuerst ein Problem der Fragilität lösen. Quantencomputer verlassen sich auf empfindliche Materiezustände, die bei der geringsten Störung in Rauschen kollabieren, ganz ähnlich wie ein Kartenhaus in einer Brise. Um dies zu verhindern, nutzen Forscher eine Strategie namens Quantenfehlerkorrektur, bei der Informationen nicht in einem einzelnen Teilchen, sondern im kollektiven Verhalten vieler Teilchen versteckt werden, die in einem spezifischen Muster angeordnet sind. Die vielversprechendste Version dieser Strategie stützt sich auf die Topologie, einen Zweig der Mathematik, der Eigenschaften von Formen untersucht, die unverändert bleiben, selbst wenn die Form gedehnt oder verdreht wird. In dieser Sichtweise wird Information in den globalen Verbindungen eines Systems gespeichert und nicht in lokalen Details, was sie von Natur aus resistent gegen die kleinen, lokalen Fehler macht, die Standardcomputer plagen. Einer der führenden Rahmenbedingungen für diesen Ansatz ist das Kitaev-Quanten-Doppelmodell, ein theoretisches Gitter, in dem Teilchen nach den Regeln einer endlichen Gruppe interagieren – einer mathematischen Struktur, die Symmetrie beschreibt. Innerhalb dieses Gitters verhalten sich Anregungen, die als Quasiteilchen bekannt sind, wie Anyonen, exotische Entitäten, die umeinander herden können, um Berechnungen durchzuführen, ohne durch ihre Umgebung leicht gestört zu werden.

Die Herausforderung bestand darin, die richtigen mathematischen Zutaten zu finden, um diese schützenden Strukturen für verschiedene Arten von Informationen zu bauen. Während einige Modelle gut für einfache Zwei-Zustands-Einheiten, sogenannte Qubits, funktionieren, war die Erstellung von Systemen, die komplexere Informationen halten können – bekannt als Qudits –, schwierig. Eine neue Studie von Naihong Hu und Futao Wang liefert einen allgemeinen Bauplan für die Konstruktion dieser geschützten logischen Qudits innerhalb des Kitaev-Rahmens. Die Forscher entwickelten eine Methode, die auf der Darstellungstheorie endlicher Gruppen basiert, einem Zweig der Mathematik, der klassifiziert, wie Symmetriegruppen auf Vektorräumen wirken können. Sie identifizierten eine spezifische Bedingung, die sie eine stabile Darstellung nennen, die es einer Gruppe ermöglicht, einen geschützten logischen Raum der gewünschten Größe zu unterstützen. Durch das Finden von Gruppen, die diese Bedingung erfüllen, bewiesen sie, dass es möglich ist, ein System zu konstruieren, in dem Information auf eine Weise kodiert ist, die gegenüber lokalen Fehlern immun ist, vorausgesetzt, das System verbleibt in seinem niedrigsten Energiezustand.

Der Kern der Entdeckung liegt darin, wie die Forscher die Symmetrie des Systems manipulieren. Sie zeigten, dass, wenn eine Gruppe über eine bestimmte Art von Symmetrieoperation mit einer spezifischen Ordnung verfügt, diese verwendet werden kann, um einen logischen Raum mit einer passenden Anzahl von Dimensionen zu erzeugen. Beispielsweise demonstrierten sie, dass die symmetrischen Gruppen, welche alle möglichen Arten beschreiben, eine Menge von Objekten neu anzuordnen, verwendet werden können, um geschützte Zwei-Zustands-Einheiten, oder Qubits, für jede Anzahl von Objekten größer als zwei zu erzeugen. Überraschenderweise fanden sie heraus, dass die alternierende Gruppe von vier Elementen, eine spezifische Symmetriegruppe, natürlich eine Drei-Zustands-Einheit, oder ein Qutrit, unterstützt. Dies ist signifikant, da Qutrits einen reicheren Informationsraum als Qubits bieten, was potenziell eine effizientere Berechnung ermöglicht. Das Team bewies weiter, dass durch die Verwendung einer spezifischen Familie von Gruppen, die aus einer Kombination kleinerer Symmetriegruppen konstruiert wurden, geschützte logische Einheiten jeder beliebigen Größe erstellt werden können, von zwei Zuständen bis hin zu jeder vom Forscher gewählten Anzahl. Dies bedeutet, dass die Methode nicht auf wenige spezifische Fälle beschränkt ist, sondern einen skalierbaren Weg zum Aufbau von Quantenspeichern verschiedener Kapazitäten bietet.

Um diese abstrakten mathematischen Erkenntnisse nutzbar zu machen, beschrieben die Autoren, wie man diese geschützten Zustände physisch manipuliert. Sie skizzierten einen Prozess unter Verwendung von bandartigen Pfaden über das Gitter, um die Quasiteilchen zu erzeugen und zu bewegen, welche die Information tragen. Durch das sorgfältige Herden dieser Pfade zeigten sie, wie man logische Operationen durchführt, wie etwa das Verschieben des Zustands der Information von einer Ebene zur nächsten. Im spezifischen Fall der Drei-Zustands-Einheit, die aus der alternierenden Gruppe abgeleitet wurde, detaillierten sie ein vollständiges Schema für universelles Quantencomputing. Dieses Schema beinhaltet die Fähigkeit, verschränkte Zustände zwischen verschiedenen Einheiten zu erzeugen und kontinuierliche Rotationen durchzuführen, die für komplexe Berechnungen notwendig sind. Sie demonstrierten, dass man durch die Messung des Zustands der Quasiteilchen an spezifischen Punkten zwischen den verschiedenen logischen Zuständen unterscheiden und Fehler korrigieren kann, die während des Prozesses aufgetreten sein könnten. Das gesamte Verfahren beruht auf der Tatsache, dass jeder Fehler, der die lokale Anordnung der Teilchen stört, sofort detektierbar ist, was es dem System ermöglicht, stabil zu bleiben.

Die Studie klärte auch die Grenzen dessen auf, was mit diesem Ansatz möglich ist. Die Forscher zeigten, dass für bestimmte Gruppen, wie etwa die alternierenden Gruppen mit fünf oder mehr Elementen, die notwendigen mathematischen Bedingungen nicht erfüllt werden können, was bedeutet, dass diese spezifischen Gruppen nicht verwendet werden können, um die beschriebenen geschützten logischen Räume zu erzeugen. Dieses negative Ergebnis ist ebenso wichtig wie die positiven Ergebnisse, da es die Grenzen definiert, in denen dieser spezifische Typ des topologischen Schutzes angewendet werden kann. Die Arbeit bestätigt, dass das Kitaev-Quanten-Doppelmodell zwar ein leistungsfähiges Werkzeug ist, die Wahl der zugrunde liegenden Symmetriegruppe jedoch entscheidend ist. Die Autoren lieferten einen strengen Beweis dafür, dass ihre Konstruktion funktioniert, und etablierten eine notwendige und hinreichende Bedingung für die Existenz dieser geschützten Zustände. Dies bewegt das Feld von einer Sammlung isolierter Beispiele hin zu einer systematischen Theorie, mit der man genau vorhersagen kann, welche Gruppen welche Arten von geschützter Information liefern werden.

Die Implikationen dieser Arbeit erstrecken sich auf die Hardware, die eines Tages diese Algorithmen ausführen könnte. Indem sie ein klares Rezept für die Konstruktion logischer Qudits beliebiger Dimension bereitstellen, bietet die Studie ein neues Ziel für Experimentalisten, die topologische Quantencomputer bauen. Anstatt auf die Standard-Zwei-Zustands-Qubits beschränkt zu sein, könnten Ingenieure potenziell Systeme entwerfen, die drei, vier oder mehr Zustände pro Einheit nutzen, was die Anzahl der benötigten physischen Komponenten für eine gegebene Berechnung drastisch reduzieren könnte. Das Papier behauptet nicht, einen solchen Computer gebaut zu haben, noch simuliert es die Hardwareleistung, aber es legt das mathematische Fundament, das dafür erforderlich ist. Es beweist, dass die theoretische Maschinerie existiert, um komplexe Quanteninformation mittels der Symmetrien endlicher Gruppen zu schützen. Während der Bereich des Quantencomputings reift, wird die Fähigkeit, die richtige Symmetriegruppe passend zur gewünschten Rechenaufgabe zu wählen, wahrscheinlich zu einem Standardbestandteil des Designprozesses werden und die abstrakte Mathematik der Gruppentheorie in die physische Architektur der nächsten Generation von Computern verwandeln.