Composable logical gate error in approximate quantum error correction: reexamining gate implementations in Gottesman-Kitaev-Preskill codes

In de zoektocht naar het bouwen van een computer die problemen kan oplossen die buiten het bereik liggen van de machines van vandaag, wenden wetenschappers zich tot de vreemde regels van de kwantummechanica. Deze machines vertrouwen op delicate eenheden informatie die qubits worden genoemd, die zich tegelijkertijd in meerdere toestanden kunnen bevinden. Deze kracht gaat echter gepaard met een fragiliteit; de kleinste verstoring uit de omgeving kan de gegevens corrumperen, waardoor de berekening mislukt. Om dit tegen te gaan, gebruiken onderzoekers een strategie genaamd kwantumfoutcorrectie. Stel je voor dat je probeert een geheim veilig te houden door het niet in één enkele doos te verbergen, maar door het te verspreiden over een enorme, complexe structuur waar het verlies van een paar stukjes de hele situatie niet onthult. Deze structuur is de "code", en de informatie die erin verborgen ligt, is de "logische" data.

Voor een kwantumcomputer om nuttig te zijn, moet deze meer doen dan alleen deze beschermde informatie opslaan; hij moet ook operaties op de informatie uitvoeren, zoals het omdraaien van bits of het veranderen van hun waarden. Deze operaties worden "gates" (poorten) genoemd. In een ideale wereld zouden deze gates perfect werken, waarbij ze de data exact transformeren zoals bedoeld, zonder ooit de informatie uit de beschermende structuur te laten lekken. Echter, in de echte wereld zijn de fysieke instrumenten die worden gebruikt om deze computers te bouwen imperfect. Ze kunnen niet de perfecte, oneindig scherpe toestanden creëren die vereist zijn door de beste theoretische codes. In plaats daarvan moeten ze "benaderende" versies van deze codes gebruiken, die goed genoeg zijn om gebouwd te worden, maar inherent vaag zijn. De centrale uitdaging voor natuurkundigen is om precies te begrijpen hoeveel fouten deze imperfecties introduceren wanneer een gate wordt toegepast, en of deze fout klein genoeg gehouden kan worden om betrouwbare, grootschalige berekeningen mogelijk te maken.

Een team van onderzoekers aan de Technische Universiteit München heeft een frisse kijk op dit probleem geworpen, waarbij ze zich concentreerden op een specifiek type kwantumcode bekend als de Gottesman-Kitaev-Preskill, of GKP-code. Deze code is bijzonder veelbelovend omdat het informatie codeert in de continue golven van licht of geluid, in plaats van in discrete deeltjes, en het heeft een unieke eigenschap: in theorie staat het toe dat complexe logische operaties worden uitgevoerd met eenvoudige, lineaire optische instrumenten, vergelijkbaar met de lenzen en spiegels die in een standaardcamera worden gevonden. De onderzoekers wilden weten of dit theoretische voordeel standhoudt wanneer de code wordt gemaakt met echte, imperfecte materialen. Hiervoor ontwikkelden ze een nieuwe manier om de "logische gate-fout" te meten. In tegen tegenstelling tot eerdere methoden die wellicht alleen kijken of het uiteindelijke antwoord fout is, volgt hun nieuwe maatstaf twee specifieke problemen tegelijkertijd: hoeveel de operatie faalt om te doen wat hij zou moeten doen, en hoeveel de informatie volledig uit de veilige zone lekt. Cruciaal is dat zij toonden dat deze foutmaat voorspelbaar gedraagt wanneer gates aan elkaar worden gekoppeld, waardoor ze de totale fout van een lange reeks operaties kunnen berekenen door simpelweg de fouten van de individuele stappen bij elkaar op te tellen.

Toen ze deze nieuwe meting toepasten op de GKP-code, vonden ze een verhaal van twee zeer verschillende uitkomsten. Eerst keken ze naar de meest basale operaties, de logische equivalenten van eenvoudige bitflips. Ze ontdekten dat voor deze operaties de fout gestaag en voorspelbaar afneemt naarmate het fysieke systeem nauwkeuriger wordt gemaakt. Specifiek is de fout direct evenredig aan een parameter die bekend staat als de squeezing-parameter, die beschrijft hoe strak de golfachtige toestanden worden ingesloten. Dit betekent dat als ingenieurs betere, meer "gesqueezed" toestanden kunnen bouwen, de nauwkeurigheid van deze basale gates in een rechte, betrouwbare lijn zal verbeteren. Dit is een geruststellend resultaat, dat suggereert dat voor de fundamentele bouwstenen van de computer de weg naar perfectie duidelijk en haalbaar is.

Echter, het verhaal verandert drastisch wanneer de onderzoekers complexere operaties onderzochten, specifiek een klasse van gates bekend als Cliffords, die essentieel zijn voor het uitvoeren van geavanceerde berekeningen. Ze testten een standaardmethode voor het uitvoeren van een van deze gates, de fasegate, met gebruik van dezelfde eenvoudige lineaire optische instrumenten die perfect werken in de ideale, theoretische versie van de code. Hun analyse onthulde een harde limiet: zelfs als het fysieke systeem oneindig nauwkeurig wordt gemaakt, waarbij de squeezing-parameter naar zijn absolute maximum wordt gedreven, verdwijnt de fout voor deze specifieke gate niet. In plaats daarvan stabiliseert deze op een constante, niet-nul waarde. Dit betekent dat ongeacht hoe goed de hardware wordt gebouwd, deze specifieke manier van het implementeren van de gate altijd zal falen om de taak correct uit te voeren. De onderzoekers bewezen dat dit falen geen kleine storing of een tijdelijke hindernis is, maar een fundamentele beperking van het gebruik van eenvoudige lineaire optica voor deze specifieke gate in een benaderende code.

Deze bevinding zet een algemeen aanvaarde aanname in het vakgebied op zijn kop. Jarenlang werd breed geloofd dat als een gate-implementatie perfect werkt voor de ideale, wiskundige versie van een code, het van nature goed genoeg zou werken voor de echte, benaderende versies die in experimenten worden gebruikt. Het Münchense team heeft aangetoond dat dit niet altijd waar is. Er zijn gevallen waarin een methode die perfect is in theorie, fundamenteel kapot gaat wanneer deze wordt toegepast op de rommelige realiteit van fysieke systemen. Hun werk impliceert dat het simpelweg proberen te bouwen van betere versies van dezelfde optische instrumenten het probleem voor deze complexe gates niet zal oplossen. In plaats daarvan zijn nieuwe strategieën vereist. Het artikel suggereert dat onderzoekers, om deze barrière te overwinnen, mogelijk voorbij eenvoudige lineaire optica moeten gaan en hybride benaderingen moeten incorporeren die verschillende soorten fysieke operaties combineren. Door precies te identificeren waar en waarom de standaardmethoden falen, biedt dit onderzoek een duidelijke kaart voor waar toekomstige inspanningen op gericht moeten worden, waarbij onderscheid wordt gemaakt tussen de problemen die kunnen worden opgelost door beter engineering en de problemen die geheel nieuwe ideeën vereisen.