Pauli web of the $|Y\rangle$ state surface code injection

In de zoektocht naar het bouwen van een kwantumcomputer die problemen kan oplossen die buiten het bereik van klassieke machines liggen, worden wetenschappers geconfronteerd met een fundamentele hindernis: het beschermen van informatie tegen de kleinste verstoring. Kwantumbits, of qubits, zijn ongelooflijk fragiel en verliezen hun delicate staat als ze te veel interageren met hun omgeving. Om dit te overwinnen, gebruiken onderzoekers een methode genaamd foutcorrectie, waarbij één stuk informatie over vele fysieke qubits wordt verspreid, waardoor een logische qubit ontstaat die robuust genoeg is om te overleven. Om echter complexe berekeningen uit te voeren, moeten deze logische qubits gevoed worden met speciale "resource"-toestanden, vaak "magic states" genoemd, die fungeren als de brandstof voor geavanceerde operaties. De uitdaging ligt in het injecteren van deze toestanden in de beschermende code zonder de zeer fouten te introduceren die het systeem juist probeert te voorkomen. Dit vereist een precieze sequentie van stappen om de qubits te initialiseren en te verifiëren dat de informatie correct is overgedragen.

Een team van onderzoekers heeft nu een visuele taal genaamd ZX-calculus gebruikt om precies in kaart te brengen hoe een specifieke vorm van state-injectie werkt. In plaats van te proberen de complexe "magic states" te injecteren die worden gebruikt voor de krachtigste berekeningen, concentreerden zij zich op een eenvoudigere, meer voorspelbare toestand die zich gedraagt als een standaard kompasrichting in de kwantumwereld. Door het hele proces als een diagram te tekenen, waren zij in staat om de informatiestroom te traceren en aan te tonen dat het specifieke patroon van beginvoorwaarden dat in eerdere voorstellen werd gebruikt, noodzakelijk is om het systeem te laten werken. Hun werk bevestigt dat wanneer je de initiële qubits op een zeer specifieke manier instelt — sommige beginnend in één staat, anderen in een andere staat, gerangschikt in driehoekige secties — het systeem van nature een continue informatiebaan vormt die het begin met het einde verbindt, waardoor de juiste logische toestand ontstaat.

De onderzoekers begonnen door te kijken naar een methode die door Li werd voorgesteld en later door Lao en Criger werd aangepast, waarbij een speciale qubit in de hoek van een rooster wordt geplaatst en de rest van het rooster wordt gevuld met andere qubits in specifieke beginposities. In hun diagram stroomt de tijd van onder naar boven. Helemaal onderaan plaatften zij een enkele qubit in een specifieke staat, terwijl de qubits onder een diagonaal lijn werden ingesteld op één type staat en die boven de lijn op een ander type staat. Ze pasten vervolgens een reeks metingen toe die de relaties tussen naburige qubits controleren, een proces dat herhaaldelijk plaatsvindt om eventuele fouten op te vangen. Met behulp van hun visuele hulpmiddelen volgden zij hoe de eigenschappen van die enkele speciale qubit aan het begin zich verspreidden door het rooster terwijl deze controles werden uitgevoerd.

Wat zij ontdekten, was dat de specifieke arrangement van beginstaten een naadloze keten van verbindingen creëert die de input met de output verbindt. Als de beginstaten anders waren gerangschikt, zou deze keten breken en zou het eindresultaat fout zijn. De diagrammen toonden aan dat de qubits in de onderste driehoek en de diagonale lijn fungeren als een fundament dat de informatiestroom ondersteunt, terwijl de qubits in de bovenste driehoek de nodige structuur bieden om de circuit te voltooien. Dit visuele bewijs demonstreerde dat het ogenschijnlijk vreemde patroon van beginvoorwaarden beschreven in eerdere papers essentieel is om ervoor te zorgen dat de logische Y-correlator Pauli-web correct eindigt en de juiste logische toestand herstelt. Het is als een brug waarbij elke pilaar op een specifieke plek moet staan; als zelfs maar één pilaar wordt verplaatst, kan de brug de kloof niet overspannen.

Een cruciaal onderdeel van hun ontdekking betreft hoe het systeem de allereerste ronde van controles afhandelt. In een perfecte wereld zouden de eerste metingen altijd bevestigen dat de qubits in de juiste staat zijn. Echter, vanwege de manier waarop de initiële toestanden gemengd zijn, produceren sommige van deze eerste controles willekeurige resultaten die niet vertrouwd kunnen worden. De onderzoekers toonden aan dat er specifieke gebieden in het rooster zijn waar de eerste controle betrouwbaar is en gebieden waar dat niet zo is. De betrouwbare controles zijn die waarbij alle betrokken qubits met dezelfde staat begonnen, waardoor het systeem de informatie onmiddellijk kan verifiëren. De onbetrouwbare controles betreffen een mix van beginstaten, wat betekent dat de eerste meting in essentie een gok is. Om dit op te lossen, vereist het protocol dat het systeem post-selectie uitvoert, waarbij alleen de uitkomsten worden behouden waar de eerste ronde van metingen op specifieke plaquettes een +1 waarde oplevert. Dit "post-selectie" proces zorgt ervoor dat de uiteindelijke logische toestand schoon en vrij is van fouten die tijdens de injectie zijn geïntroduceerd.

Het team verkende ook wat er gebeurt als er een fout optreedt vlak aan het begin, zoals een qubit die in de verkeerde staat begint. Hun diagrammen toonden hoe deze fout door het systeem zou reizen, waarbij de resultaten van specifieke metingen door de tijd heen zou omkeren. Door deze veranderingen te volgen, konden zij precies zien hoe het systeem de fout zou identificeren en corrigeren, mits de initiële opstelling correct was. Dit niveau van helderheid helpt verklaren waarom het specifieke patroon van initialisatie zo belangrijk is: het stelt het systeem in staat om een echte fout te onderscheiden van de natuurlijke willekeur van de eerste metingsronde. Zonder dit duidelijke pad zou de computer een willekeurige fluctuatie voor een echte fout kunnen aanzien en de verkeerde correctie toepassen, wat de berekening zou ruïneren.

Hoewel deze studie zich richtte op een eenvoudigere toestand om de analyse mogelijk te maken, geloven de onderzoekers dat dezelfde visuele benadering kan worden toegepast op de complexere "magic states" die nodig zijn voor grootschalige kwantumcomputing. Zij vermoeden dat zij, door de regels van hun diagrammen aan te passen, ook de injectie van die moeilijkere toestanden in kaart kunnen brengen. Voor nu biedt hun werk een heldere, visuele bevestiging van waarom de Li en Lao-Criger schema's werken, waarbij een complexe wiskundige procedure wordt omgezet in een begrijpelijk beeld van hoe informatie door een kwantumcomputer stroomt. Deze helderheid is een vitale stap naar het bouwen van machines die in staat zijn om de berekeningen van de toekomst betrouwbaar uit te voeren.