Breaking the Orthogonality Barrier in Quantum LDPC Codes

Riepilogo Tecnico: Superare la Barriera dell'Ortogonalità nei Codici Quantum LDPC

Definizione del Problema
I codici classici Low-Density Parity-Check (LDPC) si affidano all'aumento del girth del grafo di Tanner per migliorare le prestazioni di decodifica a propagazione di belief (BP) e la distanza minima. Tuttavia, questo principio non si traduce direttamente nei codici quantum LDPC, specificamente nei codici Calderbank–Shor–Steane (CSS), a causa del vincolo di ortogonalità tra le matrici di controllo $X$ e $Z$ ($H_X H_Z^T = 0$).

Nelle tipiche costruzioni CSS, imporre sia l'ortogonalità che distribuzioni di grado regolari comporta solitamente una riduzione del girth e induce limiti strutturali superiori sulla distanza minima. Un meccanismo primario di questa degradazione è il metodo di "rimozione delle righe" (row deletion) utilizzato per regolare i tassi di codice. Quando le righe vengono rimosse dalle matrici genitore per formare le matrici di controllo attive, le righe latenti (rimosse) rimangono spesso ortogonali alle matrici attive. Di conseguenza, queste righe latenti a basso peso possono diventare operatori logici non banali, limitando la distanza minima al peso della riga. Le costruzioni esistenti, come quelle basate su matrici di permutazione circolante (CPM), affrontano spesso limiti superiori fissi sul girth (ad esempio, girth $\le 6$ per peso di colonna $\ge 3$) o richiedono un lifting complesso che non risolve completamente il problema della degradazione della distanza.

Metodologia
L'autore propone un framework di costruzione che supera la "barriera dell'ortogonalità" decouplando il requisito di ortogonalità delle matrici genitore complete da quello delle sottomatrici attive. La metodologia principale prevede:

1. Ortogonalità Attiva vs. Latente: Invece di richiedere che le matrici genitore complete $\hat{H}_X$ e $\hat{H}_Z$ siano ortogonali, il design impone l'ortogonalità solo sulle parti attive ($H_X H_Z^T = 0$). Fondamentalmente, il design assicura che le parti latenti ($\tilde{H}_X, \tilde{H}_Z$) non siano ortogonali alle matrici attive ($H_X \tilde{H}_Z^T \neq 0$ e $H_Z \tilde{H}_X^T \neq 0$). Ciò impedisce alle righe latenti a basso peso di diventare automaticamente operatori logici.
2. Codici di Hagiwara–Imai Generalizzati con APM: La costruzione utilizza codici di Hagiwara–Imai generalizzati, basati su protografi con strutture a blocco-circolante. L'autore impiega Matrici di Permutazione Affine (APM) invece delle standard CPM. Le APM permettono un controllo della commutatività tramite condizioni di congruenza algebrica.
3. Controllo della Commutatività: L'autore deriva condizioni sufficienti in cui coppie specifiche di matrici di permutazione commutano per soddisfare l'ortogonalità attiva, mentre altre coppie sono deliberatamente rese non commutanti per rompere l'ortogonalità della matrice genitore. Questo è formalizzato attraverso matrici di interazione $\Psi_r$. Il design assicura che $\Psi_r = 0$ per le differenze $r$ presenti nell'insieme attivo $\Delta$, mentre $\Psi_r \neq 0$ per le differenze al di fuori di $\Delta$.
4. Costruzione Sequenziale e Soppressione dei Trapping Set: Un algoritmo di ricerca sequenziale, guidato da un'euristica multi-armed bandit, seleziona i parametri APM per soddisfare i vincoli di commutatività evitando al contempo cicli brevi (specificamente cicli di 4 e 6). L'autore costruisce esplicitamente una libreria di Elementary Trapping Sets (ETS) e seleziona i parametri per minimizzare le strutture di trapping dannose che causano il blocco della decodifica BP.

