Mirror codes: High-threshold quantum LDPC codes beyond the CSS regime

Deze paper introduceert spiegelcodes, een flexibele familie van niet-CSS LDPC-kwantumcodes met hoge drempels, en presenteert bijbehorende fouttolerante syndroomextractiecircuits die in eind-tot-eind-experimenten een pseudo-drempel van ongeveer 0,2% bereiken, wat ze tot veelbelovende kandidaten maakt voor foutgecorrigeerde kwantumgeheugens op kleinere apparaten.

De kern

De Spiegelcodes: Een nieuwe manier om kwantumcomputers te beschermen

Stel je voor dat je een kwantumcomputer wilt bouwen. Het probleem is dat deze computers extreem fragiel zijn. De "qubits" (de bouwstenen van de computer) zijn als glazen ballen die bij het minste of geringste trillen kapot gaan. Ze maken fouten door ruis, temperatuur of straling. Om een kwantumcomputer te laten werken, moeten we deze fouten corrigeren, net zoals we in een oude computer fouten in de data corrigeren.

Dit noemen we kwantumfoutcorrectie. Maar hoe doe je dat zonder dat de correctie zelf meer fouten introduceert dan hij oplost?

Dit paper introduceert een nieuw soort "veiligheidsnet" genaamd Mirror Codes (Spiegelcodes). Hier is hoe het werkt, vertaald naar alledaagse taal.

1. Het probleem: De "CSS" muur

Tot nu toe hebben de meeste experts zich gericht op één specifiek type veiligheidsnet, genaamd CSS-codes.

• De analogie: Stel je voor dat je een huis bouwt. CSS-codes zijn als een huis waar je alleen rechte muren en rechte vloeren gebruikt. Alles is perfect gescheiden: de muren zijn alleen van baksteen (Z-fouten) en de vloeren alleen van hout (X-fouten).
• Het nadeel: Hoewel dit makkelijk te bouwen en te begrijpen is, zijn deze huizen vaak inefficiënt. Je hebt heel veel bakstenen (fysieke qubits) nodig om één klein kamertje (logische qubit) veilig te houden. Het is alsof je een fort bouwt met een muur van 10 meter dik om één persoon te beschermen.

De auteurs van dit paper zeggen: "Waarom houden we ons beperkt tot rechte muren? Waarom bouwen we geen huizen met schuine muren, bochten en spiegelende oppervlakken?"

2. De oplossing: Spiegelcodes

De auteurs hebben een nieuwe manier bedacht om deze veiligheidsnetten te bouwen, gebaseerd op wiskundige spiegels en groepen.

• De constructie: Stel je een dansvloer voor met een groep mensen (de qubits). Je hebt twee groepen dansers: groep A en groep B.
  • In een CSS-code zou groep A alleen linksom dansen en groep B alleen rechtsom.
  • Bij een Spiegelcode dansen ze door elkaar heen. Als iemand uit groep A een stap naar links zet, doet iemand uit groep B een stap naar rechts. Ze "spiegelen" elkaars beweging.
• Het resultaat: Door deze complexe dans te gebruiken, kunnen ze veel meer informatie opslaan in minder ruimte. Het is alsof je een labyrint bouwt in plaats van een rechte gang. Het is moeilijker om te navigeren (voor de computer), maar het is veel efficiënter en compacter.

De paper toont aan dat deze codes niet CSS zijn. Ze zijn "anders". Ze mengen de types fouten op een slimme manier, wat leidt tot codes die veel krachtiger zijn voor kleine computers.

3. De uitdaging: Het meten van de fouten

Om fouten te vinden, moet je de "syndroom" meten. Dit is als het controleren van de alarmlichten in je auto.

• Het probleem: Als je te hard op de knoppen drukt om te controleren, kun je de auto zelf kapot maken.
• De oplossing: De auteurs hebben drie nieuwe manieren bedacht om deze alarmlichten te controleren, variërend van "snel maar riskant" tot "langzaam maar veilig".
  1. De Blootste Methode: Je kijkt snel, maar als er een foutje gebeurt tijdens het kijken, kun je de hele auto verpesten.
  2. De Lus-methode: Je voegt een extra "flag" (vlaggetje) toe. Als er iets misgaat, waaiert de vlag. Dit is veiliger.
  3. De Volledig Veilige Methode: Je gebruikt meerdere vlaggen en een zeer zorgvuldige volgorde. Dit kost meer hulpkrachten (extra qubits), maar het is bijna onmogelijk om een fout te maken zonder dat het systeem het ziet.

De paper laat zien dat je kunt kiezen: wil je minder extra hardware (qubits) maar iets meer risico, of meer hardware voor 100% veiligheid? Voor de kleine computers van nu (die nog niet heel groot zijn) is de "minder hardware" optie vaak het beste.

4. De resultaten: Waarom is dit belangrijk?

De auteurs hebben met de computer gezocht naar de beste "dansfiguren" (codes) en ze getest.

