The resource cost of magic in a code block

Kwantumcomputers beloven problemen op te lossen die onmogelijk zijn voor de machines van vandaag, maar ze worden geconfronteerd met een fundamentele hindernis: ze zijn ongelooflijk fragiel. Om de informatie die ze bevatten te beschermen, gebruiken ingenieurs een methode genaamd foutcorrectie, waarbij één enkel stukje data over vele fysieke deeltjes wordt verspreid. Dit creëert een stabiele "logische" qubit die de ruis van de echte wereld kan overleven. Hoewel deze beschermde computers echter uitstekend zijn in het uitvoeren van standaard berekeningen, hebben ze moeite met een specifiek type operatie dat nodig is voor de krachtigste algoritmen. Deze moeilijke operaties vereisen een speciaal soort hulpbron, vaak een "magic state" genoemd, die fungeert als een hoogwaardige brandstof die de computer niet uit zichzelf kan maken. Het produceren van deze brandstof is momenteel het duurste deel van het draaien van een grootschalige kwantumcomputer, wat enorme hoeveelheden tijd en hardware consumeert.

De vraag die onderzoekers zich al lang stellen, is of er een goedkopere manier is om deze brandstof direct op het oppervlak van de computer te genereren, zonder de zware kosten van de huidige methoden. Een nieuwe studie door Jiachen Shen en Hui Zhong aan de University of Houston onderzoekt de grenzen van deze mogelijkheid. Ze onderzoeken een specifiek scenario waarin een kwantumcomputer probeert deze speciale toestanden te creëren met behulp van slechts zwakke, kleine aanpassingen aan de bestaande hardware. Hun werk suggereert niet alleen een nieuwe manier om een computer te bouwen; het trekt een harde lijn rond wat fysiek mogelijk is. Ze bewijzen dat als een computer probeert deze krachtige toestanden te creëren met behulp van alleen kleine, verspreide aanpassingen op een vast stuk hardware, het resultaat verwaarloosbaar klein zal zijn. Hoe meer de computer probeert zichzelf te beschermen tegen fouten, hoe minder "magic" hij kan produceren, en de kosten van het proberen te omzeilen van deze regel zijn veel hoger dan voorheen begrepen.

De onderzoekers concentreerden zich op een veelvoorkomend type kwantumcomputerontwerp dat bekend staat als een surface code, die eruitziet als een rooster van piepkleine schakelaars. In dit ontwerp kan de computer de meeste taken gemakkelijk uitvoeren, maar om de moeilijke "magic" toestanden te verkrijgen, moet hij een specifieke eigenschap van de data meten. Deze meting is lastig omdat het de computer vereist om twee verschillende eigenschappen tegelijkertijd te controleren, wat meestal de oorzaak is dat het systeem instort. Om dit te omzeilen, hebben wetenschappers voorgesteld om de magic state direct op het rooster te "cultiveren" door een reeks kleine, zachte rotaties toe te passen op de schakelaars. De hoop was dat door het stapelen van vele van deze kleine rotaties, de computer een sterke, nuttige toestand kon opbouwen.

Shen en Zhong zetten zich af om de grenzen van deze cultivatiemethode te testen. Ze modelleerden een scenario waarin een computer deze zwakke rotaties toepast en vervolgens de resultaten controleert, waarbij alleen de uitkomsten worden geaccepteerd die er correct uitzien. Ze stelden een eenvoudige maar diepzinnige vraag: als de computer deze procedure vele malen mag herhalen, hoeveel van de gewenste "magic" kan hij daadwerkelijk behouden? Hun analyse onthulde een strikte wiskundige barrière. Ze ontdekten dat voor de computer om succesvol een nuttige magic state te produceren, de kleine rotaties op een zeer specifieke, gecoördineerde manier moeten samenwerken. Als de rotaties te zwak of te verspreid zijn, kan de computer niet genoeg kracht accumuleren om de barrière van foutcorrectie te doorbreken.

Het team bewees dat de hoeveelheid magic die een computer kan accepteren, direct verbonden is met de afstand tussen de punten waar de rotaties worden toegepast. In hun model heeft de computer een specifieke "code distance", wat een maat is voor hoe ver de datapunten uit elkaar liggen en hoe goed het systeem beschermd is. Ze toonden aan dat als de computer probeert een groot aantal zwakke rotaties te gebruiken, het succespercentage zo drastisch daalt dat het eindresultaat effectief nul is. Specifiek berekenden ze dat de hoeveelheid nuttige magic die geproduceerd wordt, exponentieel afneemt naarmate de code distance toeneemt. Dit betekent dat naarmate de computer groter en robuuster tegen fouten wordt, het vermogen om deze speciale toestanden te creëren met behulp van zwakke, verspreide aanpassingen bijna volledig verdwijnt.