Contributi Chiave

• Framework Teorico: Il documento stabilisce un meccanismo teorico per prevenire la degradazione della distanza causata dalla rimozione delle righe. Dimostra che se la parte latente non è ortogonale alla parte attiva, le righe latenti non diventano trivialmente operatori logici.
• Miglioramento del Girth: Il lavoro dimostra che, utilizzando le APM e rilassando l'ortogonalità della matrice genitore, è possibile costruire codici quantum LDPC regolari con girth 8, superando il limite di girth 6 spesso associato ai codici quantum CPM-LDPC regolari con peso di colonna $\ge 3$.
• Costruzione Esplicita: L'autore fornisce una costruzione concreta di un codice quantum LDPC $(3, 12)$-regolare con parametri $[[9216, 4612, \le 48]]$:
  • Lunghezza del blocco $n = 9216$.
  • Numero di qubit logici $k = 4612$ (rate $\approx 0.5$).
  • Girth $g = 8$.
  • Limiti della distanza basati sulle righe latenti $d^{(lat)}_X = d^{(lat)}_Z = 48$.
• Strategia di Decodifica: Il documento implementa un decoder BP congiunto per il canale depolarizzante (trattando gli errori $X$ e $Z$ come correlati) combinato con un algoritmo di post-processing a bassa complessità. Questo post-processing utilizza una libreria ETS, il Flip-History Decoding (FHD) e l'Ordered Statistics Decoding (OSD) per risolvere i blocchi della BP.

Risultati

• Performance: Sotto decodifica BP con post-processing, il codice costruito raggiunge un Frame Error Rate (FER) di $10^{-8}$ sul canale depolarizzante con una probabilità di errore del $4\%$.
• Analisi della Distanza: L'autore dimostra rigorosamente che la distanza basata sulle righe latenti è esattamente 48. Sebbene non possa fornire un limite inferiore certificato per gli operatori logici non latenti, riporta che non sono stati trovati operatori logici non latenti a basso peso nelle loro ricerche. La distanza minima è quindi limitata superiormente a 48 ($d_{min} \le 48$).
• Comportamento della Soglia: L'analisi di evoluzione della densità suggerisce che il codice si avvicina a una soglia BP di $p \approx 0.05702$ per un insieme non-ortogonale casuale, indicando che la costruzione mantiene una sufficiente casualità per una decodifica efficace.
• Error Floor: Il piano di errore (error floor) è dominato da blocchi causati da trapping set di dimensione nell'ordine delle decine, piuttosto che da operatori logici a basso peso, suggerendo che il design ha mitigato con successo il meccanismo specifico di degradazione della distanza associato alla rimozione delle righe.

Significatività e Rivendicazioni
Il documento rivendica di aver superato un limite strutturale fondamentale nella progettazione di codici quantum LDPC: il compromesso tra regolarità, alto girth e grande distanza minima imposto dal vincolo di ortogonalità CSS. Localizzando i vincoli di commutatività alla parte attiva del codice e utilizzando le APM per rompere l'ortogonalità della matrice genitore, l'autore dimostra che è possibile costruire codici quantum LDPC regolari con girth 8 e una distanza minima che non è trivialmente limitata dal peso della riga.

La significatività risiede nel fornire un principio di costruzione che preserva i vantaggi strutturali dei codici LDPC classici (regolarità, grande girth) adattandoli alla correzione degli errori quantistici. L'autore nota con modestia che, sebbene la distanza latente sia certificata, l'esatto limite inferiore della distanza del codice completo rimane un problema aperto, e le prestazioni riportate dipendono dalla selezione dell'istanza specifica e dal post-processing. Tuttavia, i risultati suggeriscono che il metodo proposto mitiga efficacemente i tipici operatori logici a basso peso indotti dalla rimozione delle righe, offrendo una via percorribile verso codici quantum LDoli ad alte prestazioni.