Singer-Difference-Set Qudit Stabilizer Codes from Non-Degenerate Quadrics in PG(d,q)PG(d,q): Construction, Structural Theorems, and Monte-Carlo Performance

Riepilogo Tecnico: Codici Stabilizzatori Qudit Singer-Difference-Set da Quadriche Non Degenerate in PG(d, q)

Enunciato del Problema
Il saggio affronta la costruzione di codici correttori di errori quantistici per qudit (sistemi quantistici con $q$ livelli, dove $q$ è una potenza di un numero primo) strutturati e non-CSS (Calderbank-Shor-Steane). Sebbene esistano codici stabilizzatori derivati da geometrie finite e insiemi di differenza, manca una costruzione che offra simultaneamente:

1. Parametri espliciti e in forma chiusa per la dimensione logica ($k$).
2. Teoremi strutturali dimostrabili riguardanti la distanza e la correlazione incrociata.
3. Un ponte algebrico diretto verso le firme di diffusione a bassa densità (LDS) classiche utilizzate nei sistemi NOMA (accesso multiplo non ortogonale).
4. Alte prestazioni nel regime qudit ($q \ge 3$), evitando i soffitti di distanza spesso riscontrati nei regimi binari ($q=2$) o in specifici regimi guidati dalla parità.

Gli autori investigano specificamente i limiti dell'applicazione delle tecniche classiche di "decomposizione di Waterloo" (che partizionano gli insiemi di differenza) ai codici stabilizzatori quantistici, osservando che gli ostacoli del reticolo intero scompaiono spesso quando ridotti modulo la caratteristica del campo $p$, rendendo inefficaci le standard strategie di lifting assistite dall'entanglement (EA).

Metodologia
Gli autori propongono una nuova famiglia di codici, denominata $Q(q, d)$, costruita su una geometria proiettiva $PG(d, q)$. La metodologia si basa sui seguenti componenti algebrici:

1. Insiemi di Differenza di Singer: La costruzione utilizza la matrice di incidenza punto-iperpiano circostante di Singer di $PG(d, q)$. I punti e gli iperpiani sono indicizzati dal gruppo ciclico $G = \mathbb{F}_{q^{d+1}}^* / \mathbb{F}_q^*$.
2. Quadriche Non Degenerate: Viene definito un indicatore di traccia del quadrato di una quadrica $\tau_Q$. Per $q$ dispari, $Q = \{z \in \mathbb{F}_{q^{d+1}}^* : \text{Tr}(z^2) = 0\}$. Questo genera una matrice circostante $M_Q$.
3. Matrice di Controllo di Parità (PCM): La costruzione centrale definisce la PCM come $H = (A \mid M_Q A)$. Questo accoppia la matrice di incidenza con la circostante derivata dalla quadrica.
4. Lemma di Cancellazione: Gli autori dimostrano che il difetto simplettico $S = H_x H_z^T - H_z H_x^T$ svanisce modulo $p$ perché l'ordine dell'insieme di differenza $(k-\lambda) = q^{d-1}$ è divisibile per $p$. Ciò assicura che $H$ sia simplettico-isotropa, definendo un valido codice stabilizzatore senza richiedere entanglement pre-condiviso (ovvero $c=0$).
5. Analisi Strutturale: Il saggio impiega strumenti della teoria dei campi finiti, tra cui la decomposizione del ring di gruppo tramite il Teorema Cinese del Resto (CRT), le formule del rango di Hamada-Smith e la teoria dell'indice di Witt per le forme quadratiche, per analizzare le proprietà del codice.

Contributi Chiave

1. Nuova Famiglia di Codici $Q(q, d)$: Una famiglia di codici stabilizzatori $F_q$-ari non-CSS parametrizzata da una potenza di un numero primo $q$ e dimensione $d \ge 2$.
2. Cinque Teoremi Strutturali:
   • Costanza Modulare della Correlazione Incrociata: Per $q$ dispari e $d \ge 3$, la correlazione incrociata ciclica $\nu[k] = |E \cap (k-Q)|$ è congruente a $1 \pmod q$.
   • Pattern a Due Valori: Sotto le stesse condizioni, $\nu[k]$ assume esattamente due valori con una differenza netta di $q^{(d-1)/2}$.
   • Teorema del Conteggio Zero CRT: Il numero di fattori irriducibili di $X^n-1$ su $\mathbb{F}_p$ per i quali l'indicatore di traccia zero svanisce è esattamente $(|F|-1)/2$.
   • Ponte di Clifford Esplicito: Per $d=2$, gli autori costruiscono un gate di Clifford esplicito $U_M = H^{\otimes n} CZ(M) H^{\otimes n}$ che mappa il codice CSS puramente Z-only a $Q(q, 2)$. Ciò identifica il codice quantistico come Clifford-equivalente a un encoding di stato-grafo dell'incidenza di Singer classica.
   • Uguaglianza Rigidità-Distanza Coppia-Accoppiata: La distanza minima è esattamente $d_{min} = R_P + 1$, dove $R_P$ è l'indice di rigidità delle colonne accoppiate della matrice centralizzatrice.
