Building codes with transversal CCZ using projective geometry and SAT solvers

In de zoektocht naar het bouwen van een betrouwbare kwantumcomputer worden wetenschappers geconfronteerd met een fundamentele paradox. Om complexe berekeningen uit te voeren, moeten deze machines specifieke, krachtige operaties uitvoeren die geen deel uitmaken van hun standaard, foutvrije gereedschapskist. De gebruikelijke oplossing is om een speciale, hoogwaardige "brandstof" genaamd een magic state te creëren, die door een langdurig en duur proces wordt gedestilleerd en vervolgens in de berekening wordt geïnjecteerd. Deze methode werkt, maar verbruikt een enorme hoeveelheid ruimte en tijd, waardoor de hele computer vertraagt. Een eleganter pad zou zijn om het geheugen van de computer zelf zo te ontwerpen dat het deze moeilijke operaties direct kan uitvoeren, simpelweg door een standaard puls op alle gegevens tegelijk toe te passen. Dit staat bekend als een transversale gate, een methode die de zware overhead van distillatie vermijdt maar berucht moeilijk te realiseren is.

Een team onderzoekers aan de Duke University heeft een belangrijke stap gezet om dit directe benadering werkelijkheid te maken. Ze hebben succesvol een nieuw type foutcorrigerende code geconstrueerd die een complexe driedelige logische operatie kan uitvoeren met behulp van alleen eenvoudige, directe fysieke pulsen. Hun werk bewijst dat een dergelijke code bestaat met een bloklengte van 48 fysieke eenheden, en ze hebben aangetoond dat geen enkele code van dit type kan bestaan met minder dan 39 eenheden. Door eeuwenoude geometrische principes te combineren met moderne computerzoektechnieken, hebben ze het precieze landschap in kaart gebracht waar deze codes kunnen leven, waarbij ze zowel een concrete oplossing als een hardnekkige kloof in onze kennis hebben onthuld die nog gevuld moet worden.

De onderzoekers concentreerden zich op een specifieke uitdaging: het bouwen van een code die drie stukken kwantuminformatie beschermt terwijl het een specifieke, niet-standaard driedelige interactie natuurlijk laat plaatsvinden. In de wereld van kwantumfoutcorrectie wordt informatie opgeslagen over vele fysieke eenheden, of qubits, in plaats van slechts één. Om deze gegevens te beschermen, controleert het systeem voortdurend op fouten met behulp van een set regels die stabilisatoren worden genoemd. Het doel was om een set van deze regels te vinden die niet alleen de gegevens beschermt, maar ook toestaat dat een specifieke, niet-standaard gate direct wordt toegepast door elke fysieke qubit te raken met een standaard puls. Als dit slaagt, zou dit de noodzaak voor het kostbare magic-state distillatieproces voor deze specifieke operatie elimineren.

Om dit op te lossen, maakten de onderzoekers gebruik van een tak van de wiskunde die bekend staat als projectieve meetkunde. Ze behandelden de fysieke qubits als punten in een geometrische ruimte en gebruikten de structuur van deze ruimte om de foutcontrole-regels te definiëren. Deze geometrische benadering garandeerde dat de code robuust zou zijn tegen bepaalde soorten fouten, door specif seguito te waarborgen dat elke enkele fout gedetecteerd kan worden. Echter, geometrie alleen was niet genoeg om de volledige puzzel op te lossen. De onderzoekers moesten een specifieke ordening van de drie logische stukken informatie binnen deze geometrische structuur vinden die aan een complexe set voorwaarden zou voldoen die vereist zijn voor de directe gate om te werken.

Hier brachten ze een krachtig computerzoekinstrument in beeld dat bekend staat als een SAT-solver. Denk aan dit instrument als een zeer efficiënte logische motor die miljarden mogelijkheden kan testen om te zien of een specifieke set beperkingen kan worden voldaan. De onderzoekers codeerden de geometrische regels en de vereisten voor de logische gates in een formaat dat de solver kon begrijpen. De solver zocht vervolgens naar de juiste ordening van de logische informatie. Na het doorzoeken van de mogelijkheden vond het een oplossing voor een code met 48 fysieke eenheden. Deze nieuwe code, die de auteurs Q48 noemen, gebruikt een specifiek patroon van 26 standaard pulsen en 22 iets andere pulsen om de gewenste driedelige operatie direct op de gegevens uit te voeren.

Het werk stopte niet bij het vinden van een oplossing; het team heeft ook de grenzen van wat mogelijk is rigoureus getest. Ze bewezen wiskundig dat geen enkele code van dit type kan bestaan met minder dan 39 fysieke eenheden. Ze sloten systematisch elke mogelijkheid uit voor codes met lengtes tussen 15 en 38, waarbij ze lieten zien dat de geometrische en logische beperkingen in een kleinere ruimte simpelweg niet kunnen worden voldaan. Dit stelt een harde ondergrens vast voor de grootte van een dergelijke code. Hun onderzoek onthulde echter ook een mysterie. Hoewel ze een werkende code vonden bij 48 eenheden en bewezen dat er geen bestaan onder de 39, blijft de reeks tussen 39 en 46 onontgonnen. Ze weten dat er daar een code zou kunnen bestaan, maar ze hebben er nog geen gevonden, noch hebben ze bewezen dat het onmogelijk is.

De betekenis van deze bevinding ligt in de balans tussen ontdekking en beperking. De onderzoekers hebben een concreet, werkend voorbeeld geleverd van een code die een moeilijk doel bereikt met een relatief klein aantal fysieke eenheden, wat een potentieel blauwdruk biedt voor efficiëntere kwantumcomputers. Tegelijkertijd zet hun bewijs dat kleinere codes onmogelijk zijn een duidelijke grens voor toekomstig onderzoek. Ze hebben aangetoond dat het pad naar efficiëntere kwantumcomputing geen rechte lijn van eindeloze verbetering is, maar een landschap met specifieke, moeilijk bereikbare pieken. Het bestaan van de kloof tussen 39 en 46 suggereert dat de volgende doorbraak in dit veld ofwel een nieuw geometrisch inzicht of een krachtiger zoekmethode vereist om de kloof te overbruggen.

De aanpak van het team benadrukt een krachtige synergie tussen klassieke wiskunde en moderne computation. Door de rigide structuur van projectieve meetkunde te gebruiken om de foutbescherming af te handelen, reduceerden ze het probleem tot een zoektocht naar de juiste logische ordening. Dit stelde hen in staat om de noodzaak van brute-force gokken te omzeilen en hun rekenkracht in plaats daarvan te richten op de meest veelbelovende kandidaten. De resulterende code, Q48, is niet alleen een theoretische curiositeit; het is een geverifieerde constructie die aantoont dat het haalbaar is om complexe logische operaties direct op gecodeerde gegevens uit te voeren.

Vooruitblikkend opent het werk verschillende nieuwe vragen. De onderzoekers hebben geïdentificeerd dat hun methode kan worden uitgebreid om codes met zelfs grotere bloklengtes te creëren, zoals 112 of 240 eenheden, wat suggereert dat de familie van deze codes groter is dan het enkele voorbeeld dat ze vonden. Echter, het bestaan van codes in de reeks van 39 tot 46 blijft een open vraagstuk. Het oplossen van deze kloof is cruciaal, aangezien een code in deze reeks aanzienlijk efficiënter zou zijn dan de versie van 48 eenheden. Tot die tijd staat de 48-eenheden code als de kleinste bekende oplossing, een testament aan de kracht van het combineren van geometrische intuïtie met algoritmische zoekmethoden om de grenzen van de kwantuminformatiewetenschap te verleggen.