Dynamical GKP codes

Kwantumcomputers houden de belofte in om problemen op te lossen die de huidige supercomputers millennia zouden kosten, maar ze zijn ongelooflijk fragiel. Om te kunnen functioneren, moeten ze delicate stukjes informatie beschermen tegen de kleinste ruis, vergelijkbaar met het proberen overeind te houden van een kaartenhuis tijdens een orkaan. Decennialang hebben wetenschappers vertrouwd op een strategie genaamd kwantumfoutcorrectie, waarbij informatie wordt verspreid over vele kleine systemen, zodat als één deel faalt, de hele boodschap overleeft. Onlangs is er een krachtige nieuwe benadering opgekomen die gebruikmaakt van de continue, vloeiende aard van licht- en geluidsgolven — specifiek de trillingen van elektromagnetische holtes of mechanische resonatoren — om deze informatie op te slaan. Deze methode, bekend als de Gottesman-Kitaev-Preskill-code, is al gebouwd in laboratoria met behulp van supergeleidende circuits en gevangen ionen. Het wordt beschouwd als een van de meest efficiënte paden naar het bouwen van een fouttolerante machine, omdat een enkele, goed beschermde oscillator het werk kan doen van vele standaard kwantumbits.

Er bleef echter een aanzienlijke kloof bestaan in hoe deze continue systemen worden beheerd. Terwijl onderzoekers geavanceerde, tijdsgebonden strategieën hadden ontwikkeld om standaard kwantumbits te beschermen door een reeks metingen uit te voeren, waren deze dynamische technieken nooit succesvol aangepast voor de continue golfgebaseerde systemen. Zonder dit instrument misten wetenschappers een manier om de beste kenmerken van verschillende foutcorrigerende codes te combineren of om tussen hen te schakelen om complexe berekeningen uit te voeren. In een nieuwe studie hebben onderzoekers Jonathan Pelletier en Baptiste Royer van de Universiteit van Sherbrooke deze kloof overbrugd. Ze hebben een nieuw kader gecreëerd dat deze dynamische, tijdsgebonden meetstrategieën naar de wereld van continue variabele kwantumcodes brengt, waardoor de golfgebaseerde systemen effectief leren hoe ze dezelfde krachtige, adaptieve instrumenten kunnen gebruiken die voorheen waren voorbehouden aan standaard kwantumbits.

De kern van deze prestatie ligt in het begrijpen van hoe informatie te beheren wanneer de regels van meting in de loop van de tijd veranderen. In de standaardbenadering is een kwantumcode statisch; deze wordt één keer gebouwd en blijft hetzelfde. Maar in een dynamische code is het systeem voortdurend in beweging. Stel je een beveiligingssysteem voor dat elke paar minuten zijn sloten verandert op basis van een specifiek schema. Als een indringer probeert in te breken, moet het systeem niet alleen kunnen bijhouden waar de inbraak plaatsvond, maar ook hoe de veranderende sloten de beveiliging van het hele gebouw in de loop van de tijd beïnvloeden. Pelletier en Royer ontwikkelden een wiskundige kaart om deze veranderingen voor golfgebaseerde systemen bij te houden. Ze toonden aan dat door specifieke verschuivingen in de golfpatronen in een nauwkeurige sequentie te meten, het systeem zijn interne structuur kan bijwerken, waardoor het effectief kan schakelen tussen verschillende soorten bescherming zonder de opgeslagen informatie te verliezen.

Om dit werkend te krijgen, moest het team eerst het concept van de code zelf generaliseren. Ze introduceerden een nieuw type code dat fungeert als een flexibel steigerwerk, waardoor delen van het systeem gemeten en aangepast kunnen worden zonder de kerninformatie te verstoren. Dit is vergelijkbaar met hoe een gebouw een stevige centrale kern kan hebben die de structuur ondersteunt, terwijl de buitenmuren kunnen worden verplaatst of vervangen. Door het golfgebaseerde systeem als een dergelijk flexibel structuur te behandelen, konden ze duidelijke regels afleiden voor hoe het systeem na elke meting wordt bijgewerkt. Deze regels stellen de onderzoekers in staat om precies te voorspellen hoe fouten zich zullen gedragen en of het systeem in staat zal zijn om de oorspronkelijke boodschap te herstellen na een reeks verstoringen.

