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

Technische Samenvatting: Singer-Verschilverzameling Qudit Stabilisatorcodes vanuit Niet-Degenerate Quadrica's in PG(d, q)

Probleemstelling
Het artikel behandelt de constructie van gestructureerde, niet-CSS (Calderbank-Shor-Steane) quantum foutcorrigerende codes voor qudits (kwantumsystemen met $q$ niveaus, waarbij $q$ een macht van een priemgetal is). Hoewel er stabilizercodes bestaan die afgeleid zijn van eindige geometrieën en verschilverzamelingen, is er een gebrek aan constructies die simultaan bieden:

1. Expliciete, gesloten vorm parameters voor de logische dimensie ($k$).
2. Bewijsbare structurele stellingen betreffende afstand en kruiscorrelatie.
3. Een directe algebraïsche brug naar klassieke low-density spreading (LDS) signaturen die gebruikt worden in non-orthogonal multiple-access (NOMA) systemen.
4. Hoge prestaties in het qudit-regime ($q \ge 3$), waarbij de afstandscapsels (distance ceilings) die vaak voorkomen bij binaire ($q=2$) of specifieke pariteit-gestuurde regimes, worden vermeden.

De auteurs onderzoeken specifiek de beperkingen van het toepassen van klassieke "Waterloo-decompositie"-technieken (die verschilverzamelingen partitioneren) op quantum stabilizercodes, waarbij zij opmerken dat obstructies in gehele rooster-structuren (integer-lattices) verdwijnen wanneer deze worden gereduceerd modulo het karakteristiek van het lichaam $p$, waardoor standaard entanglement-assisted (EA) lifting-strategieën ineffectief worden.

Methodologie
De auteurs stellen een nieuwe familie codes voor, aangeduid als $Q(q, d)$, geconstrueerd over de projectieve geometrie $PG(d, q)$. De methodologie steunt op de volgende algebraïsche componenten:

1. Singer-verschilverzamelingen: De constructie maakt gebruik van de Singer-circulant punt-hypervlak incidentie-matrix $A$ van $PG(d, q)$. De punten en hypervlakken worden geïndexeerd door de cyclische groep $G = \mathbb{F}_{q^{d+1}}^* / \mathbb{F}_q^*$.
2. Niet-degeneratieve quadrica's: Een formele trace-van-kwadraten quadrica-indicator $\tau_Q$ wordt gedefinieerd. Voor $q$ oneven is $Q = \{z \in \mathbb{F}_{q^{d+1}}^* : \text{Tr}(z^2) = 0\}$. Dit genereert een circulant matrix $M_Q$.
3. Pariteitscontrole-matrix (PCM): De kern van de constructie definieert de PCM als $H = (A \mid M_Q A)$. Dit koppelt de incidentie-matrix met de door de quadrica afgeleide circulant.
4. Annulatie-lemma: De auteurs bewijzen dat de symplectische deficiëntie $S = H_x H_z^T - H_z H_x^T$ verdwijnt modulo $p$ omdat de verschilverzameling-orde $(k-\lambda) = q^{d-1}$ deelbaar is door $p$. Dit garandeert dat $H$ symplectisch-isotroop is, wat een geldige stabilizercode definieert zonder dat vooraf gedeelde verstrengeling vereist is (d.w.z. $c=0$).
5. Structurele Analyse: Het artikel maakt gebruik van instrumenten uit de eindige veldentheorie, waaronder de Chinese Reststelling (CRT) decompositie van de groepring, Hamada-Smith rangformules en Witt-index theorie voor kwadratische vormen om de eigenschappen van de code te analyseren.

Belangrijkste Bijdragen

1. Nieuwe Codefamilie $Q(q, d)$: Een niet-CSS $F_q$-ary stabilizercode-familie geparametriseerd door een macht van een priemgetal $q$ en dimensie $d \ge 2$.
2. Vijf Structurele Stellingen:
   • Modulaire Constante Kruiscorrelatie: Voor $q$ oneven en $d \ge 3$ is de cyclische kruiscorrelatie $\nu[k] = |E \cap (k-Q)|$ congruent aan $1 \pmod q$.
   • Twee-waarde Patroon: Onder dezelfde voorwaarden neemt $\nu[k]$ exact twee waarden aan met een scherp verschil van $q^{(d-1)/2}$.
   • CRT Zero-Count Stelling: Het aantal irreducibele factoren van $X^n-1$ over $\mathbb{F}_p$ waarvoor de trace-nul indicator verdwijnt, is exact $(|F|-1)/2$.
   • Expliciete Clifford Brug: Voor $d=2$ construeren de auteurs een expliciete Clifford-gate $U_M = H^{\otimes n} CZ(M) H^{\otimes n}$ die de triviale Z-alleen CSS-code naar $Q(q, 2)$ mapt. Dit identificeert de quantumcode als Clifford-equivalent aan een graph-state codering van de klassieke Singer-incidentie.
   • Gepaard-Rigiditeit-Afstand Gelijkheid: De minimale afstand is exact $d_{min} = R_P + 1$, waarbij $R_P$ de gepaarde kolom-rigiditeitsindex van de centralisator-matrix is.