Een van de meest significante bevindingen is dat deze limiet niet wordt veroorzaakt door de specifieke vorm van de computer of de manier waarop fouten door deze bewegen, zoals sommige eerdere theorieën suggereerden. In plaats daarvan is de limiet fundamenteel een uitspraak over de code distance zelf. De onderzoekers demonstreerden dat de barrière bestaat voor elke stabilizer code waarbij het herstelproces aan specifieke structurele voorwaarden voldoet, ongeacht de specifieke lay-out, mits de computer de standaard foutcorrectieregels volgt. Ze toonden ook aan dat de enige manier om deze limiet te omzeilen het veranderen van de structuur van de computer zelf is, zoals het vouwen van het rooster of het gebruiken van meerdere aparte blokken, wat complexe en dure manoeuvres zijn. Als een computer binnen het standaard, vaste rooster blijft en alleen zwakke, gedistribueerde aanpassingen gebruikt, loopt hij tegen een muur aan.

De studie behandelde ook een veelvoorkomend misverstand over hoe deze computers werken. Sommige onderzoekers hadden gehoopt dat door veel kleine rotaties op dezelfde plek toe te passen, de effecten zouden optellen om een sterk signaal te creëren. De auteurs toonden aan dat hoewel deze strategie technisch gezien kan werken om een sterk signaal te produceren, het vereist dat de rotaties zo dicht op elkaar gepakt zijn dat ze de regels van het foutcorrectiesysteem schenden met betrekking tot hoeveel operaties gegroepeerd kunnen worden. In een standaardopstelling behandelt de computer deze dicht opeengepakte rotaties als een enkele, grote fout, die het systeem is ontworpen om af te wijzen. Daarom werkt de strategie van het opstapelen van zwakke aanpassingen op één plek niet voor een beschermde computer die zich aan de standaard beperkingen houdt.

De onderzoekers keken ook naar een specifiek protocol waarbij de computer een enkele laag van zwakke rotaties langs een lijn van datapunten toepast. Ze vonden dat deze methode een magic state kan produceren, maar alleen als de lijn van rotaties net zo lang is als de code distance zelf. Dit betekent dat om een nuttig resultaat te krijgen, de computer een aantal aanpassingen moet gebruiken dat meegroeit met de grootte van de machine. Wanneer de onderzoekers de kosten van dit proces berekenden, kwamen ze tot de conclusie dat de hoeveelheid magic die geproduceerd wordt zo klein is dat het praktisch nutteloos is voor grote machines. De wiskunde toonde aan dat de succeswaarschijnlijkheid zo snel daalt dat de computer het proces een astronomisch aantal keren zou moeten draaien om één enkel nuttig resultaat te krijgen.

Dit werk verheldert waarom de huidige methoden voor het creëren van magic states zo duur zijn. Het bewijst dat er geen kortere weg is die een standaard, beschermde kwantumcomputer in staat stelt om deze toestanden goedkoop te genereren met behulp van zwakke, verspreide aanpassingen. De enige manieren om ze effectief te produceren, houden ofwel het gebruik van een groot aantal ruizige kopieën en het opschonen daarvan in, of het veranderen van de fysieke structuur van de computer om meer complexe operaties toe te staan. De studie bevestigt dat de "magic" die nodig is voor krachtige kwantumcomputing een echte hulpbron is die niet uit het niets kan worden opgeroepen, zelfs niet met slimme engineering.

De implicaties voor de toekomst van de kwantumcomputer zijn duidelijk. Ingenieurs kunnen niet simpelweg vertrouwen op het toevoegen van meer zwakke aanpassingen aan een standaard rooster om het probleem van de productie van hulpbronnen op te lossen. In plaats daarvan moeten ze zich richten op het ontwikkelen van betere methoden om deze toestanden te distilleren of het ontwerpen van nieuwe hardwarearchitecturen die de noodzakelijke complexiteit kunnen aan kunnen. De studie biedt een definitief antwoord op een vraag die in het veld heeft bestaan: de kosten van magic zijn echt, en ze kunnen niet worden vermeden door het werk simpelweg te verspreiden. De barrière is geen fout in het ontwerp, maar een fundamentele eigenschap van hoe deze systemen werken.

Uiteindelijk biedt het onderzoek een nuchtere maar noodzakelijke realiteitscheck. Het vertelt ons dat het pad naar krachtige kwantumcomputers niet geplaveid zal zijn met kleine, gemakkelijke stappen. De hulpbron die nodig is om het volledige potentieel van deze machines te ontsluiten is aanzienlijk, en elke poging om de kosten te omzeilen zal falen. Het werk van Shen en Zhong stelt een duidelijke grens voor wat mogelijk is, waardoor toekomstige inspanningen worden gestuurd naar methoden die de fundamentele limieten van de technologie respecteren. Door precies te begrijpen waar de lijn getrokken wordt, kunnen onderzoekers stoppen met het najagen van onmogelijke kortere wegen en hun energie richten op de levensvatbare paden vooruit.