Polynomial-time simulation of non-Clifford quantum error correction

Het bouwen van een computer die problemen kan oplossen die buiten het bereik liggen van elke machine van vandaag, vereist een delicaat evenwicht. Deze machines, bekend als quantumcomputers, vertrouwen op deeltjes die in meerdere toestanden tegelijk kunnen bestaan, een eigenschap die hen in staat stelt om enorme hoeveelheden informatie simultaan te verwerken. Deze gevoeligheid maakt hen echter ook uiterst kwetsbaar; de kleinste verstoring uit de omgeving zorgt ervoor dat ze hun informatie verliezen en falen. Om deze machines draaiende te houden, gebruiken wetenschappers foutcorrectie, een methode waarbij het systeem constant wordt gecontroleerd en fouten worden hersteld voordat ze zich verspreiden. Hoewel de basisregels voor het controleren en herstellen van deze fouten goed begrepen zijn, vereisen de krachtigste operaties die deze computers moeten uitvoeren een complexere, minder voorspelbare vorm van correctie. Jarenlang was het simuleren van hoe deze complexe correcties zich gedragen op een standaardcomputer bijna onmogelijk, waardoor onderzoekers moesten gissen naar hoe hun ontwerpen stand zouden houden onder realistische ruis.

Een team van onderzoekers aan de Universiteit van Oxford en de Freie Universität Berlin heeft nu een manier ontwikkeld om deze complexe quantumfoutcorrectie-circuits met perfecte nauwkeurigheid en snelheid te simuleren. Ze ontdekten dat een brede klasse van deze circuits, die de meest veelbelovende methoden omvat voor het voorbereiden van de speciale middelen die nodig zijn voor universele quantumcomputing, een verborgen wiskundig patroon volgt. Dit patroon maakt het mogelijk om de volledige toestand van het systeem te beschrijven en te volgen met behulp van een specifiek type polynoom, een wiskundige uitdrukking die in complexiteit veel langzamer groeit dan het aantal deeltjes betrokken is. Door te bewijzen dat deze circuits binnen dit patroon blijven, zelfs wanneer er willekeurige fouten optreden, heeft het team een nieuw simulatieinstrument gecreëerd dat systemen met veel logische outputs kan verwerken, een taak die voorheen andere simulatiesoftware deed crashen of zonder geheugen kwam te zitten.

De uitdaging bij het simuleren van deze circuits komt voort uit de aard van de fouten en de correcties. In een standaard quantumcomputer worden fouten vaak gemodelleerd als willekeurige bit-flips, vergelijkbaar met een muntje dat op kop of munt landt. De onderzoekers richtten zich op een specifieke klasse circuits die gebruikmaken van een set operaties die bekend staan als moeilijk klassiek te simuleren. Deze circuits zijn ontworpen om eenvoudige, stabiele quantumtoestanden te transformeren naar complexere "magic" toestanden, die essentieel zijn voor het uitvoeren van het volledige scala aan berekeningen die een universele quantumcomputer nodig heeft. Het probleem is dat naarmate deze circuits groter worden, het aantal mogelijke manieren waarop het systeem kan evolueren exponentieel explodeert. Traditionele simulatiemethoden proberen elke mogelijke weg te volgen, wat snel onmogelijk wordt naarmate de systeemgrootte toeneemt. De onderzoekers realiseerden zich dat hoewel het systeem chaotisch lijkt, het in werkelijkheid een strikte structuur volgt. Ze ontdekten dat elke tussenliggende toestand in deze circuits kan worden beschreven als een uniforme superpositie over een specifieke geometrische vorm, met fasen die een derde-orde polynoomregel volgen.

Om deze ontdekking bruikbaar te maken, introduceerde het team een nieuwe manier van kijken naar deze toestanden, die zij de diagonal-Clifford-and-Pauli formalisme noemen. In simpelere termen vonden ze een manier om de complexe quantumtoestand te representeren met een set stabiliserende operatoren die gemakkelijker te beheren zijn. Deze operatoren zijn gebouwd uit een combinatie van basis quantumgates en diagonale operaties die de fasen van de toestanden verschuiven. Door deze operatoren te volgen in plaats van de volledige golffunctie, konden de onderzoekers de toestand van het systeem bijwerken na elke gate en elke meting in een tijd die polynomiaal groeit met de grootte van het systeem. Dit betekent dat het verdubbelen van het aantal qubits niet de tijd verdubbelt die nodig is om het circuit te simuleren; in plaats daarvan neemt de tijd toe op een beheersbaar tempo, waardoor de simulatie van veel grotere systemen dan voorheen mogelijk is.

