Hybrid Lattice Surgery: Non-Clifford Gates via Non-Abelian Surface Codes

Het bouwen van een computer die problemen kan oplossen die buiten het bereik van de huidige machines liggen, vereist een fundamentele verschuiving in hoe we met informatie omgaan. In de kwantumwereld zijn de bits aan data ongelooflijk fragiel; de kleinste verstoring vanuit de omgeving kan ze verstoren, waardoor de berekening mislukt. Om dit te beschermen, gebruiken wetenschappers foutcorrigerende codes, die een enkel stuk informatie verspreiden over vele fysieke deeltjes. Als één deeltje een fout maakt, houden de anderen de waarheid vast, waardoor het systeem kan herstellen. Er is echter een strikte regel in dit vakgebied: de soorten operaties die gemakkelijk en veilig kunnen worden uitgevoerd op deze beschermde bits, zijn niet voldoende om alles te doen wat een computer nodig heeft. Om een echt universele machine te bouwen, moeten onderzoekers een manier vinden om een specifieke, moeilijke operatie uit te voeren zonder de delicate bescherming die de data veilig houdt, te verbreken. Dit is een belangrijke flessenhals geweest, die vaak enorme hoeveelheden tijd en ruimte vereist om de noodzakelijke "magische" toestanden te genereren of om tussen verschillende soorten foutcorrigerende codes te schakelen.

Een team van onderzoekers heeft nu een nieuwe methode voorgesteld om deze hindernis te overwinnen, een methode die de zware hulpbronnenkosten van eerdere benaderingen vermijdt. Hun werk, gepubliceerd in het tijdschrift Quantum, introduceert een techniek genaamd hybride roosterchirurgie (hybrid lattice surgery). In plaats van te proberen een moeilijke operatie binnen een enkele, uniforme code af te dwingen, suggereren ze twee verschillende soorten kwantumcodes bij elkaar te brengen, ze kortstondig te laten interageren, en ze vervolgens weer uit elkaar te trekken. Deze interactie fungeert als een brug, waardoor de moeilijke operatie kan worden uitgevoerd en kan worden overgedragen naar de standaardcode die wordt gebruikt voor de hoofdcalculatie. De onderzoekers hebben aangetoond dat door een specifieke, complexe code naast de standaardcode te gebruiken, zij de noodzakelijke magische toestanden kunnen generen of complexe poorten kunnen teleporteren met veel minder stappen dan voorheen.

De standaardbenadering voor het beschermen van kwantuminformatie steunt vaak op een roosterachtige structuur die bekend staat als de surface code. Stel je een schaakbord voor waarbij de data verborgen zit in de patronen van de vakjes. Deze code is uitstekend in het detecteren van fouten omdat de regels voor het controleren van de data eenvoudig en lokaal zijn. Echter, de operaties die direct op dit rooster kunnen worden uitgevoerd, zijn beperkt. Om de volledige kracht van een kwantumcomputer te verkrijgen, moeten wetenschappers een speciaal ingrediënt introduceren, vaak een "magic state" genoemd, dat werkt als een katalysator voor complexe berekeningen. Traditioneel is het creëren van dit ingrediënt alsof je probeert een cake te bakken in een keuken waarin je alleen water mag koken; je moet een enorme, inefficiënte machine bouwen om slechts dat ene ding te krijgen wat je nodig hebt. Een andere methode houdt in dat de data tijdelijk naar een ander type code wordt verplaatst waar de operatie gemakkelijker is, de taak wordt uitgevoerd, en de data vervolgens weer wordt teruggebracht. Deze "code switching" is effectief maar traag en zeer veeleisend qua middelen, omdat de hoofdcomputatie moet worden onderbroken om het hele systeem te herconfigureren.

Het nieuwe voorstel verandert het spel door de interactie tussen verschillende codes te behandelen als een kenmerk in plaats van een fout. De onderzoekers hebben een protocol ontworpen waarbij ze een standaard code-patch en een patch van een complexere code nemen en hun randen bij elkaar brengen. In de taal van de fysica zijn deze randen grenzen waar de regels van de code iets anders zijn. Door een specifieke reeks metingen uit te voeren langs de lijn waar deze twee patches elkaar ontmoeten, kunnen de onderzoekers ze effectief "samensmelten" tot één hybride systeem. Deze fusie is geen permanente versmelting; het is een tijdelijke handdruk. Tijdens deze handdruk interageert de informatie van de standaard patch met de complexe patch op een manier die de informatie transformeert. Zodra de transformatie voltooid is, worden de patches weer uit elkaar gesplitst. Het resultaat is dat de standaard patch nu de complexe operatie bevat die hij nodig had, zonder ooit zijn eigen beschermde omgeving te hoeven verlaten of een volledige systeemoverhaul te hoeven ondergaan.