3. Dimensione Logica in Forma Chiusa: Utilizzando la specializzazione del rango di Hamada-Smith, gli autori derivano $k(p, d) = \theta_d(p) - \binom{p+d-1}{d} - 1$ per il primo $p$. La famiglia principale $Q(p, 2)$ raggiunge un tasso asintotico di $1/2$.
4. Limiti e Soffitti della Distanza:
   • Ostacolo di Torsione a 2: Il saggio dimostra che per $q$ dispari e $d$ dispari ($d \ge 3$), il codice soffre di un soffitto di distanza $d_{min} \le 2$ dovuto a un operatore logico di peso 2.
   • Congettura Flagship: Per $d=2$ e primi dispari $p$, si congetta che $d_{min}(Q(p, 2)) = p+1$. Questo è dimostrato esattamente per $p=5$ ($d_{min}=6$) ed è rigorosamente limitato inferiormente per $p=7$ ($d_{min} \ge 8$).
5. Risultati Negativi sul Lifting di Waterloo: Il saggio dimostra che i tentativi di elevare la decomposizione di Waterloo classica (che fallisce per $d$ dispari in reticoli interi) ai codici quantistici assistiti dall'entanglement falliscono perché l'ostacolo intero svanisce modulo $p$. Il "difetto di Waterloo" è invisibile allo standard formalismo stabilizzatore di Pauli su $\mathbb{F}_p$.

Risultati

• Istanze Concrete:
  • $Q(3, 2) = [[13, 6, 3]]_3$: Correzione di errore singolo.
  • $Q(5, 2) = [[31, 15, 6]]_5$: Correzione di doppio errore ($d_{min}=6$).
  • $Q(7, 2) = [[57, 28, d]]_7$ con $d \ge 8$.
  • $Q(3, 4) = [[121, 105, 3]]_3$: Correzione di errore singolo.
• Prestazioni: Simulazioni Monte-Carlo su $1.5 \times 10^6$ prove utilizzando un decodificatore a distanza limitata mostrano che $Q(5, 2)$ ottiene un miglioramento di circa $70\times$ nel tasso di fallimento per logica-qudit rispetto al codice Steane $[[7, 1, 3]]_2$ a un tasso di depolarizzazione di $10^{-3}$.
• Proprietà "Erase-Don't-Mistake" (Cancella-Non-Sbagliare): Per $Q(5, 2)$, non sono stati osservati errori logici silenziosi; tutti i fallimenti del decodificatore sono stati dichiarati non correggibili. Ciò è attribuito alla distanza del codice e al comportamento del decodificatore a distanza limitata.
• Confronto: I codici proposti superano le precedenti costruzioni di insiemi di differenza di Singer (es. Gandhi [5]) e i codici QLDPC di geometria proiettiva (es. Tang-Bai-Feng [6]) combinando la struttura non-CSS, il supporto qudit e teoremi strutturali espliciti.

Significatività e Rivendicazioni

Il saggio sostiene di essere il primo a combinare un insieme di differenza di Singer con una matrice di Gram di una quadrica non degenere in una costruzione stabilizzatore quantistica. La sua significatività risiede nel:

1. Unificazione: Collegare le primitive algebriche dei codici di diffusione LDS-NOMA classici (specificamente la costruzione del 2021) con i codici stabilizzatori quantistici tramite un rigoroso equivalente di Clifford.
2. Interpretabilità: Fornire un insieme di cinque teoremi strutturali provati che spiegano perché la costruzione funziona, andando oltre la selezione empirica dei parametri.
3. Prestazioni: Dimostrare che i codici qudit strutturati possono raggiungere elevate capacità di correzione degli errori (correzione di doppio errore) con lunghezze di blocco moderate e tassi vicini a $1/2$, superando significativamente i standard codici qubit binari nel regime qudit.
4. Chiarezza Metodologica: Identificare esplicitamente i limiti del lifting dei difetti combinatori dei reticoli interi (decomposizione di Waterloo) al dominio quantistico tramite assistenza dall'entanglement, chiarendo così i confini degli attuali framework EAQECC.

Gli autori mantengono la modestia riguardo alla congettura della distanza generale per $p$ ($d_{min} = p+1$), notando che rimane aperta per $p > 7$, e riconoscono che la valutazione numerica corrente utilizza un decodificatore a distanza limitata standard, lasciando la decodifica ciclica di tipo Berlekamp-Massey come una naturale direzione futura.