Surface Code with Imperfect Erasure Checks

Technische Samenvatting: Surface Code met Imperfecte Erasure Checks

Probleemstelling
Recente vooruitgang in quantumfoutcorrectie (QEC) heeft zich gericht op "erasure qubits", waarbij dominante fysieke ruis zich manifesteert als lektoestanden (leakage states) die gedetecteerd en omgezet kunnen worden in erasures. Theoretische studies geven aan dat QEC-protocollen die gebruikmaken van erasure-fouten aanzienlijk hogere effectieve foutafstanden en drempel-foutpercentages (threshold error rates) bezitten vergeleken met protocollen die onderhevig zijn aan standaard Pauli-ruis. Deze theoretische voordelen gaan echter vaak uit van perfect nauwkeurige erasure checks die na elke gate-operatie worden uitgevoerd. In de praktijk brengt het implementeren van dergelijke perfecte checks aanzienlijke tijd- en hardware-overhead met zich mee. Zo kan het uitvoeren van een specifieke erasure check na elke gate in superconducting dual-rail (DR) qubit-architecturen de foutcorrectiecyclus verdubbelen en nieuwe fouten introduceren tijdens de check zelf. Bovendien kunnen praktische erasure checks imperfect zijn, inclusief:

1. Imperfecte Temporele Resolutie: De check kan een lektoestand met een vertraging detecteren, wat betekent dat een flag die op tijdstip $t$ wordt geplaatst, kan corresponderen met een lektoestand op tijdstip $t$ of $t-1$.
2. Imperfecte Spatiale Resolutie: De check kan aangeven dat er een lek heeft plaatsgevonden binnen een specifieke twee-qubit gate, maar kan niet identificeren welke van de twee deelnemende qubits is gelekt.

Dit werk onderzoekt de gevolgen van deze imperfecties op de prestaties van de surface code, met name de vraag of de voordelen van erasure qubits standhouden wanneer checks imperfect maar overhead-efficiënt zijn.

Methodologie
De auteurs analyseren de surface code onder vier verschillende ruismodellen die twee soorten leakage-geïnduceerde Pauli-fouten combineren met twee soorten imperfecties in de erasure check:

