The equivalent condition for GRL codes to be MDS, AMDS or self-dual

Resumen Técnico: Condiciones Equivalentes para que los Códigos GRL sean No-GRS MDS, AMDS o Autoduales

Planteamiento del Problema
Los códigos Máximamente Distantes (MDS) y Casi Máximamente Distantes (AMDS), junto con los códigos autoduales, poseen propiedades algebraicas significativas y son ampliamente aplicados en sistemas de comunicación, almacenamiento de datos, codificación cuántica y criptografía. Mientras que los códigos Reed-Solomon (RS) son una clase bien conocida de códigos MDS, la construcción de códigos que no sean equivalentes a los códigos RS (no-RS) sigue siendo un área crítica de investigación para expandir la diversidad de las familias de códigos disponibles. Trabajos previos por Roth y Lempel [20], y posteriormente por Wu et al. [21] y [22], construyeron clases específicas de códigos MDS no-RS mediante la aumentación de la matriz generadora de códigos RS con dos o tres columnas adicionales. Este artículo aborda la necesidad de generalizar estas construcciones aún más y establecer condiciones algebraicas precisas bajo las cuales estos códigos generalizados (y sus duales) exhiben propiedades MDS, AMDS o autoduales sin ser equivalentes a RS.

Metodología
Los autores introducen una clase de códigos Roth-Lempel Generalizados (GRL), denotados como $GRL_k(\alpha, v, A_{l \times l})$, definidos sobre un cuerpo finito $F_q$. Esta construcción generaliza los modelos previos reemplazando las matrices de aumentación específicas utilizadas en [21] y [22] por una matriz invertible arbitraria $A_{l \times l} \in GL_l(F_q)$. Específicamente, el artículo se centra en el caso donde $l=3$, denotado como $GRL_k(\alpha, v, A_{3 \times 3})$.

La metodología emplea los siguientes enfoques técnicos:

1. Análisis de la Matriz Generadora: Los autores definen la matriz generadora $G_4$ para el código $GRL_k(\alpha, v, A_{3 \times 3})$, la cual consiste en una estructura tipo Vandermonde estándar aumentada por tres columnas derivadas de la matriz $A_{3 \times 3}$.
2. Verificación de No-RS: Para probar que los códigos son no-RS, los autores utilizan el Lema 5 (una caracterización de los códigos RS vía las entradas de la matriz generadora) y demuestran que la estructura específica de las columnas aumentadas impide que el código satisfaga las condiciones necesarias para la equivalencia RS cuando $k > 3$.
3. Condiciones MDS y AMDS: Utilizando el Lema 6 (que establece que un código $[n, k]$ es MDS si y solo si cualquier conjunto de $k$ columnas de su matriz generadora es linealmente independiente), los autores analizan los determinantes de todas las submatrices de tamaño $k \times k$ formadas por la matriz generadora. Esto implica un extenso análisis de casos respecto a la inclusión de las columnas aumentadas ($u_1, u_2, u_3$) en las submatrices.
4. Construcción de la Matriz de Paridad: Para el análisis de autodualidad, los autores derivan una matriz de paridad explícita $H_5$ para el código GRL. Utilizan el Lema 4 (propiedades de las sumas de potencias de elementos de un cuerpo ponderadas por diferencias inversas) para verificar la condición de ortogonalidad $G H^T = 0$.
5. Criterios de Autodualidad: La condición de autodualidad ($C = C^\perp$) se establece requiriendo que la matriz generadora y la matriz de paridad abarquen el mismo espacio, lo que conduce a restricciones específicas sobre el vector $v$ y la matriz $A_{3 \times 3}$.

Contribuciones Clave y Resultados

1. Propiedad No-RS: El Teorema 7 establece que para $k > 3$, el código $GRL_k(\alpha, v, A_{3 \times 3})$ es estrictamente no-GRS (Generalized Reed-Solomon), independientemente de la elección de parámetros, siempre que $A_{3 \times 3} \in GL_3(F_q)$.

2. Condiciones Equivalentes para MDS No-RS: El Teorema 8 proporciona condiciones necesarias y suficientes para que $GRL_k(\alpha, v, A_{3 \times 3})$ sea MDS. Estas condiciones se expresan como desigualdades que involucran sumas de productos de los puntos de evaluación $\alpha_i$ y las entradas de $A_{3 \times 3}$. Específicamente, para cualquier subconjunto de tamaño $k-1$ o $k-2$, ciertas expresiones polinómicas que involucran las entradas de la matriz no deben anularse.

   • El Corolario 10 y el Ejemplo 11 ilustran estas condiciones con una forma de matriz específica y un ejemplo concreto sobre $F_{11}$, produciendo un código $[8, 4, 5]$.

3. Condiciones Equivalentes para Duales AMDS: El Teorema 12 determina las condiciones bajo las cuales el código dual $GRL_k^\perp(\alpha, v, A_{3 \times 3})$ es AMDS. Esto requiere que cualquier conjunto de $k-1$ columnas de la matriz generadora sea linealmente independiente, mientras que al menos un conjunto de $k$ columnas sea dependiente. El teorema enumera seis casos específicos que involucran las entradas de $A_{3 \times 3}$ y las sumas de $\alpha_i$.

   • El Corolario 13 y el Ejemplo 14 proporcionan una instanciación específica sobre $F_7$, resultando en un código $[8, 4, 4]$.

4. Matriz de Paridad y Autodualidad: El Teorema 16 construye la matriz de paridad $H_5$ para el código GRL. Basándose en esto, el Teorema 17 proporciona la condición equivalente para que el código sea autodual no-RS. Las condiciones requieren:

   • $n + 3 = 2k$ (restricción de dimensión).
   • El vector $v$ debe ser proporcional al vector de diferencias inversas $u$ (es decir, $v_i = \lambda u_i$).
   • La matriz $A_{3 \times 3}$ debe satisfacer una relación cuadrática específica que involucra las sumas de $\alpha_i$ y $\alpha_i^2$.
   • Los Ejemplos 18 y 19 demuestran la construcción de tales códigos autoduales sobre $F_{13}$ y $F_{19}$, respectivamente. Notablemente, el Ejemplo 19 destaca que los códigos GRL autoduales pueden construirse para $q \equiv 3 \pmod 4$, un caso donde las construcciones autoduales previas en [22] estaban limitadas.

Significancia
El artículo afirma generalizar los resultados encontrados en [21] y [22] al reemplazar las matrices de aumentación específicas por una matriz invertible general $A_{3 \times 3}$. La significancia principal radica en proporcionar un marco unificado para determinar cuándo estos códigos generalizados poseen propiedades de distancia óptimas (MDS/AMDS) o autodualidad. Los autores señalan explícitamente que sus resultados recuperan los teoremas de [21] como casos especiales. Además, la construcción de códigos autoduales para $q \equiv 3 \pmod 4$ (Ejemplo 19) extiende la aplicabilidad de tales códigos más allá de las restricciones de la literatura previa. El artículo concluye que estas condiciones equivalentes permiten la construcción sistemática de códigos no-RS con propiedades deseables para aplicaciones en comunicaciones y criptografía.