• De bevinding: Ze vonden codes die net zo goed werken als de beste bekende codes (zoals de "Bivariate Bicycle" code), maar die veel kleiner zijn.
• De vergelijking: De bekende beste code heeft 144 qubits nodig om te werken. De nieuwe spiegelcodes kunnen al werken met bijvoorbeeld 36, 48 of 60 qubits.
• De drempel: Ze hebben een "drempelwaarde" gevonden van ongeveer 0,2%. Dit betekent dat als de hardware minder dan 0,2% fouten maakt, de computer zichzelf kan corrigeren en oneindig lang kan blijven werken. Dit is een fantastisch resultaat voor de huidige generatie kwantumcomputers.

Samenvatting in één zin

De auteurs hebben een nieuwe, flexibele manier bedacht om kwantumcomputers te beschermen die minder ruimte kost dan de oude methoden, waardoor we sneller een werkende, fouttolerante kwantumcomputer kunnen bouwen, zelfs met de beperkte hardware die we nu hebben.

De kernboodschap: We hoeven niet langer vast te zitten aan de saaie, inefficiënte "rechte muren" van de oude codes. Met de nieuwe "spiegelcodes" kunnen we compactere, krachtigere veiligheidsnetten bouwen die perfect zijn voor de kwantumcomputers van de toekomst (en de toekomst is nu!).

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "Mirror codes: High-threshold quantum LDPC codes beyond the CSS regime" in het Nederlands.

Titel: Mirror codes: High-threshold quantum LDPC codes beyond the CSS regime

Auteurs: Andrey Boris Khesin en Jonathan Z. Lu
Datum: 6 maart 2026

---

1. Probleemstelling

De realisatie van een fouttolerant quantumgeheugen vereist de implementatie van protocollen voor quantumfoutcorrectie (QEC) waarbij de logische foutenrate drastisch lager is dan de fysische foutenrate. Bestaande benaderingen, zoals het oppervlakcode (surface code), zijn beperkt door een lage coderingsefficiëntie (weinig logische qubits per fysische qubit) en vereisen grote hardware.

Recente vooruitgang met Quantum Low-Density Parity-Check (LDPC) codes, zoals bivariate bicycle (BB) codes, heeft de efficiëntie verbeterd. Echter, de meeste bestaande LDPC-concepten vallen binnen het CSS-regime (Calderbank-Shor-Steane), waarbij stabilisatoren puur uit $X$- of $Z$-operatoren bestaan. Dit beperkt de ontwerpruimte aanzienlijk. Bovendien is het extraheren van syndromen (het meten van fouten) zelf kwetsbaar voor ruis, wat complexe en dure circuits vereist om fouttolerantie te garanderen. Er is behoefte aan:

1. Nieuwe code-families buiten het CSS-regime met betere parameters voor kleine tot middelgrote systemen.
2. Efficiënte en bewezen fouttolerante syndroom-extractiecircuits die geschikt zijn voor deze nieuwe codes.

2. Methodologie

De auteurs introduceren een nieuwe constructie genaamd Mirror Codes en koppelen deze aan een reeks nieuwe syndroom-extractiecircuits.

A. Constructie van Mirror Codes

Mirror codes zijn een familie van quantum stabilisatorcodes die worden gedefinieerd door een eindige groep $G$ en twee deelverzamelingen $A, B \subseteq G$.

• Definitie: Voor elk element $g \in G$ wordt een stabilisator gedefinieerd als:
  $$S(g) := Z(Ag)X(Bg^{-1})$$
  (Voor symmetrische mirror codes; er bestaat ook een asymmetrische variant).
• Niet-CSS: In tegenstelling tot CSS-codes, bevatten de stabilisatoren van mirror codes een mengsel van $Z$- en $X$-operatoren op dezelfde qubits (wat kan leiden tot $Y$-operaties). Dit maakt ze fundamenteel niet-CSS, hoewel ze onder bepaalde voorwaarden equivalent kunnen zijn aan CSS-codes via lokale Clifford-operaties.
• LDPC-eigenschappen: De code is LDPC met een check-gewicht (weight) $w = |A| + |B|$. Elke stabilisator heeft een gewicht $\le w$, en elke qubit is betrokken bij hoogstens $w$ stabilisatoren.
• Symmetrie en Equivalentie: De auteurs analyseren "gauge symmetries" (permutaties van qubits en lokale Cliffords) om equivalente codes te identificeren en een canonieke vorm te definiëren voor het zoeken naar optimale parameters. Ze tonen aan dat mirror codes alle "normal" two-block group algebra (2BGA) codes bevatten, maar ook nieuwe, niet-CSS codes genereren.

B. Fouttolerante Syndroom-extractie

De auteurs ontwerpen een scala aan circuits voor het meten van stabilisatoren, variërend in overhead en bewezen fouttolerantie:

1. Bare circuit: 1 ancilla per check, geen fouttolerantie.
2. Loop circuit: 2 ancilla's per check, gedeeltelijk fouttolerant.
3. Superdense circuit: 1 ancilla per check (paart stabilisatoren), mogelijk robuuster dan "bare" in sommige gevallen.
4. CSS-FT6: 3 ancilla's per check, bewezen fouttolerant voor gewicht-6 CSS-codes.
5. FT6 (Algemeen): 6 ancilla's per check, bewezen fouttolerant voor alle stabilisatorcodes met gewicht $\le 6$ (inclusief niet-CSS).

C. Zoektocht en Benchmarking

De auteurs voeren een bijna exhaustieve zoektocht uit naar abele en niet-abelse mirror codes voor $n \le 300$ qubits. Ze gebruiken een SAT-solver voor het optimaliseren van de planning van circuits en simuleren end-to-end quantumgeheugen-experimenten onder het SI1000 circuit-level noise model.

3. Belangrijkste Bijdragen

1. Introductie van Mirror Codes: Een flexibele constructie die stabilisatorcodes genereert buiten het CSS-regime. Dit opent de deur naar codes met betere parameters voor kleine $n$ (bijv. $n < 144$), waar CSS-constructies vaak suboptimaal zijn.
2. Nieuwe Fouttolerante Circuits: Een reeks circuits die een afweging (trade-off) bieden tussen qubit-overhead en bewezen fouttolerantie. Het FT6-circuit is een significant vooruitgang omdat het bewezen fouttolerant is voor niet-CSS codes met gewicht 6, iets wat eerder moeilijk te garanderen was.
3. Ontdekking van Nieuwe Codes: Identificatie van meerdere nieuwe codes met uitstekende parameters, waaronder:
   • $[[60, 4, 10]]$ (niet-CSS)
   • $[[36, 6, 6]]$ (niet-CSS)
   • $[[48, 8, 6]]$ (niet-CSS)
   • $[[85, 8, 9]]$ (niet-CSS)
     Deze codes hebben een check-gewicht van 6 en presteren vergelijkbaar met of beter dan de bekende $[[144, 12, 12]]$ bivariate bicycle code in termen van pseudo-drempel.
4. Analyse van CSS-equivalentie: Een wiskundige karakterisering van wanneer een mirror code equivalent is aan een CSS-code (via Hadamards of algemene lokale Cliffords), inclusief voorwaarden die leiden tot slechte code-parameters (zoals $k=0$ of $d \le 2$).

4. Resultaten

• Pseudo-drempel (Pseudothreshold): De gesimuleerde mirror codes bereiken een pseudo-drempel van ongeveer 0,2% onder circuit-level ruis. Dit komt overeen met de prestaties van de state-of-the-art $[[144, 12, 12]]$ BB-code, maar dan met minder qubits (bijv. de $[[60, 4, 10]]$ code).
• Invloed van Fouttolerantie: Het gebruik van meer fouttolerante circuits (zoals FT6) verlaagt de pseudo-drempel licht vanwege de extra overhead (meer qubits = meer kans op fouten), maar zorgt ervoor dat de logische foutenrate sterker daalt onder de drempel. Dit bevestigt dat voor zeer kleine apparaten met hogere ruis, minder zware circuits beter kunnen presteren, terwijl schaalbare systemen baat hebben bij volledig fouttolerante circuits.
• Niet-CSS Superioriteit: De resultaten ondersteunen de hypothese dat voor kleine schalen ($n \le 250$) stabilisatorcodes buiten het CSS-regime superieur kunnen zijn aan CSS-codes in termen van coderingsefficiëntie en drempel.
• Niet-abelse vs. Abele Groepen: Hoewel de theorie niet-abelse groepen toestaat, bleek uit de zoektocht dat abele mirror codes over het algemeen betere parameters hebben dan hun niet-abelse tegenhangers voor dezelfde $n$.

5. Betekenis en Toekomstperspectief

• Praktische Toepassing: Mirror codes zijn een veelbelovende kandidaat voor kortetermijn-fouttolerant quantumgeheugen, vooral op hardware met beperkt aantal qubits (bijv. neutrale atomen of gevangen ionen) waar de connectiviteit niet-geometrisch lokaal is. Ze bieden een alternatief voor de oppervlakcode die te veel qubits vereist voor nuttige codering.
• Design Flexibiliteit: De constructie biedt een nieuwe vrijheidsgraad voor code-ontwerp door het gebruik van groepstheorie en niet-CSS stabilisatoren, wat de zoekruimte voor optimale codes vergroot.
• Open Vragen: De auteurs formuleren conjectures over de maximale waarde van $kd/n$ voor vaste $|A|$ en $|B|$ en vragen zich af of er analytische voorwaarden zijn om goede codes te garanderen zonder exhaustive search. Ook blijft het optimaliseren van de planning van circuits (scheduling) voor maximale parallelisatie en minimale "hook errors" een belangrijk onderzoeksgebied.

Conclusie: Dit werk toont aan dat het verlaten van het CSS-regime via Mirror Codes, gecombineerd met geavanceerde syndroom-extractie, leidt tot robuuste quantumfoutcorrectie met hoge drempels en betere efficiëntie voor de volgende generatie quantumcomputers.