Kwantumcomputers beloven problemen op te lossen die momenteel onmogelijk zijn voor zelfs de krachtigste supercomputers, van het ontwerpen van nieuwe medicijnen tot het modelleren van complexe chemische reacties. Deze machines zijn echter ongelooflijk fragiel. De minuscule deeltjes die ze gebruiken om informatie op te slaan, qubits genoemd, worden gemakkelijk verstoord door warmte, trillingen of rondvliegende elektromagnetische velden, waardoor ze hun gegevens bijna onmiddellijk verliezen. Om een bruikbare kwantumcomputer te bouwen, moeten wetenschappers deze qubits beschermen met een techniek genaamd kwantumfoutcorrectie. Dit proces houdt in dat veel fysieke qubits samen worden gegroepeerd om als een enkele, stabiele "logische" qubit te fungeren, waarbij constant wordt gecontroleerd op fouten en deze worden hersteld voordat ze zich verspreiden. De uitdaging is dat deze bescherming een enorme hoeveelheid extra hardware en complexe coördinatie vereist, wat de computer vaak te traag of te groot maakt om praktisch bruikbaar te zijn.

Als een van de vele manieren waarop wetenschappers proberen dit op te lossen, is een specifieke methode genaamd bivariate bicycle codes naar voren gekomen als een zeer efficiënte optie. Deze codes gebruiken een regelmatig, herhalend patroon om qubits te organiseren, wat de overhead laag houdt en zorgt voor zeer snelle foutcontrole. Tegelijkertijd heeft een nieuw type kwantumhardware gebaseerd op neutrale atomen de aandacht getrokken. In plaats van supergeleidende circuits of gevangen ionen te gebruiken, gebruiken deze systemen lasers om individuele atomen in de lucht vast te houden. Deze atomen kunnen met grote precisie worden verplaatst, waardoor onderzoekers de lay-out van de computer gaande kunnen aanpassen. Ho'ewel deze reconfigureerbaarheid een perfecte match is voor de complexe verbindingen die vereist zijn door bivariate bicycle codes, zijn de twee technologieën nog niet succesvol gecombineerd. De regels voor het bewegen van atomen zijn strikt: ze mogen niet over elkaar heen springen en ze moeten in specifieke zones blijven om veilig te kunnen interageren. Zonder een manier om deze regels te navigeren, kunnen de efficiënte codes niet draaien op de flexibele hardware.

Een team van onderzoekers van de Rice University en de Northeastern University heeft deze kloof overbrugd met een nieuw systeem dat ze Park-n-Ride noemen. Dit systeem fungeert als een vertaler die de abstracte instructies van de bivariate bicycle code omzet in een geldige, fysieke planning voor neutral-atom processors. De onderzoekers hebben niet alleen een theorie voorgesteld; ze hebben een volledig softwareframework gebouwd dat het hele proces simuleert, van het plaatsen van de atomen tot het bewegen van de atomen voor metingen. Hun werk demonstreert dat het mogelijk is om deze geavanceerde foutcorrigerende codes op neutral-atom systemen uit te voeren zonder de strikte fysieke beperkingen van de hardware te schenden. Door zorgvuldig te plannen hoe de atomen bewegen en waar ze zitten, kan het systeem complexe kwantumoperaties veel sneller uitvoeren dan eerdere methoden zouden toestaan, wat bewijst dat deze specifieke combinatie van code en hardware levensvatbaar is.

De kern van het probleem ligt in de fysieke beperkingen van de neutral-atom machines. Deze computers gebruiken lasers om atomen in een rooster te vangen, en om berekeningen uit te voeren, moeten de atomen naar specifieke posities worden verplaatst om te interageren. De technologie die wordt gebruikt om ze te verplaatsen, bekend als een acousto-optische deflector, heeft echter een rigide regel: de kolommen van atomen mogen geen paden kruisen. Als een kolom atomen links van een andere kolom staat, moet deze altijd links blijven; hij kan de andere kolom niet inhalen. Deze beperking maakt het moeilijk om de langetermijnverbindingen uit te voeren die vereist zijn door bivariate bicycle codes, die vaak qubits nodig hebben die ver uit elkaar liggen om samen te komen en te interageren. Bovendien moeten de atomen binnen een bepaalde afstand blijven om te kunnen interageren, en als ze te dicht bij onbedoelde buren komen, mislukt de interactie. De onderzoekers ontdekten dat het simpelweg proberen te verplaatsen van atomen naar hun logische bestemmingen vaak leidt tot verkeersopstoppingen of onmogelijke manoeuvres onder deze regels.

Om dit op te lossen, introduceert het Park-n-Ride systeem een nieuwe manier van denken over de lay-out van de computer. In plaats van de atomen als een enkele, chaotische wolk te behandelen, organiseert het systeem ze in verticale kolommen, vergelijkbaar met rijstroken op een snelweg. Binnen elke strook kunnen de atomen op en neer bewegen, maar ze kunnen niet van rijstrook wisselen of overheen kruisen. De onderzoekers ontwikkelden een strategie om te beslissen welke groepen atomen in welke rijstrook moeten zitten. Ze gebruikten een wiskundige benadering die kijkt naar welke atomen het meest frequent met elkaar moeten communiceren en plaatst die groepen in dezelfde of aangrenzende rijstroken. Dit minimaliseert de afstand die de atomen moeten afleggen om elkaar te ontmoeten, wat de tijd en energie besteed aan beweging vermindert. Deze plaatsingsstrategie, die ze spectral seriation noemen, bleek aanzienlijk beter dan het simpelweg willekeurig plaatsen van atomen of het gebruiken van een 'greedy', stap-voor-stap benadering. In hun simulaties verminderde deze intelligente plaatsing de totale tijd die nodig is om een kwantumprogramma uit te voeren met wel 17,9 procent vergeleken met willekeurige plaatsing, en met 12,2 procent vergeleken met een standaard greedy methode.

