Breaking the Orthogonality Barrier in Quantum LDPC Codes

Technische Samenvatting: Het doorbreken van de Orthogonaliteitsbarrière in Kwantum LDPC-codes

Probleemstelling
Klassieke Low-Density Parity-Check (LDPC) codes vertrouwen op het vergroten van de girth van de Tanner-graaf om de prestaties van belief-propagation (BP) decodering en de minimale afstand te verbeteren. Dit principe vertaalt zich echter niet direct naar kwantum LDPC-codes, specifiek de Calderbank–Shor–Steane (CSS) codes, vanwege de orthogonaliteitsrestrictie tussen de $X$- en $Z$-pariteitscontrolematrices ($H_X H_Z^T = 0$).

In standaard CSS-constructies dwingt het afdwingen van zowel orthogonaliteit als regelmatige graadverdelingen de vorming van een reductie in girth af en induceert het structurele bovengrenzen op de minimale afstand. Een primair mechanisme voor deze degradatie is de "rij-verwijderingsmethode" die wordt gebruikt om codetarieven aan te passen. Wanneer rijen uit ouder-matrices worden verwijderd om actieve controlematrices te vormen, blijven de latente (verwijderde) rijen vaak orthogonaal aan de actieve matrices. Bijgevolg kunnen deze rijen met een laag gewicht niet-triviale logische operatoren worden, wat de minimale afstand beperkt tot het gewicht van de rij. Bestaande constructies, zoals die gebaseerd op circulant permutatiematrices (CPM's), kampen vaak met vaste bovengrenzen op de girth (bijv. girth $\le 6$ voor kolomgewicht $\ge 3$) of vereisen complexe lifting die het probleem van de afstanddegradatie niet volledig oplost.

Methodologie
De auteur stelt een constructiekader voor dat de "orthogonaliteitsbarrière" doorbreekt door de orthogonaliteitsvereiste van de volledige ouder-matrices te ontkoppelen van die van de actieve submatrices. De kernmethodologie omvat:

1. Actieve versus Latente Orthogonaliteit: In plaats van te eisen dat de volledige ouder-matrices $\hat{H}_X$ en $\hat{H}_Z$ orthogonaal zijn, dwingt het ontwerp orthogonaliteit alleen af op de actieve delen ($H_X H_Z^T = 0$). Cruciaal is dat het ontwerp ervoor zorgt dat de latente delen ($\tilde{H}_X, \tilde{H}_Z$) niet orthogonaal zijn aan de actieve matrices ($H_X \tilde{H}_Z^T \neq 0$ en $H_Z \tilde{H}_X^T \neq 0$). Dit voorkomt dat rijen met een laag gewicht automatisch logische operatoren worden.
2. Gegeneraliseerde Hagiwara–Imai Codes met APM's: De constructie maakt gebruik van gegeneraliseerde Hagiwara–Imai codes, die protograaf-gebaseerd zijn met blok-circulant structuren. De auteur gebruikt Affiene Permutatiematrices (APM's) in plaats van standaard CPM's. APM's maken gecontroleerde commutativiteit mogelijk via algebraïsche congruentievoorwaarden.
3. Controle van Commutativiteit: De auteur leidt voldoende voorwaarden af waarbij specifieke paren permutatiematrices communiceren om actieve orthogonaliteit te voldoen, terwijl andere paren doelbewust niet-commuterend worden gemaakt om de ouder-orthogonaliteit te breken. Dit wordt geformaliseerd via interactiematrices $\Psi_r$. Het ontwerp zorgt ervoor dat $\Psi_r = 0$ voor verschillen $r$ die aanwezig zijn in de actieve set $\Delta$, terwijl $\Psi_r \neq 0$ voor verschillen buiten $\Delta$.
4. Sequentiële Constructie en Onderdrukking van Trapping Sets: Een sequentieel zoekalgoritme, geleid door een multi-armed bandit heuristiek, selecteert APM-parameters om commutativiteitsrestricties te voldoen en korte cycli (specifiek 4- en 6-cycli) te vermijden. De auteur construeert expliciet een bibliotheek van Elementaire Trapping Sets (ETS) en selecteert parameters om schadelijke trapping-structuren te minimaliseren die de BP-decodering doen stagneren.

Belangrijkste Bijdragen

