Random encoders and expurgation improve 1,873 entries of the Grassl qubit code tables

In de race om een werkende kwantumcomputer te bouwen, is het grootste obstakel niet alleen de kwetsbaarheid van de informatie, maar de enorme moeilijkheid om deze te beschermen. Kwantumbits, of qubits, worden gemakkelijk verstoord door de kleinste ruis, wat fouten veroorzaakt die een berekening in een oogwenk kunnen vernietigen. Om te overleven, moeten deze delicate toestanden worden gehuld in lagen van bescherming die bekend staan als foutcorrigerende codes. Deze codes werken door een enkele stuk informatie te verspreiden over vele fysieke qubits, waardoor een vangnet ontstaat dat het systeem in staat stgesteld om fouten te detecteren en te herstellen zonder de data direct te hoeven bekijken. De effectiviteit van een dergelijke code wordt gemeten aan de hand van het vermogen om fouten te vangen: hoe meer fouten de code kan vangen voordat de informatie verloren gaat, hoe beter de code. Decennialang hebben wetenschappers een massale referentiegids onderhouden, een tabel met de best bekende codes voor elke mogelijke grootte en sterkte, die dient als de kaart voor ingenieurs die proberen de toekomst te bouwen.

Een recente studie heeft grote delen van die kaart opnieuw getekend. Door gebruik te maken van een combinatie van randomisatie en een gericht opschoonproces, hebben onderzoekers 192 nieuwe kwantumcodes ontdekt die de best bekende inzestelingen in de bestaande gids overtreffen. Deze nieuwe codes zijn niet slechts theoretische mogelijkheden; het zijn expliciete, werkende blauwdrukken die rigoureus zijn getest om te bewijzen dat ze precies werken zoals beweerd. De ontdekking suggereert dat voor veel groottes van kwantumsystemen de beste beschikbare bescherming niet een zorgvuldig geconstrueerde, rigide structuur is, maar eerder een code die begint als een willekeurige ordening en vervolgens wordt gesnoeid om de zwakheden te verwijderen. Deze bevinding daagt de langgehouden aanname uit dat de meest efficiënte codes zeer gestructureerd moeten zijn, en onthult in plaats daarvan dat een chaotisch startpunt, wanneer het correct wordt verfijnd, superieure bescherming kan bieden.

Het werk begon met een simpel, krachtig idee: begin met een willekeurige ordening van kwantumpoorten en verwijder vervolgens systematisch de gebreken. De onderzoekers genereerden honderden "ouder"-codes door willekeurige reeksen operaties toe te passen op een set qubits. In een typische willekeurige code is de kans groot dat sommige fouten onopgemerkt blijven, vergelijkbaar met een net met gaten die te groot zijn om kleine visjes te vangen. Om dit te oplossen, maakte het team gebruik van een proces genaamd expurgatie. Ze identificeerden elk specifiek type fout dat te licht was om door de huidige vormgeving van de code te worden gevangen, en promootten die specifieke fouten vervolgens tot onderdeel van de eigen regels van de code. Door de code te dwingen deze gevaarlijke fouten te behandelen alsof ze deel uitmaken van de eigen structuur, sloot de code effectief de gaten, waardoor het vermogen om fouten te detecteren toenam. Dit proces verminderde de hoeveelheid informatie die de code kon vasthouden enigszins, maar verhoogde de kracht ervan drastisch, waardoor de code fouten kon vangen die vorige codes misten.

Om er zeker van te zijn dat deze nieuwe codes niet slechts gelukkige gissingen waren, onderwerpen de onderzoekers ze aan een niveau van kritische inspectie dat zeldzaam is in dit vakgebied. In plaats van te vertrouwen op statistische schattingen of gedeeltelijke controles, voerden ze een uitputtend onderzoek uit om de grenzen van elke code te bewijzen. Voor de ondergrens controleerden ze systematisch elke mogelijke combinatie van fouten tot een bepaalde gewicht, een taak die het onderzoeken van tot wel 40 biljoen verschillende mogelijkheden op een supercomputer vereiste. Voor de bovengrens vonden ze een specifiek voorbeeld van een fout die de code niet kon herstellen, waarmee werd bewezen dat de code niet sterker kon zijn dan de gerapporteerde limiet. Deze dubbele certificering betekent dat voor alle 192 codes de afstand — de maatstaf voor hoeveel fouten ze kunnen vangen — met absolute zekerheid bekend is. De resultaten zijn concreet: 161 van deze codes verbeterden de bekende limieten met één eenheid aan sterkte, en 31 verbeterden deze met twee.