Om dit werkend te krijgen, moesten het team uitzoeken welke codes met elkaar kunnen communiceren en hoe ze het gesprek kunnen controleren. Ze kozen ervoor om een standaard surface code te gebruiken, die gebaseerd is op een eenvoudige groep wiskundige symmetrieën, en deze te koppelen aan een complexere code gebaseerd op de symmetrieën van een vierkant, bekend als de dihedrale groep. Ze toonden aan dat door het zorgvuldig samenvoegen en splitsen van deze twee specifieke codes, zij de vereiste magische toestanden kunnen generen of een complexe poort, de zogenaamde T-gate, kunnen teleporteren. Het proces bestaat uit een reeks stappen: eerst het voorbereiden van een speciale toestand in de eenvoudige code; ten tweede het samenvoegen met de complexe code; derde het uitvoeren van metingen die de twee verstrengelen; en tot slot het splitsen om de getransformeerde toestand te onthullen. Cruciaal is dat de onderzoekers ontdekten dat deze stappen parallel kunnen worden uitgevoerd aan verschillende zijden van de complexe code-patch, wat het proces sneller en efficiënter maakt dan eerdere methoden.

De schoonheid van deze methode ligt in de lokaliteit ervan. In veel voorstellen voor kwantumcomputers vereist het uitvoeren van een moeilijke operatie het verbinden van verre delen van de computer, wat fysiek moeilijk te realiseren is. Hier vindt het hele proces plaats op de grens waar twee patches van de computer naast elkaar liggen. De onderzoekers hoeven alleen metingen uit te voeren op de deeltjes die zich direct op de interface bevinden. Dit betekent dat de hardware-eisen veel minder veeleisend zijn, aangezien de computer niet globaal herschikt of geherconfigureerd hoeft te worden. De informatie blijft gedurende het hele proces beschermd door de foutcorrigerende code. Als er een fout optreedt tijdens het samenvoegen of splitsen, kan de ingebouwde foutcorrectie van het systeem de fout detecteren en herstellen, in plaats van de hele poging te verwerpen.

Om te garanderen dat dit idee niet slechts een slimme truc op papier was, hebben de onderzoekers ook een theoretisch kader ontwikkeld om te beschrijven wat er gebeurde. Ze gebruikten een wiskundige taal genaamd topologische kwantumveldentheorie, die het gedrag van deze codes beschrijft op een continue, vloeiende manier, in plaats van als een rooster van discrete punten. Dit hogere perspectief bevestigde dat de samenvoegings- en splitsingsoperaties equivalent zijn aan specifieke, goed begrepen fysieke processen waarbij informatie over grenzen stroomt. Deze theoretische onderbouwing gaf hen het vertrouwen dat de methode gegeneraliseerd kon worden. Ze toonden aan dat dezelfde logica kan worden toegepast om niet alleen één type complexe poort te genereren, maar een hele familie van hen, inclusief poorten die nog complexer zijn dan de standaard ones. Ze toonden ook aan dat de aanpak kan worden uitgebreid om te werken met verschillende soorten kwantumdata, zoals drievoudige systemen, wat wijst op een brede toepasbaarheid voor toekomstige kwantumarchitecturen.

De weg naar een werkende kwantumcomputer is geplaveid met uitdagingen, en foutcorrectie is een van de meest significante. Dit nieuwe protocol biedt een veelbelovende route naar het oplossen van het probleem van non-Clifford gates, die de sleutel vormen tot het ontsluiten van het volledige potentieel van kwantumcomputing. Door middel van hybride roosterchirurgie hebben de onderzoekers aangetoond dat het mogelijk is om deze moeilijke operaties uit te voeren met behulp van alleen lokale interacties tussen verschillende code-patches. Hoewel het artikel een theoretisch protocol presenteert en nog niet rapporteert over een fysiek experiment, is het wiskundige bewijs robuust en is de methode ontworpen om compatibel te zijn met bestaande hardwareontwerpen. De volgende stap voor het vakgebied zal zijn om deze ideeën in het laboratorium te testen, maar de grondslag die hier is gelegd, suggereert een toekomst waarin kwantumcomputers complexe berekeningen kunnen uitvoeren met grotere efficiëntie en minder overhead, waardoor de droom van universele kwantumcomputing dichter bij de realiteit komt.