Quantumcomputers beloven problemen op te lossen die momenteel onmogelijk zijn voor klassieke machines, van het ontwerpen van nieuwe medicijnen tot het kraken van complexe encryptie. Deze machines zijn echter extreem fragiel. De deeltjes die ze gebruiken om informatie op te slaan, zoals fotonen of elektronen, zijn gevoelig voor het verdwijnen of corrupt raken door hun omgeving. Om een bruikbare quantumcomputer te bouwen, moeten wetenschappers deze informatie beschermen met foutcorrectiecodes. Deze codes verspreiden één stuk data over vele fysieke deeltjes, zodat als er enkele verdwijnen, de oorspronkelijke informatie nog steeds kan worden hersteld. Een grote uitdaging ontstaat wanneer deze deeltjes verloren gaan tijdens transmissie, zoals bij het verzenden van quantumdata over lange afstanden. Als er te veel deeltjes verdwijnen, wordt de informatie vernietigd. Onderzoekers zoeken al lang naar een manier om snel te controleren of de informatie nog veilig is en, zo ja, om deze allemaal te verzamelen op één enkel deeltje zodat het direct gelezen of gebruikt kan worden. Dit proces staat bekend als lokalisatie.

In een recente studie onderzochten onderzoekers Jelena Mackeprang, Hemant Sharma en Jonas Helsen een methode genaamd stabiliserpadvinden om dit probleem op te lossen. Ze richtten zich op een specifiek type foutcorrectiecode dat wordt gebruikt in quantumcomputing, bekend als een stabilisatorcode. Hun doel was om te bepalen of het mogelijk is om een manier te vinden om de verspreide logische informatie te concentreren op slechts één of enkele resterende deeltjes, zelfs nadat veel anderen verloren zijn gegaan. Ze verkenden twee scenario's: één waarbij het doeldeeltje voor de informatie vooraf vaststond, en een flexibelere versie waarbij de informatie op een willekeurige kleine groep overlevende deeltjes verzameld kan worden. Door wiskundige bewijzen te combineren met computersimulaties, ontdekten ze dat voor een veelgebruikte code genaamd de planaire oppervlaktecode, deze lokalisatie met bijna volledige zekerheid mogelijk is, zolang de snelheid van deeltjesverlies onder een specifieke limiet blijft. Ze ontwikkelden ook twee nieuwe computeralgoritmen om deze oplossingen veel sneller te vinden dan voorheen mogelijke methoden, waardoor ze veel grotere systemen dan ooit tevoren konden testen.

De kern van hun werk adresseert een kritieke flessenhals in quantumcommunicatie. Stel je een netwerk van deeltjes voor waarbij elk deeltje een klein stukje van een grotere puzzel vasthoudt. Als sommige stukjes verloren gaan, kan de puzzel misschien nog steeds oplosbaar zijn, maar de resterende stukjes zijn verspreid en moeilijk te lezen. De onderzoekers vroegen zich af: kunnen we de resterende stukjes zo herschikken dat de hele afbeelding geconcentreerd wordt op slechts één of enkele plekken? Dit is wat zij lokalisatie noemen. Als dit slaagt, maakt het een snelle uitlezing van de data mogelijk, wat essentieel is voor technologieën zoals quantumrepeaters die informatie over enorme afstanden verzenden. Het team bewees wiskundig dat voor de planaire oppervlaktecode, als de waarschijnlijkheid dat een enkel deeltje verloren gaat minder dan vijftig procent is, er bijna altijd een manier is om de informatie te verzamelen op een constante hoeveelheid deeltjes, ongeacht hoe groot het systeem is. Deze drempel van vijftig procent is significant omdat deze overeenkomt met de bekende limiet voor het simpelweg in leven houden van de informatie, wat suggereert dat lokalisatie net zo robuust is als het vermogen van de code om in eerste instantie te overleven bij verlies.

