Weight distributions of two classes of linear codes with few weights derived from Weil sums

Resumo Técnico: Distribuições de Peso de Duas Classes de Códigos Lineares Derivados de Somas de Weil

Enunciado do Problema
Códigos lineares com poucos pesos são de grande interesse na teoria de códigos devido às suas aplicações em esquemas de compartilhamento de segredos, códigos de autenticação, esquemas de associação e grafos fortemente regulares. Um desafio primário neste campo é a construção de novas famílias de códigos lineares com distribuições de peso específicas (ou seja, um pequeno número de pesos não nulos distintos) e a determinação de seus parâmetros (comprimento, dimensão e distância mínima). Embora trabalhos anteriores tenham utilizado conjuntos definidores baseados em funções de traço e formas polinomiais específicas para construir tais códigos, permanece a necessidade de explorar novos conjuntos definidores que utilizem avaliações avançadas de somas exponenciais, particularmente somas de Weil binomiais, para gerar códigos com estruturas de peso diversas.

Metodologia
Os autores constroem duas classes distintas de códigos lineares $p$-ários sobre um corpo finito $\mathbb{F}_q$, onde $q = p^e$, $p$ e $\ell$ são primos ímpares distintos, e $e = \phi(\ell^k)$. A construção baseia-se na abordagem do conjunto definidor, onde um código linear $C_D$ é definido como:
$$C_D = \{c(\gamma, \delta) = (\text{Tr}_1^e(\gamma x + \delta y))_{(x,y) \in D} : \gamma, \delta \in \mathbb{F}_q\}$$
O artigo investiga dois conjuntos definidores específicos, $D_u$ e $D'$, que diferem de construções anteriores por incorporarem uma estrutura específica de soma de Weil binomial.

1. Conjunto Definidor $D_u$: Definido como $D_u = \{(x, y) \in \mathbb{F}_q^2 \setminus \{(0,0)\} : \text{Tr}_1^e(x + y^N) = u\}$, onde $N = \frac{q-1}{2\ell^k}$ e $u \in \mathbb{F}_p$.
2. Conjunto Definidor $D'$: Definido como $D' = \{(x, y) \in \mathbb{F}_q^2 \setminus \{(0,0)\} : f(x) + \text{Tr}_1^e(y^N) = 0\}$, onde $f$ é uma função bent fracamente regular de $\mathbb{F}_q$ para $\mathbb{F}_p$ que satisfaz condições de homogeneidade específicas em seu dual.

A metodologia central envolve a avaliação detalhada de somas exponenciais, especificamente a soma de Weil binomial $S_{2\ell^k}(a, b)$ e somas relacionadas sobre corpos ciclotômicos. Os autores utilizam:

• Propriedades de caracteres aditivos e multiplicativos quadráticos canônicos.
• Avaliações de somas de Gauss e de Weil derivadas de trabalhos recentes de Cheng, Gao e Sheng.
• A teoria de funções bent fracamente regulares e seus duais.
• Particionamento de conjuntos de índices com base na ordem dos elementos no grupo multiplicativo para lidar com as condições de traço.

Ao calcular o número de soluções para as equações definidoras para vários pares $(\gamma, \delta)$, os autores derivam os pesos de Hamming dos codificadores e suas frequências correspondentes.

Contribuições Principais e Resultados
O artigo fornece uma caracterização completa dos parâmetros e distribuições de peso para os códigos construídos sob várias condições de $p$, $\ell$, $k$ e $u$.

1. Códigos a partir de $D_u$:

   • Os autores determinam as distribuições de peso para cinco casos distintos baseados no valor de $u$ e na congruência de $\ell$ módulo $p$.
   • Os códigos resultantes exibem dois, quatro ou seis pesos não nulos.
   • Especificamente, quando $u \neq 0$ e certas condições de não resíduo quadrático são atendidas, a construção produz uma família infinita de códigos lineares de dois pesos.
   • Sob condições específicas (onde a razão entre o peso mínimo e o máximo excede $\frac{p-1}{p}$), prova-se que estes códigos são minimais, tornando-os adequados para aplicações de compartilhamento de segredos.

2. Códigos a partir de $D'$:

   • Ao incorporar uma função bent fracamente regular $f$, os autores constroem códigos com estruturas de peso mais complexas.
   • Dependendo da congruência de $p$ módulo 4 e da relação entre $\ell$ e $p$, os códigos mostram possuir seis, oito ou nove pesos não nulos.
   • As distribuições de peso são explicitamente tabeladas para todos os casos, envolvendo termos derivados do sinal da transformada de Walsh de $f$ e avaliações de caráter quadrático.

3. Otimalidade:

   • Um resultado significativo é a identificação de uma família infinita de códigos lineares de dois pesos otimais derivados da construção $D_u$. Estes códigos satisfazem o limite de Griesmer, um limite inferior fundamental sobre o comprimento de um código linear dado sua dimensão e distância mínima.

Significância
O artigo reivindica significância nas seguintes áreas:

• Novidade dos Conjuntos Definidores: Os conjuntos definidores utilizados neste trabalho introduzem uma nova estrutura de soma de Weil binomial ($S_{2\ell^k}(a, b)$) que difere de construções anteriores resumidas na literatura (por exemplo, aquelas que utilizam funções de traço simples ou mapas de potência específicos).
• Diversidade de Distribuições de Peso: O trabalho expande o panorama conhecido de códigos lineares com poucos pesos, fornecendo construções explícitas para códigos com 2, 4, 6, 8 e 9 pesos não nulos.
• Otimalidade e Minimalidade: A construção de uma família infinita de códigos de dois pesos otimais que satisfazem o limite de Griesmer é uma contribuição notável para a busca de códigos de correção de erros eficientes. Além disso, a identificação de códigos minimais sob condições específicas reforça a utilidade destas construções em aplicações criptográficas como o compartilhamento de segredos.
• Rigor Metodológico: O artigo demonstra uma aplicação rigorosa de somas de Weil e teoria de corpos ciclotômicos para resolver o problema da determinação da distribuição de peso, oferecendo um modelo para analisar construções de códigos semelhantes.

Os autores concluem que seu trabalho consegue generalizar métodos anteriores e fornece uma fonte rica de novos códigos lineares com propriedades desejáveis tanto para estudo teórico quanto para aplicação prática.