Low-Overhead Quantum Error Correction with Boundary-Connected Planar Modules

De droom van een praktische kwantumcomputer is gebouwd op een paradox. Deze machines beloven problemen op te lossen die voor klassieke supercomputers duizenden jaren zouden duren, van het ontwerpen van nieuwe levensreddende medicijnen tot het kraken van de codes die onze digitale wereld beschermen. Toch maakt de natuurkunde die hen krachtig maakt, hen ook ongelooflijk fragiel. De minuscule eenheden informatie die ze gebruiken, genaamd qubits, zijn zo gevoelig dat de kleinste zucht van warmte of trilling hun gegevens kan corrumperen. Om een bruikbare machine te bouwen, moeten wetenschappers deze fragiele qubits omhullen met een beschermende laag van foutcorrectie, waarbij vele fysieke qubits worden gebruikt om een enkele, stabiele "logische" qubit te creëren. Jarenlang was de leidende strategie voor deze bescherming de surface code, een methode die qubits in een plat, tweedimensionaal rooster arrangeert. Hoewel deze aanpak in theorie goed werkt, vereist het een overweldigend aantal fysieke componenten om te functioneren, wat potentieel miljoenen qubits kan vereisen voor één enkele nuttige berekening. Deze enorme vereiste heeft een flessenhals gecreëerd, aangezien het bouwen van een enkele chip met zoveel componenten waarschijnlijk onmogelijk is vanwege de beperkingen van de productie en de benodigde dichtheid van bedrading.

Een team van onderzoekers van Google Quantum AI en Google DeepMind heeft nu een manier voorgesteld om door deze flessenhals heen te breken door te veranderen hoe de computer wordt gebouwd, in plaats van alleen hoe de wiskunde werkt. In plaats van te proberen een massief, monolithisch rooster op één gigantische chip te passen, stellen zij voor om de processor te verdelen in kleinere, hanteerbare platte modules die verbonden zijn door een ijl netwerk van lange-afstandsdraden. Door deze modules in een specifiek patroon te arrangeren, creëerde het team een nieuw type foutcorrigerende code die zich gedraagt alsof hij op een gekromd, zadelvormig oppervlak leeft, ook al blijft de fysieke hardware plat. In simulaties verminderde dit modulaire ontwerp het aantal fysieke qubits dat nodig is om een enkele logische qubit te beschermen met een factor tien of meer vergeleken met de standaard surface code. Voor grotere, krachtigere systemen zou de besparing meer dan dertig keer kunnen zijn, waardoor de droom van een kwantumcomputer op utiliteitsniveau aanzienlijk dichter bij de realiteit komt.

De kern van de uitdaging ligt in de geometrie van foutcorrectie. De traditionele surface code werkt als een lappendeken op een platte tafel, waarbij elk vierkant een qubit is en de regels voor het controleren van fouten afhangen van directe buren. Dit werkt goed voor de productie, maar om het niveau van bescherming te krijgen dat nodig is voor praktische toepassingen, moet de lappendeken enorm worden, wat enorme middelen consumeert. De onderzoekers realiseerden zich dat de wiskundige regels voor betere bescherming eigenlijk afkomstig zijn van vormen met negatieve kromming, zoals een Pringles-chip of een zadel, waarbij de ruimte snel uitzet naarmate je verder van het centrum beweegt. Op een dergelijke vorm kun je veel meer logische qubits in dezelfde hoeveelheid ruimte passen. Het probleem is dat niemand een computerchip kan bouwen die de vorm heeft van een zadel; siliciumwafers zijn plat.

Om dit op te lossen, bedacht het team een manier om die gekromde geometrie te simuleren met platte stukken. Ze namen de kwantumprocessor en verdeelden deze in kleine, platte modules, die elk ongeveer honderd qubits bevatten. Deze modules zijn aan hun randen verbonden door een paar lange-afstandslinks, die fung als de "naden" tussen de stukken. Door zorgvuldig te ontwerpen hoe deze naden verbinden, bootst het hele systeem de eigenschappen van een gekromd oppervlak na. De onderzoekers ontwikkelden nieuwe families van codes, die ze modulaire hyperbolische codes noemen, die op dit virtuele gekromde oppervlak leven maar gebouwd zijn van platte, gemakkelijk te fabriceren tegels. Ze testten deze codes met gedetailleerde computersimulaties die rekening hielden met de ruis en fouten die verwacht worden in echte hardware, inclusief het feit dat de lange-afstandverbindingen tussen modules iets ruiziger kunnen zijn dan de verbindingen binnen een module.

De resultaten van deze simulaties waren opmerkelijk. Het nieuwe modulaire ontwerp bereikte hetzelfde niveau van foutbescherming als de standaard surface code, maar gebruikte veel minder fysieke qubits. In één specifief voorbeeld vonden de onderzoekers een code die een logische qubit kon beschermen met een afstand van vierentwintig, een maatstaf voor hoe goed het tegen fouten kan bestand zijn, met slechts zesendertig fysieke qubits. In contrast hiermee zou een standaard plat rooster met hetzelfde beschermingsniveau meer dan duizend fysieke qubits vereisen. De modulaire aanpak bleek ook robuust; zelfs wanneer de verbindingen tussen modules tien keer ruiziger werden gemaakt dan de interne verbindingen, behield het systeem zijn hoge prestaties. Deze tolerantie is cruciaal omdat het bouwen van perfecte lange-afstandslinks moeilijk is, en het nieuwe ontwerp laat zien dat het systeem nog steeds goed kan werken als die links imperfect zijn.

Naast het opslaan van informatie, lieten de onderzoekers ook zien hoe men berekeningen kan uitvoeren op deze beschermde logische qubits. Ze ontwierpen een methode om informatie door het systeem te bewegen en logische operaties uit te voeren door gebruik te maken van de symmetrieën van de onderliggende gekromde vorm. Stel je de modules voor als tegels op een vloer; de onderzoekers vonden een manier om het hele patroon van tegels op een fouttolerante wijze te verschuiven, waardoor de logische informatie effectief van de ene naar de andere plaats wordt verplaatst zonder de foutbescherming te verbreken. Ze combineerden dit met een gespecialiseerd "lint"-systeem dat de toestand van de logische qubits kan meten en ze in en uit het geheugen kan bewegen voor verwerking. Dit stelt het systeem in staat om als een universele computer te functioneren, in staat om complexe algoritmen uit te voeren zoals een 50-bits adder, wat een fundamentele bouwsteen is voor rekenkunde.

De betekenis van dit werk reikt verder dan de cijfers. Het demonstreert dat de fysieke beperkingen bij het bouwen van kwantumcomputers, die lang als een barrière voor vooruitgang werden gezien, juist een voordeel kunnen zijn. Door te accepteren dat we modulaire systemen met lange-afstandverbindingen moeten bouwen, waren de onderzoekers in staat om de efficiëntie van hoogwaardige codes te ontsluiten die voorheen als onmogelijk te bouwen werden beschouwd op platte chips. Het ontwerp steunt op componenten die vandaag de dag al in laboratoria worden gedemonstreerd, zoals hoogwaardige lokale gates en inter-module links. Hoewel het artikel steunt op simulaties in plaats van een fysieke demonstratie van het volledige systeem, suggereren de resultaten een duidelijke weg vooruit. Door de foutcorrigerende codes samen met de modulaire hardwarearchitectuur te ontwerpen, hebben de onderzoekers aangetoond dat de hulpbronnenoverhead voor kwantumfoutcorrectie drastisch kan worden verminderd, wat potentieel de drempel voor het bouwen van de eerste echt bruikbare kwantumcomputers verlaagt.