Om tot deze conclusies te komen, moesten de auteurs eerst een grote computationele hindernis overwinnen. Eerdere methoden voor het vinden van deze lokalisatiepaden waren ongelooflijk traag, omdat de computer een exponentieel groeiend aantal mogelijkheden moest controleren. Dit beperkte onderzoekers tot het bestuderen van zeer kleine systemen, waardoor het gedrag van grote, praktische codes onbekend bleef. Mackeprang, Sharma en Helsen introduceerden twee nieuwe algoritmen om dit aan te pakken. De eerste is een precieze, deterministische methode die garandeert de beste mogelijke oplossing te vinden als die bestaat. De tweede is een snellere, heuristische benadering die snel een zeer goede oplossing vindt, hoewel niet noodzakelijkerwijs de absoluut beste. Beide methoden werken door het probleem te vertalen naar een formaat dat standaard optimalisatiesoftware efficiënt kan oplossen. Ze gebruikten deze tools om de planaire oppervlaktecode onder verschillende omstandigheden van deeltjesverlies te simuleren.

De resultaten van hun simulaties bevestigden de wiskundige voorspellingen. Wanneer het verliespercentage onder de vijftig procent lag, vonden de algoritmen in bijna alle gevallen een manier om de informatie te lokaliseren, zelfs voor zeer grote codes. Wanneer het verliespercentage boven de vijftig procent uitkwam, daalde het succespercentage naar nul, wat bevestigde dat de informatie werkelijk verloren was gegaan. Bovendien toonden de onderzoekers aan dat het snellere, heuristische algoritme bijna net zo goed presteerde als de precieze methode wat betreft de kwaliteit van de oplossing, maar dat het orders van grootte sneller was. Deze versnelling is cruciaal omdat het wetenschappers in staat stelt om codes met duizenden deeltjes te bestuderen, een schaal die voorheen onmogelijk te analyseren was met bestaande tools. Het vermogen om dergelijke grote systemen aan te kunnen, betekent dat ingenieurs nu systematisch naar de beste codes voor toekomstige quantumnetwerken kunnen zoeken.

De studie verfijnde ook de definitie van het probleem zelf. Eerder werk ging ervan uit dat het doeldeeltje voor de informatie nooit verloren zou gaan, een aanname die in de echte wereld mogelijk niet standhoudt waar elk deeltje kan verdwijnen. De onderzoekers versoepelden deze voorwaarde, waardoor de informatie op een willekeurige kleine set overlevende deeltjes verzameld kan worden. Ze bewezen dat deze flexibiliteit de systeemkracht niet verzwakt; dezelfde drempel van vijftig procent blijft van toepassing. Deze bevinding suggereert dat fouttolerante quantumcommunicatiesystemen met een hoge mate van vertrouwen kunnen worden ontworpen, wetende dat zolang de hardware de verliesratio onder deze limiet houdt, de informatie betrouwbaar kan worden opgehaald en geconcentreerd. Het werk biedt zowel een theoretische garantie als een praktische toolkit, waarmee de brug wordt geslagen tussen abstracte wiskundige bewijzen en de engineeringrealiteit van het bouwen van een quantuminternet.

Door vast te stellen dat lokalisatie mogelijk is tot dezelfde limiet als het overleven van de code, hebben de onderzoekers de deur geopend naar efficiëntere quantumprotocollen. Hun snelle algoritmen maken het ontwerp van systemen mogelijk die zich in realtime aan verlies kunnen aanpassen, door informatie te verzamelen op specifieke qubits voor onmiddellijk gebruik. Deze capaciteit is essentieel voor taken zoals quantumteleportatie en de fusie van quantumtoestanden, waarbij snelheid en betrouwbaarheid van groot belang zijn. De studie beweert niet alle problemen in quantumfoutcorrectie te hebben opgelost, maar biedt een duidelijk pad vooruit voor een van de meest uitdagende aspecten ervan: ervoor zorgen dat informatie toegankelijk blijft, zelfs wanneer het fysieke medium dat de informatie draagt imperfect is. De combinatie van rigoureus bewijs en schaalbare berekening biedt een solide fundament voor de volgende generatie quantumtechnologieën.