Stabilizer codes over general phase spaces

Quantumcomputers beloven problemen op te lossen die onmogelijk zijn voor de machines van vandaag, maar ze zijn ongelooflijk fragiel. De informatie die ze opslaan, bekend als kwantumtoestanden, kan gemakkelijk verstoord worden door de kleinste trilling of warmte. Om deze informatie te beschermen, gebruiken wetenschappers een strategie genaamd foutcorrectie, wat inhoudt dat een enkele stukje data verspreid wordt over vele fysieke deeltjes. Als één deeltje corrupt raakt, houden de anderen de waarheid vast, waardoor de computer de informatie kan herstellen. Decennialang hebben onderzoekers specifieke manieren ontwikkeld om dit te doen voor verschillende soorten quantumhardware. Sommige systemen gebruiken minuscule, discrete eenheden van energie, zoals individuele treden op een ladder. Anderen gebruiken continue golven van energie, zoals de vloeiende beweging van een pendule. Tot nu toe zijn deze twee benaderingen grotendeks als gescheiden werelden behandeld, met verschillende wiskundige regels en verschillende instrumenten om fouten te herstellen.

Een nieuwe studie door Sayan Chakraborty en Victor V. Albert overbrugt deze kloof. Zij hebben een verenigde theorie ontwikkeld voor een brede klasse van kwantumcodes die deze verschillende typen systemen met elkaar kunnen mengen. Hun werk laat zien hoe men stabiele kwantumgeheugens kan bouien met een combinatie van oscillatoren, rotoren en discrete eenheden, die allemaal worden beheerst door één enkele, consistente set regels. Dit is een belangrijke stap voorwaarts omdat toekomstige kwantumcomputers waarschijnlijk niet op slechts één type hardware zullen vertrouwen; ze zullen verschillende componenten moeten integreren om effectief te kunnen functioneren. Door te bewijzen dat deze gemengde systemen met dezelfde wiskundige strengheid kunnen worden behandeld als hun eenvoudigere tegenhangers, hebben de onderzoekers een blauwdruk geleverd voor het bouwen van robuustere en veelzijdiger kwantumapparaten.

De kern van dit werk betreft een concept genaamd een stabilizer-code. Stel je voor dat je een verzameling objecten hebt en dat je ze in een specifieke, veilige opstelling wilt houden. Je definieert een set regels, of "stabilizers", die deze veilige staat beschrijven. Als de objecten licht bewegen, schenden ze een van deze regels, en het systeem weet dat er een fout is opgetreden. De onderzoekers richtten zich op systemen waarbij deze regels worden gedefinieerd door "verplaatsingsoperatoren" (displacement operators). In eenvoudige bewoordingen zijn dit acties die de toestand van een systeem verschuiven, ofwel door het naar een nieuwe positie te bewegen, ofwel door de fase te veranderen, wat vergelijkbaar is met het verschuiven van de timing van een golf. Het cruciale inzicht is dat voor een code om te werken, deze verschuivende acties moeten commuteren, wat betekent dat de volgorde waarin je ze toepast niet uitmaakt. Deze eigenschap stelt het systeem in staat om een stabiele, beschermde ruimte te vormen waarin kwantuminformatie kan voortbestaan.

Chakraborty en Albert realiseerden zich dat deze verplaatsingsoperatoren gevisualiseerd kunnen worden als punten op een rooster in een wiskundige ruimte die de fase-ruimte wordt genoemd. Voor een eenvoudig systeem kan dit rooster eruitzien als een regelmatig patroon van stippen. Voor complexere systemen kan het rooster uitgerekt, gedraaid of zelfs voorzien van gaten zijn. De onderzoekers toonden aan dat zolang het rooster een specifiek type structuur vormt, bekend als een rooster (lattice), het een geldige kwantumcode kan definiëren. Dit rooster fungeert als het skelet van de foutcorrectiecode. De grootte van de logische ruimte—de hoeveelheid informatie die de code kan opslaan—is direct gerelateerd aan het volume van de ruimte tussen de punten van dit rooster. Als de punten dicht op elkaar gepakt zitten, kan de code meer informatie opslaan; als ze verder uit elkaar liggen, slaat het minder informatie op.

Een van de meest opmerkelijke bevindingen van het artikel is de ontdekking van "hybride" codes die niet kunnen worden afgebroken tot afzonderlijke, onafhankelijke delen. In het verleden gingen wetenschappers vaak ervan uit dat een complex systeem begrepen kon worden door naar de individuele, eenvoudigere componenten ernaar te kijken. Bijvoorbeeld, een code die oscillatoren en discrete eenheden mengt, zou gedacht kunnen zijn als slechts een oscillatorcode die aan een discrete code is geplakt. Echter, de auteurs construeerden voorbeelden waarbij de componenten zo diep met elkaar verweven zijn dat geen enkele hoeveelheid wiskundige herschikking ze van elkaar kan scheiden. Ze creëerden een code die oscillatoren mengt met planaire rotoren, en een andere die rotoren mengt met discrete eenheden, waarbij de verbinding tussen de delen intrinsiek is. Dit betekent dat de foutcorrectie-eigenschappen van het hele systeem afhangen van de specifieke manier waarop de delen aan elkaar gekoppeld zijn, en je kunt het systeem niet begrijpen door de delen in isolatie te bestuderen.