3. Gesloten Vorm Logische Dimensie: Gebruikmakend van de Hamada-Smith rang specialisatie, leiden de auteurs $k(p, d) = \theta_d(p) - \binom{p+d-1}{d} - 1$ af voor priem $p$. De vlaggenschipfamilie $Q(p, 2)$ bereikt een asymptotische snelheid van $1/2$.
4. Afstandsgrenzen en Celsels:
   • 2-Torsie Obstructie: Het artikel bewijst dat voor $q$ oneven en $d$ oneven ($d \ge 3$), de code lijdt onder een afstandscel van $d_{min} \le 2$ vanwege een gewicht-2 logische operator.
   • Flagship Conjectuur: Voor $d=2$ en oneven priemmen $p$, wordt geconstateerd dat $d_{min}(Q(p, 2)) = p+1$. Dit is exact bewezen voor $p=5$ ($d_{min}=6$) en strikt ondergrensd aan $p=7$ ($d_{min} \ge 8$).
5. Negatieve Resultaten op Waterloo Lifting: Het artikel demonstreert dat pogingen om de klassieke Waterloo-decompositie (die faalt voor oneven $d$ in gehele roosters) te liften naar entanglement-assisted quantumcodes falen, omdat de gehele obstructie verdwijnt modulo $p$. De "Waterloo-defect" is onzichtbaar voor de standaard Pauli-stabilisatorformalisme over $\mathbb{F}_p$.

Resultaten

• Concrete Instanties:
  • $Q(3, 2) = [[13, 6, 3]]_3$: Foutcorrectie van één fout.
  • $Q(5, 2) = [[31, 15, 6]]_5$: Foutcorrectie van twee fouten ($d_{min}=6$).
  • $Q(7, 2) = [[57, 28, d]]_7$ met $d \ge 8$.
  • $Q(3, 4) = [[121, 105, 3]]_3$: Foutcorrectie van één fout.
• Prestaties: Monte-Carlo simulaties over $1.5 \times 10^6$ proeven met een bounded-distance decoder laten zien dat $Q(5, 2)$ een $\sim 70\times$ verbetering bereikt in de per-logische-qudit foutratio ten opzien van de Steane $[[7, 1, 3]]_2$ code bij een depolariseringssnelheid van $10^{-3}$.
• "Erase-Don't-Mistake" Eigenschap: Voor $Q(5, 2)$ werden geen stille logische fouten waargenomen; alle decoderfouten werden als oncorrigeerbaar verklaard. Dit wordt toegeschreven aan de afstand van de code en het gedrag van de bounded-distance decoder.
• Vergelijking: De voorgestelde codes presteren beter dan eerdere Singer-verschilverzameling constructies (bijv. Gandhi [5]) en projectieve-geometrie QLDPC-codes (bijv. Tang-Bai-Feng [6]) door een niet-CSS structuur, qudit-ondersteuning en expliciete structurele stellingen te combineren.

Betekenis en Claims
Het artikel claimt de eerste te zijn die een Singer-verschilverzameling combineert met een niet-degeneratieve quadrica Gram-matrix in een quantum stabilizerconstructie. De betekenis ligt in:

1. Unificatie: Het overbruggen van de algebraïsche primitieven van klassieke LDS-NOMA spreading-codes (specifiek de 2021 constructie) met quantum stabilizercodes via een rigoureuze Clifford-equivalentie.
2. Interpretatie: Het bieden van een set van vijf bewezen structurele stellingen die verklaren waarom de constructie werkt, waarmee men verder gaat dan empirische parameterselectie.
3. Prestaties: Het aantonen dat gestructureerde qudit-codes een hoge foutcorrigerend vermogen (double-error correction) kunnen bereiken met gematigde bloklengtes en snelheden nabij $1/2$, wat de standaard binaire qubit-codes in het qudit-regime aanzienlijk overtreft.
4. Methodologische Helderheid: Het expliciet identificeren van de beperkingen van het liften van klassieke gehele rooster-combinatorische defecten (Waterloo-decompositie) naar het quantumdomein via entanglement assistance, waardoor de grenzen van huidige EAQECC-frameworks worden verduidelijkt.

De auteurs blijven bescheiden over de algemene $p$ kwestie van de afstand-conjectuur ($d_{min} = p+1$), waarbij zij opmerken dat dit open blijft voor $p > 7$, en erkennen dat de huidige numerieke evaluatie een standaard bounded-distance decoder gebruikt, waarbij Berlekamp-Massey-stijl cyclische decodering een natuurlijke toekomstige richting is.