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

Resumen Técnico: Códigos Estabilizadores de Qudits de Conjunto de Diferencia de Singer a partir de Cuádricas No Degeneradas en PG(d, q)

Planteamiento del Problema
El artículo aborda la construcción de códigos de corrección de errores cuánticos estructurados y no-CSS (Calderbank-Shor-Steane) para qudits (sistemas cuánticos con $q$ niveles, donde $q$ es una potencia de un número primo). Aunque existen construcciones de códigos estabilizadores derivados de geometrías finitas y conjuntos de diferencia, existe una falta de construcciones que ofrezcan simultáneamente:

1. Parámetros explícitos de forma cerrada para la dimensión lógica ($k$).
2. Teoremas estructurales demostrables respecto a la distancia y la correlación cruzada.
3. Un puente algebraico directo hacia las firmas de propagación de baja densidad (LDS) clásicas utilizadas en sistemas NOMA (acceso múltiple no ortogonal).
4. Un alto rendimiento en el régimen de qudits ($q \ge 3$), evitando los techos de distancia que suelen encontrarse en los regímenes binarios ($q=2$) o de impulsión específica.

Los autores investigan específicamente las limitaciones de aplicar técnicas clásicas de "descomposición de Waterloo" (que particionan conjuntos de diferencia) a los códigos estabilizadores cuánticos, señalando que los obstáculos de la red entera (integer-lattice) desaparecen cuando se reducen módulo la característica del campo $p$, lo que hace que las estrategias de levantamiento (lifting) asistidas por entrelazamiento (EA) estándar sean ineficaces.

Metodología
Los autores proponen una nueva familia de códigos, denotada como $Q(q, d)$, construida sobre la geometría proyectiva $PG(d, q)$. La metodología se basa en los siguientes componentes algebraicos:

1. Conjuntos de Diferencia de Singer: La construcción utiliza la matriz de incidencia punto-hiperplano de tipo Singer-circulante de $PG(d, q)$. Los puntos y las hiperplanos están indexados por el grupo cíclico $G = \mathbb{F}_{q^{d+1}}^* / \mathbb{F}_q^*$.
2. Cuádricas No Degeneradas: Se define un indicador de traza de cuadrado de cuádrica formal $\tau_Q$. Para $q$ impar, $Q = \{z \in \mathbb{F}_{q^{d+1}}^* : \text{Tr}(z^2) = 0\}$. Esto genera una matriz circulante $M_Q$.
3. Matriz de Verificación de Paridad (PCM): La construcción central define la PCM como $H = (A \mid M_Q A)$. Esto acopla la matriz de incidencia con la circulante derivada de la cuádrica.
4. Lema de Cancelación: Los autores demuestran que el déficit simpléctico $S = H_x H_z^T - H_z H_x^T$ se anula módulo $p$ porque el orden del conjunto de diferencia $(k-\lambda) = q^{d-1}$ es divisible por $p$. Esto asegura que $H$ sea simplécticamente isotrópica, definiendo un código estabilizador válido sin requerir entrelazamiento precompartido (es decir, $c=0$).
5. Análisis Estructural: El artículo emplea herramientas de la teoría de campos finitos, incluyendo la descomposición del anillo de grupos mediante el Teorema del Resto Chino (CRT), fórmulas de rango de Hamada-Smith y la teoría del índice de Witt para formas cuadráticas para analizar las propiedades del código.

Contribuciones Clave

1. Nueva Familia de Códigos $Q(q, d)$: Una familia de códigos estabilizadores $F_q$-arios no-CSS parametrizada por una potencia de un número primo $q$ y una dimensión $d \ge 2$.
2. Cinco Teoremas Estructurales:
   • Constancia Modular de Correlación Cruzada: Para $q$ impar y $d \ge 3$, la correlación cruzada cíclica $\nu[k] = |E \cap (k-Q)|$ es congruente con $1 \pmod q$.
   • Patrón de Dos Valores: Bajo las mismas condiciones, $\nu[k]$ toma exactamente dos valores con una diferencia nítida de $q^{(d-1)/2}$.
   • Teorema de Conteo Cero del CRT: El número de factores irreducibles de $X^n-1$ sobre $\mathbb{F}_p$ para los cuales el indicador de traza cero se anula es exactamente $(|F|-1)/2$.
   • Puente de Clifford Explícito: Para $d=2$, los autores construyen una puerta Clifford explícita $U_M = H^{\otimes n} CZ(M) H^{\otimes n}$ que mapea el código CSS de solo-Z trivial a $Q(q, 2)$. Esto identifica el código cuántico como equivalente por Clifford a un estado de grafo de la incidencia de Singer clásica.
   • Igualdad de Distancia y Rigidez de Pares: La distancia mínima es exactamente $d_{min} = R_P + 1$, donde $R_P$ es el índice de rigidez de columna emparejada de la matriz centralizadora.
