Non-special Divisors, LCPs of Codes, and LCD Codes on Kummer Extensions

Resumo Técnico: Divisores Não Especiais, LCPs de Códigos e Códigos LCD em Extensões de Kummer

Enunciado do Problema
Pares Complementares Lineares (LCPs) de códigos e códigos Complementares Lineares Duais (LCD) são críticos na teoria de códigos e na criptografia, particularmente para a proteção contra ataques de canal lateral (SCA) e ataques de injeção de falhas (FIA). A construção de tais códigos em corpos de funções depende fortemente da existência e caracterização de divisores não especiais de graus $g$ e $g-1$, onde $g$ é o gênero do corpo de funções. Embora trabalhos anteriores tenham estabelecido construções para extensões de Kummer específicas (por exemplo, aquelas definidas por $y^m = \prod (x-\alpha_i)$ com lugares totalmente ramificados), permanece uma necessidade de uma caracterização aritmética generalizada de divisores não especiais que possa acomodar graus arbitrários e suporte conter lugares não totalmente ramificados ou não racionais. Além disso, são necessárias construções explícitas desses divisores em curvas complexas, como a curva de Giulietti-Korchmáros (GK), e o desenvolvimento de um framework unificado para gerar LCPs e códigos LCD em extensões de Kummer.

Metodologia
Os autores empregam a teoria de códigos de geometria algébrica (AG), extensões de Kummer e espaços de Riemann-Roch. A metodologia procede em três estágios principais:

1. Caracterização Aritmética: O artigo investiga extensões de Kummer $F = \mathbb{F}_q(x, y)/\mathbb{F}_q(x)$ definidas por $y^m = f(x)$, onde $f(x) \in \mathbb{F}_q(x) \setminus \mathbb{F}_q$. Ao unificar as extensões de lugares sob ações de grupos de Galois e utilizar fórmulas de dimensão derivadas de extensões de corpo constante, os autores derivam uma condição aritmética necessária e suficiente para que um divisor $D = \sum a_i D_i$ seja não especial. Esta condição envolve funções piso e os graus dos lugares, generalizando resultados anteriores que eram restritos a lugares totalmente ramificados.
2. Construção via Divisores Canônicos e Gaps Puros: Os autores utilizam a relação entre um divisor não especial de grau $g-1$ e um divisor canônico $W$ para gerar novos divisores não especiais. Adicionalmente, eles empregam a teoria de gaps puros (elementos no complemento do semigrupo de Weierstrass) para caracterizar divisores não especiais efetivos de grau $g$.
3. Framework para Construção de Códigos: Um framework geral é desenvolvido para construir LCPs de códigos AG $(C_L(D, G), C_L(D, H))$ e códigos LCD. Este framework baseia-se na seleção de divisores $G$ e $H$ de modo que seu máximo divisor comum e mínimo múltiplo comum satisfaçam condições não especiais específicas. Mostra-se que os parâmetros de segurança dos LCPs resultantes são determinados pela distância mínima de um dos códigos constituintes.

Principais Contribuições e Resultados

• Caracterização Generalizada (Teorema 17): O artigo apresenta uma caracterização aritmética generalizada para divisores não especiais em extensões de Kummer. Diferente de trabalhos anteriores, esta caracterização permite divisores de grau arbitrário e suportes que podem incluir lugares não totalmente ramificados e lugares não racionais.
• Construções Explícitas na Curva GK: Utilizando a caracterização derivada, os autores constroem explicitamente um divisor não especial de grau $g-1$ no corpo de funções da curva GK (Proposição 24). Isso aborda uma lacuna onde métodos anteriores falharam em encontrar tais divisores com suporte no conjunto padrão de lugares racionais.
• Famílias de Divisores Não Especiais Efetivos: Para extensões de Kummer definidas por $y^m = \prod (x-\alpha_i)^\lambda$ com multiplicidades idênticas, os autores constroem três famílias distintas de divisores não especiais efetivos de grau $g$ (Proposições 25, 26 e 27). Estas famílias cobrem casos onde $m > r$, $m < r$ e casos gerais de $m, r$, sendo provadas como inequivalentes.
• Framework Geral para LCPs e LCDs: O Teorema 29 e o Corolário 30 fornecem um método sistemático para a construção de LCPs de códigos AG em extensões de Kummer. O framework demonstra que o parâmetro de segurança do LCP é dado pela distância mínima de um dos códigos. Além disso, estabelece condições suficientes para a construção de códigos AG LCD, especificamente utilizando polinômios linearizados (Proposição 37).
• Exemplos Concretos: Os resultados teóricos são ilustrados com exemplos explícitos, incluindo:
  • LCPs de códigos AG na curva GK (Proposição 31).
  • LCPs e códigos LCD em quocientes da curva Hermitiana (Corolário 38, Exemplo 39).
  • Conjuntos de parâmetros específicos para códigos derivados de polinômios linearizados.

Significância e Alegações
O artigo alega estender o estado da arte na construção de códigos AG ao remover a restrição de que divisores não especiais devem ter suporte consistindo apenas em lugares totalmente ramificados. Ao fornecer um critério aritmético unificado, o trabalho permite a identificação de divisores não especiais em contextos mais amplos. A construção explícita de divisores não especiais na curva GK é destacada como um avanço significativo, pois tentativas anteriores usando diferentes técnicas falharam em localizar tais divisores com as propriedades requeridas.

O desenvolvimento de um framework geral para LCPs e LCDs permite a geração sistemática de famílias de códigos com parâmetros de segurança conhecidos. Os autores observam que, embora o Teorema 17 caracterize esses divisores, o problema da existência geral de tais divisores permanece como uma questão aberta. Adicionalmente, o artigo sugere que trabalhos futuros poderiam explorar a variação na escolha do conjunto de índices $I$ e do diferencial de Weil $\omega$ para gerar novas famílias de códigos, mas atualmente, os resultados apresentados focam em construções específicas e verificadas. O trabalho está fundamentado na literatura existente sobre códigos AG, LCPs e códigos LCD, baseando-se nas caracterizações fundamentais fornecidas por pesquisadores anteriores.