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

Resumen Técnico: Rigidez de la Dimensión y Geometría Proyectiva de los Cambios de Producto de Traza del Cubo de Gold

Planteamiento del Problema
El artículo investiga la modificación de la función casi perfecta no lineal (APN) de Gold, definida como $F(x) = x^3$ sobre el cuerpo finito $\mathbb{F}_{2^n}$ (donde $n$ es par), mediante un mecanismo de cambio de producto de traza escalar. Específicamente, el estudio analiza funciones de la forma:
$$F_{n,\theta}(x) = x^3 + \theta Q_n(x)$$
donde $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)$ es una forma booleana cuadrática normalizada, $\theta \in \mathbb{F}_{2^n}$ es un coeficiente, y $\lambda$ es un elemento primitivo de $\mathbb{F}_4$. El problema central es determinar para qué dimensiones pares $n$ y qué coeficientes no nulos la función resultante $F_{n,\theta}$ conserva la propiedad APN. Mientras que trabajos previos (por ejemplo, la tesis de Arshad) proporcionaron listas brutas de coeficientes admisibles para dimensiones pequeñas ($n=6, 8$), faltaba una descripción teórica unificada y una prueba de no existencia para dimensiones mayores.

Metodología
El autor emplea una combinación de geometría algebraica, estimaciones de sumas de caracteres y verificación computacional:

1. Marco de Derivada de Bajo Rango: El artículo establece un "Criterio de Punto Fijo de Bajo Rango" (Teorema 3.1). Este generaliza los criterios de inyectividad de hiperplanos existentes a actualizaciones de rango-$r$ arbitrarias. Reduce la verificación APN de una actualización $F + U \circ q$ a la comprobación de si un mapa lineal $U$ evita los "conjuntos prohibidos" precomputados derivados de las imágenes de la derivada de la función base. Esto permite realizar pruebas de pertenencia eficientes ($2^r - 1$ pruebas) en lugar de comprobaciones APN exhaustivas.
2. Criterio de Producto de Sección: Para la familia específica de producto de traza escalar, el autor deriva un criterio geométrico (Teorema 4.2). Demuestra que $F_{n,\theta}$ es APN si y solo si $\theta$ no es representable como un "producto de sección" $c^3 + d^3$ donde $c, d$ satisfacen condiciones de traza relativa específicas ($T(c)=1, T(d)=0$). Esto transforma el problema en el conteo de soluciones a la ecuación $c^3 + d^3 = \theta$ bajo restricciones de traza.
3. Puentes Analíticos y Finitos:
   • Para dimensiones pequeñas ($n=4, 6, 8$), el autor utiliza manipulación algebraica directa y certificados de órbitas de Frobenius para clasificar los coeficientes admisibles.
   • Para $n \ge 10$, el artículo utiliza estimaciones de sumas de caracteres aditivos sobre la curva cúbica de Fermat proyectiva $X^3 + Y^3 = \theta Z^3$. Al acotar el número de puntos afines utilizando cotas de Weil y análisis de conductor de Artin–Schreier, demuestran que el número de soluciones $h_n(\theta)$ es estrictamente positivo para todo $\theta \neq 0$ cuando $n \ge 14$.
   • Para los casos intermedios $n=10$ y $n=12$, computaciones finitas exactas (convolución XOR de fibras de traza) sirven como "puentes" para confirmar la no existencia.
4. Clasificación Proyectiva (Dimensión 8): En dimensión 8, el autor extiende el análisis a combinaciones de rango dos de formas de traza proyectivas. Utilizan la recta proyectiva $\mathbb{P}^1(\mathbb{F}_4)$ para parametrizar las extensiones, empleando un selector de traza binaria para identificar pares de coeficientes válidos.

Contribuciones Clave y Resultados

• Teorema de Rigidez de la Dimensión: El artículo demuestra una estricta "escalera de dimensiones" para este mecanismo de cambio:
  • $n=4$: Los coeficientes admisibles son los elementos no nulos del hiperplano de traza cero ($\text{Tr}(\theta)=0$). Estas funciones son equivalentes a Extensión-Afín (EA) a la función Gold original.
  • $n=6$: Los coeficientes admisibles son exactamente los seis elementos de orden multiplicativo 9 en $\mathbb{F}_{64}$.
  • $n=8$: Los coeficientes admisibles son los elementos no nulos del subcuerpo $\mathbb{F}_4^*$.
  • $n \ge 10$ (par): Ningún coeficiente no nulo $\theta$ produce una función APN. El conjunto de coeficientes admisibles es vacío.
• Caracterización Intrínseca: El artículo proporciona las primeras descripciones intrínsecas e independientes de la base para las listas de coeficientes encontradas previamente en la tesis de Arshad para $n=6$ y $n=8$, reemplazando las coordenadas de campo brutas con propiedades algebraicas (orden 9 y pertenencia al subcuerpo, respectivamente).
• Extensiones de Rango Dos Proyectivas ($n=8$): El autor clasifica las extensiones normalizadas de rango dos en dimensión 8. Demuestran que el espacio de parámetros es $\mathbb{P}^1(\mathbb{F}_4)$, donde cada uno de los cuatro puntos base soporta exactamente dos pares de coeficientes aceptados. Estos ocho cambios marcados forman exactamente dos clases EA (y, por consiguiente, dos clases CCZ), organizadas en dos ciclos de Frobenius.
• Herramienta Computacional: Se proporciona un criterio de punto fijo reutilizable e independiente del centro, que reduce las pruebas APN para actualizaciones de rango-$r$ a $2^r - 1$ pruebas de incidencia contra conjuntos prohibidos precomputados.

Significancia y Reivindicaciones
El artículo sostiene que su principal contribución es el resultado de no existencia uniforme para dimensiones $n \ge 10$ y la descripción geométrica intrínseca de los conjuntos admisibles en dimensiones inferiores.

• Valor Metodológico: El resultado de "rigidez de la dimensión" elimina toda una clase de mecanismos de cambio del espacio de búsqueda para nuevas funciones APN en dimensiones pares mayores, optimizando la investigación criptográfica futura.
• Perspectiva Estructural: Los resultados describen la "organización local" de las clases APN globales conocidas alrededor del centro de Gold. El artículo aclara que, si bien las clases globales resultantes son conocidas, el mecanismo específico de cambio de producto de traza está altamente restringido, funcionando solo en las dimensiones 4, 6 y 8.
• Reproducibilidad: El trabajo enfatiza la reproducibilidad rigurosa, proporcionando certificados JSON exactos, scripts de Python y sumas de verificación SHA-256 para todas las computaciones finitas (incluyendo los certificados de órbita de 12 y 33 filas y los puentes de $n=10, 12$). El autor establece explícitamente que los pasos asistidos por computadora son auxiliares a las demostraciones analíticas para $n \ge 14$ y a las derivaciones algebraicas para $n < 10$.

El artículo no pretende descubrir nuevas clases APN globales, sino mapear los límites precisos y las propiedades estructurales de cómo la función de Gold puede ser modificada localmente mediante el cambio de producto de traza.