Increasing the distance of topological codes with time vortex defects

Titel: Het vergroten van de afstand van topologische codes met tijd-vortexdefecten

1. Het Probleem

Kwantumfoutcorrectie (QEC) is essentieel voor schaalbaar kwantumcomputen. Topologische codes, zoals de Floquet-colorcode, zijn veelbelovend omdat ze slechts lokale connectiviteit vereisen (vaak in 2D). Echter, om een gewenste logische foutkans te bereiken, zijn deze codes vaak zeer inefficiënt in het gebruik van fysieke qubits; de benodigde hoeveelheid qubits ($N$) schaalt vaak kwadratisch met de code-afstand ($D$), wat resulteert in een hoge overhead.

De uitdaging is om de logische foutkans te onderdrukken zonder het aantal fysieke qubits onnodig te verhogen. Traditionele methoden om de code-afstand te vergroten, vereisen vaak een groter fysiek rooster, wat direct leidt tot meer qubits.

2. Methodologie

De auteurs introduceren een nieuw concept: tijd-vortexdefecten ("time vortices"). Dit zijn ruimtetijd-defecten die worden geïntroduceerd in de meetsequentie van een topologische code.

• Concept: In plaats van een uniforme, periodieke meetsequentie, wordt er een ruimtelijk variërende vertraging toegevoegd aan de timing van de metingen.
• Implementatie: Een tijd-vortex wordt gedefinieerd door een vertraging $\tau(\mathbf{r})$ die rond het defectkern oploopt tot een geheel veelvoud van de periode $T$ van de Floquet-cyclus. Wiskundig wordt dit beschreven door de integraal van de gradiënt van de vertraging rond een gesloten pad: $\oint \nabla \tau(\mathbf{r}) \cdot d\mathbf{r} = nT$, waarbij $n$ het aantal vortices is.
• Effect op de Code: Deze modificatie "schuurt" het ruimtetijd-rooster van detectiecellen. Hierdoor worden paden voor ondetecteerbare fouten (die de logische qubit zouden kunnen omkeren) in de vervormde topologie langer. Dit verhoogt effectief de code-afstand ($D$) zonder het aantal fysieke qubits ($N$) te verhogen.
• Kader: De methode wordt geanalyseerd binnen het kader van de Floquet-colorcode (een CSS-code op een honingraatrooster met 2-qubit metingen) en ook kort toegepast op de torische code.
• Optimalisatie: De auteurs optimaliseren de inbedding van de code op een torus en het aantal vortices in elke richting. Ze gebruiken een "matching graph" (een graaf waar knopen detectoren voorstellen en randen fouten) om de grafische afstand te berekenen. Dit wordt opgelost als een "Shortest Vector Problem" (SVP) met behulp van de LLL-algoritme voor basisreductie.

3. Belangrijkste Bijdragen

• Nieuwe Defect-structuur: Het voorstellen van tijd-vortices als een mechanisme om de topologische bescherming te versterken door de ruimtetijd-geometrie van de meetcyclus te manipuleren.
• Efficiëntieverbetering: Het aantonen dat het toevoegen van vortices de code-afstand significant kan vergroten ten opzichte van het aantal fysieke qubits, zelfs zonder de lokale connectiviteit van het hardware-rooster te veranderen.
• Optimalisatie van de Floquet-colorcode: Het vinden van de optimale inbeddingen op een torus voor zowel vortex-vrije als vortex-bevattende codes.
• Analyse van Torische Codes: Het tonen aan dat het concept ook werkt voor statische codes zoals de torische code, waarbij de dynamiek van de hulpproces-qubits (ancilla) tijdelijk deel uitmaakt van de code-ondersteuning.

4. Resultaten

De auteurs hebben hun theorie gevalideerd via Monte Carlo-simulaties met een circuit-niveau ruismodel (EM3-model) en een minimum-weight perfect matching decoder.

• Asymptotische Prestaties:
  • Voor de Floquet-colorcode met tijd-vortices is de verhouding tussen het aantal fysieke qubits en het kwadraat van de afstand ($R = N/D^2$) ongeveer 2,11.
  • Voor de vortex-vrije code is deze verhouding 4,5.
  • Dit betekent dat de vortex-code asymptotisch meer dan de helft (een factor van ~2,13) minder fysieke qubits nodig heeft om dezelfde code-afstand te bereiken.
• Kleine Codes:
  • De kleinste geteste vortex-code (30 qubits, afstand $D=3$) presteert beter dan de vortex-vrije code met 42 qubits (dezelfde afstand $D=3$).
  • Zelfs bij een bescheiden afstand van $D=4$ kan het aantal qubits met een factor 1,71 worden gereduceerd.
• Foutdrempel: De logische foutdrempel (threshold) blijft ongeveer hetzelfde (~1,6% - 2%) als bij vortex-vrije codes. De verbetering zit dus puur in de schaalbaarheid en de onderdrukking van de foutkans bij een gegeven fysieke foutkans.
• Trade-off: Het invoeren van vortices vergroot de diepte van het circuit (door de vertragingen), wat leidt tot meer "idling noise" (rustruis). Echter, zolang de rustruis laag is ten opzichte van de gate-onnauwkeurigheid, weegt het voordeel van de grotere afstand ruimschoots op tegen dit nadeel.

5. Betekenis en Conclusie

Dit werk biedt een krachtige nieuwe route voor het optimaliseren van kwantumfoutcorrectie op hardware met beperkte connectiviteit (zoals 2D-chips met 2-qubit metingen).

• Hardware-onafhankelijkheid: De methode vereist geen fysieke veranderingen in het rooster (geen extra qubits of connecties), maar slechts een aanpassing van de timing van de meetsequentie. Dit maakt het zeer toepasbaar op bestaande hardware-architecturen.
• Schaalbaarheid: Het biedt een manier om de logische foutkans exponentieel sneller te laten dalen met het aantal qubits, wat cruciaal is voor de realisatie van schaalbare, fouttolerante kwantumcomputers.
• Toekomstperspectief: De auteurs suggereren dat dit concept kan worden uitgebreid naar geavanceerdere code-families, zoals hypergraph product codes of "good" LDPC-codes, wat de weg vrijmaakt voor nog efficiëntere kwantumcomputing-architecturen.

Kortom, door de tijd als een extra dimensie te manipuleren via "tijd-vortices", kunnen topologische codes aanzienlijk compacter worden gemaakt zonder in te boeten aan hun foutcorrectievermogen.