A Classification of Translation-Invariant Quantum Codes in Any Dimension

Om een computer te bouwen die problemen kan oplossen die buiten het bereik van de huidige machines liggen, moeten wetenschappers eerst een fundamenteel probleem oplossen: het veilig houden van delicate kwantuminformatie. Kwantumbits, of qubits, zijn ongelooflijk fragiel; het kleinste beetje ruis uit de omgeving kan de gegevens die ze bevatten verstoren. Om dit te beschermen, gebruiken onderzoekers kwantumfoutcorrigerende codes. Dit zijn geen fysieke schilden, maar wiskundige patronen die informatie over vele qubits verspreiden, waardoor het systeem fouten kan detecten en herstellen zonder de gegevens te vernietigen. Een van de meest succesvolle patronen die tot nu toe zijn ontdekt, is de surface code, die qubits rangschikt op een plat, tweedimensionaal rooster. Deze code is al decennia lang de ruggengraat van fouttolerante kwantumcomputerontwerpen omdat het robuust en relatief eenvoudig te implementeren is. Echter, naarmate wetenschappers kijken naar krachtigere machines, verkennen ze codes die werken in hogere dimensies, in de hoop patronen te vinden die nog betere bescherming of nieuwe mogelijkheden bieden.

De uitdaging in deze hogere dimensies is dat de regels veranderen. Terwijl tweedimensionale codes een eenvoudige, voorspelbare structuur hebben, laten driedimensionale en hoger-dimensionale ruimtes een verwarrende variëteit aan complexe patronen toe, waarvan sommige zich op manieren gedragen die de eenvoudige classificatie lijken te tarten. In een nieuwe studie hebben natuurkundigen Andrew Li en Dominic J. Williamson een specifiek hoekje van dit complexe landschap in kaart gebracht. Ze richtten zich op een bepaald type code dat zichzelf perfect herhaalt over een rooster in een aantal dimensies, een eigenschap die bekend staat als translatie-invariantie. Door hun aandacht te beperken tot codes die gebouwd zijn vanuit een specifieke wiskundige structuur genaamd een ketencomplex (chain complex), waarbij het aantal lagen in de structuur overeenkomt met het aantal dimensies van de ruimte, ontdekten zij een verrassende orde. Ze bewezen dat alle dergelijke codes wiskundig equivalent zijn aan kopieën van één enkel, bekend patroon: de toric code. Dit resultaat betekent dat, ondanks de schijnbare complexiteit van hogere dimensies, deze specifieke familie van codes geen chaotische mix van nieuwe typen is, maar een collectie van vertrouwde, betrouwbare bouwstenen.

De onderzoekers begonnen met het definiëren van de regels van het spel. Ze beschouwden een rooster van qubits dat zich in elke richting oneindig uitstrekt, waarbij bij elk enkel punt dezelfde set regels wordt toegepast. Deze symmetrie, translatie-invariantie genoemd, is cruciaal omdat het de manier waarop deze codes worden opgebouwd en hoe ze mogelijk in een echte machine kunnen worden geïmplementeerd, vereenvoudigt. In twee dimensies was het al bekend dat elke code met deze symmetrie en een groeiend vermogen om fouten te corrigeren, in essentie slechts een stapel van de standaard toric code is. Maar wanneer de wetenschappers naar drie, vier of meer dimensies gingen, zag de situatie er veel rommeliger uit. In deze hogere dimensies zijn er veel verschillende soorten toric codes, en er zijn ook geheel andere families van codes, zoals fracton-codes, die unieke eigenschappen hebben die voorkomen dat hun ladingen vrij kunnen bewegen. Het bestaan van deze verschillende typen betekende dat een eenvoudige classificatie als onmogelijk werd beschouwd.