De impact van deze bevindingen reikt veel verder dan de 192 specifieke voorbeelden. Omdat er standaardregels zijn die codes toestaan om uitgebreid of ingekort te worden, verbeteren deze nieuwe ontdekkingen automatisch 1.873 inzestelingen in de wereldwijde referentietabel. In veel gevallen laten de nieuwe codes aanzienlijk meer informatie toe te slaan voor hetzelfde niveau van bescherming. Zo kunnen de nieuwe codes in het bereik van codelengtes tussen 170 en 250 qubits met een hoge sterktevereiste tot wel negen logische bits meer informatie bevatten dan de voorheen best bekende opties. Dit is een substantiële winst, die effectief een kwantumcomputer in staat stelt om meer werk te verrichten met hetzelfde aantal fysieke componenten. De studie vond dat deze verbeteringen het meest uitgesproken zijn waar de bestaande tabel slechts een theoretische ondergrens aangaf zonder een specifieke, werkende code, wat suggereert dat de oude tabel al lange tijd praktische oplossingen had gemist.

De onderzoekers gebruikten ook een telmethode om te voorspellen waar deze aanpak wel en niet zou slagen. Ze vonden dat de methode het beste werkt wanneer de bestaande codes in de tabel niet beter zijn dan wat een willekeurige code van nature zou bereiken. In deze regio's is het willekeurige startpunt al sterk, en het proces van snoeien duwt het over de rand. Echter, waar de tabel al hooggestructureerde, cyclische codes bevat, kon de willekeurige aanpak niet concurreren. Dit onderscheid is cruciaal: het vertelt ons dat hoewel willekeurige codes geen universele oplossing zijn, ze een krachtig hulpmiddel zijn om de hiaten in onze kennis op te vullen. De studie merkte op dat alternatieve strategieën, zoals het gebruik van gestructureerde circuits of het bouwen van codes uit kleine, vooraf gemaakte blokken, werden getest maar niet zo goed presteerden als de willekeurige ouders in de specifieke implementaties en parameters die werden geprobeerd; deze resultaten zijn specifiek voor die proeven en vormen geen algemeen verbod op dergelijke methoden.

De gehele zoektocht werd uitgevoerd door kunstmatige intelligentie-agenten, die de software schreven, de enorme berekeningen op de Aurora supercomputer beheerden en de resultaten verifieerden. Deze automatisering stelde het team in staat om een enorm landschap van mogelijkheden te verkennen dat voor een mens onmogelijk handmatig te navigeren zou zijn. De AI vond niet alleen de codes; de genereerde ook de certificaten die bewijzen dat ze werken en bouwde onafhankelijke controlemechanismen om de bevindingen te verifiëren. Het resultaat is een publieke collectie van 192 expliciete codes, compleet met hun wiskundige beschrijvingen en bewijs van hun sterkte. Deze codes zijn niet slechts getallen op een pagina; het zijn bruikbare instructies voor het bouwen van robuustere kwantumsystemen.

Vooruitblikkend benadrukt de studie een praktische limiet aan deze aanpak. De uitputtende controle die nodig is om deze codes te certificeren, wordt computationeel onmogelijk naarmossen de omvang van het systeem groeit, wat de methode momenteel beperkt tot ongeveer 250 qubits. Om verder te gaan, suggereren de onderzoekers dat toekomstige codes mogelijk met een andere architectuur gebouwd moeten worden, één die efficiënte controle toestaat zonder dat het nodig is om elke enkele mogelijkheid te onderzoeken. Tot die tijd staan deze 192 codes als de nieuwe benchmark voor kwantumfoutcorrectie in hun omvangbereik. Ze demonstreren dat in de zoektocht naar bescherming van kwantuminformatie, de beste weg vooruit soms niet is om een rigide orde op te leggen, maar om een beetje chaos te omarmen en deze vervolgens zorgvuldig te snoeien tot iets sterkers.