3. Dimensión Lógica de Forma Cerrada: Utilizando la especialización de rango Hamada-Smith, los autores derivan $k(p, d) = \theta_d(p) - \binom{p+d-1}{d} - 1$ para un primo $p$. La familia principal $Q(p, 2)$ logra una tasa asintótica de $1/2$.
4. Límites y Techos de Distancia:
   • Obstáculo de Torsión de 2: El artículo demuestra que para $q$ impar y $d$ impar ($d \ge 3$), el código sufre un techo de distancia de $d_{min} \le 2$ debido a un operador lógico de peso 2.
   • Conjetura de la Familia Principal: Para $d=2$ y primos impares $p$, se conjetura que $d_{min}(Q(p, 2)) = p+1$. Esto se demuestra exactamente para $p=5$ ($d_{min}=6$) y se acota inferiormente de forma rigurosa para $p=7$ ($d_{min} \ge 8$).
5. Resultados Negativos sobre el Levantamiento de Waterloo: El artículo demuestra que los intentos de levantar la descomposición de Waterloo clásica (que falla para $d$ impar en redes enteras) a códigos cuánticos asistidos por entrelazamiento fallan porque la obstrucción entera desaparece módulo $p$. El "defecto de Waterloo" es invisible para el formalismo de estabilizador de Pauli estándar sobre $\mathbb{F}_p$.

Resultados

• Instancias Concretas:
  • $Q(3, 2) = [[13, 6, 3]]_3$: Corrección de un error.
  • $Q(5, 2) = [[31, 15, 6]]_5$: Corrección de dos errores.
  • $Q(7, 2) = [[57, 28, d]]_7$ con $d \ge 8$.
  • $Q(3, 4) = [[121, 105, 3]]_3$: Corrección de un error.
• Rendimiento: Simulaciones de Monte Carlo sobre $1.5 \times 10^6$ ensayos utilizando un decodificador de distancia acotada muestran que $Q(5, 2)$ logra una mejora de $\sim 70\times$ en la tasa de fallo por qudit lógico sobre el código Steane $[[7, 1, 3]]_2$ a una tasa de depolarización de $10^{-3}$.
• Propiedad "Borrar-No-Equivocarse": Para $Q(5, 2)$, no se observaron errores lógicos silenciosos; todos los fallos del decodificador fueron declarados como no corregibles. Esto se atribuye a la distancia del código y al comportamiento del decodificador de distancia acotada.
• Comparación: Los códigos propuestos superan a las construcciones previas de conjuntos de diferencia de Singer (ej. Gandhi [5]) y a los códigos QLDPC de geometría proyectiva (ej. Tang-Bai-Feng [6]) al combinar una estructura no-CSS, soporte de qudits y teoremas estructurales explícitos.

Significado y Reivindicaciones

El artículo afirma ser el primero en combinar un conjunto de diferencia de Singer con una matriz de Gram de cuádrica no degenerada en una construcción de estabilizador cuántico. Su importancia radica en:

1. Unificación: Unir las primitivas algebraicas de los códigos de propagación LDS-NOMA clásicos (específicamente la construcción de 2021) con códigos estabilizadores cuánticos mediante una equivalencia de Clifford rigurosa.
2. Interpretabilidad: Proporcionar un conjunto de cinco teoremas estructurales probados que explican por qué funciona la construcción, yendo más allá de la selección empírica de parámetros.
3. Rendimiento: Demostrar que los códigos de qudits estructurados pueden lograr altas capacidades de corrección de errores (corrección de doble error) con longitudes de bloque moderadas y tasas cercanas a $1/2$, superando significativamente a los códigos de qubits binarios estándar en el régimen de qudits.
4. Claridad Metodológica: Identificar explícitamente las limitaciones de elevar los defectos combinatorios de redes enteras (descomposición de Waterloo) al dominio cuántico mediante asistencia por entrelazamiento, aclarando así los límites de los marcos actuales de EAQECC.

Los autores mantienen la modestia respecto a la conjetura de distancia general de $p$ ($d_{min} = p+1$), señalando que sigue abierta para $p > 7$, y reconocen que la evaluación numérica actual utiliza un decodificador de distancia acotada estándar, dejando la decodificación cíclica tipo Berlekamp-Massey como una dirección futura natural.