Een cruciaal onderdeel van hun werk betrof het begrijpen van hoe metingen deze circuits beïnvloeden. In quantumcomputing zorgt het meten van een deeltje ervoor dat de toestand inklapt, en de uitkomst kan willekeurig zijn. De onderzoekers bewezen dat voor hun specifieke klasse circuits, bepaalde typen metingen "compatibel" zijn, wat betekent dat ze de onderliggende polynoomstructuur behouden. Ze toonden aan dat als een meting deterministisch is in een ideaal, ruisvrij circuit, of als deze anticommuteert met een specifieke beperking in het systeem, het ook compatibel blijft wanneer er ruis wordt geïntroduceerd. Deze bevinding is cruciaal omdat het de simulatie in staat stelt te verlopen zonder dat elke mogelijke ruisgevoelige tak afzonderlijk geanalyseerd hoeft te worden. In plaats daarvan kunnen de onderzoekers de voorwaarden op het ideale circuit verifiëren en er zeker van zijn dat de simulatie efficiënt en nauwkeurig blijft, zelfs wanneer er willekeurige fouten worden ingevoegd.

Het team heeft deze bevindingen geïmplementeerd in een open-source softwarepakket genaamd Merlin. Ze hebben Merlin getest tegen verschillende bestaande simulators op circuits ontworpen voor magic state distillation, een proces dat wordt gebruikt om ruisgevoelige quantumtoestanden te zuiveren tot hoogwaardige toestanden, en code switching, wat het veranderen van de foutcorrigerende code van de computer inhoudt. In tests met het Bravyi-Haah distillatieprotocol, waarbij het aantal logische outputs toeneemt, demonstreerde Merlin een aanzienlijk betere schaalbaarheid in zowel runtime als geheugengebruik vergeleken met andere tools. Terwijl andere simulators er niet in slaagden de simulatie van een code-switching circuit gebaseerd op een specifieke grote code te voltooien vanwege geheugenuitputting, simuleerde Merlin het gehele proces succesvol. Dit succes benadrukt een complementaire kracht: terwijl andere methoden sneller zijn voor kleine, eenvoudige circuits, blinkt Merlin uit wanneer het aantal logische outputs groeit, een regime dat essentieel is voor het evalueren van high-rate protocollen.

De implicaties van dit werk reiken verder dan alleen snellere simulaties. Door een raamwerk te bieden dat deze complexe circuits exact kan volgen, hebben de onderzoekers de gemeenschap een krachtig instrument gegeven voor het ontwerpen en testen van fouttolerante quantumarchitecturen. Ze toonden aan dat de voorwaarden voor efficiënte simulatie worden vervuld door een breed scala aan protocollen, waaronder die gebaseerd op transversale gates, gauge fixing en syndrome extraction. Dit betekent dat ingenieurs Merlin nu kunnen gebruiken om de prestaties van nieuwe foutcorrectieschema's te evalueren bij systeemgroottes die voorheen onbereikbaar waren. Het vermogen om deze circuits exact te simuleren, zonder benadering, maakt een precieze beoordeling van logische foutpercentages en de benodigde middelen mogelijk, wat cruciale factoren zijn bij het bepalen of een ontwerp voor een quantumcomputer levensvatbaar is.

De onderzoekers merkten ook op dat hun methode geen universele oplossing is voor alle quantumcircuits. Circuits die bepaalde typen metingen of gates bevatten die niet in het polynoompatroon passen, vereisen nog steeds exponentiële tijd om te simuleren. Echter, door hun raamwerk uit te breiden om de decompositie van toestanden in een som van deze speciale polynoomtoestanden te omvatten, hebben ze een pad geopend naar het simuleren van zelfs bredere klassen circuits, zij het met een kosten die afhangt van het aantal termen in de decompositie. Deze aanpak weerspiegelt hoe andere simulatiemethoden met complexiteit omgaan, maar met het voordeel van een efficiëntere basisrepresentatie voor de specifieke klasse circuits die relevant zijn voor quantumfoutcorrectie.

Uiteindelijk biedt dit werk een helder venster op het gedrag van complexe quantumsystemen onder realistische omstandigheden. Het demonstreert dat zelfs in de aanwezigheid van ruis, bepaalde quantumcircuits een structuur behouden die kan worden geëxploiteerd voor efficiënte klassieke simulatie. Dit inzicht valideert niet alleen de haalbaarheid van specifieke foutcorrectieprotocollen, maar biedt ook een nieuwe lens om naar de interne dynamiek van quantumcomputers te kijken. Naarmate het veld zich beweegt naar het bouwen van grotere en meer capabele machines, zullen tools zoals Merlin essentieel zijn om de afwegingen tussen verschillende ontwerpkeuzes te navigeren en ervoor te zorgen dat de weg naar universele quantumcomputing wordt gebouwd op een fundament van betrouwbare, goed begrepen fysica.