Substantially Improved Rate and Distance for Addressable Transversal Phase Gates

Quantumcomputers beloven problemen op te lossen die klassieke machines duizenden jaren zouden kosten, maar ze zijn uiterst fragiel. De kleinste verstoring door warmte of trilling kan de delicate informatie die ze bevatten verstoren, waardoor berekeningen mislukken. Om een machine te bouwen die betrouwbaar werkt, moeten wetenschappers deze informatie beschermen met behulp van quantumfoutcorrectie. Dit proces houdt in dat een enkel stuk data over vele fysieke deeltjes wordt verspreid, waardoor een vangnet ontstaat waarbij het verlies of de corruptie van enkele deeltjes niet de hele boodschap vernietigt. Een cruciale vereiste voor deze machines om echt nuttig te zijn, is het vermogen om specifieke, complexe operaties op de data uit te voeren zonder het vangnet te verbreken. Deze operaties, bekend als gates, moeten op een manier worden toegepast die voorkomt dat een enkele fout zich verspreidt en het hele systeem infecteert.

Decennialang stond een fundamentele regel, bekend als de Eastin-Knill stelling, als een grote hindernis in de weg. Het bewees dat geen enkele quantumcode data kon beschermen terwijl er een volledige set universele operaties eenvoudig en veilig over het hele systeem kon worden toegepast. Wetenschappers vonden een workaround door een speciaal type operatie te gebruiken genaamd een transversale gate, die op elk fysiek deeltje afzonderlijk inwerkt, waardoor fouten beperkt blijven. Echter, deze gates konden slechts een beperkte set operaties aan. Om de volledige reeks berekeningen uit te voeren die nodig zijn voor krachtige computing, moesten onderzoekers vertrouwen op een complex, resource-intensief proces genaamd magic-state distillation om de ontbrekende operaties te creëren. Een elegantere oplossing zou zijn om codes te ontwerpen waarbij deze ontbrekende operaties direct en selectief op individuele stukken data kunnen worden toegepast, een eigenschap die bekend staat als adresseerbaarheid. Hoewel eerdere pogingen om dergelijke codes te maken in theorie slaagden, waren de resulterende systemen zo inefficiënt dat ze een onpraktisch aantal fysieke deeltjes vereisten om zelfs een minuscule hoeveelheid informatie op te slaan, wat ze onbruikbaar maakte voor real-world toepassingen.

Een team van onderzoekers heeft nu de efficiëntie van deze adresseerbare codes aanzienlijk verbeterd, waardoor ze van theoretische curiositeiten naar een praktische realiteit zijn bewogen. Door een nieuwe methode van informatie-encodering te ontwikkelen die verder gaat dan standaard binaire kaders, hebben zij quantumcodes geconstrueerd die complexe, niet-standaard operaties op individuele logische qubits kunnen uitvoeren terwijl ze een hoog niveau van bescherming tegen fouten behouden. Het team heeft aangetoond dat het mogelijk is om een evenwicht te bereiken waarbij de hoeveelheid opgeslagen data aanzienlijk is ten opzichte van het aantal gebruikte fysieke deeltjes, en de afstand tussen fouten groot genoeg blijft om fouten te detecteren. Hun werk biedt twee verschillende methoden voor het bouwen van deze codes: één die snel door een computer kan worden gegenereerd en een andere die langer duurt maar nog betere prestaties levert. Beide methoden bewijzen dat de kloof tussen wat theoretisch mogelijk is en wat gebouwd kan worden, aanzienlijk wordt verkleind.

De kern van de doorbraak ligt in de manier waarop de onderzoekers de fysieke deeltjes organiseren. In plaats van de data te behandelen als eenvoudige aan/uit-schakelaars, hebben zij de informatie gerangschikt in een cyclische structuur, vergelijkbaar met hoe getallen ronddraaien op een klok wijzerplaat. Deze aanpak stelde hen in staat om de taak van het adresseren van individuele logische qubits te scheiden van de taak van het waarborgen dat de code robuust is tegen fouten. In eerdere ontwerpen waren deze twee doelen nauw met elkaar verbonden, wat dwong tot een compromis waarbij het verbeteren van de één betekende dat de ander werd opgeofferd. Door deze te ontkoppelen, konden de onderzoekers de code tegelijkertijd optimaliseren voor zowel snelheid als veiligheid. Zij gebruikten een wiskundig kader gebaseerd op algebraïsche meetkunde om de eerste versie van deze codes te construeren, die in een redelijke tijd door een computer kan worden gegenereerd. Deze constructie garandeert dat naarmate het systeem groter wordt, de efficiëntie van de code hoog blijft, waarbij zowel de snelheid van informatieopslag als het vermogen om fouten te detecteren boven een specifieke, betekenisvolle drempel blijft.

