Check-weight-constrained quantum codes: Bounds and examples

Titel: Check-gewicht-beperkte kwantumcodes: Grenzen en voorbeelden

Probleemstelling
Quantum low-density parity-check (qLDPC) codes zijn centraal voor de ontwikkeling van ruisbestendige kwantumcomputers omdat ze kunnen worden geïmplementeerd door enkel laag-gewicht checks te meten, wat compatibel is met de huidige ruisgevoelige kwanthardware. Een fundamentele openstaande vraag is hoe beperkingen op het gewicht van deze checks de bereikbare parameters (aantal fysieke qubits $n$, aantal logische qubits $k$, en afstand $d$) van kwantumcodes beperken. Hoewel asymptotisch goede qLDPC-codes bestaan, rustt hun constructie vaak op technieken voor gewichtsreductie die parameters kunnen opofferen. Bovendien gaan bestaande grenzen vaak uit van geometrische lokaliteit of specifieke graafconnectiviteit. Dit werk onderzoekt de theoretische limieten van stabilizer- en subsystemcodes onder strikte check-gewichtbeperkingen zonder uit te gaan van geometrische lokaliteit, waarmee de kloof tussen de asymptotische theorie en de praktische eindige-omvangregimes (tientallen tot honderden qubits) wordt overbrugd.

Methodologie
De auteurs hanteren een duale aanpak waarbij analytische bewijzen voor asymptotische regimes worden gecombineerd met numerieke optimalisatie voor eindige-omvangcodes:

1. Analytische Grenzen: Het artikel leidt asymptotische bovengrenzen af voor codeparameters voor stabilizer- en subsystemcodes met beperkte checkgewichten ($w$).

   • Voor stabilizercodes gebruiken de auteurs een "minimale code"-argument. Ze nemen aan dat er een code bestaat die de voorgestelde grenzen overschrijdt en analyseren de structuur van de stabilizergeneratoren (checks). Door te onderzoeken hoe checks overlappen (samenvallen of afwijken) en door lokale Clifford-rotaties toe te passen, reduceren ze algemene stabilizercodes naar CSS-codes of identificeren ze ontkoppelde subsystemen, wat leidt tot tegenstrijdigheden met betrekking tot de afstand of dimensie van de code.
   • Voor CSS-codes met gewicht 4 tonen de auteurs aan dat codes waarbij elke qubit precies in twee X- en twee Z-checks voorkomt, overeenkomen met gegeneraliseerde surface codes (homologische codes op een manifold). Ze maken gebruik van bestaande grenzen op deze surface codes om parameterbeperkingen af te leiden.
   • Voor subsystemcodes met gewicht 2 stellen ze een correspondentie vast tussen de codeparameters en de eigenschappen van een geassocieerde binaire matrix $A$. De afstand en dimensie van de code worden gekarakteriseerd door de rij- en kolomafstanden en de rang van deze matrix.

2. Numerieke Grenzen (Lineaire Programmering): Voor eindige-omvangcodes formuleren de auteurs lineaire programmeerproblemen (LP) om de maximale logische dimensie $k$ te vinden voor gegeven $n$, $d$ en checkgewicht $w$.

   • Ze maken gebruik van gewichtsverdelingen (het aantal stabilizers en logische operatoren van specifieke gewichten) als variabelen.
   • De beperkingen omvatten de MacWilliams-identiteiten (die een code relateren aan zijn duale), de definitie van afstand (geen niet-triviale logische operatoren onder gewicht $d$), en nieuwe beperkingen die specifiek zijn afgeleid van de check-gewichtlimiet (het begrenzen van het aantal laag-gewicht stabilizers gegenereerd door producten van checks).
   • Ze implementeren deze LP's met behulp van Gurobi om bovengrenzen voor $n$ tot 300 te berekenen.

Belangrijkste Bijdragen en Resultaten

• Stabilizercodes met Gewicht 3: De auteurs bewijzen dat elke stabilizercode met een checkgewicht van maximaal 3 geen niet-triviale afstand groter dan 2 kan hebben. Specifiek: als de afstand $d > 2$, moet de code een dimensie $k=0$ hebben (geen logische qubits coderend). Dit geldt ongeacht de qubit-graad.
• CSS Stabilizercodes met Gewicht 4: Voor CSS-codes waarbij elke qubit precies in twee X- en twee Z-checks deelneemt, bewijzen de auteurs de tradeoff $kd^2 = O(n)$. Dit impliceert dat dergelijke codes in essentie gegeneraliseerde surface codes zijn.
• Subsystemcodes met Gewicht 2: Voor CSS subsystemcodes met checkgewicht 2 bewijzen de auteurs strikte grenzen: $d \le \sqrt{n}$ en $kd \le n$. Deze grenzen worden verzadigd (tot aan constante factoren) door bestaande constructies (bijv. Ref. [Bra11]), wat aangeeft dat gewicht-2 checks geen asymptotisch goede subsystemcodes kunnen ondersteunen.
• Eindige-omvang Landschap: Met behulp van LP-technieken bieden de auteurs numerieke bovengrenzen voor $k$ voor codes met $n \le 300$ en checkgewichten tot 20. Ze identificeren dat hogere checkgewichten betere parameters mogelijk maken.
• Expliciete Constructies: Het artikel identificeert expliciete codeconstructies (inclusief quantum Tanner-codes) die de numerieke limieten benaderen. De parity-checkmatrices voor deze eindige instanties worden beschikbaar gesteld.

Betekenis
Het artikel stelt vast dat check-gewichtbeperkingen alleen, onafhankelijk van geometrische lokaliteit of specifieke graafconnectiviteit, zware beperkingen opleggen aan de parameters van kwantumcodes.

• Het sluit de mogelijkheid uit van een niet-triviale afstand voor stabilizercodes met gewicht-3 checks.
• Het verheldert de tradeoffs voor gewicht-4 CSS stabilizercodes en gewicht-2 subsystemcodes, waarbij wordt aangetoond dat de beste bereikbare parameters in deze regimes beperkt zijn door surface-code-achtige schaling ($kd^2 \sim n$ of $kd \sim n$).
• Het biedt een rigoureus kader voor het evalueren van praktische qLDPC-codes in het eindige-omvangregime (relevant voor nabije experimenten met tientallen of honderden qubits), waarbij de theoretische plafond voor prestaties wordt bepaald gegeven specifieke hardwarebeperkingen op het checkgewicht.
• De resultaten onderscheiden zich van eerder werk door niet uit te gaan van aannames van geometrische lokaliteit, waardoor de grenzen toepasbaar zijn op algemene qLDPC-codes, inclus inclusief die mogelijk worden gemaakt door niet-lokale interactieplatforms zoals gevangen ionen of neutrale atomen.