List-Decodable Folded Quantum Hermitian Codes

Resumen Técnico: Códigos Cuánticos Hermitianos Plegados List-Decodables

Enunciado del Problema
Los códigos de corrección de errores cuánticos derivados de códigos de geometría algebraica (AG) han sido durante mucho tiempo objeto de estudio, siendo las curvas hermitianas protagonistas debido a sus ricos grupos de automorfismos y sus parámetros asintóticos favorables. Si bien la decodificación por listas clásica ha avanzado significativamente —culminando en códigos Reed-Solomon plegados que se aproximan al límite de Singleton—, trasladar estas técnicas al entorno cuántico presenta desafíos. Específicamente, los códigos cuánticos Reed-Solomon plegados, construidos recientemente por Bergamaschi, Golowich y Gunn, alcanzan el límite cuántico de Singleton pero sufren de tamaños de alfabeto grandes. Para mitigar esto, dichas obras emplearon la "amplificación de distancia cuántica", una técnica que incrementa la complejidad. El problema central abordado en este artículo es si es posible construir códigos cuánticos plegados a partir de curvas de género positivo (específicamente curvas hermitianas) para lograr un rendimiento de decodificación por listas comparable y aproximarse al límite cuántico de Singleton mientras se utilizan tamaños de alfabeto más pequeños, haciendo potencialmente innecesaria la amplificación de distancia.

Metodología
Los autores emplean el marco Calderbank-Shor-Steane (CSS) para construir códigos cuánticos a partir de códigos AG clásicos plegados. La metodología procede a través de los siguientes pasos:

1. Plegado Clásico: Los autores utilizan el grupo de automorfismos de la curva hermitiana $H$ sobre $\mathbb{F}_{q^2}$. A diferencia de los códigos Reed-Solomon, que dependen de una única órbita cíclica, los códigos hermitianos utilizan automorfismos $\sigma_{\delta, \mu}$ que particionan los puntos racionales afines en múltiples órbitas estructuradas. Las evaluaciones consecutivas a lo largo de estas órbitas se agrupan en símbolos individuales sobre un campo de extensión $\mathbb{F}_{q^m}$, creando códigos hermitianos de un punto plegados $C^{(\sigma, m)}$.
2. Construcción CSS: Se seleccionan dos códigos hermitianos clásicos plegados, $C_1^{(\sigma, m)}$ y $C_2^{(\sigma, m)}$, tales que el dual del segundo está contenido en el primero ($(C_2^{(\sigma, m)})^\perp \subseteq C_1^{(\sigma, m)}$). Los autores formalizan la condición bajo la cual el plegado conmuta con la construcción CSS, asegurando que el código cuántico resultante esté bien definido.
3. Extensión Asistida por Entrelazamiento: El artículo también presenta una construcción para códigos cuánticos AG plegados asistidos por entrelazamiento. Este enfoque relaja el requisito estricto de inclusión ($C_2^\perp \subseteq C_1$) mediante el uso de entrelazamiento precompartido (ebits), permitiendo que cualquier par de códigos hermitianos plegados defina un código cuántico.
4. Análisis de Decodificación: La capacidad de decodificación por listas de los códigos cuánticos resultantes se analiza aprovechando la capacidad de decodificación por listas de los códigos hermitianos clásicos plegados subyacentes. Los autores aplican un lema de un trabajo anterior (Bergamaschi et al.) que establece que si los códigos clásicos constituyentes son $(\tau, L)$-list-decodables, el código CSS resultante es $(\tau, L^2)$-cuántico list-decodable.

Contribuciones y Resultados Clave

• Construcción de Códigos Cuánticos Hermitianos Plegados (FQHC): El artículo proporciona construcciones explícitas de códigos cuánticos hermitianos plegados utilizando el marco CSS. Estos códigos se derivan de códigos hermitianos de un punto plegados mediante automorfismos específicos de la curva hermitiana.
• Decodificación por Listas hasta el Límite Cuántico de Singleton: Los autores demuestran que los FQHC son $(\tau, L)$-list-decodables con un radio de decodificación $\tau = \frac{1 - R_{FQHC}}{2} - \epsilon$, donde $R_{FQHC}$ es la tasa del código cuántico. Este radio se aproxima al límite cuántico de Singleton ($1 - R$), igualando el rendimiento de los códigos cuánticos Reed-Solomon plegados.
• Eficiencia del Tamaño del Alfabeto: Un resultado principal es la demostración de que los FQHC logran este rendimiento con un tamaño de alfabeto de $(1/\epsilon)^{O(1/\epsilon^2)}$. En contraste, los códigos cuánticos Reed-Solomon plegados que alcanzan límites similares requieren amplificación de distancia cuántica, resultando en un tamaño de alfabeto de $2^{O(1/\epsilon^5)}$. Los autores muestran que para cualquier $\epsilon$, el tamaño del alfabeto del FQHC es estrictamente menor, eliminando la necesidad de amplificación de distancia.
• Algoritmo de Decodificación Determinista: El artículo establece la existencia de un algoritmo de decodificación por listas cuántica determinista. El procedimiento implica medir estabilizadores para obtener síndromes clásicos, ejecutar decodificadores por listas clásicos en los códigos hermitianos plegados constituyentes para generar listas de errores candidatos, y emparejar estas listas para formar una lista de tamaño polinómico de errores de Pauli candidatos. El tiempo de ejecución total es $N^{O(1/\epsilon^2)}$.
• Construcción Asistida por Entrelazamiento: El artículo extiende el marco a códigos asistidos por entrelazamiento, permitiendo la construcción de códigos cuánticos a partir de cualquier par de códigos hermitianos plegados sin requerir la condición de contención del dual, a costa de consumir entrelazamiento.

Significado
El artículo afirma que su construcción de códigos cuánticos hermitianos plegados ofrece una alternativa más eficiente a los códigos cuánticos Reed-Solomon plegados. Al aprovechar la estructura geométrica de las curvas de género positivo, los autores logran la decodificación por listas hasta el límite cuántico de Singleton mientras mantienen un tamaño de alfabeto significativamente menor. Crucialmente, el trabajo demuestra que la técnica "costosa" de la amplificación de distancia cuántica no es necesaria para alcanzar radios de decodificación cercanos al óptimo al utilizar curvas hermitianas. Esto sugiere que las curvas de género positivo proporcionan una compensación superior entre tasa, radio de corrección de errores y tamaño de alfabeto para los códigos cuánticos plegados. El artículo concluye señalando que construir códigos cuánticos AG plegados explícitos a partir de otras curvas de género positivo y explorar construcciones más allá de los marcos CSS y asistidos por entrelazamiento siguen siendo problemas abiertos.