Om de grenzen nog verder te verleggen, heeft het team ook een tweede, meer uitputtende methode ontwikkeld. Deze aanpak zoekt door een enorme hoeveelheid mogelijke configuraties om de absoluut beste arrangement van deeltjes voor een bepaalde grootte te vinden. Hoewel deze methode aanzienlijk meer rekentijd vereist om de resultaten te verifiëren, produceert het codes met een nog hogere efficiëntie. De onderzoekers ontdekten dat deze uitputtende zoektocht de prestatiegaranties met een factor bijna drie kan verbeteren vergeleken met hun snellere methode. Zij stelden een theoretisch plafond, of bovengrens, vast voor hoe goed deze codes kunnen zijn. Opmerkelijk genoeg kwamen hun beste resultaten zeer dicht bij deze limiet, wat suggereert dat zij bijna de optimale prestatie hebben bereikt die de wetten van de fysica toestaan voor dit type code. De nabijheid van dit theoretische maximum geeft aan dat er nog steeds ruimte is voor verbetering, wat een belangrijke stap voorwaarts markeert in het vakgebied.

Het team stopte niet bij abstracte wiskunde; zij construeerden concrete voorbeelden om te bewijzen dat hun theorie in de praktijk werkt. Zij bouwden twee specifieke quantumcodes, één met 48 fysieke qubits en een andere met 90. Deze codes demonstreerden succesvol het vermogen om complexe fasegates op individuele logische qubits toe te passen zonder de anderen te verstoren. De 48-qubit code kan fouten op maximaal twee fysieke deeltjes corrigeren, terwijl de 90-qubit versie fouten tot maximaal drie deeltjes kan afhandelen. De onderzoekers ontwierpen ook de specifieke circuits die nodig zijn om informatie in deze systemen te coderen, waarbij zij gedetailleerd beschreven hoeveel gates en verbindingen nodig zijn om ze te laten functioneren. Deze eindige voorbeelden dienen als blauwdrukken, die laten zien dat de theoretische voordelen van hun nieuwe encoderingsmethode gerealiseerd kunnen worden in werkelijke hardwareontwerpen.

De implicaties van dit werk strekken zich uit voorbij slechts één type gate. Het nieuwe encoderingskader scheidt de controle van logische operaties van het structurele ontwerp van de foutcorrigerende code. Deze scheiding betekent dat dezelfde principes waarschijnlijk kunnen worden toegepast op andere typen quantumgates en verschillende niveaus van complexiteit. De onderzoekers toonden aan dat hun methode werkt voor verschillende niveaus van de Clifford-hiërarchie, een classificatie van quantumoperaties, en dat de efficiëntie van de codes voorspelbaar schaalt naarmate de complexiteit van de gate toeneemt. Deze schaalbaarheid is cruciaal voor het bouwen van grootschalige quantumcomputers, aangezien het ervoor zorgt dat de overhead — de extra middelen die nodig zijn voor foutcorrectie — niet explodeert naarmale de machine complexer wordt. Door een duidelijk pad te bieden naar codes die zowel adresseerbaar als efficiënt zijn, verwijdert de studie een belangrijke flessenhals die de ontwikkeling van fouttolerante quantumcomputers heeft gehinderd.

Hoewel de resultaten veelbelovend zijn, benadrukt het werk ook de resterende uitdagingen. De onderzoekers identificeerden een kleine kloof tussen de prestaties van hun beste codes en de theoretische bovengrens, wat suggereert dat er nog ruimte is voor verfijning. Toekomstige inspanningen zullen zich waarschijnlijk richten op het dichten van deze kloof en het integreren van deze nieuwe codes met efficiënte decodeeralgoritmen die fouten snel kunnen identificeren en herstellen terwijl ze optreden. Het team merkte ook op dat praktische implementatie vereist zal zijn dat de prestaties van deze codes onder real-world ruiscondities worden beoordeeld en hoe ze interageren met de fysieke connectiviteit van quantumhardware. Desalniettemin bieden de kwantitatieve doelstellingen van dit onderzoek een heldere roadmap voor zowel ingenieurs als theoretici. Door de kloof tussen haalbare parameters en theoretische limieten te verkleinen, transformeert dit werk de droom van een volledig adresseerbare, fouttolerante quantumcomputer van een verre mogelijkheid naar een tastbaar engineeringdoel.