Li en Williamson vernauwden hun focus tot een specifieke klasse van codes afgeleid van wat zij een lengte-D ketencomplex noemen. In gewone taal betekent dit dat de wiskundige structuur die de code definieert precies evenveel lagen heeft als het aantal dimensies waarin de code leeft. Bijvoorbeeld, een code in een driedimensionale ruimte zou gebouwd zijn vanuit een structuur met drie lagen. Deze voorwaarde sluit de fracton-codes, die vertrouwen op structuren met minder lagen dan de dimensies van de ruimte, op natuurlijke wijze uit. Door deze beperking op te leggen, konden de onderzoekers een precieze vraag stellen: als we alleen naar deze specifieke, dimensie-overeenkomstige codes kijken in een aantal dimensies, vallen ze dan allemaal in dezelfde categorie?

Het antwoord dat ze vonden is een definitief ja. De auteurs toonden aan dat elke code die aan deze beschrijving voldoet, wiskundig equivalent is aan een collectie kopieën van een D-dimensionale toric code. Deze equivalentie is geen perfecte identiteit, maar een praktische. Het betekent dat als je zo'n code neemt, een paar extra qubits in een eenvoudige staat toevoegt en een lokale reeks operaties toepast, je het kunt transformeren naar een stapel toric codes. Omgekeerd kun je een stapel toric codes in elke van deze andere codes veranderen met dezelfde stappen. Dit resultaat generaliseert de bekende classificatie van tweedimensionale codes naar een aantal dimensies, mits de code aan de specifieke structurele vereisten voldoet. Het laat zien dat de complexiteit van hogere dimensies geen fundamenteel andere nieuwe typen codes creëert in deze specifieke context; in plaats daarvan creëert het simpelweg andere versies van hetzelfde vertrouwde patroon.

De studie verheldert ook wat niet in deze classificatie past. De onderzoekers merkten expliciet op dat hun resultaat niet van toepassing is op codes waar het aantal variabelen het aantal cycli overstijgt, een conditie die vaak leidt tot de immobiele ladingen die men ziet in fracton-codes. In die gevallen zijn de topologische ladingen, de entiteiten die de kwantuminformatie dragen, doorgaans op hun plaats vastgezet en kunnen ze niet vrij bewegen. Omdat de ladingen niet kunnen bewegen, zijn de wiskundige instrumenten die in dit artikel worden gebruikt niet van toepassing, en vereenvoudigen de codes niet tot kopieën van de toric code. Dit onderscheid is belangrijk omdat het de grens markeert tussen de "vloeibare" fasen van materie, waar ladingen vrij stromen, en de "fracton"-fasen, waar ze bevroren zijn.

De implicaties van dit werk zijn aanzienlijk voor de toekomst van quantumcomputing. Door te bewijzen dat deze grote familie van codes equivalent is aan de toric code, hebben de onderzoekers een duidelijk stappenplan geboden voor het begrijpen en implementeren ervan. In plaats van telkens nieuwe decoderingsstrategieën of foutcorrectietechnieken te moeten uitvinden voor elke nieuwe hoog-dimensionale code die ze ontdekken, kunnen ingenieurs vertrouwen op de uitgebreide kennis die al rond de toric code is opgebouwd. De studie suggereert dat zolang een code translatie-invariant is en gebouwd is vanuit een structuur die overeenkomt met de dimensie van de ruimte, deze dezelfde fundamentele eigenschappen zal delen als de toric code. Dit omvat het vermogen om fouten te corrigeren en de aard van de kwantumfasen die ze vertegenwoordigen.

Hoewel het artikel een volledige classificatie biedt voor deze specifieke klasse van codes, erkennen de auteurs dat er nog veel vragen zijn. Ze wijzen erop dat het nog niet bekend is of dit resultaat kan worden uitgebreid naar alle translatie-invariante codes of naar codes die niet strikt translatie-invariant zijn maar nog steeds kort-bereik verbindingen hebben. Ze vragen zich ook af of vergelijkbare classificatiestellingen kunnen worden gevonden voor de meer exotische fracton-codes. Desalniettemin legt het werk een solide fundament door aan te tonen dat er in het uitgestrekte landschap van kwantumfoutcorrectie eilanden van orde zijn die volledig begrepen kunnen worden. De onderzoekers hebben aangetoond dat voor een brede en belangrijke klasse van codes de complexiteit van hogere dimensies een illusie is; onder de oppervlakte zijn de regels even eenvoudig en elegant als in twee dimensies.