Hermitian hull-variation of vector rank-metric codes and self-orthogonal generalized Gabidulin codes

Resumen Técnico: Variación de la Cubierta Hermitiana de Códigos de Rango-Métrica Vectorial y Códigos Generalizados de Gabidulin Auto-ortogonales

Planteamiento del Problema
Este artículo investiga el "problema de la variación de la cubierta" para códigos de rango-métrica vectorial equipados con el producto interno hermitiano. La cubierta de un código lineal $C$, definida como $H(C) = C \cap C^\perp$, es un subcódigo fundamental cuya dimensión dicta la viabilidad de ciertas construcciones, como los códigos de corrección de errores cuánticos asistidos por entrelazamiento (EAQECC). Si bien el problema de la variación de la cubierta para códigos euclidianos y hermitianos en la métrica de Hamming ha sido resuelto en gran medida (mostrando que los códigos a menudo pueden transformarse en códigos equivalentes con cualquier dimensión de cubierta prescrita hasta el original), el problema análogo para códigos de rango-métrica vectorial permaneció abierto. Específicamente, el artículo aborda si todo código de rango-métrica vectorial es equivalente a un código LCD hermitiano (Dual Lineal Complementario), es decir, un código con cubierta trivial, y si los códigos de Máxima Distancia de Rango (MRD) pueden construirse con cualquier dimensión de cubierta hermitiana prescrita.

Metodología y Contribuciones Clave

1. Teorema de Variación de la Cubierta Hermitiana:
   Los autores establecen que para códigos de rango-métrica vectorial sobre $\mathbb{F}_{q^{2m}}$, la dimensión de la cubierta hermitiana puede reducirse en uno dentro de la clase de equivalencia del código, siempre que se cumplan condiciones específicas.

   • Caso General ($n \ge 3$ o $q \ge 4$): La prueba utiliza un enfoque constructivo que involucra matrices generadoras. Al identificar un vector no nulo en la cubierta y aplicar una transformación de equivalencia específica $M \in GL_n(\mathbb{F}_q)$, los autores muestran que el rango de la matriz $GG^\dagger$ aumenta en uno, reduciendo así la dimensión de la cubierta en uno. Esto depende del Lema 3.1, que demuestra cómo la adición de un término de rango uno $\lambda aa^\dagger$ a una matriz hermitiana reduce su nulidad bajo condiciones específicas.
   • Parámetros Pequeños ($n=2$): El caso $n=2$ se trata por separado. Para $q \ge 4$, se aplica la construcción general. Para $q=3$, se utiliza un argumento específico mediante polinomios cuadráticos sobre $\mathbb{F}_3$ para encontrar una transformación que elimine la cubierta.
   • Obstrucción: El artículo identifica un único caso excepcional donde la variación de la cubierta es imposible: $(q, n) = (2, 2)$. En esta instancia específica, los autores proporcionan un contraejemplo que muestra que un código con una cubierta no trivial no puede transformarse en un código LCD hermitiano equivalente.

2. Base Auto-dual de Trazas Escalada:
   Para abordar la existencia de códigos MRD con dimensiones de cubierta prescritas, los autores introducen el concepto de una base auto-dual de trazas escalada.

   • Trabajos anteriores establecieron que las bases auto-duales de trazas ordinarias para $\mathbb{F}_{q^{2m}}/\mathbb{F}_q$ existen solo cuando $q$ es par. Esto dejó abierto el caso de $q$ impar para la construcción de códigos de Gabidulin auto-ortogonales hermitianos.
   • Los autores definen un par $(\alpha, \lambda)$ donde $\alpha$ es una base y $\lambda \in \mathbb{F}_{q^{2m}}^*$ tal que $\text{Tr}(\lambda \alpha_i \alpha_j) = \delta_{ij}$.
   • Demuestran que tal base existe para cada potencia de primo $q$ e entero $m$. La prueba implica seleccionar $\lambda$ de modo que su norma sea igual al inverso del determinante de la matriz de Gram de la forma de traza, transformando así la forma bilineal en una forma ortonormal estándar.

3. Construcción de Códigos MRD Auto-ortogonales:
   Utilizando la base auto-dual de trazas escalada, los autores construyen códigos generalizados de Gabidulin que son auto-ortogonales hermitianos.

   • Demuestran que para cualquier $1 \le k \le m$, el código generalizado de Gabidulin $G_{k,s}(\alpha)$ generado por una base auto-dual de trazas escalada es auto-ortogonal hermitiano.
   • Esta construcción resuelve el caso abierto para $q$ impar, permitiendo la creación de códigos MRD auto-duales hermitianos (donde $k=m$) para todas las potencias de primos.

Resultados Principales

• Clasificación de la Variación de la Cubierta: Para cada par $(q, n) \neq (2, 2)$, todo código de rango-métrica vectorial con dimensión de cubierta hermitiana $h$ es equivalente a un código con dimensión de cubierta $\ell$ para cualquier $0 \le \ell \le h$. En consecuencia, todo código tal es equivalente a un código LCD hermitiano.
• Existencia de Códigos MRD con Cubierta Prescrita: Para cada $(q, m) \neq (2, 1)$, cada dimensión $1 \le k \le m$ y cada dimensión de cubierta objetivo $0 \le \ell \le k$, existe un código MRD en $\mathbb{F}_{q^{2m}}^{2m}$ con parámetros $[2m, k, 2m-k+1]_{q^{2m}/q}$ y dimensión de cubierta hermitiana $\ell$.
• Comparación Euclidiana: El artículo extiende los resultados de variación de la cubierta al producto interno euclidiano para códigos de rango-métrica vectorial, completando casos dejados abiertos en la literatura anterior. Sin embargo, señala una divergencia significativa: a diferencia del entorno hermitiano, los códigos MRD auto-ortogonales euclidianos no existen en característica par.

Significado
El artículo proporciona una solución integral al problema de la variación de la cubierta para códigos de rango-métrica vectorial bajo el producto interno hermitiano, identificando la obstrucción única en $(2, 2)$. Al introducir la base auto-dual de trazas escalada, los autores eliminan la restricción de paridad sobre $q$ que anteriormente obstaculizaba la construcción de códigos de Gabidulin auto-ortogonales hermitianos. Esto unifica la teoría, asegurando que los códigos MRD con cualquier dimensión de cubierta hermitiana admisible puedan construirse para todas las potencias de primos. Estos resultados están motivados directamente por y son aplicables a la construcción de EAQECC, donde la dimensión de la cubierta determina el número de pares entrelazados precompartidos requeridos.