Simple logical quantum computation with concatenated symplectic double codes

Technische Samenvatting: Eenvoudige Logische Kwantumcomputatie met Geconcateneerde Symplectische Dubbele Codes

Probleemstelling
Recente vooruitgang in kwantumfoutcorrectie (QEC) heeft robuuste codes voortgebracht voor kwantumgeheugen, zoals topologische codes (bijv. oppervlaktecodes) en kwantum low-density parity-check (qLDPC) codes. Het uitvoeren van fouttolerante logische poorten op deze codes blijft echter een aanzienlijke uitdaging. Topologische codes bieden eenvoudige transversale poorten maar lijden onder slechte coderingssnelheden en hoge overhead bij opschaling. Daarentegen bieden qLDPC- en geconcateneerde codes betere snelheden, maar vereisen ze vaak complexe protocollen voor logische operaties, waarbij aanzienlijke ruimte-tijd-overhead nodig is voor distillatie, staat-injectie en syndroomextractie. Er is behoefte aan een code-architectuur die een hoge coderingssnelheid balanceert met een eenvoudige, implementeerbare set logische poorten, met name voor hardwareplatforms zoals neutrale atomen en ionenval-systemen waar qubit-beweging (SWAPs) een lage kostenpost is.

Methodologie
De auteurs stellen Geconcateneerde Symplectische Dubbele (CSD) codes voor en analyseren deze. Deze constructie omvat twee niveaus van concatenatie:

1. Buitenste Code: Een symplectische dubbele code, $D(C)$, geconstrueerd uit een niet-CSS seed-code $C$. De symplectische dubbele constructie creëert een CSS-code met parameters $[[2n, 2k, \ge d]]$ vanuit een basiscode $[[n, k, d]]$. Cruciaal is dat deze constructie een ZX-dualiteit ($\tau$) introduceert, een permutatie die X- en Z-sectoren verwisselt, waarbij fysieke qubits $i$ en $i+n$ worden gekoppeld.
2. Binnenste Code: Een specifieke $[[n', 2, d']]$ stabilizer-code $Q$ wordt geconcateneerd met $D(C)$. De auteurs richten zich op de C4-code ($[[4, 2, 2]]$) als de binnenste code.
3. Concatenatie-schema: De logische qubits van de binnenste C4-codeblokken worden gemapt naar de fysieke qubits van de buitenste $D(C)$-code volgens de ZX-dualiteit $\tau$. Specifiek worden de paren fysieke qubits $\{i, i+n\}$ in $D(C)$ (die gerelateerd zijn door $\tau$) gecodeerd in de twee logische qubits van een enkel C4-codeblok.

Het onderzoek bestudeert de resulterende C4-CSD-codes ($C4 \otimes_\tau D(C)$), waarbij de parameters, de logische poortensets en de fouttolerante eigenschappen worden geanalyseerd.

Belangrijkste Bijdragen

• SWAP-transversale Logische Poorten: De primaire bijdrage is de demonstratie dat de concatenatiestructuur de fouttolerantie van logische poorten upgradeert. Logische poorten op de buitenste symplectische dubbele code die "fold-transversaal" zijn (actief op $\tau$-banen), worden SWAP-transversaal op de geconcateneerde C4-CSD-code. Dit betekent dat deze poorten kunnen worden geïmplementeerd met behulp van enkel fysieke single-qubit poorten en qubit-herlabeling (SWAPs), die in software kunnen worden bijgehouden.
• Generatie van de Volledige Clifford-groep:
  • De set poorten afgeleid van de seed-code en de symplectische dubbele structuur ($G_\tau$) omvat lifted automorfismen, een Hadamard-type poort ($H_\tau$), en een CZ-type poort ($S_\tau$).
  • Om de volledige Clifford-groep te bereiken, introduceren de auteurs fold-transversale fase-poorten ($U_P(\pi)$) afgeleid van de automorfisme-groep van de onderliggende klassieke code. Deze worden geïmplementeerd via staat-injectie met behulp van resource-staten die zijn voorbereid in de $U_P(\pi)|+\rangle$ staat.
  • Voor specifieke code-instanties (bijv. die met groene vinkjes in Tabel 1), genereert de combinatie van $G_\tau$ en geïnjecteerde $U_P(\pi)$ poorten de volledige symplectische groep $Sp_{4k}(\mathbb{F}_2)$ op de logische qubits van een enkel codeblok.
