Linear-Time Encodable Quantum Codes near the CSS GV Bound

In de wereld van de computertechnologie is informatie vaak fragiel. Een enkele bit aan data, een eenvoudige 0 of 1, kan veranderen door warmte, straling of elektrische ruis, waardoor de boodschap die het draagt wordt gecorrumpeerd. Om dit tegen te gaan, gebruiken wetenschappers foutcorrigerende codes, die fungeren als een vangnet door extra bits aan informatie toe te voegen, zodat als er enkele verloren gaan of veranderen, de oorspronkelijke boodschap nog steeds kan worden hersteld. Dit concept is essentieel voor klassieke computers, maar wordt exponentieel moeilijker wanneer het wordt toegepast op quantumcomputers. Quantumbits, of qubits, zijn veel gevoeliger dan hun klassieke tegenhangers, en de regels van de quantummechanica verhinderen dat ze gekopieerd of direct gemeten kunnen worden zonder hun staat te vernietigen. Voor quantumcomputers om praktisch te worden, hebben ze codes nodig die deze delicate informatie niet alleen kunnen beschermen, maar dit ook snel kunnen doen, zonder dat daar een enorme hoeveelheid tijd of hardware voor nodig is om op te zetten.

De uitdaging is geweest om een balans te vinden tussen hoeveel informatie een code kan bevatten en hoe goed het die informatie kan beschermen. Theoretische limieten, bekend als grenzen (bounds), suggereren dat het mogelijk is om codes te hebben die zowel efficiënt als hoogwaardig beschermend zijn, maar het creëren van een fysiek systeem dat deze limieten bereikt, is een struikelblok geweest. Eerdere pogingen om snelle quantumcodes te bouwen, resulteerden vaak in systemen die ofwel te zwak waren om nuttig te zijn, ofwel te complex om te bouwen. Het doel is lang geweest om een quantumcode te construeren die de best mogelijke theoretische prestaties benadert, terwijl deze eenvoudig genoeg blijft om te worden gecodeerd door een circuit dat zowel klein als snel is.

Een onderzoeker heeft nu een nieuw type quantumcode geconstrueerd dat opmerkelijk dicht bij dit ideaal komt. Hun werk richt zich op een specifieke familie van quantumcodes, die functioneren door informatie te organiseren in twee afzonderlijke lagen van bescherming. De onderzoeker ontwierp een methode om deze codes te bouwen met een proces dat verrassend eenvoudig en snel is. In plaats van een complex, verstrengeld web van operaties, gebruikt hun systeem een rechttoe-rechte sequentie van stappen: het begint met een basisblok van informatie, herhaalt delen ervan, en vervolgens husselt en combineert het de data in een specifiek, herhalend patroon. Dit patroon omvat twee hoofdbewegingen: één die waarden optelt in een lopende totaal en een andere die het verschil tussen aangrenzende waarden berekent. Door deze acties af te wisselen met willekeurige gehusselde patronen (shuffles), versterkt het systeem het vermogen van de code om fouten te detecteren en te corrigeren.

De meest significante bevinding is dat dit eenvoudige, repetitieve proces een code produceert die bijna net zo goed is als de best mogelijke code die door de wetten van de natuurkunde wordt toegestaan. De onderzoeker bewees wiskundig dat naarmate zij het aantal keren dat zij dit husselen en combineren herhalen vergroten, het vermogen van de code om fouten te weerstaan snel verbetert en de theoretische maximale limiet nadert. In praktische termen betekent dit dat de code met slechts een paar rondes van dit proces ongelooflijk robuust wordt. Bijvoorbeeld, na slechts vier rondes van dit encodingsproces, bevindt het vermogen van de code om fouten te corrigeren zich binnen een minuscuul fractie van de absoluut beste prestatie. Na zes rondes is het vrijwel ononderscheidbaar van die perfecte limiet.

Cruciaal is dat deze hoge mate van bescherming niet ten koste gaat van snelheid of complexiteit. De onderzoeker heeft aangetoond dat hun code kan worden gecodeerd met een quantumcircuit dat zowel klein als ondiep (shallow) is. Het circuit vereist een aantal basisoperaties dat slechts lineair groeit met de omvang van de data, wat betekent dat de complexiteit niet explodeert naarmidd de data groter wordt. Bovendien groeit de diepte van het circuit, wat overeenkomt met de tijd die het kost om het uit te voeren, slechts logaritmisch. Dit is een enorme verbetering ten opzichte van eerdere methoden, die vaak circuits vereisten die te diep waren om praktisch bruikbaar te zijn voor grote hoeveelheden data. Het hele systeem kan worden gebouwd met een standaard set quantumlogische poorten, wat het een levensvatbare kandidaat maakt voor toekomstige quantumhardware.

De constructie van deze code werd geïnspireerd door een vergelijkbare techniek die in de klassieke informatica wordt gebruikt, bekend als repeat-accumulate codes, maar de onderzoeker moest de methode aanzienlijk aanpassen om in de quantumwereld te werken. Een directe vertaling van de klassieke methode faalde omdat het codes produceerde die te zwak waren om quantuminformatie te beschermen. De onderzoeker loste dit op door de standaard accumulatiestappen te verweven met een "afgeleide" stap, die het verschil tussen aangrenzende bits berekent. Deze toevoeging zorgt ervoor dat de code sterk blijft, zelfs wanneer deze vanuit het perspectief van zijn dual wordt bekeken, een noodzakelijke voorwaarde voor quantumstabiliteit. Ze vervingen ook een eenvoudige herhalingsstap door een meer geavanceerde pariteitscontrole, waardoor de code meer informatie kan dragen terwijl de beschermende kracht behouden blijft.

De onderzoeker stopte niet bij theoretische bewijzen; zij voerden ook numerieke simulaties uit om hun bevindingen te verifiëren. Deze simulaties bevestigden dat de code precies presteert zoals voorspeld, waarbij de afstand tussen geldige en ongeldige staten snel groeit naarmate het aantal encodingsrondes toeneemt. De resultaten laten zien dat de code niet slechts een theoretische curiositeit is, maar een praktische oplossing die kan worden geïmplementeerd met de huidige of nabije technologie. Het werk vertegenwoordigt een belangrijke mijlpaal, aangezien de onderzoeker de eerste is die heeft bewezen dat een quantumcode met een iteratieve encoder een goede, bijna optimale afstand (specifiek de nabijheid van de CSS GV-bound) kan bereiken voor een specifieke ensemble. Deze doorbraak suggereert dat de langdurige barrière van het creëren van snelle, hoogwaardige quantumcodes doorbraakbaar is voor specifieke ensembles, wat de deur opent naar meer betrouwbare en schaalbare quantumcomputers. Door te bewijzen dat een eenvoudig, iteratief proces bijna optimale bescherming kan bieden, heeft de onderzoeker een duidelijk pad gebaand voor de engineering van quantumsystemen die betrouwbaar in de echte wereld kunnen opereren.