• Theoretisch Kader: Het artikel vestigt een theoretisch mechanisme om afstanddegradatie veroorzaakt door rij-verwijdering te voorkomen. Er wordt bewezen dat als het latente deel niet orthogonaal is aan het actieve deel, de latente rijen niet triviaal logische operatoren worden.
• Verbetering van de Girth: Het werk toont aan dat door APM's te gebruiken en de ouder-matrix orthogonaliteit te versoepelen, het mogelijk is om regelmatige kwantum LDPC-codes met een girth 8 te construeren, waarmee de girth-6 limiet die vaak geassocieerd wordt met regelmatige kwantum CPM-LDPC-codes met kolomgewicht $\ge 3$, wordt overtroffen.
• Expliciete Constructie: De auteur biedt een concrete constructie van een $(3, 12)$-regelmatige kwantum LDPC-code met parameters $[[9216, 4612, \le 48]]$.
  • Bloklengte $n = 9216$.
  • Aantal logische qubits $k = 4612$ (rate $\approx 0.5$).
  • Girth $g = 8$.
  • Latente-gebaseerde afstandsbovengrenzen $d^{(lat)}_X = d^{(lat)}_Z = 48$.
• Decoderingsstrategie: Het artikel implementeert een gezamenlijke BP-decoder voor het depolariserende kanaal (waarbij $X$- en $Z$-fouten gecorreleerd worden behandeld) gecombineerd met een algoritme met lage complexiteit voor nabewerking. Deze nabewerking maakt gebruik van een ETS-bibliotheek, Flip-History Decoding (FHD) en Ordered Statistics Decoding (OSD) om BP-stalls op te lossen.

Resultaten

• Prestaties: Onder BP-decodering met nabewerking bereikt de geconstrueerde code een Frame Error Rate (FER) van $10^{-8}$ op het depolariserende kanaal met een foutkans van $4\%$.
• Afstandsanalyse: De auteur bewijst rigoureus dat de latente-gebaseerde afstand exact 48 is. Hoewel zij geen gecertificeerde ondergrens kunnen bieden voor niet-latente logische operatoren, rapporteren zij dat er geen logische operatoren met een laag gewicht (niet-latent) zijn gevonden tijdens hun zoektochten. De minimale afstand is derhalve begrensd aan de bovenzijde door 48 ($d_{min} \le 48$).
• Drempelgedrag: Density evolution analyse suggereert dat de code een BP-drempel nadert van $p \approx 0.05702$ voor een niet-orthogonale willekeurige ensemble, wat aangeeft dat de constructie voldoende willekeur behoudt voor effectieve decodering.
• Error Floor: De error floor wordt gedomineerd door stalls veroorzaakt door trapping sets van een grootte in de orde van tientallen, in plaats van logische operatoren met een laag gewicht, wat suggereert dat het ontwerp de specifieke afstanddegradatie-mechanisme geassocieerd met rij-verwijdering succesvol heeft gemitigeerd.

Betekenis en Claims
Het artikel claimt een fundamentele structurele beperking in het ontwerp van kwantum LDPC-codes te hebben overwonnen: de trade-off tussen regelmaat, hoge girth en een grote minimale afstand opgelegd door de CSS-orthogonaliteitsrestrictie. Door de commutativiteitsrestricties te lokaliseren tot het actieve deel van de code en APM's te gebruiken om de ouder-orthogonaliteit te breken, demonstreert de auteur dat het mogelijk is om regelmatige kwantum LDPC-codes met een girth 8 te construeren en een minimale afstand die niet triviaal wordt begrensd door het rijgewicht.

De betekenis ligt in het bieden van een constructieprincipe dat de klassieke LDPC-structurele voordelen (regelmaat, grote girth) behoudt terwijl ze worden aangepast voor kwantumfoutcorrectie. De auteur merkt bescheiden op dat hoewel de latente afstand gecertificeerd is, de exacte minimale afstand van de volledige code een open ondergrensprobleem blijft, en de gerapporteerde prestaties afhangen van de specifieke instantie-selectie en nabewerking. Echter, de resultaten suggereren dat het voorgestelde methode effectief de logische operatoren met een laag gewicht onderdrukt die typisch worden geïnduceerd door rij-verwijdering, wat een levensvatbaar pad biedt naar hoogwaardige, regelmatige kwantum LDPC-codes.