Puncturing for Adaptive Entanglement-Assisted Stabilizer Codes

Quantencomputer versprechen, Probleme zu lösen, die für klassische Maschinen derzeit unmöglich sind – vom Design neuer Medikamente bis hin zum Knacken komplexer Verschlüsselungen. Diese Maschinen sind jedoch unglaublich fragil. Die empfindlichen Zustände, die sie zur Speicherung von Informationen nutzen, die sogenannten Quantenzustände, werden durch das kleinste Rauschen in ihrer Umgebung leicht gestört, was zu Fehlern führen kann, die eine Berechnung zerstören. Um einen zuverlässigen Quantencomputer zu bauen, müssen Wissenschaftler Wege finden, diese Informationen zu schützen, ein Feld, das als Quantenfehlerkorrektur bekannt ist. Eine leistungsstarke Methode beinhaltet die Verwendung spezieller mathematischer Strukturen, die Stabilisator-Codes genannt werden, die wie ein Sicherheitsnetz wirken und es dem System ermöglichen, Fehler zu erkennen und zu beheben, ohne die Daten direkt anzusehen, da dies die Information zerstören würde.

Eine fortgeschrittenere Version dieses Sicherheitsnetzes, der sogenannte verschränkungsunterstützte Code (entanglement-assisted code), bietet durch die Nutzung einer Ressource namens vorab geteilte Verschränkung (pre-shared entanglement) noch größeren Schutz. Stellen Sie sich zwei Personen vor, einen Sender und einen Empfänger, die vor Beginn jeglicher Kommunikation ein Paar verknüpfter Teilchen teilen. Diese Verbindung, ein Bell-Paar, ermöglicht es ihnen, ihre Handlungen auf eine Weise zu koordinieren, die mit gewöhnlichen Teilchen unmöglich ist. Durch die Nutzung dieser vorab geteilten Verbindungen kann der Sender Informationen effizienter und mit einem stärkeren Fehlerschutz übertragen, als dies ohne sie möglich wäre. Es gibt jedoch einen Haken: Diese verschränkten Verbindungen sind schwierig herzustellen und zu speichern. Sie degradieren im Laufe der Zeit, und die Ausrüstung, die erforderlich ist, um sie aufzubewahren, ist begrenzt. Wenn der Sender und der Empfänger im Moment der Kommunikation nicht über genügend hochwertige Verbindungen verfügen, werden die leistungsfähigsten Codes unbrauchbar, was das System verwundbar macht.

Dies ist das Problem, das der Forscher Nicolai Peder Bülow Pedersen und seine Kollegen an der Universität Aalborg lösen wollten. Sie stellten die Frage, ob es möglich ist, einen einzelnen, leistungsstarken Quantencode, der für ein Szenario mit reichlich vorhandener Verschränkung entwickelt wurde, spontan an einen Kontext mit weniger Ressourcen anzupassen. Ihr Ziel war es, ein flexibles System zu schaffen, bei dem der Code seine Anforderungen so weit reduzieren kann, dass sie der aktuell verfügbaren Verschränkung entsprechen, ohne dabei die Fähigkeit zum Schutz der Daten zu verlieren. Sie fanden heraus, dass dies tatsächlich möglich ist, indem man spezifische Teile des Codes auf kontrollierte Weise entfernt – ein Prozess, den sie „Punktierung“ (puncturing) nennen –, wobei jedoch eine sorgfältige, dreistufige Strategie erforderlich ist, um sicherzustellen, dass der Schutz nicht zusammenbricht.

Die Forscher entwickelten eine Methode, um einen Code, der auf vielen verschränkten Verbindungen basiert, in eine Version zu transformieren, die einen Bindung weniger benötigt, während die Anzahl der Informationsbits und die Gesamtzahl der Übertragungsgrößen exakt gleich bleiben. Um zu verstehen, wie dies funktioniert, muss man zuerst erkennen, dass ein Code, der Verschränkung nutzt, mathematisch als ein Code umgedeutet werden kann, der gar keine Verschränkung nutzt, sondern stattdessen die andere Hälfte der verschränkten Paare beim Empfänger so behandelt, als handele es sich um zusätzliche physische Qubits, die durch den Kanal gesendet werden. Diese Umwandlung ermöglicht es dem Team, eine bekannte Technik namens Punktierung anzuwenden, bei der ein spezifisches Qubit aus dem System entfernt wird. Bei Standardcodes schwächt das Entfernen eines Qubits normalerweise den Fehlerschutz. In diesem speziellen Aufbau entfernen die Forscher jedoch ein Qubit, das sich auf der Seite des Empfängers befindet – einem Ort, der als vollkommen ruhig und frei von Rauschen vorausgesetzt wird.

