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

Resumo Técnico: Condições Equivalentes para Códigos GRL serem Não-GRS MDS, AMDS ou Autoduais

Definição do Problema
Códigos Máximos de Distância Separável (MDS) e Quase Máximos de Distância Separável (AMDS), juntamente com códigos autoduais, possuem propriedades algébricas significativas e são amplamente aplicados em sistemas de comunicação, armazenamento de dados, codificação quântica e criptografia. Embora os códigos de Reed-Solomon (RS) sejam uma classe bem conhecida de códigos MDS, construir códigos que não sejam equivalentes a códigos RS (não-RS) continua sendo uma área crítica de pesquisa para expandir a diversidade das famílias de códigos disponíveis. Trabalhos anteriores por Roth e Lempel [20], e subsequentemente por Wu et al. [21] e [22], construíram classes específicas de códigos MDS não-RS ao aumentar a matriz geradora de códigos RS com duas ou três colunas adicionais. Este artigo aborda a necessidade de generalizar essas construções ainda mais e estabelecer condições algébricas precisas sob as quais esses códigos generalizados (e seus duais) exibem propriedades MDS, AMDS ou autoduais sem serem equivalentes a códigos RS.

Metodologia
Os autores introduzem uma classe de códigos Roth-Lempel Generalizados (GRL), denotada como $GRL_k(\alpha, v, A_{l \times l})$, definida sobre um corpo finito $F_q$. Esta construção generaliza modelos anteriores ao substituir as matrizes de aumento específicas usadas em [21] e [22] por uma matriz arbitrária inversível $A_{l \times l} \in GL_l(F_q)$. Especificamente, o artigo foca no caso onde $l=3$, denotado como $GRL_k(\alpha, v, A_{3 \times 3})$.

A metodologia emprega as seguintes abordagens técnicas:

1. Análise da Matriz Geradora: Os autores definem a matriz geradora $G_4$ para o código $GRL_k(\alpha, v, A_{3 \times 3})$, que consiste em uma estrutura do tipo Vandermonde padrão aumentada por três colunas derivadas da matriz $A_{3 \times 3}$.
2. Verificação de Não-RS: Para provar que os códigos são não-RS, os autores utilizam o Lema 5 (uma caracterização de códigos RS via entradas da matriz geradora) e demonstram que a estrutura específica das colunas aumentadas impede que o código satisfaça as condições necessárias para equivalência RS quando $k > 3$.
3. Condições de MDS e AMDS: Usando o Lema 6 (que estabelece que um código $[n, k]$ é MDS se, e somente se, quaisquer $k$ colunas de sua matriz geradora forem linearmente independentes), os autores analisam os determinantes de todas as submatrizes $k \times k$ possíveis formadas pela matriz geradora. Isso envolve uma extensa análise de casos em relação à inclusão das colunas aumentadas ($u_1, u_2, u_3$) nas submatrizes.
4. Construção da Matriz de Verificação de Paridade: Para a análise de autodualidade, os autores derivam uma matriz de verificação de paridade explícita $H_5$ para o código GRL. Eles utilizam o Lema 4 (propriedades de somas de potências de elementos de corpo ponderadas por diferenças inversas) para verificar a condição de ortogonalidade $G H^T = 0$.
5. Critérios de Autodualidade: A condição para autodualidade ($C = C^\perp$) é estabelecida exigindo que a matriz geradora e a matriz de verificação de paridade gerem o mesmo espaço, levando a restrições específicas no vetor $v$ e na matriz $A_{3 \times 3}$.

Contribuições Principais e Resultados

1. Propriedade Não-RS: O Teorema 7 estabelece que, para $k > 3$, o código $GRL_k(\alpha, v, A_{3 \times 3})$ é estritamente não-GRS (Reed-Solomon Generalizado), independentemente da escolha dos parâmetros, desde que $A_{3 \times 3} \in GL_3(F_q)$.

2. Condições Equivalentes para MDS Não-RS: O Teorema 8 fornece condições necessárias e suficientes para que o $GRL_k(\alpha, v, A_{3 \times 3})$ seja MDS. Estas condições são expressas como desigualdades envolvendo somas de produtos dos pontos de avaliação $\alpha_i$ e as entradas de $A_{3 \times 3}$. Especificamente, para qualquer subconjunto de tamanho $k-1$ ou $k-2$, certas expressões polinomiais envolvendo as entradas da matriz não devem ser nulas.

   • O Corolário 10 e o Exemplo 11 ilustram estas condições com uma forma de matriz específica e um exemplo concreto sobre $F_{11}$, resultando em um código $[8, 4, 5]$.

3. Condições Equivalentes para Duais AMDS: O Teorema 12 determina as condições sob as quais o código dual $GRL_k^\perp(\alpha, v, A_{3 \times 3})$ é AMDS. Isso requer que quaisquer $k-1$ colunas da matriz geradora sejam linearmente independentes, enquanto pelo menos um conjunto de $k$ colunas é dependente. O teorema lista seis casos específicos envolvendo as entradas de $A_{3 \times 3}$ e somas de $\alpha_i$.

   • O Corolário 13 e o Exemplo 14 fornecem uma instanciação específica sobre $F_7$, resultando em um código $[8, 4, 4]$.

4. Matriz de Verificação de Paridade e Autodualidade: O Teorema 16 constrói a matriz de verificação de paridade $H_5$ para o código GRL. Com base nisso, o Teorema 17 fornece a condição equivalente para o código ser autodual não-RS. As condições exigem:

   • $n + 3 = 2k$ (restrição de dimensão).
   • O vetor $v$ deve ser proporcional ao vetor de diferenças inversas $u$ (ou seja, $v_i = \lambda u_i$).
   • A matriz $A_{3 \times 3}$ deve satisfazer uma relação quadrática específica envolvendo as somas de $\alpha_i$ e $\alpha_i^2$.
   • Os Exemplos 18 e 19 demonstram a construção de tais códigos autoduais sobre $F_{13}$ e $F_{19}$, respectivamente. Notavelmente, o Exemplo 19 destaca que códigos GRL autoduais podem ser construídos para $q \equiv 3 \pmod 4$, um caso onde as construções autoduais anteriores em [22] eram limitadas.

Significância
O artigo afirma generalizar os resultados encontrados em [21] e [22] ao substituir as matrizes de aumento específicas por uma matriz inversível geral $A_{3 \times 3}$. A principal significância reside em fornecer um framework unificado para determinar quando esses códigos generalizados possuem propriedades de distância ótimas (MDS/AMDS) ou autodualidade. Os autores observam explicitamente que seus resultados recuperam os teoremas em [21] como casos especiais. Além disso, a construção de códigos autoduais para $q \equiv 3 \pmod 4$ (Exemplo 19) estende a aplicabilidade de tais códigos além das restrições da literatura anterior. O artigo conclui que estas condições equivalentes permitem a construção sistemática de códigos não-RS com propriedades desejáveis para aplicações em comunicações e criptografia.