Een van de meest opvallende resultaten van dit werk is de creatie van een specifiek voorbeeld genaamd de vierkant-hexagonale Floquet-code. Deze code combineert de sterke punten van twee bestaande golfgebaseerde ontwerpen: de vierkante code en de hexagonale code. Elk van deze oorspronkelijke ontwerpen heeft zijn eigen set logische operaties, of "gates", die op de informatie kunnen worden uitgevoerd. De vierkante code is goed in een bepaalde set operaties, terwijl de hexagonale code uitblinkt in een andere. Door het nieuwe dynamische kader te gebruiken, creëerden de onderzoekers een systeem dat de volledien volledige set operaties van beide ontwerpen kan uitvoeren. Bovendien vereist deze nieuwe gecombineerde code metingen die aanzienlijk korter en minder veeleisend zijn dan de metingen die nodig zijn voor de individuele codes. In praktische termen betekent dit dat de hardware die nodig is om deze berekeningen uit te voeren eenvoudiger en betrouwbaarder kan zijn, aangezien de metingen minder waarschijnlijk nieuwe fouten introduceren. De onderzoekers berekenden dat de metingen die vereist zijn voor deze nieuwe code ongeveer zesentwintig procent korter zijn dan de kortst mogelijke metingen die nodig zijn voor de standaard vierkante code, een reductie die de getrouwheid van het gehele systeem aanzienlijk kan verbeteren.

De studie onthulde ook een fascinerende connectie tussen twee zeer verschillende manieren om kwantumsystemen te meten. In de wereld van standaard kwantumbits zijn metingen discreet en binair, zoals het omdraaien van een schakelaar. In de wereld van golven is een veelvoorkomende meettechniek homodyne-detectie, die de continue positie of impuls van een golf meet. De onderzoekers ontdekten dat als een meting een specifiek type irrationele relatie tussen de golf en het meetinstrument inhoudt, deze zich exact gedraagt als deze continue homodyne-detectie. Deze ontdekking is niet slechts een technisch detail; het verbindt de discrete, digitale wereld van kwantumfoutcorrectie met de continue, analoge wereld van optische en microgolfsystemen. Het suggereert dat door zorgvuldig te kiezen hoe deze metingen worden uitgevoerd, wetenschappers effectief complexe continue metingen kunnen simuleren met de instrumenten van discrete foutcorrectie, wat nieuwe manieren opent om na te denken over hoe we kwantuminformatie kunnen controleren en beschermen.

De implicaties van dit werk reiken verder dan alleen een nieuwe code. Het biedt een algemene methode om de afstand van een dynamische code te berekenen, wat een maatstaf is voor hoe goed het systeem zich kan verzetten tegen fouten. Door een "persistente" structuur te identificeren die stabiel blijft gedurende de meetsequentie, toonden de onderzoekers aan dat ze in staat zijn om de capaciteit van het systeem om fouten te corrigeren efficiënt te bepalen. Deze methode is niet beperkt tot het specifieke voorbeeld dat ze hebben gebouwd; het is toepasbaar op elke reeks metingen in deze golfgebaseerde systemen. Het vermogen om deze eigenschappen efficiënt te berekenen is cruciaal voor het ontwerpen van toekomstige kwantumcomputers, omdat het ingenieurs in staat stelt hun ontwerpen te testen en te optimaliseren voordat ze ze bouwen.

Uiteindelijk demonstreert dit onderzoek dat de instrumenten die voor standaard kwantumbits zijn ontwikkeld, succesvol kunnen worden vertaald naar de complexere, continue wereld van golfgebaseerde systemen. Door de flexibiliteit van dynamische meetsequenties te combineren met de robuustheid van golfgebaseerde codering, hebben de auteurs een nieuw pad geïdentificeerd naar efficiëntere en krachtigere kwantumcomputers. Het werk suggereert dat de toekomst van kwantumfoutcorrectie niet ligt in het kiezen tussen verschillende soorten codes, maar in het dynamisch samenweven van deze codes, waardoor systemen ontstaan die slimmer, aanpasbaarder en beter beschermd zijn tegen de ruis die de dreiging vormt om hen te vernietigen.