Das Verfahren umfasst drei deutliche Schritte. Zuerst betrachtet das Team den verschränkungsunterstützten Code als einen Standard-Code ohne Unterstützung, bei dem jedes Qubit, einschließlich der Hälfte des Empfängers, als physisches Objekt behandelt wird. Zweitens führen sie die Punktierungsoperation auf der Empfängerseite des verschränkten Paares durch. Da dieses Qubit nicht durch den verrauschten Kanal gesendet wird, reduziert das Entfernen es nicht die Anzahl der übertragenen Bits; es bedeutet lediglich, dass der Sender nicht mehr auf diese spezifische verschränkte Verbindung angewiesen ist. Stattdessen verwendet der Sender an ihrer Stelle ein lokales, gewöhnliches Qubit. Drittens wandelt das Team den resultierenden Code zurück in das verschränkungsunterstützte Format um. Das Ergebnis ist ein neuer Code, der hinsichtlich der transportierten Information identisch funktioniert, aber eine einzige verschränkte Verbindung weniger benötigt, um zu operieren.

Die entscheidende Frage war, ob diese Anpassung die Fähigkeit des Codes beeinträchtigen würde, Fehler abzufangen. Die Forscher bewiesen, dass sich zwar die Distanz des Codes – das Maß dafür, wie viele Fehler er korrigieren kann – während dieses Prozesses ändern kann, dies aber nicht zwangsläufig schlechter wird. Sie leiteten eine mathematische Schranke ab, die zeigt, dass der Verlust an Schutz begrenzt und vorhersagbar ist. Wichtiger noch: Sie stellten spezifische Bedingungen fest, unter denen die Fähigkeit des Codes, Fehler zu korrigieren, exakt dieselbe bleibt wie vor der Entfernung der Verschränkung. Wenn diese Bedingungen erfüllt sind, kann das System eine Ressourcenanforderung senken, ohne das Sicherheitsnetz zu opfern.

Um zu sehen, wie oft dies in der Praxis funktioniert, führte das Team umfangreiche Simulationen an tausenden zufällig generierten Quantencodes durch. Sie fanden heraus, dass der verschränkungsunterstützte Code für einen signifikanten Teil dieser Codes tatsächlich einen besseren Schutz bot als die Standardversion ohne Verschränkung. Unter den Codes, die diesen Vorteil hatten, konnten etwa 81,4 Prozent mindestens einen Weg aufzeigen, ein verschränktes Paar zu entfernen und dabei das ursprüngliche Schutzniveau beizubehalten. Dies bedeutet, dass es für eine große Anzahl potenzieller Quantencodes möglich ist, sie an niedrigere Ressourcenbudgets anzupassen, ohne ihre Fehlerkorrekturkapazität zu verlieren. Die Studie zeigte auch, dass in der überwiegenden Mehrheit der Fälle, selbst wenn der Schutzpegel sank, der Verlust gering war und selten mehr als eine Einheit der Fehlerkorrekturfähigkeit überstieg.

Diese Arbeit bietet einen systematischen Weg, um eine Familie von Codes aus einem einzigen Basiskonzept zu erstellen, was es einem Quantenkommunikationssystem ermöglicht, sich der Realität begrenzter Ressourcen anzupassen. In einem realen Szenario, wenn ein Empfänger feststellt, dass seine gespeicherten verschränkten Paare degradiert sind oder die Erzeugungsrate gesunken ist, kann er zu einer punktierten Version des Codes wechseln, die weniger Verbindungen benötigt. Diese Flexibilität ist entscheidend für die Zukunft von Quantennetzwerken, in denen die Verfügbarkeit hochwertiger Verschränkung schwanken kann. Die Forscher merkten an, dass ihre Methode davon ausgeht, dass die Empfängerseite perfekt ist; in einem realen System, in dem diese Verbindungen verrauscht sein könnten, würde die Entscheidung, eine Verbindung zu entfernen, einen Kompromiss zwischen der Qualität der verbleibenden Verbindungen und der leichten Reduktion des Fehlerschutzes beinhalten. Dennoch stellt die Fähigkeit, die Ressourcenanforderungen systematisch zu senken und gleichzeitig die Leistung beizubehalten, einen bedeutenden Schritt dar, um die Quantenkommunikation robust und praktikabel zu machen.