Bicycle Race: small two-block codes on the Pareto frontier

In de zoektocht naar het bouwen van een praktische kwantumcomputer staan wetenschappers voor een fundamenteel probleem: de informatie die in kwantumbits wordt opgeslagen, is ongelooflijk fragiel. Een klein beetje warmte of een ronddwalende elektromagnetische golf kan de gegevens corrupt maken, waardoor de computer faalt. Om dit te bestrijden, gebruiken onderzoekers foutcorrigerende codes, die informatie verspreiden over vele fysieke deeltjes, zodat als er enkele beschadigd raken, de oorspronkelijke boodschap nog steeds kan worden hersteld. Jarenlang waren de meest veelbelovende kandidaten voor deze taak een klasse codes die bekend staat als quantum low-density parity-check codes. Deze zijn bijzonder omdat ze eenvoudige, lokale verbindingen tussen deeltjes gebruiken, wat ze gemakkelijker te bouwen maakt in het laboratorium. Er is echter een constante afweging: codes die gemakkelijk te bouwen zijn, slaan vaak minder informatie op of corrigeren minder fouten, terwijl krachtige codes zo complex zijn dat ze bijna onmogelijk te construeren zijn.

Een specifieke, eenvoudigere familie van deze codes, bekend als twee-blokcodes, is lang een favoriet geweest vanwege hun structurele elegantie. Ze worden gebouwd met behulp van een wiskundig kader dat toestaat dat ze in tweedimensionale patronen worden gerangschikt, wat een perfecte match is voor opkomende kwantumhardware die gebruikmaakt van verplaatsbare atomen. Lange tijd geloofde de wetenschappelijke gemeenschap dat hoewel deze eenvoudige codes goed waren voor de bouw, ze niet krachtig genoeg waren om te concurreren met meer complexe, abstracte ontwerpen. De heersende wijsheid was dat eenvoud ten koste ging van prestaties. Dit artikel daagt die aanname uit door een eenvoudige vraag te stellen: hebben we simpelweg niet hard genoeg gezocht? Door systematisch door elke mogelijke variatie van deze eenvoudige codes bij kleine formaten te zoeken, ontdekten de onderzoekers dat de kloof tussen eenvoudig en complex niet zo groot is als voorheen gedacht, en dat sommige van de best presterende codes gewoon voor het oprapen zijn binnen deze eenvoudige familie.

De onderzoekers, onder leiding van Gideon Lee aan de Universiteit van Chicago, zetten zich af om het volled ताal landschap van deze twee-blokcodes voor systemen met tot 320 fysieke deeltjes in kaart te brengen. In plaats van te gokken of te vertrouwen op intuïtie, bouwden ze een rigoureuze zoekpijplijn die draaide op standaard laptops. Dit systeem fungeerde als een enorme zeef, die miljarden potentiële codeconfiguraties testte. Om dit mogelijk te maken, gebruikten ze een reeks wiskundige filters om de overgrote meerderheid van de codes die gegarandeerd zouden falen snel te elimineren, waardoor hun rekenkracht alleen gericht kon worden op de meest veelbelovende kandidaten. Ze ontwikkelden ook een nieuwe manier om de onderliggende wiskundige structuur van de groepen die deze codes genereren te gebruiken om de zoektocht te sturen, waarbij ze effectief leerden waar de beste codes waarschijnlijk verborgen waren na het uitvoeren van initiële tests. Deze aanpak stelde hen in staat om veel sneller hoogwaardige codes te vinden dan wanneer ze simpelweg willekeurige voorbeelden hadden gekozen.

De resultaten van deze uitputtende zoektocht waren verrassend. Het team ontdekte dat voor kleine systemen deze eenvoudige twee-blokcodes niet alleen concurrerend zijn; ze zijn vaak de beste beschikbare optie. Ze identificeerden verschillende nieuwe codes die de voorheen bekende koplopers in hun klasse overtreffen. Zo vonden ze een code met 102 deeltjes die 20 eenheden informatie kan opslaan en fouten tot een afstand van 10 kan corrigeren, en een andere met 120 deeltjes die 24 eenheden opslaat met dezelfde foutcorrigerende kracht. Deze codes zijn bijzonder waardevol omdat ze op een plat oppervlak met een herhalend patroon kunnen worden uitgestart, wat ideaal is voor de neutrale-atoom kwantumcomputers die momenteel worden ontwikkeld. In simulaties van hoe deze codes zich zouden gedragen in een ruisige omgeving, toonden ze een sterke weerstand tegen fouten, wat suggereert dat ze binnenkort in echte machines gebruikt kunnen worden.

