Extended and Entanglement-assisted Quantum Quasi-twisted Codes

Resumen Técnico: Códigos Cuánticos Cuasi-retorcidos Extendidos y Asistidos por Entrelazamiento

Planteamiento del Problema
La construcción de Códigos de Corrección de Errores Cuánticos (QECC) y Códigos de Corrección de Errores Cuánticos Asistidos por Entrelazamiento (EAQECC) de alto rendimiento sigue siendo un desafío crítico en la teoría de la información cuántica. Una restricción primaria en la construcción de QECC estabilizadores a partir de códigos lineales clásicos es el requisito de que el código clásico sea hermítico auto-ortogonal. Si bien los códigos Cuasi-Cíclicos (QC) se han utilizado extensamente para cumplir con este requisito, estos representan un subconjunto específico de la clase más amplia de códigos Cuasi-retorcidos (QT). Además, los métodos existentes a menudo tienen dificultades para optimizar los parámetros del código o maximizar la utilización del entrelazamiento sin restricciones estrictas de auto-ortogonalidad. Este artículo aborda la necesidad de extender el alcance de la construcción de códigos más allá de los códigos QC de índice 2 hacia los códigos QT de índice 3, y de desarrollar técnicas que preserven la auto-ortogonalidad bajo extensión mientras permiten EAQECCs de entrelazamiento máximo.

Metodología
Los autores proponen una doble generalización de la investigación previa centrándose en códigos $\lambda$-cuasi-retorcidos (QT) de un generador de índice 3 sobre el cuerpo finito $\mathbb{F}_{q^2}$. La metodología procede en tres etapas principales:

1. Marco Algebraico: El estudio define una familia de códigos $\lambda$-QT de 1 generador de longitud $3m$ e índice 3. La matriz generadora se estructura como $G = (g(x), g(x)f(x), g(x)u(x))$, donde $g(x)$ divide a $x^m - \lambda$. Los autores establecen condiciones para la auto-ortogonalidad hermítica, requiriendo específicamente que $\lambda^{q+1} = 1$ y la condición de divisibilidad $g^{\perp q}(x) \mid g(x)$.
2. Extensión de Códigos: El artículo introduce una técnica de construcción extendida. Al anexar filas específicas a la matriz generadora basadas en los vectores de los duales hermíticos de los códigos componentes, los autores crean un código extendido $C'$. Demuestran que si se cumplen ciertas condiciones respecto al peso de Hamming (o la característica $p$) de estos vectores anexados, el código extendido $C'$ retiene la auto-ortogonalidad hermítica. Esto permite la derivación de QECC estabilizadores con parámetros mejorados (longitud y dimensión incrementadas).
3. Construcción Asistida por Entrelazamiento: Para los casos donde la auto-ortogonalidad no es estrictamente requerida o para maximizar el entrelazamiento, los autores analizan el rango de la matriz $HH^\dagger$ (donde $H$ es la matriz de control de paridad). Derivan condiciones algebraicas que involucran el espectro de productos de matrices específicos para asegurar que $HH^\dagger$ tenga rango completo. Esta condición garantiza la construcción de EAQECCs de entrelazamiento máximo, donde el número de ebits entrelazados requeridos ($c$) es igual a $n-k$.

Contribuciones Clave

• Generalización de la Clase de Códigos: El trabajo extiende la investigación previa sobre códigos QC de índice 2 a códigos QT de índice 3, una clase más amplia que engloba naturalmente los casos de índice 2 cuando un componente es cero.
• Extensión Auto-ortogonal: Se presenta un nuevo método de extensión que preserva la auto-ortogonalidad hermítica de los códigos QT de índice 3 de 1 generador. Esto permite la construcción sistemática de QECC estabilizadores con parámetros $[[3m+3, m+2\deg(g(x))-3, d]]_q$.
• EAQECCs de Entrelazamiento Máximo: El artículo proporciona criterios algebraicos específicos para construir EAQECCs de entrelazamiento máximo a partir de esta familia de códigos QT. Demuestra que estos códigos pueden alcanzar los parámetros $[[3m, m-\deg(g(x)), d; 2m+\deg(g(x))]]_q$ y $[[3m, 2m+\deg(g(x)), d^\perp_H; m-\deg(g(x))]]_q$.
• Verificación Computacional: Utilizando el software algebraico Magma, los autores computaron instancias específicas de estos códigos cuaternarios sobre $\mathbb{F}_4$ para generar códigos cuánticos binarios.

Resultados
Los autores presentan resultados numéricos derivados de códigos QT cuaternarios extendidos con índice 3.

• Códigos Estabilizadores: Se construyeron varios QECC estabilizadores binarios con parámetros mejorados. Ejemplos notables incluyen:
  • $[[18, 7, 4]]_2$ derivado de un código $[15, 4, 8]_4$.
  • $[[66, 31, 9]]_2$ derivado de un $[63, 16, 22]_4$ código.
  • $[[81, 42, 8]]_2$ derivado de un $[78, 18, 32]_4$ código.
    Estos resultados se compararon con tablas existentes de mejores códigos lineales conocidos (por ejemplo, [25]), mostrando que los códigos construidos alcanzan parámetros óptimos o casi óptimos para sus respectivas longitudes y dimensiones.
• EAQECCs: Se construyó un ejemplo específico de un EAQECC de entrelazamiento máximo con parámetros $[[15, 2, 6; 13]]_2$, utilizando 13 ebits entrelazados.

Significancia y Reivindicaciones
El artículo afirma que su principal significancia radica en la adaptación exitosa de las técnicas de extensión de códigos a la clase más amplia de códigos QT de índice 3. Al hacerlo, supera las limitaciones encontradas en trabajos previos restringidos a códigos QC de índice 2. Los autores aseveran que este enfoque produce "códigos cuánticos óptimos" y "buenos EAQECCs de entrelazamiento máximo". El trabajo demuestra que el marco QT es una base robusta para generar códigos cuánticos con parámetros mejorados, ofreciendo una vía práctica para mejorar la fiabilidad de la comunicación cuántica a través de mecanismos tanto de estabilizadores como asistidos por entrelazamiento. El estudio concluye que estas construcciones proporcionan una doble generalización que expande efectivamente la biblioteca de códigos cuánticos disponibles con características de rendimiento superiores.