Sequences of Bivariate Bicycle Codes from Covering Graphs

Technische Samenvatting: Sequenties van Bivariate Bicycle Codes vanuit Covering Graphs

Probleemstelling
Quantum Low-Density Parity-Check (qLDPC) codes bieden een veelbelovend alternatief voor surface codes door constante rates en verbeterde afstandsschaalbaarheid te bieden, wat potentieel de ruimteoverhead voor fouttolerante quantumcomputing vermindert. Echter, het identificeren van nieuwe, hoogperformante qLDPC-codes blijft een uitdaging vanwege de enorme zoekruimte van mogieve pariteitscontrole-polynomen. Specifiek hebben Bivariate Bicycle (BB) codes, die groepsalgebra-codes zijn gedefinieerd over $\mathbb{F}_2[Z_l \times Z_m]$, een groot potentieel getoond met hoog-rate, hoog-afstand instanties (bijv. de [[144, 12, 12]] "gross" code), maar een algemene methode voor het genereren van oneindige families van dergelijke codes met voorspelbare parameters is beperkt gebleven. Bovendien is het begrijpen van de relatie tussen logische operatoren en automorfismen over verschillende code-instanties cruciaal voor het implementeren van logische operaties, maar is dit vaak moeilijk te analyseren voor grote codes.

Methodologie
De auteurs stellen een raamwerk voor het genereren van oneindige sequenties van BB-codes met behulp van het wiskundige concept van covering graphs (of graph lifts). De kernmethodologie omvat:

1. Algebraïsche Voorwaarden voor Covering: Het artikel stelt vast dat een Tanner-graaf van een BB-code $\tilde{Q}$ een covering graph is van een basis BB-code $Q$ als specifieke algebraïsche voorwaarden worden vervuld met betrekking tot hun roosterparameters en definiende polynomen. Specifiek, als $Q$ parameters $(l, m)$ en polynomen $A, B$ heeft, dan is een cover-code $\tilde{Q}$ met parameters $(\tilde{l}, \tilde{m})$ en polynomen $\tilde{A}, \tilde{B}$ een geldige $h$-cover (waarbij $h = \tilde{l}\tilde{m}/lm$) als:

   • $\tilde{l} = ul$ en $\tilde{m} = tm$ voor gehele getallen $u, t$.
   • De exponenten van de monomialen in $\tilde{A}$ en $\tilde{B}$ congruent zijn aan die in $A$ en $B$ modulo $l$ en $m$, respectievelijk.
   • De voltage assignment die wordt gebruikt om de afgeleide graaf te genereren, overeenkomt met de "quotiënt" van de roosterparameters.

2. Gereduceerde Zoekruimte: Door de zoektocht te beperken tot polynomen die aan deze congruentievoorwaarden voldoen, reduceren de auteurs de zoekruimte voor nieuwe codes drastisch. In plaats van te zoeken in de volledige ruimte van polynomen van lengte $n$, is de zoektocht beperkt tot variaties van de polynomen van een basiscode, wat de complexiteit vermindert van $O(n^6)$ naar ongeveer $O(h^4)$ voor $h$-covers.

3. Chain Maps en Homologie: De graph covering map wordt uitgebreid tot een chain map tussen de chain complexes van de basis- en de cover-codes. Dit induceert kaarten op (co)homologie:

   • Projectie Map ($p$): Brengt logische operatoren van de cover-code naar de basis-code.
   • Lifting Map ($\tau$): Brengt logische operatoren van de basis-code naar de cover-code.
   • Weight-Preserving Lift ($\sigma$): Een specifiek type lift die één pre-image selecteert voor elke vertex, gebruikt om de afstand van de cover-code te begrenzen.

4. Automorphism Lifting: Het raamwerk wordt uitgebreid om aan te tonen dat graaf-automorfismen (en consequent CSS-code automorfismen) kunnen worden gelift van de basis naar de cover-code. Onder specifieke condities (oneven $h$ en gelijke aantal logische qubits) wordt de logische actie van deze automorfismen behouden.

Belangrijkste Bijdragen en Resultaten