Een van de meest significante bevindingen was een gedetailleerde kaart van waar deze goede codes zich daadwerkelijk bevinden. De onderzoekers ontdekten dat goede codes niet gelijkmatig verdeeld zijn over alle wiskundige mogelijkheden; in plaats daarvan clusteren ze zwaar in een klein aantal specifieke groepen. Ze ontdekten dat voor kleinere systemen, codes gebouwd uit commutatieve groepen (waarbij de volgorde van operaties niet uitmaakt) de sterkste neigen te zijn. Echter, naarmate het systeem groter wordt, verschuiven de beste codes naar niet-commutatieve groepen, waarbij de volgorde van operaties wel degelijk uitmaakt. Dit overgangspunt beweegt naarmate de complexiteit van de verbindingen van de code toeneemt. Dit inzicht is cruciaal omdat het toekomstige onderzoekers precies vertelt waar ze moeten zoeken, in plaats van tijd te verspillen aan het zoeken in lege ruimtes. Het team bevestigde ook dat hoewel deze eenvoudige codes uitstekend zijn, ze geen wondermiddel zijn voor elke grootte; voorbij een bepaarder punt kunnen complexere constructies nog steeds noodzakelijk zijn, maar voor de omvang die relevant is voor nabije kwantumcomputers, zijn de eenvoudige codes voldoende.

Het artikel behandelt ook de rol van het 'check weight', oftewel het aantal deeltjes dat betrokken is bij elke foutcontrole-operatie. De onderzoekers verkenden codes met check weights variërend van vijf tot negen. Ze ontdekten dat naarmate de check weight toeneemt, het vinden van een goede code exponentieel moeilijker wordt, waarbij hoogwaardige codes honderden keren zeldzamer worden. Ondanks deze moeilijkheid slaagden ze erin een overvloed aan nieuwe codes te ontsluiten bij gewicht negen, een regime dat grotendeels onverkend was gebleven omdat het als te onpraktisch werd beschouwd. De opkomst van kwantumhardware met verplaatsbare qubits, waarbij verbindingen gemaakt kunnen worden tussen verre deeltjes zonder fysieke draden, heeft deze hogere-gewicht codes levensvatbaar gemaakt. Het team demonstreerde dat deze codes kunnen worden bediend met zeer weinig fysieke bewegingen, wat ze zeer efficiënt maakt voor de volgende generatie kwantumapparaten.

Om hun bevindingen solide te waarborgen, vertrouwden de onderzoekers niet alleen op hun eigen berekeningen. Ze controleerden hun beste resultaten via onafhankelijke, open-source software en vergeleken deze met een enorme database van eerder gepubliceerde codes. Ze vonden dat hun nieuwe codes in veel categorieën een nieuwe standaard voor prestaties zetten en de grenzen van wat mogelijk is met kleine kwantumsystemen verlegden. Ze maakten ook al hun gegevens en code publiekelijk beschikbaar, waardoor een bron ontstaat die andere wetenschappers kunnen gebruiken om resultaten te verifiëren en voort te bouwen op hun werk. Deze transparantie is een essentieel onderdeel van hun bijdrage, waardoor de gemeenschap precies kan zien hoe deze codes zijn gevonden en getest.

Uiteindelijk dient dit werk als een herinnering dat de meest diepgaande ontdekkingen in de wetenschap soms voortkomen uit het bekijken van oude ideeën met een frisse blik en betere instrumenten. De twee-blokcodes waren geen nieuwe uitvinding; ze werden al decennia bestudeerd. Wat veranderde, was de aanpak. Door een koppige, uitputtende zoektocht te combineren met moderne computationele technieken en een diep begrip van de onderliggende wiskunde, hebben de onderzoekers bewezen dat de "eenvoudige" codes verre van verouderd zijn. Ze hebben aangetoond dat voor de omvang van de kwantumcomputers die we vandaag de dag bouwen, deze elegante, tweedimensionale structuren niet slechts een theoretische curiositeit zijn, maar een praktische, hoogwaardige oplossing die klaar is voor het laboratorium. De studie concludeert dat de kloof tussen eenvoudige en complexe codes geen onoverbrugbare afgrond is, maar een landschap dat genavigeerd kan worden met geduld en de juiste zoekstrategie.