• Leakage-geïnduceerde Pauli-modellen:
  • General Pauli Model: Een gelekte qubit induceert een Pauli-fout ($I, X, Y, Z$) op de interagerende qubit met gelijke waarschijnlijkheid.
  • Tailored Pauli Model: Gemotiveerd door superconducting DR qubits (specifiek cavity-gebaseerde DR's met ingebouwde checks), neemt dit model aan dat de geïnduceerde fout beperkt is. Voor een CZ-gate is de fout afkomstig uit $\{I, Z\}$; voor een CX-gate uit $\{I, X\}$. Deze beperking vloeit voort uit de specifieke fysica van het DR-platform.
• Erasure Check Imperfecties:
  • Perfecte Spatiale Resolutie: De check identificeert de exacte gelekte qubit.
  • Imperfecte Spatiale Resolutie: De check identificeert de gate waarin het lek optrad, maar niet de specifieke qubit, waardoor beide qubits moeten worden gereset.
  • Imperfecte Temporele Resolutie: Gekenmerkt door een parameter $\eta$, die de waarschijnlijkheid weergeeft dat een geflagde lekkage optrad in de huidige gate in plaats van de direct voorafgaande gate.

De auteurs maken gebruik van Monte Carlo-simulaties van stochastische circuit-niveau ruis gecombineerd met een gewogen Union-Find (UF) decoder. De decoder is gekalibreerd om rekening te houden met de gecorreleerde fouten die worden geïntroduceerd door vertraagde detectie (waarbij een enkele leakage-gebeurtenis fouten over meerdere qubits kan verspreiden over de tijd) en de onzekerheid in de spatiale resolutie. Ze evalueren de threshold error rate ($p_{th}$) en de effectieve foutafstand ($d_{eff}$) voor diverse waarden van $\eta$ en de erasure fractie $R_e$.

Belangrijkste Resultaten

1. Drempelprestaties (Threshold Performance):

   • Onder fysiek redelijke aannames (bijv. $\eta \approx 0,986$ en $R_e \approx 0,98$) blijft de drempel voor de surface code met imperfecte erasure checks aanzienlijk hoger dan de drempel voor pure Pauli-ruis ($\sim 1\%$).
   • Specifiek voor het tailored Pauli model met imperfecte checks is de drempel ongeveer 4,23%, wat meer dan twee keer de Pauli-drempel is en slechts iets lager dan het geval met perfecte erasure detectie ($\sim 5,56\%$).
   • Zelfs in het slechtste scenario waar de temporele resolutie slecht is ($\eta \to 0$), blijft de drempel ruim boven de Pauli-limiet (variërend van $\sim 2,6\%$ tot $\sim 4,9\%$ afhankelijk van het model).
   • Het verschil in drempel tussen spatieel perfecte en spatieel imperfecte checks is verwaarloosbaar voor het general Pauli model, maar blijft significant ($>1\%$) voor het tailored Pauli model wanneer $\eta \to 1$.

2. Effectieve Foutafstand ($d_{eff}$):

   • General Pauli Model: Imperfecte temporele resolutie degradeert de effectieve afstand. Voor een code van grootte $d$ daalt de effectieve afstand naar een $Z_L$ fout van $d$ naar ongeveer $(d+1)/2$ naarmate $\eta$ afneemt, waardoor het effectief terugkeert naar de schaling van Pauli-ruis.
   • Tailored Pauli Model: Cruciaal is dat de effectieve afstand robuust blijft. Zelfs met imperfecte temporele en spatiale resolutie blijft de effectieve afstand naar zowel $Z_L$ als $X_L$ logische fouten op $d$ staan. Dit komt doordat de beperkte foutset ($\{I, Z\}$ of $\{I, X\}$) voorkomt dat een enkele vertraagde leakage-gebeurtenis de specifieke gecorreleerde fouten genereert die nodig zijn om een minimum-gewicht logische operator te vormen.

3. Hardware-efficiëntie:

   • De studie verbindt deze modellen met bestaande superconducting dual-rail architecturen. Cavity-gebaseerde DR's met ingebouwde erasure checks (die spatieel imperfect maar temporeel efficiënt zijn) vereisen aanzienlijk minder transmons (ongeveer 29% van het aantal dat nodig is voor conventionele qubits om dezelfde $d_{eff}$ te bereiken) vergeleken met expliciete check-schema's.

Betekenis en Claims
Het artikel claimt dat de aanzienlijke voordelen van erasure qubits—met name de versoepelde systeemvereisten voor fouttolerantie—robuust zijn tegen realistische imperfecties in erasure checks.

• Overhead Reductie: Het demonstreert dat men high-performance surface code geheugens kan realiseren met "overhead-efficiënte" erasure checks (bijv. ingebouwde checks met imperfecte spatiale/temporele resolutie) zonder de drempel of de effectieve afstand op te offeren, mits de leakage-geïnduceerde ruis de "tailored" structuur volgt die in superconducting DR qubits wordt gevonden.
• Praktische Haalbaarheid: De resultaten suggereren dat de strikte vereiste voor perfecte, real-time erasure checks niet noodzakelijk is. Systemen kunnen vertraagde detectie en spatiale ambiguïteit tolereren en nog steeds een drempel error rate behouden die meer dan twee keer zo hoog is als die van standaard Pauli-ruis.
• Ruiskarakterisering: Het werk benadrukt het cruciale belang van het experimenteel karakteriseren van het gedetailleerde ruismodel (specifiek of leakage een general of tailored Pauli fout induceert), aangezien dit bepaalt of de code zijn afstandvoordeel behoudt onder imperfecte checks.

De auteurs concluderen dat het bereiken van goede prestaties voor surface code quantum geheugens met versoepelde systeemvereisten mogelijk is, wat het gebruik van vereenvoudigde, hardware-efficiënte erasure check strategieën in superconducting quantum processors motiveert.