Technische Samenvatting: Kwantumcodes via Klassieke Annealing

Probleemstelling

Kwantumfoutcorrectie (QEC) is essentieel voor grootschalige fouttolerante (FT) kwantumcomputatie. Bekende codefamilies leggen echter vaak prohibitieve resource-overhead op. Topologische codes (bijv. surface codes) worden beperkt door de Bravyi-Poulin-Terhal-grens, wat de coderingstempo's beperkt. Kwantum low-density parity-check (qLDPC) codes bieden gunstige asymptotische parameters, maar vereisen langafstandsinteracties en complexe decodering, wat ze moeilijk implementeerbaar maakt op de huidige nabije-toekomst hardware. Hoewel code-concatenatie een pad biedt naar constante ruimtetijd-overhead, leunt het op hoogwaardige "seed"-codes met hoge coderingstempo's en grote afstanden.

Brute-force zoektochten naar dergelijke codes zijn over het algemeen onhandelbaar omdat de ruimte van stabilizer-codes exponentieel groeit met de bloklengte $n$, en het berekenen van de codeafstand een NP-hard probleem is. Bijgevolg is er behoefte aan efficiënte numerieke methoden om matig grote ($n \le 50$) kwantum stabilizer-codes te ontdekken die hoge coderingstempo's ($k/n$) en afstanden ($d$) bereiken die de theoretische grenzen evenaren of overtreffen, specifiek voor architecturen die langafstandsinteracties kunnen ondersteunen (bijv. gevangen ionen of neutrale atomen).

Methodologie

De auteurs introduceren een adaptief gesimuleerd annealing-algoritme om optimale kwantumcodes te zoeken binnen twee specifieke klassen:

1. CSS-codes: Calderbank-Shor-Steane codes, die relatief eenvoudige FT staat-voorbereiding en decodering mogelijk maken.
2. SWEL-codes: Een subclass van CSS-codes, getiteld "Self-Dual with Equivalent Logicals". Deze codes voldoen aan specifieke symmetriecondities ($H_X = H_Z$ en logische operatoren $L_X = L_Z$) die transversale implementaties van logische Hadamard ($H^{\otimes k}$) en Fase ($S^{\otimes k}$) gates garanderen, wat de constructie van FT gate-sets vergemakkelijkt.

Zoekruimte en Bewegingen

• Initialisatie: In plaats van te beginnen bij triviale codes, "warmt" het algoritme op door een willekeurige CSS-behoudende of SWEL-behoudende gate toe te passen op een triviale code.
  • Voor CSS-codes wordt de zoekruimte gesampled via de algemene lineaire groep $GL(n, \mathbb{F}_2)$.
  • Voor SWEL-codes wordt de zoekruimte gesampled via de orthogonale groep $O(n, \mathbb{F}_2)$.
• Propositieverdeling (Bewegingen):
  • CSS: Bewegingen worden gegenereerd door willekeurige CNOT-gates toe te passen tussen paren qubits. Stelling 1 stelt vast dat CNOT-gates elke CSS-code kan transformeren naar elke andere CSS-code met dezelfde rang-parameters.
  • SWEL: Bewegingen worden gegenereerd door het toepassen van "elementaire SWEL-behoudende gates", die op vier qubits werken. Stelling 5 bewijst dat deze gates, gecombineerd met permutaties, de gehele ruimte van SWEL-codes kunnen doorlopen.

Energie-functie

Om "barren plateaux" te vermijden waar de codeafstand constant blijft ondanks lokale veranderingen, definiëren de auteurs een energie-functie $E(C)$ die dient als een surrogaat voor de logische foutensnelheid in een code-capaciteit ruismodel.
$$E(C) = \frac{\log m}{\log(1/p)} - d$$
waarbij $d$ de codeafstand is, $m$ het aantal minimum-gewicht niet-triviale logische operatoren is, en $p$ de fysieke foutensnelheid is (gesteld op $10^{-3}$). Deze functie straft codes af met hogere afstanden (lagere energie) en breekt cruciaal de gelijke gevallen tussen codes met een gelijke afstand door codes met minder minimum-gewicht logische operatoren ($m$) te bevoordelen.

Adaptieve Annealing

Het algoritme maakt gebruik van een adaptief temperatuur-schema om te voorkomen dat het systeem vastloopt op plateaus of gedegenereerde lokale minima. De temperatuur wordt bij elke epoch aangepast op basis van de geobserveerde energieverschillen van voorgestelde bewegingen, waarbij gestreefd wordt naar een specifieke "uphill" acceptatiegraad. Een geheugenfactor wordt gebruikt om temperatuurschommelingen te dempen.

