Dimension Rigidity and Projective Geometry of Trace-Product Switchings of the Gold Cube

Resumo Técnico: Rigidez de Dimensão e Geometria Projetiva de Alternâncias de Produto de Traço do Cubo de Gold

Enunciado do Problema
O artigo investiga a modificação da função quase perfeita não linear (APN) de Gold, definida como $F(x) = x^3$ sobre o corpo finito $\mathbb{F}_{2^n}$ (onde $n$ é par), através de um mecanismo de alternância de produto de traço escalar. Especificamente, o estudo analisa funções da forma:
$$F_{n,\theta}(x) = x^3 + \theta Q_n(x)$$
onde $Q_n(x) = \text{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(x) \cdot \text{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(\lambda x)$ é uma forma booleana quadrática normalizada, $\theta \in \mathbb{F}_{2^n}$ é um coeficiente, e $\lambda$ é um elemento primitivo de $\mathbb{F}_4$. O problema central é determinar para quais dimensões pares $n$ e para quais coeficientes não nulos a função resultante $F_{n,\theta}$ retém a propriedade APN. Embora trabalhos anteriores (ex: dissertação de Arshad) tenham fornecido listas brutas de coeficientes admissíveis para pequenas dimensões ($n=6, 8$), faltava uma descrição teórica unificada e uma prova de inexistência para dimensões maiores.

Metodologia
O autor emprega uma combinação de geometria algébrica, estimativas de somas de caracteres e verificação computacional:

1. Estrutura de Derivada de Baixo Posto: O artigo estabelece um "Critério de Ponto Fixo de Baixo Posto" (Teorema 3.1). Isso generaliza os critérios de injetividade de hiperplano existentes para atualizações de posto-$r$ arbitrárias. Reduz a verificação APN de uma atualização $F + U \circ q$ à verificação de se um mapa linear $U$ evita "conjuntos proibidos" pré-computados derivados das imagens de derivada da função base. Isso permite testes de pertinência eficientes ($2^r - 1$ testes) em vez de verificações APN exaustivas.
2. Critério de Produto de Seção: Para a família específica de produto de traço escalar, o autor deriva um critério geométrico (Teorema 4.2). Eles mostram que $F_{n,\theta}$ é APN se, e somente se, $\theta$ não é representável como um "produto de seção" $c^3 + d^3$, onde $c, d$ satisfazem condições de traço relativo específicas ($T(c)=1, T(d)=0$). Isso transforma o problema em contar soluções para a equação $c^3 + d^3 = \theta$ sob restrições de traço.
3. Pontes Analíticas e Finitas:
   • Para pequenas dimensões ($n=4, 6, 8$), o autor utiliza manipulação algébrica direta e certificados de órbita de Frobenius para classificar coeficientes admissíveis.
   • Para $n \ge 10$, o artigo utiliza estimativas de caracteres aditivos na curva cúbica de Fermat projetiva $X^3 + Y^3 = \theta Z^3$. Ao limitar o número de pontos afins usando limites de Weil e análise de condutor de Artin–Schreier, eles provam que o número de soluções $h_n(\theta)$ é estritamente positivo para todo $\theta \neq 0$ quando $n \ge 14$.
   • Para os casos intermediários $n=10$ e $n=12$, computações finitas exatas (convolução XOR de fibras de traço) servem como "pontes" para confirmar a inexistência.
4. Classificação Projetiva (Dimensão 8): Na dimensão 8, o autor estende a análise para combinações de posto-dois de formas de traço projetivas. Eles utilizam a reta projetiva $\mathbb{P}^1(\mathbb{F}_4)$ para parametrizar as extensões, empregando um seletor de traço binário para identificar pares de coeficientes válidos.

Principais Contribuições e Resultados

• Teorema de Rigidez de Dimensão: O artigo prova uma estrita "escada de dimensão" para este mecanismo de alternância:
  • $n=4$: Os coeficientes admissíveis são os elementos não nulos do hiperplano de traço zero ($\text{Tr}(\theta)=0$). Estas funções são equivalentes a Estendida-Afim (EA) à função Gold original.
  • $n=6$: Os coeficientes admissíveis são exatamente os seis elementos de ordem multiplicativa 9 em $\mathbb{F}_{64}$.
  • $n=8$: Os coeficientes admissíveis são os elementos não nulos do subcorpo $\mathbb{F}_4^*$.
  • $n \ge 10$ (par): Nenhum coeficiente não nulo $\theta$ produz uma função APN. O conjunto de coeficientes admissíveis é vazio.
• Caracterização Intrínseca: O artigo fornece as primeiras descrições intrínsecas, independentes de base, para as listas de coeficientes anteriormente encontradas na dissertação de Arshad para $n=6$ e $n=8$, substituindo coordenadas brutas de campo por propriedades algébricas (ordem 9 e pertinência ao subcorpo, respectivamente).
• Extensões de Posto-Dois Projetivas ($n=8$): O autor classifica as extensões de posto-dois normalizadas em dimensão 8. Eles demonstram que o espaço de parâmetros é $\mathbb{P}^1(\mathbb{F}_4)$, onde cada um dos quatro pontos não-base suporta exatamente dois pares de coeficientes aceitos. Estas oito alternâncias marcadas formam exatamente duas classes EA (e, consequentemente, duas classes CCZ), organizadas em dois ciclos de Frobenius.
• Ferramenta Computacional: Um critério de ponto fixo reutilizável e independente de centro é fornecido, reduzindo o teste APN para atualizações de posto-$r$ a $2^r - 1$ testes de incidência contra conjuntos proibidos pré-computados.

Significância e Alegações
O artigo alega que sua principal contribuição é o resultado de inexistência uniforme para dimensões $n \ge 10$ e a descrição geométrica intrínseca dos conjuntos admissíveis em dimensões menores.

• Valor Metodológico: O resultado de "rigidez de dimensão" remove toda uma classe de mecanismos de alternância do espaço de busca para novas funções APN em dimensões pares maiores, otimizando pesquisas criptográficas futuras.
• Insight Estrutural: Os resultados descrevem a "organização local" das classes APN globais conhecidas ao redor do centro Gold. O artigo esclarece que, embora as classes globais resultantes sejam conhecidas, o mecanismo específico de alternância de produto de traço é altamente restrito, funcionando apenas nas dimensões 4, 6 e 8.
• Reprodutibilidade: O trabalho enfatiza a reprodutibilidade rigorosa, fornecendo certificados JSON exatos, scripts Python e checksums SHA-256 para todas as computações finitas (incluindo os certificados de órbita de 12 e 33 linhas e as pontes de $n=10, 12$). O autor afirma explicitamente que os passos assistidos por computador são auxiliares às provas analíticas para $n \ge 14$ e às derivações algébricas para $n < 10$.

O artigo não pretende descobrir novas classes APN globais, mas sim mapear os limites precisos e as propriedades estruturais de como a função Gold pode ser localmente modificada via alternância de produto de traço.