De onderzoekers pakten ook het probleem aan van het decoderen van fouten in deze gemengde systemen. Wanneer een fout optreedt, verschuift de toestand van het systeem naar een nieuwe locatie in de fase-ruimte. Het doel van decoderen is om te achterhalen welke verschuiving heeft plaatsgevonden en deze te herstellen. Het artikel biedt een methode om te bepalen wat de beste manier is om dit te doen, gebaseerd op de geometrie van het rooster. Ze toonden aan dat de meest efficiënte decoder er een is die zoekt naar de kleinste verschuiving die de geobserveerde fout had kunnen veroorzken. Deze aanpak werkt voor alle verschillende typen systemen die zij bestudeerden, of het nu gaat om continue golven, discrete stappen, of een mix van beide. Ze leidden ook formules af om de "afstand" van de code te berekenen, wat een maatstaf is voor het aantal fouten dat de code kan corrigeren voordat deze faalt. Deze afstand wordt bepaald door de kortste afstand tussen de punten van het rooster en de punten die de logische informatie vertegenwoordigen.

Een bijzonder elegante zijstap van hun werk betreft de relatie tussen de code en zijn "duaal". In de wiskunde heeft elk rooster een partner-rooster dat de mogelijke logische operaties beschrijft. De onderzoekers toonden aan dat de eigenschappen van de code, zoals het vermogen om fouten te detecteren, direct verbonden zijn met de eigenschappen van dit duale rooster. Deze connectie stelt hen in staat om krachtige wiskundige instrumenten uit de studie van roosters te gebruiken om kwantumcodes te analyseren. Ze demonstreerden dat deze relatie standhoudt, zelfs voor de meest complexe hybride codes, waarmee zij een verenigd kader bieden dat van toepassing is op alle de door hen overwogen systemen.

Het artikel behandelt ook de praktische kwestie van energie. In de echte wereld kunnen kwantumtoestanden niet een oneindige energie hebben, terwijl de ideale wiskundige modellen dat vaak wel veronderstellen. De auteurs ontwikkelen een manier om "eindige-energie" versies van deze codes te creëren. Ze toonden aan dat door de energie van het systeem licht te dempen, ze fysieke toestanden kunnen creëren die bijna exact hetzelfde gedragen als de ideale wiskundige toestanden. De fout die door deze demping wordt geïntroduceerd is extreem klein, wat deze codes levensvatbaar maakt voor real-world toepassingen. Dit is cruciaal omdat het bewijst dat de theoretische codes die zij ontworpen hebben, daadwerkelijk gebouwd en gebruikt kunnen worden in fysieke apparaten.

Gedurende hun studie gebruikten de auteurs een wiskundig kader ontwikkeld door Marc Rieffel, dat kwantummechanica verbindt met een gebied genaamd niet-commutatieve geometrie. Dit kader behandelt de ruimte van kwantumtoestanden als een geometrisch object, waardoor de onderzoekers geometrische intuïtie kunnen gebruiken om kwantumproblemen op te lossen. Ze vonden dat de syndroomruimte, de ruimte waar de foutinformatie wordt opgeslagen, kan worden gezien als een bundel van vezels (fibers). Elke vezel komt overeen met een specifiek foutpatroon, en de code leeft in een van deze vezels. Dit geometrische perspectief hielp hen te bewijzen dat de dimensie van de code gelijk is aan het volume van het rooster, een resultaat dat geldt voor alle de door hen bestudeerde systemen.

Het werk herbezoekt ook bekende codes, zoals de Gottesman-Kitaev-Preskill (GKP) code, een beroemd type foutcorrectiecode voor continue systemen. De auteurs toonden aan dat hun nieuwe kader deze bestaande codes als speciale gevallen bevat. Bovendien construeerden zij nieuwe codes die verschillende typen systemen combineren op manieren die voorheen onmogelijk waren. Zo creëerden ze een code die twaalf oscillatoren met twaalf qubits mengt, afgeleid van een beroemde klassieke code genaamd de Golay-code. Deze hybride code is niet slechts een simpele combinatie van de twee; het is een nauw geïntegreerd systeem waarbij de oscillatoren en qubits aan elkaar gekoppeld zijn op een manier die een nieuwe, krachtigere code creëert.

De onderzoekers verkenden ook de grenzen van deze codes. Ze bewezen dat voor bepaalde typen systemen, specifiek die die een oscillator en een rotor omvatten, de code alleen "intrinsiek gekoppeld" kan zijn als deze een specifieke hoeveelheid informatie opslaat. Als de hoeveelheid informatie te klein is, kan het systeem altijd worden opgedeeld in onafhankelijke delen. Echter, zodra de informatie een bepaalde drempel bereikt, wordt de koppeling onvermijdelijk. Deze bevinding helpt wetenschappers te begrijpen wanneer zij complexe, hybride gedragingen kunnen verwachten in hun eigen ontwerpen.

Samenvattend hebben Chakraborty en Albert een uitgebreide theorie geleverd voor een breed scala aan kwantumfoutcorrectiecodes. Ze hebben aangetoond dat oscillatoren, rotoren en discrete eenheden samen kunnen worden gebracht in één enkel, coherent kader. Ze hebben bewezen dat deze gemengde systemen intrinsieke eigenschappen kunnen hebben die niet gereduceerd kunnen worden tot hun onderdelen, en zij hebben de instrumenten geleverd om deze te analyseren en te decoderen. Door deze diverse systemen te verbinden met één enkele geometrische taal, hebben zij de deur geopend naar het ontwerpen van flexibelere en robuustere kwantumcomputers. Hun werk suggereert dat de toekomst van quantumcomputing mogelijk niet ligt in het kiezen tussen één type hardware boven een ander, maar in het leren hoe men ze samen kan weven tot één enkel, veerkrachtig weefsel.