Some new results on permutation trinomials over finite fields with even characteristic

Resumo Técnico: Novos Resultados sobre Trinômios de Permutação sobre Campos Finitos de Característica Par

Enunciado do Problema
O artigo aborda a construção e classificação de trinômios de permutação sobre campos finitos de característica par, especificamente $\mathbb{F}_{q^2}$ onde $q = 2^m$. O foco são polinômios da forma $f(X) = X^r(X^{\alpha(q-1)} + X^{\beta(q-1)} + 1)$, onde $m, r, \alpha, \beta$ são inteiros positivos e $\alpha > \beta$. Enquanto os monômios são facilmente classificados e os binômios de permutação com coeficientes de identidade não existem em característica par, a classificação de trinômios de permutação permanece uma área desafiadora e aberta. Os autores visam identificar novas classes de tais trinômios, verificar sua novidade em relação à literatura existente e resolver conjecturas específicas sobre sua equivalência.

Metodologia
Os autores empregam uma combinação de critérios algébricos, fatoração computacional e geometria algébrica:

1. Critérios de Permutação: A ferramenta primária é o critério de Wan-Lidl (Lema 2.1) e sua especialização para $\mathbb{F}_{q^2}$ (Lema 2.2). Isso reduz o problema de determinar se $f(X)$ permuta $\mathbb{F}_{q^2}$ à verificação de duas condições: $\gcd(r, q-1)=1$ e a permutação do círculo unitário $\mu_{q+1}$ pelo polinômio associado $g(X) = X^r(h(X))^{q-1}$.
2. Fatoração e Injetividade: Para provar que o polinômio associado $g(X)$ permuta $\mu_{q+1}$, os autores analisam a equação $g(X) = g(Y)$ para $X, Y \in \mu_{q+1}$. Eles transformam isso em uma equação polinomial $f(X, Y) = 0$ e utilizam o SageMath para fatorizar $f(X, Y)$ sobre extensões de campo específicas. Eles demonstram que a única solução no domínio relevante é $X=Y$, provando assim a injetividade.
3. Equivalência Quasi-Multiplicativa (QM): Para estabelecer a novidade das classes construídas, os autores aplicam a definição de equivalência QM (Definição 4.1). Eles utilizam uma estratégia de dois passos: primeiro, verificar se os conjuntos de expoentes de dois polinômios podem ser mapeados um para o outro via um multiplicador $d$ módulo $q^2-1$; segundo, comparar os coeficientes caso o primeiro passo seja atendido.
4. Prova de Não Existência via Geometria Algébrica: Para provar a não existência de uma classe específica de trinômios, os autores utilizam a conexão entre polinômios de permutação e curvas algébricas. Eles constroem um polinômio específico $H(X, Y)$ e provam sua irredutibilidade absoluta (Lema 5.2). Eles então aplicam o limite de Hasse-Weil (versão Aubry-Perret) para mostrar que a curva definida por $H(X, Y)$ possui pontos racionais que violam a propriedade de permutação para $m$ suficientemente grande.
5. Resolução de Conjectura: A prova da conjectura sobre equivalência QM envolve a resolução de sistemas de congruências derivadas de conjuntos de expoentes, utilizando o Teorema Chinês dos Restos (CRT) para determinar a existência de um multiplicador $d$ válido.

Principais Contribuições e Resultados

• Três Novas Classes de Trinômios de Permutação: Os autores constroem e provam a existência de três novas classes de trinômios de permutação sobre $\mathbb{F}_{2^{2m}}$ com os seguintes conjuntos de parâmetros $(\alpha, \beta, r)$:

  1. $(7, 5, 7)$: A permutação ocorre se, e somente se, $m$ for par e $m \not\equiv 0 \pmod 3$.
  2. $(8, 6, 9)$: A permutação ocorre se, e somente se, $m$ for ímpar.
  3. $(10, 4, 11)$: A permutação ocorre se, e somente se, $m \not\equiv 0 \pmod 5$.
     As provas envolvem a fatoração detalhada dos polinômios bivariados associados sobre extensões de $\mathbb{F}_{q^2}$ e a verificação da injetividade no círculo unitário.

• Inequivalência QM: O artigo demonstra que estas três novas classes são Quasi-Multiplicativamente (QM) inequivalentes entre si e a todas as classes de trinômios de permutação conhecidas anteriormente listadas na literatura (especificamente as referenciadas na Tabela 1 do artigo). Isso confirma que as classes construídas representam objetos matemáticos genuinamente novos, e não transformações de objetos existentes.

• Resultado de Não Existência: Os autores provam que o trinômio $X^9(X^{7(q-1)} + X^{3(q-1)} + 1)$ não permuta $\mathbb{F}_{2^{2m}}$ para $m > 3$. Isso é alcançado mostrando que a curva algébrica associada é absolutamente irredutível e aplicando o limite de Hasse-Weil para garantir a existência de pontos racionais não-permutadores para $m \ge 18$, com casos menores verificados computacionalmente.

• Resolução de uma Conjectura: O artigo fornece uma prova elementar para uma conjectura proposta por Yadav, Gupta, Singh e Yadav (2024). A conjectura afirma que se $F(X) = X^r(X^{\alpha(q-1)} + X^{\beta(q-1)} + 1)$ e $G(X) = X^{2\alpha-r}(X^{\alpha(q-1)} + X^{(\alpha-\beta)(q-1)} + 1)$ ambos permutam $\mathbb{F}_{q^2}$, então eles são QM equivalentes. Os autores calculam explicitamente o expoente $d$ que estabelece essa equivalência, oferecendo uma prova distinta do trabalho anterior de Yadav, Singh e Gupta (2024).

Significância
O artigo afirma significância ao estender o panorama conhecido de trinômios de permutação sobre campos finitos de característica par. Ao identificar três novos conjuntos de parâmetros, os autores expandem o catálogo de construções explícitas disponíveis para aplicações em criptografia, teoria de códigos e design combinatório. Além disso, a verificação rigorosa da inequivalência QM garante que estas novas classes não são meras representações redundantes de polinômios conhecidos. A prova de não existência para o caso $(9, 7, 3)$ estreita o espaço de busca para potenciais trinômios de permutação, enquanto a resolução da conjectura esclarece as relações estruturais entre famílias específicas desses polinômios. O trabalho baseia-se em técnicas algébicas estabelecidas, mas as aplica para resolver questões e conjecturas específicas na área.