Post-verwerking

Nadat een code via annealing is gevonden, wordt een greed-algoritme toegepast om de gewichten van de stabilizer-generatoren te reduceren. Deze stap minimaliseert de complexiteit van de syndroom-metingen zonder de codeafstand of de logische operatoren te wijzigen.

Belangrijkste Bijdragen

1. Algoritmisch Framework: De ontwikkeling van een adaptief gesimuleerd annealing-algoritme dat specifiek is afgestemd op de zoektocht naar CSS- en SWEL-kwantumcodes, gebruikmakend van groepentheoretische eigenschappen om ervoor te zorgen dat de zoekruimte volledig wordt gedekt.
2. SWEL Karakterisering: Een rigoureus theoretisch kader (Stellingen 3 en 4) dat SWEL-codes definieert en bewijst dat de set van SWEL-behoudende gates (isomorf aan $O(n, \mathbb{F}_2)$) voldoende is om alle SWEL-codes vanuit een triviale seed te genereren.
3. Energie Surrogaat: De formulering van een energie-functie die de codeafstand combineert met het aantal minimum-gewicht logische operatoren, wat effectief de discrete plateaus oplost die naïeve afstand-optimalisatie hinderen.
4. Ontdekking van State-of-the-Art Codes: De identificatie van talrijke nieuwe codes voor bloklengtes tot $n=50$ die de eerder bekende codes op qecdb.org evenaren of overtreffen.

Resultaten

De auteurs presenteren een uitgebreide tabel van ontdekte codes (Appendix F) met parameters $[n, k, d]$ waarbij $n \le 50$ en $k \ge 4$.

• Prestaties: Veel van de ontdekte CSS- en SWEL-codes bereiken afstanden die de kwantum Gilbert-Varshamov (QGV) grens ($d_{QGV}$) en de CSS-specifieke Gilbert-Varshamov grens ($d_{CSS}$) evenaren of overtreffen.
• Vergelijking: De resultaten worden vergeleken met de beste bekende codes op qecdb.org. In veel gevallen bieden de nieuwe codes hogere afstanden voor dezelfde $n$ en $k$, of hogere $k$ voor dezelfde $n$ en $d$.
• Logische Foutensnelheden: Met behulp van Monte Carlo-simulaties met importance sampling schatten de auteurs de logische foutensnelheden voor deze codes. De resultaten valideren dat de energie-functie succesvol codes met lagere logische foutensnelheden identificeert, met name voor afstanden $d > 4$.
• SWEL Specificaties: De ontdekte SWEL-codes bezitten de noodzakelijke structuur voor transversale logische Clifford-gates. Bijvoorbeeld, de $[20, 6, 4]$ SWEL-code bleek ten minste 2.304 SWAP-transversale logische Clifford-gates te hebben.

Betekenis en Claims

Het artikel beweert dat deze numeriek geoptimaliseerde codes dienen als gunstige seed-codes voor fouttolerante architecturen gebaseerd op code-concatenatie. Door hoog-rate, hoog-afstand codes te bieden voor matige blokgroottes, kunnen ze worden gebruikt om grotere schaal logische qubits te construeren met gereduceerde overhead.

Bovendien benadrukken de auteurs het potentieel van deze codes voor nabije-toekomst hardware demonstraties. Specifiek merken zij op dat trapped-ion en neutrale atoom platforms, die langafstandsinteracties ondersteunen, zeer geschikt zijn voor de implementatie van deze codes. De SWEL-codes zijn bijzonder significant omdat hun transversale gate-sets de constructie van fouttolerante logische gate-sets mogelijk maken zonder de noodzaak voor complexe magic state distillation voor Clifford-operaties.

De auteurs blijven bescheiden over de directe schaalbaarheid van het zoekalgoritme, waarbij zij opmerken dat de exponentiële runtime van afstandsberekening de zoektocht beperkt tot $n \le 50$. Zij suggereren dat toekomstig werk zich zou kunnen richten op het paralleliseren van de energie-functie evaluatie, het verbeteren van annealing-schema's, of het integreren van machine learning technieken om de zoektocht naar grotere bloklengtes te schalen. Zij stellen ook voor dat code-concatenatie met deze seeds (bijv. het combineren van $[8, 6, 2]$ Iceberg codes met $[38, 12, 6]$ codes) praktische architecturen voor commerciële schaal kwantumcomputing kan opleveren.