Zodra de atomen zijn geplaatst, moet het systeem hun beweging beheren. De onderzoekers ontdekten dat de bivariate bicycle codes veel verschuivingen bevatten, waarbij het hele patroon van qubits wordt geroteerd of in een specifieke richting wordt verplaatst. In een traditionele aanpak zouden deze verschuivingen een voor een worden uitgevoerd, wat traag is. Park-n-Ride breekt deze verschuivingen echter af in kleinere, parallelle bewegingen. Het stelt verschillende delen van de computer in staat om tegelijkertig in verschillende richtingen te verschuiven, zolang de "no-crossing" regel wordt gerespecteerd. Door deze bewegingen zorgvuldig te coördineren, kan het systeem deze verschuivingen veel sneller uitvoeren. De simulaties toonden aan dat deze parallelle aanpak de computer in staat stelt om deze verschuivingstaken aanzienlijk sneller te voltooien dan wanneer deze sequentieel zouden moeten worden uitgevoerd, wat de gehele foutcorrigeringscyclus effectief versnelt.

Nog een kritieke uitdaging is het uitvoeren van metingen tussen verschillende groepen atomen. Om fouten te controling, moeten atomen uit twee verschillende groepen bij elkaar worden gebracht om te interageren. Het Park-n-Ride systeem lost dit op door een "brug"-mechanisme te gebruiken. Het verplaatst een speciale rij atomen van elke groep naar een gedeelde interactiezone, waar ze elkaar kunnen ontmoeten en de noodzakelijke controle kunnen uitvoeren. Het systeem plant deze bewegingen zodanig dat de bruggen niet met elkaar botsen. Het behandelt de beweging als een verkeersstroom, waarbij wordt gewaarborgd dat elke brug één stap tegelijk naar zijn bestemming beweegt zonder anderen te blokkeren. Dit maakt het mogelijk dat meerdere metingen tegelijkertijd plaatsvinden, in plaats van te moeten wachten tot de ene klaar is voordat de volgende begint. De resultaten toonden aan dat deze methode het aantal stappen dat nodig is voor deze interacties met bijna de helft verminderde in grotere circuits, wat de tijd die de computer doorbrengt met wachten tot de atomen in positie zijn, drastisch verkortte.

De onderzoekers testten hun systeem met een verscheidenheid aan gesimuleerde kwantumcircuits, variërend van kleine opstellingen met 32 modules tot grote opstellingen met 113 modules. Ze ontdekten dat naarmate de circuits groter werden, de voordelen van hun intelligente plaatsing en parallelle beweging zelfs nog prominenter werden. In de grootste simulaties verminderde het systeem de totale looptijd met bijna 40 procent wanneer de capaciteit van de kolommen werd vergroot, wat aantoont dat de aanpak goed schaalt. Ze keken ook naar hoe het systeem omgaat met het verlies van atomen, een veelvoorkomend probleem in deze machines. Omdat het Park-n-Ride systeem de afstand die atomen moeten afleggen en het aantal keren dat ze in en uit vallen worden verplaatst, minimaliseert, vermindert het de kans dat een atoom tijdens het proces verloren gaat. Hun berekeningen suggereren dat deze aanpak het verwachte aantal verloren atomen met meer dan 40 procent kan verminderen vergeleken met een willekeurige plaatsingsstrategie, wat een cruciale factor is voor het bouwen van betrouwbare, grootschalige kwantumcomputers.

De studie onderzocht ook hoe het systeem omgaat met de productie van speciale hulpbronnen die nodig zijn voor complexe berekeningen, bekend als magic states. Dit zijn als brandstof voor de kwantumcomputer, en ze moeten continu worden geproduceerd. De onderzoekers modelleerden een scenario waarin elke kolom met atomen zijn eigen kleine fabriek heeft om deze staten te produceren. Ze ontdekten dat door de productie lokaal per kolom te houden, het systeem voorkomt dat er knelpunten ontstaan waarbij de hele computer moet wachten op één centrale fabriek. Dit ontwerp zorgt ervoor dat de computer soepel kan blijven draaien, zelfs wanneer de vraag naar deze speciale hulpbronnen toeneemt. De simulaties toonden aan dat hoewel de productiesnelheid van deze fabrieken ertoe doet, het kolomontwerp van Park-n-Ride het systeem in staat stelt om aan deze vereiste te voldoen zonder de hoofdcomputatie te vertragen.

Uiteindelijk biedt het werk van het Park-n-Ride team een praktisch stappenplan voor het combineren van twee van de meest veelbelovende technologieën in de kwantumcomputing. Het laat zien dat de rigide bewegingsregels van neutral-atom systemen geen barrière hoeven te zijn voor het draaien van efficiënte foutcorrigerende codes. Door de software-instructies mee te ontwerpen met de fysieke beperkingen van de hardware, hebben de onderzoekers een systeem gecreëerd dat niet alleen theoretisch solide is, maar ook praktisch efficiënt. Hun simulaties bevestigen dat met de juiste planning, neutral-atom computers complexe kwantumprogramma's met hoge snelheid en lage foutpercentages kunnen uitvoeren. Dit suggereert dat de weg naar een functionele, grootschalige kwantumcomputer kan liggen in systemen die flexibel genoeg zijn om zichzelf te herschikken, mits ze een slim genoeg gids hebben om hen te vertellen hoe ze moeten bewegen. De resultaten bieden een concrete stap voorwaarts, waarbij het veld wordt verplaatst van abstracte theorie naar een werkend blauwdruk voor de volgende generatie kwantummachines.