• Generatie van Codesequenties: De auteurs demonstreren dat bekende hoogperformante BB-codes, zoals de [[144, 12, 12]] gross code, gezien kunnen worden als dubbele covers van kleinere codes (bijv. [[72, 12, 6]]). Ze genereren oneindige sequenties van nieuwe BB-codes met vaste aantallen logische qubits ($k$) en toenemende blokgroottes ($n$).
• Nieuwe Codefamilies:
  • Gewicht 6 Codes: De methode reproduceert bekende families, inclusief balanced product codes en generalized toric codes, en genereert nieuwe sequenties voor $k=6, 8, 10, 12$.
  • Gewicht 8 Codes: De auteurs passen de methode toe om te zoeken naar BB-codes met gewicht 8 checks (4 termen in de definiende polynomen). Ze vinden sequenties met $k=8, 10, 12, 14$ die aanzienlijk hogere $kd^2/n$ ratio's vertonen dan hun gewicht 6 tegenhangers. Opvallende voorbeelden zijn de [[64, 14, 8]] en [[144, 14, 14]] codes.
  • Qudit Codes: De methodologie wordt gegeneraliseerd naar qudit-codes over $\mathbb{F}_q$, waarbij succesvol cover-codes voor basis qudit BB-codes zijn gegenereerd.
• Theoretische Grenzen:
  • Logische Qubits ($k$): De auteurs bewijzen dat voor een $h$-cover code met een oneven $h$, het aantal logische qubits voldoet aan $k_h \ge k$. Ze vermoeden dat dit voor alle $h$ geldt.
  • Afstand ($d$): Voor oneven $h$ bewijzen ze de bovengrens $d_h \le hd$. Als $k_h = k$ en $h$ is oneven, bewijzen ze de ondergrens $d_h \ge d$. Ze vermoeden dat de algemene grens $d \le d_h \le hd$ geldt voor alle $h$.
  • Weight-Preserving Lifts: Ze tonen aan dat als een weight-preserving lift bestaat, dit impliceert dat $d_h \le d$, wat een numeriek hulpmiddel biedt om cover-codes uit te sluiten waarbij de afstand niet toeneemt.
• Logische Operator en Automorfisme Analyse: Het artikel biedt expliciete constructies voor het liften van logische operatoren en automorfismen. Het bewijst dat wanneer $h$ oneven is en $k_h = k$, de lifting map een isomorfisme is op homologie, wat garandeert dat een logische basis van de basiscode naar een volledige logische basis van de cover-code lift, waarbij de logische actie van automorfismen (bijv. logische CNOT en Hadamard gates) behouden blijft.

Significantie
De auteurs claimen significantie op drie belangrijke gebieden:

1. Efficiënte Code-ontdekking: Door de zoekruimte te reduceren op basis van covering graph-theorie, bieden de auteurs een systematische en efficiënte methode voor het ontdekken van nieuwe BB-codes met veelbelovende parameters, waardoor brute-force zoektochten over de volledige polynomiale ruimte worden omzeild.
2. Theoretische Unificatie: Het werk verenigt diverse bekende BB-constructies (inclusief de gross code, balanced product codes en generalized toric codes) onder één enkel raamwerk van covering graphs, waardoor structurele relaties worden onthuld.
3. Beheer van Logische Operatoren: De ontwikkeling van projectie- en lifting maps biedt een praktisch instrument voor het analyseren van grote codes. Door logische operatoren en automorfismen af te leiden van kleinere, goed begrepen basiscodes, wordt de complexiteit van het beheren van logische operaties in grote qLDPC-codes verminderd.

De auteurs merken op dat hoewel de focus op BB-codes ligt, de methoden verwacht worden te generaliseren naar andere groepsalgebra-codes en constructies die betrokken zijn bij hypergrafen of lifted products. Ze benadrukken ook dat hoewel de zoekruimte is verkleind, het berekenen van de exacte afstand van grote cover-codes een bottleneck blijft, en dat hun theoretische grenzen dienen als een gids in plaats van een volledige oplossing voor afstandsberekening.