Orthomorphism Polynomials of degree $7$ over finite fields

Resumo Técnico: Polinômios de Ortomorfismo de Grau 7 Sobre Campos Finitos

Enunciado do Problema
O artigo aborda a classificação de polinômios de ortomorfismo (OPs) de grau 7 sobre campos finitos $\mathbb{F}_q$. Um polinômio $f \in \mathbb{F}_q[x]$ é definido como um polinômio de ortomorfismo se tanto $f(x)$ quanto $f(x) - x$ são polinômios de permutação (PPs) sobre $\mathbb{F}_q$. Embora trabalhos anteriores por Neiderreiter, Robinson, Shallue e Wanless tenham classificado polinômios de permutação completa (CPPs) e OPs para graus menores que 7 e casos específicos de grau 6, as formas explícitas e a enumeração completa de OPs de grau 7 permaneceram um problema em aberto para várias ordens de campo. Os autores visam determinar a lista completa de OPs de grau 7 não excepcionais e fornecer uma caracterização parcial dos excepcionais.

Metodologia
Os autores empregam uma combinação de resultados de classificação teórica e enumeração computacional:

1. Redução via Transformações Lineares: O estudo baseia-se no trabalho de Xiang Fan [2], que estabelece que qualquer PP de grau 7 sobre $\mathbb{F}_q$ é linearmente relacionado a uma forma normalizada $x^7 + \sum_{i=1}^5 f_i x^i$. Dois polinômios são "linearmente relacionados" se um pode ser transformado no outro via $g(x) = af(bx+c)+d$.
2. Distinção Entre PPs e OPs: Um desafio metodológico crítico observado é que, embora as transformações lineares preservem a propriedade de ser um PP, elas não necessariamente preservam a propriedade de ser um OP. Portanto, os autores não podem simplesmente verificar se um PP normalizado é um OP; eles devem determinar os fatores de escala específicos $\alpha$ e $\beta$ de modo que $\alpha f(\beta x)$ (e seus deslocamentos) satisfaça a condição de OP.
3. Enumeração Sistemática:
   • Os autores utilizam o Lema 2 [2] para identificar todos os PPs não excepcionais de grau 7 para ordens de campo específicas ($q \in \{11, 13, 17, 19, 23, 25, 31\}$).
   • Para cada família de polinômios candidata, eles constroem sistemas de equações derivados da condição de que $h(x) = \alpha f(\beta x) - x$ também deve ser um PP (e, portanto, linearmente relacionado a uma das formas normalizadas conhecidas).
   • Esses sistemas são resolvidos utilizando o sistema de álgebra computacional SageMath para encontrar pares válidos $(\alpha, \beta) \in (\mathbb{F}_q^*)^2$.
   • O Lema 3 [5] é utilizado para gerar o conjunto completo de OPs a partir de bases de polinômios válidos via translações $f(x+\gamma) + \delta$.
   • O Lema 4 garante que pares distintos $(\alpha, \beta)$ resultem em polinômios distintos, permitindo uma contagem exata.

Principais Contribuições e Resultados

• Existência e Classificação para OPs Não Excepcionais:
  O artigo prova que um polinômio de ortomorfismo não excepcional de grau 7 existe sobre $\mathbb{F}_q$ (para $q > 7$) se, e somente se, $q \in \{11, 13, 17, 19, 25\}$.

  • Listas Explícitas: Os autores fornecem formas explícitas desses polinômios para cada $q$ válido, parametrizadas pelos pares $(\alpha, \beta)$.
  • Contagens Exatas:
    • $\mathbb{F}_{11}$: 7.260 OPs (20 excepcionais).
    • $\mathbb{F}_{13}$: 6.422 OPs (4 excepcionais).
    • $\mathbb{F}_{17}$: 4.624 OPs (todos não excepcionais).
    • $\mathbb{F}_{19}$: 4.332 OPs (4 excepcionais).
    • $\mathbb{F}_{25}$: 60.000 OPs (20 excepcionais).
  • Estas contagens para $q=11, 13, 17$ alinham-se perfeitamente com os dados fornecidos por Shallue e Wanless [7].

• Resultados de Não Existência:
  O estudo estabelece a não existência de OPs de grau 7 sobre $\mathbb{F}_{23}$ e $\mathbb{F}_{31}$. Além disso, confirma que não existem OPs para campos onde $q \equiv 6 \pmod 7$ (exceto $q=13$), estendendo resultados anteriores sobre campos de característica 2.

• Polinômios Excepcionais:
  O artigo caracteriza OPs excepcionais (aqueles que são PPs sobre infinitas extensões).

  • Para $\mathbb{F}_{49}$ (e genericamente $\mathbb{F}_{7^t}, t \ge 2$), todos os OPs de grau 7 são excepcionais.
  • Os autores fornecem uma caracterização explícita para $\mathbb{F}_{49}$, observando um total de 3.937.640 tais polinômios.
  • Demonstra-se que para $\mathbb{F}_{27}$, não existem OPs de grau 7.

Significância
O artigo afirma completar a classificação de polinômios de ortomorfismo não excepcionais de grau 7 para todos os campos finitos onde tais polinômios existem. Ao verificar as contagens contra dados existentes para campos menores e estender a análise para $q=19, 25, 49$, os autores preenchem lacunas na literatura sobre OPs de grau 7. O trabalho fornece uma lista definitiva de formas explícitas para esses polinômios, que são relevantes para a teoria de design, particularmente na construção de quadrados latinos. Os autores observam que trabalhos futuros envolveriam o exame de campos $\mathbb{F}_{7^r}$ ($r \ge 3$) e campos com $q > 31$ onde $q \not\equiv 0, 1, 6 \pmod 7$, embora antecipem que apenas polinômios excepcionais serão encontrados nesses casos.