Local-dimension-invariant low-density parity-check stabilizer codes

Quantencomputer versprechen, Probleme zu lösen, für deren Bewältigung gewöhnliche Maschinen Jahrtausende benötigen würden, doch sie sind berüchtigt fragil. Die Informationen, die sie halten, werden durch das leiseste Flüstern von Hitze oder Vibration leicht durcheinandergebracht. Um diese empfindlichen Daten zu schützen, nutzen Wissenschaftler eine Strategie namens Fehlerkorrektur, die dadurch funktioniert, dass ein einzelnes Stück Information über viele physische Teile verteilt wird, sodass die gesamte Nachricht überlebt, wenn ein Teil ausfällt. Jahrelang wurde diese Strategie fast ausschließlich auf Zwei-Zustands-Systemen aufgebaut, die als Qubits bekannt sind und wie winzige Schalter funktionieren, die entweder an oder aus sind. Die Natur bietet jedoch mehr als nur zwei Zustände. Viele physikalische Systeme, wie etwa Lichtwellen oder vibrierende Atome, können gleichzeitig in vielen verschiedenen Zuständen existieren. Diese werden als Qudits bezeichnet. Die Nutzung dieser reichhaltigeren Systeme könnte Quantencomputer leistungsfähiger und effizienter machen, aber die Übersetzung der bewährten Sicherheitsnetze, die für Zwei-Zustands-Schalter entwickelt wurden, auf diese Multi-Zustands-Systeme war eine hartnäckige Hürde.

Die Kernschwierigkeit liegt in einer mathematischen Anforderung für die Sicherheit. Wenn Forscher versuchen, einen Code von einem Zwei-Zustands-System auf ein System mit vielen Zuständen zu übertragen, müssen sie sicherstellen, dass der Code stabil bleibt, unabhängig davon, wie viele Zustände verfügbar sind. Eine bisherige Methode existierte, um dies zu tun, aber sie kam mit einem schweren Haken: Um zu garantieren, dass der Code die Daten tatsächlich schützt, musste die Anzahl der Zustände im System eine Primzahl sein, die größer als ein massiver, oft unpraktikabler Grenzwert war. Dies bedeutete, dass die Methode für viele vielversprechende physikalische Systeme zwar theoretisch fundiert, aber praktisch nutzlos war, weil die erforderliche Anzahl an Zuständen zu hoch war, um sie zu bauen oder zu kontrollieren.

In dieser Arbeit setzten sich Forscher zum Ziel, diese unmögliche Barriere zu senken. Sie konzentrierten sich auf eine spezifische, hocheffiziente Art von Code, die als Low-Density Parity-Check-Code bekannt ist. Diese sind besonders, weil sie „dünnbesetzt“ (sparse) sind, was bedeutet, dass jedes Stück Information nur von wenigen Regeln überprüft wird, statt von einem komplexen Geflecht vieler. Durch die Konzentration auf diese dünnbesetzten Strukturen entdeckte das Team, dass der massive Grenzwert kein fundamentales Naturgesetz war, sondern ein Artefakt der Art und Weise, wie die Codes zuvor konstruiert worden waren. Sie fanden heraus, dass sie durch eine sorgfältige Neuanordnung der Vorzeichen und Verbindungen innerhalb der Codestruktur den erforderlichen Wert der Zustände drastisch reduzieren konnten. In einigen Fällen wurde die benötigte Anzahl an Zuständen auf die allererste Zahl reduziert, für die der Code konzipiert war, oder auf einen Wert, der sehr langsam wächst und unabhängig von der Größe des Computers ist.

Die Forscher fanden nicht nur eine kleinere Zahl, sondern erklärten auch, was diese Zahl in der realen Welt bedeutet. Sie zeigten, dass dieser Grenzwert direkt mit der Präzision verknüpft ist, die in physikalischen Experimenten erforderlich ist. Für Systeme, die kontinuierliche Wellen von Licht oder Schall zur Speicherung von Daten verwenden, repräsentiert diese Zahl, wie scharf die Wellen fokussiert oder „gequetscht“ (squeezed) werden müssen, um Fehler zu vermeiden. Ihre neuen, niedrigeren Zahlen implizieren, dass die physikalische Ausrüstung, die benötigt wird, um diese Codes auszuführen, nicht so perfekt oder extrem sein muss wie bisher angenommen. Dies macht den Traum, Multi-Zustands-Systeme für das Quantencomputing zu nutzen, wesentlich greifbarer.

Um dies zu erreichen, entwickelte das Team eine neue Art, diese Codes aufzubauen, die auf der spezifischen Geometrie der Verbindungen zwischen den Teilen beruht. Sie bewiesen, dass es für viele gängige Arten von Codes, insbesondere jene, die aus den einfacheren Zwei-Zustands-Systemen abgeleitet sind, möglich ist, die Komponenten so anzuordnen, dass die gefährlichen, hohen Werte einfach nicht auftreten. Sie demonstrierten, dass der Code selbst dann sicher bleibt, wenn die Verbindungen zwischen den Teilen dünnbesetzt genug sind, selbst mit einer viel kleineren Anzahl an Zuständen. Dieser Befund öffnet die Tür zur Nutzung einer breiteren Palette von physikalischen Materialien und Designs für Quantencomputer und bringt das Feld näher an Maschinen heran, die das volle Potenzial der Quantenwelt ausschöpfen können, ohne durch unmögliche mathematische Beschränkungen aufgehalten zu werden.

Die Studie untersuchte auch, wie sich diese Codes auf unterschiedlichen Formen verhalten, wie etwa auf den Oberflächen von Kugeln oder komplexeren, gekrümmten Geometrien. Sie fanden heraus, dass die neue Methode selbst auf diesen ungewöhnlichen Formen stabile Codes mit minimalen Anforderungen erzeugen kann. Dies deutet darauf an, dass der Ansatz robust und flexibel ist und in der Lage ist, sich an die vielfältigen Arten anzupassen, wie die Natur für die Berechnung genutzt werden kann. Indem sie die Notwendigkeit einer übermäßig großen Anzahl an Zuständen beseitigten, haben die Forscher effektiv einen großen Weg versperrt, indem sie einen großen Meilenstein überwanden: Sie haben einen theoretischen Möglichkeit in eine praktische Ingenieursherausforderung verwandelt, die nun in Reichweite liegt. Die Arbeit bestätigt, dass der Weg zu leistungsstarken Quantencomputern nicht durch eine unüberwindbare Wand blockiert ist, sondern durch eine Tür, die zuvor mit einem zu großen Schlüssel verschlossen war; sie haben nun einen Schlüssel geschmiedet, der passt.