Single-Shot Decoding and Fault-tolerant Gates with Trivariate Tricycle Codes

Technische Samenvatting: Single-Shot Decodering en Fouttolerante Gates met Trivariabele Tricycle-codes

Probleemstelling
Kwantumfoutcorrectie (QEC) is essentieel voor grootschalige kwantumcomputing. Hoewel de surface code een volwassen kandidaat is, blijven de resource-overheads voor het bereiken van kwantumvoordeel hoog. Daarom is er een push naar kwantum low-density parity check (qLDPC) codes, die betere encoding rates en relatieve afstanden bieden. Bestaande qLDPC-kandidaten missen echter vaak een combinatie van gewenste fouttolerante eigenschappen: hoge drempelwaarden onder circuit-niveau ruis, single-shot decodeerbaarheid (decoderen vanuit een constant aantal syndroomrondes zonder significant verlies aan nauwkeurigheid) en een rijk scala aan transversale of constant-diepte logische gates (zowel Clifford als non-Clifford). De bivariate bicycle (BB) codes hebben op bepaalde gebieden veelbelovend gebleken, maar een uitgebreide codefamilie die hoge drempelwaarden, single-shot capaciteiten en efficiënte non-Clifford gate-implementaties combineert, heeft ontbroken.

Methodologie
De auteurs introduceren Trivariabele Tricycle (TT) codes, een generalisatie van BB-codes gebaseerd op een lengte-3 ketencomplex afgeleid van drie trivariabele polynomen ($A, B, C$) over een groepsalgebra $\mathbb{F}_2[G]$, waarbij $G = \mathbb{Z}_\ell \times \mathbb{Z}_m \times \mathbb{Z}_p$.

• Constructie: De codes zijn CSS-codes gedefinieerd door parity check matrices $H_X$ en $H_Z$ afgeleid van de boundary maps van een tensorproduct van drie lengte-1 ketencomplexen. Een cruciaal kenmerk is de inclusie van meta-checks ($M_Z$), die redundanties in de $Z$-checks coderen.
• Layout: TT-codes kunnen worden uitgelayut op een 3D kubisch rooster met periodieke randvoorwaarden en aanvullende lange-afstandsverbindingen. De 3D Toric Code (3DTC) wordt geïdentificeerd als een specifieke instantie van deze constructie.
• Analyse: De auteurs leiden analytische expressies af voor het aantal logische qubits ($k$) en bewijzen dat de meta-check afstand ($d_M$) gelijk is aan de $Z$-afstand van de code ($d_Z$). Ze voeren numerieke zoektochten uit over polynoomcoëfficiënten om codes met verbeterde parameters te vinden.
• Simulatie: Prestaties worden geëvalueerd onder zowel fenomenologische als circuit-niveau ruismodellen. Decodering wordt uitgevoerd met een BP+OSD (Belief Propagation met Ordered Statistics Decoding) decoder. Voor single-shot decodering wordt een overlappende window-strategie toegepast.
• Gate Implementatie: De auteurs analyseren logische gates via shift automorfismen, transversale CZ-gates tussen blokken, en constant-diepte CCZ-circuits afgeleid van het cohomologische cup-product formalisme.

Belangrijkste Bijdragen en Resultaten

1. Code Parameters en Efficiëntie:

   • De auteurs hebben numeriek verschillende TT-codes geïdentificeerd die de 3DTC overtreffen. Bijvoorbeeld, een $[[432, 12, 12]]$ TT-code codeert 12 logische qubits met een $Z$-afstand van 12 met 48 keer minder data-qubits dan een equivalente 3DTC.
   • TT-codes vertonen asymmetrische afstanden ($d_X \ge d_Z$), wat voordelig kan zijn voor architecturen met gebiaste ruis.
   • De codes bezitten een "meta-check afstand" gelijk aan $d_Z$, een eigenschap die cruciaal is voor single-shot decodering.

2. Drempelwaarden en Single-Shot Decodeerbaarheid:

   • Circuit-niveau Ruis: Onder circuit-niveau ruis vertonen TT-codes een drempelwaarde van ongeveer 0,3% in het $Z$-foutkanaal en 1% in het $X$-foutkanaal (met gebruik van single-shot decodering).
   • Single-Shot Prestaties: Numerieke simulaties met een overlappende window-strategie bevestigen dat TT-codes single-shot decodeerbaar zijn in het $Z$-foutkanaal. De logische foutgraad vlakt af naarmate de window-grootte toeneemt, wat aangeeft dat decodering kan worden uitgevoerd met een constant aantal syndroomrondes zonder een significante afname in nauwkeurigheid.
   • Het $X$-geheugenexperiment toont sterke foutonderdrukking, waarbij pseudo-drempelwaarden consistent hoger zijn dan die van de 3DTC.

3. Fouttolerante Gates:

   • Automorfismen en Transversale Gates: De codes ondersteunen shift automorfismen die Clifford-gates binnen een blok uitvoeren. Daarnaast kunnen transversale CZ-gates tussen twee codeblokken worden geïmplementeerd, die werken op specifieke logische qubit-sets terwijl ze als identiteit fungeren op andere.
   • Constant-Diepte CCZ: De auteurs identificeren een sub-constructie van TT-codes (specifiek die met gewicht-2 polynomen, de zogenaamde $(2,2,2)$ codes) die een constant-diepte (diepte-2) fysieke CCZ-circuit toelaten. Dit circuit implementeert een logische CCZ-gate over drie codeblokken.
   • Prestatievergelijking: De $[[48, 3, 4]]$ $(2,2,2)$ TT-code, die logische CCZ-gates ondersteunt, gebruikt 1/4 van de data-qubits die nodig zijn voor een reguliere 3DTC met een equivalente $Z$-afstand.
   • Afstand-2 Codes: De auteurs verkennen ook codes met hogere encoding rates die CCZ-gates ondersteunen maar een $Z$-afstand van 2 hebben voor sommige logische qubits. Hoewel deze in de $Z$-basis slechts foutdetecterend zijn, laten de auteurs zien dat het gauge-fixen van deze qubits hogere-afstand foutcorrigerende codes kan opleveren met aanvullende transversale CZ-gates.

Significantie
Het artikel beweert dat TT-codes een belangrijke stap voorwaarts vormen in het ontwerp van qLDPC-codes door verschillende kritieke fouttolerante eigenschappen te verenigen in één enkele familie. De significantie ligt in:

• Resource Efficiëntie: Het demonstreren van substantiële reducties in qubit-overhead vergeleken met de 3DTC voor equivalente logische afstanden en capaciteiten.
• Decoderings-efficiëntie: Het bieden van bewijs voor single-shot decodeerbaarheid, wat de tijd-overhead en de klassieke computationele resources die nodig zijn voor decodering vermindert.
• Gate Universaliteit: Het bieden van een pad om non-Clifford gates (CCZ) te implementeren via constant-diepte circuits, een kenmerk dat vaak moeilijk te bereiken is in topologische codes zonder zware overhead.
• Veelzijdigheid: De constructie is flexibel, waardoor codes mogelijk zijn met gebalanceerde afstanden of codes die geoptimaliseerd zijn voor gebiaste ruis, en bevat de 3DTC als een speciaal geval.

De auteurs concluderen dat hoewel de afstand-asymmetrie van TT-codes een kenmerk is en geen fout voor bepaalde ruisprofielen, toekomstig werk de afstand-balancering zou kunnen verkennen. Ze merken ook op dat de huidige syndroomextractie-circuits niet volledig geoptimaliseerd waren voor circuit-niveau afstand, wat suggereert dat er potentieel is voor verdere prestatieverbeteringen.