• Inter-blok Connectiviteit: De auteurs tonen aan dat de volledige Clifford-groep over meerdere codeblokken bereikbaar is met behulp van transversale CNOT-poorten tussen blokken in combinatie met de single-block Clifford-poorten.
• Circuit Verevoudiging: Een uniek kenmerk van C4-CSD-codes is dat elk logisch Clifford-circuit op een enkel codeblok kan worden gecompileerd naar een functioneel eenvoudig fysiek circuit: een afwisselende sequentie van geïnjecteerde $U_P(\pi)$ poorten en een enkele laag van fysieke single-qubit Clifford-poorten. De SWAPs die vereist zijn voor herlabeling kunnen worden "ontward", wat een circuit achterlaat waarbij de enige actieve operaties single-qubit poorten en teleportatie-gefaciliteerde foutcorrectie zijn.

Resultaten

• Code Parameters: Het artikel biedt een tabel met specifieke C4-CSD-codes afgeleid van diverse niet-CSS seed-codes (bijv. $[[4, 2, 2]]$, $[[6, 4, 2]]$, $[[5, 1, 3]]$). Bijvoorbeeld, de $[[16, 4, 4]]$ C4-CSD-code wordt getoond isomorf aan de $L=2$ C4 many-hypercubes (MHC) code.
• Poortensets: De auteurs berekenen de grootte van de poortensets $G_\tau$ en $\langle U_P(\pi) \rangle$ voor verschillende instanties. Ze identificeren welke codes de volledige Clifford-groep kunnen genereren zonder extra adapters en welke gedeeltelijke staat-injecties of universele adapters vereisen.
• Numerieke Simulaties: Circuit-niveau simulaties van staat-voorbereiding en kwantumfoutcorrectie (QEC) zijn uitgevoerd. De resultaten geven aan dat C4-CSD-codes veelbelovende prestaties vertonen bij fysieke foutpercentages die nabij de state-of-the-art liggen, en effectief functioneren als kwantumgeheugens.
• Decoding: Het artikel bespreekt decoders voor deze codes en merkt op dat de structuur efficiënte syndroomextractie en -correctie mogelijk maakt.

Betekenis en Claims

De auteurs beweren dat geconcateneerde symplectische dubbele codes sterke kandidaten zijn voor de onderliggende computationele code op middelgrote tot grootschalige kwantumcomputers. Hun betekenis ligt in:

1. Eenvoud: De logische Clifford-groep wordt geïmplementeerd via een "functioneel eenvoudig circuit" dat sterk leunt op single-qubit poorten en qubit-herlabeling, waardoor de noodzaak voor complexe multi-qubit fysieke interacties tijdens de uitvoering van poorten wordt geminimaliseerd.
2. Hardware Compatibiliteit: De afhankelijkheid van qubit-herlabeling (SWAPs) maakt deze codes bijzonder geschikt voor architecturen zoals neutrale atomen en ionenval-systemen, waar qubit-beweging een natuurlijke, goedkope operatie is.
3. Prestaties: De codes bieden concurrerende circuit-niveau prestaties en hoge coderingssnelheden, waarmee ze de overhead-problemen van topologische codes aanpakken terwijl ze de complexe poortprotocollen vermijden die vaak nodig zijn voor andere high-rate codes.

Het artikel concludeert door open vragen te stellen over de optimalisatie van seed-codes en de schaalbaarheid van deze constructies, maar behoudt een gefocuste claim dat C4-CSD-codes een levensvatbaar pad bieden naar fouttolerante logische computatie met verminderde operationele complexiteit.