Design rules for fault-tolerant multi-gate teleportation

Technische Samenvatting: Ontwerpregels voor Fouttolerante Multi-Gate Teleportatie

Probleemstelling
Distributed Quantum Computing (DQC) vertrouwt op het teleporten van verre poorten tussen modules om de rekenkracht te schalen. Standaard sequentiële gate-teleportatie verbruikt één verstrengelde bit (ebit) per verre gate. Multi-gate teleportatie (MGT) biedt een optimalisatie van de middelen door $n$ verre gates te verpakken in één enkel "pakket" dat wordt aangestuurd door één ebit, met behulp van een lokale CNOT fan-out boom om de controle te distribueren. Hoewel dit $n-1$ ebits bespaart, introduceert het een kritiek fouttolerantie-risico: een enkele fout op de niet-lokale link plant zich voort door de fan-out boom en injecteert een gecorreleerde Pauli-fout met gewicht $n$ over de doel-qubits. Dit staat in contrast met sequentiële teleportatie, waarbij link-fouten onafhankelijke fouten met gewicht 1 produceren. Het centrale probleem dat wordt geadresseerd, is het bepalen van de maximale pakketgrootte $n$ die de fouttolerantie behoudt onder dit gecorreleerde foutmodel, specifiek voor geroteerde surface codes, en het identificeren van de vraag of standaard decoders de bekende correlatiestructuur kunnen benutten.

Methodologie
Het artikel maakt gebruik van een combinatie van analytische afleiding en numerieke simulatie:

1. Foutmodellering: De auteurs modelleren een same-control MGT-pakket waarbij een enkele niet-lokale CNOT wordt gevolgd door lokale fan-out CNOT's. Ze demonstreren dat een fout op het control-qubit (of de niet-lokale link) voortplant naar een aaneengesloten Pauli-string met gewicht $n$ op de targets. Onder depolariserende ruis is de effectieve snelheid voor deze gevaarlijke fout $2p_{net}/3$.
2. Analytische Ontwerpregels: De auteurs leiden maximale pakketgroottes af op basis van de faalmechanismen van de Minimum Weight Perfect Matching (MWPM) decoder. Ze analyseren de conditie waarbij een fout met gewicht $n$ en zijn complement langs een logische operator een degeneraat syndroompaar vormen.
3. Numerieke Simulatie: Met behulp van PyMatching simuleren de auteurs detector error models (DEM's) voor geroteerde surface codes met afstanden $d \in \{5, 7, 9\}$. Ze vergelijken twee decoderconfiguraties:
   • Naive Decoder: Gebouwd vanuit een basis-DEM die het pakket behandelt als $n$ onafhankelijke fouten.
   • Correlation-Aware Decoder: Gebouwd vanuit de specifieke DEM van het pakketcircuit, die de gecorreleerde fout encodeert als een enkele edge met gewicht $-\ln(p_{net})$.
4. Prestatie-metrieken: De studie evalueert de Logische Foutensnelheden (LER) over variërende netwerk-naar-gate ruisverhoudingen ($\gamma = p_{net}/p_{gate}$), waarbij de MGT-pakket wordt vergeleken met een per-link sequentiële baseline.

Belangrijkste Bijdragen

1. Karakterisering van Gecorreleerde Fouten: Het artikel stelt vast dat MGT-pakketten inherent Pauli-fouten met gewicht $n$ produceren als gevolg van enkele netwerkfouten, een faalmodus die verschilt van de onafhankelijke per-link ruismodellen die in eerdere gedistribueerde computing literatuur worden gebruikt.
2. Ontwerpregels voor Pakketgrootte: De auteurs leiden twee verschillende grenzen af voor de maximale veilige pakketgrootte $n_{max}$ voor een code met afstand $d$:
   • Naive Bound: $n_{max}^{naive} = \lfloor d/2 \rfloor$. Dit is van toepassing als de decoder de correlatie negeert.
   • Correlation-Aware Bound: $n_{max}^{corr} = \lceil d/2 \rceil$. Deze grens is haalbaar als de correlatie-bewuste decoder de gecorreleerde fout herkent als een enkele edge met laag gewicht.
   • De uitbreiding van $\lfloor d/2 \rfloor$ naar $\lceil d/2 \rceil$ vindt plaats omdat de correlatie-bewuste decoder de enkele pakketfout herkent als "goedkoper" dan de $n$ onafhankelijke fouten die nodig zijn om het complementaire pad in de matching-graaf te vormen.
3. Decoder Integratie: Het artikel demonstreert dat er geen aangepaste decoderarchitectuur vereist is om de verbeterde grens te bereiken. De standaard MWPM-decoder, wanneer deze wordt geconstrueerd vanuit de circuit-level DEM van het pakket, encodeert de correlatiestructuur van nature en corrigeert de gewicht-$n$ fout automatisch tot de $\lceil d/2 \rceil$ limiet.
4. Prestatie-afwegingen: De studie kwantificeert de afweging tussen verstrengselsbesparing en foutensnelheden. Het identificeert dat MGT beter presteert dan sequentiële teleportatie wanneer het netwerk de bottleneck is ($\gamma \gg 1$), maar een lichte penalty kan oplopen bij een lage $\gamma$ vanwege de overhead van aanvullende lokale fan-out gates.

Resultaten

• Foutcorrectie Capaciteit: Simulaties bevestigen dat een correlatie-bewuste decoder pakketten van grootte $n = \lceil d/2 \rceil$ succesvol corrigeert. Bijvoorbeeld, bij $d=9$ zijn pakketten van grootte $n=4$ corrigeerbaar, terwijl een naive decoder bij deze grootte faalt.
• Logische Foutensnelheden (LER):
  • Bij matige tot hoge $\gamma$ (bijv. $\gamma \ge 10$), evenaart of overtreft de LER van de correlatie-bewuste pakket de sequentiële baseline. Het voordeel groeit met zowel $\gamma$ als $d$.
  • Bij lage $\gamma$ ($\approx 1$), is de LER van het pakket iets hoger (ratio $\le 1.13$) omdat de $n-1$ extra lokale gates gate-ruis introduceren zonder significante netwerkbesparingen.
  • De LER voor het correlatie-bewuste pakket wordt onafhankelijk van $\gamma$ (het blijft op de gate-noise floor) omdat de decoder de enkele pakketfout absorbeert, terwijl de sequentiële baseline $n$ onafhankelijke netwerkfouten accumuleert.
• Hybride Schema's: Voor pakketten die de $n_{max}^{corr}$ overschrijden, stelt het artikel een hybride $k$-ary fan-out boom voor (gebruikmakend van $k$ ebits) om het worst-case foutgewicht te reduceren tot $\approx n/k$, waardoor de fouttolerantie wordt hersteld.

Betekenis en Claims
Het artikel beweert de eerste ontwerpregels te bieden die tegelijkertijd rekening houden met communicatieressource-besparingen en gecorreleerde ruis in gedistribueerde quantum computing. De primaire betekenis ligt in het mogelijk maken van "noise-aware" gedistribueerde circuit compilers die de voorkeur geven aan fan-out pakketisering zonder de fouttolerantie op te offeren.

De auteurs stellen dat:

• De verstrengselsbesparingen van MGT levensvatbaar zijn voor fouttolerante berekeningen, mits de pakketgrootte de $\lceil d/2 \rceil$ grens respecteert en de decoder de circuit-level DEM gebruikt.
• De gecorreleerde faalmodus een structureel gevolg is van de 1-ebit bottleneck, wat betekent dat de conclusies interface-onafhankelijk zijn (toepasbaar op EJPP, measurement-based, of CAT-state protocollen).
• In regimes waar netwerkruis de lokale gate-ruis domineert ($\gamma \gtrsim 10$), wat consistent is met huidige experimentele schattingen voor fotonische interconnects, biedt MGT een beslissend voordeel ten opzichte van sequentiële teleportatie door de accumulatie van onafhankelijke netwerkfouten te verminderen.

Het artikel blijft bescheiden over de reikwijdte en merkt op dat kwantitatieve claims specifiek zijn voor geroteerde surface codes en vereenvoudigde depolariserende ruismodellen, terwijl de kwalitatieve conclusies over de structurele grenzen naar verwachting gelden voor andere CSS-codes en minimum-weight decoders. Toekomstig werk wordt uitgesteld naar qLDPC-codes, biased noise en volledige integratie van circuit-level ruis.