🔢 mathematics

Inverses of six classes of permutation polynomials of the form $x+\gamma\operatorname{Tr}_q^{q^2}(h(x))$ over finite fields of even characteristic

Este artículo determina las inversas composicionales de seis clases de polinomios permutación de la forma $x+\gamma\operatorname{Tr}_q^{q^2}(h(x))$ sobre cuerpos finitos de característica par, extendiendo los resultados recientes de Jiang et al.

Autores originales: Rajesh P. Singh, Dinesh Kumar, Jitendra Prakash

Publicado 2026-04-22

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Rajesh P. Singh, Dinesh Kumar, Jitendra Prakash

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que las matemáticas de los campos finitos son como un gigantesco tablero de ajedrez donde las piezas no se mueven como en el ajedrez normal, sino siguiendo reglas muy estrictas y extrañas. En este tablero, hay un tipo especial de movimiento llamado "polinomio de permutación".

Piensa en un polinomio de permutación como un maestro de ceremonias en una fiesta. Su trabajo es tomar a todos los invitados (los números del campo) y reorganizarlos en una fila nueva, asegurándose de que nadie se quede fuera y nadie se duplique. Es un movimiento perfecto: si sabes dónde está cada persona al final, puedes saber exactamente dónde estaba al principio.

El Problema: El "Efecto Inverso"

El problema que plantean los autores de este artículo es el siguiente:
Si el maestro de ceremonias (el polinomio) es muy rápido y eficiente para mezclar a la gente, ¿podemos encontrar la receta exacta para deshacer el movimiento? Es decir, si vemos a la gente en la nueva fila, ¿podemos reconstruir la fila original sin tener que adivinar o hacer un montón de cálculos complicados?

En el mundo de la criptografía (como en la seguridad de tu banco o en el cifrado AES), esto es vital. Necesitas una llave para cerrar la caja (el polinomio) y otra llave, su inverso, para abrirla. Si no tienes la llave inversa exacta, no puedes recuperar tu información.

La Fórmula Mágica: "x + γ Tr..."

Los autores se centran en un tipo específico de "maestro de ceremonias" que tiene una fórmula especial:
$x + \gamma \cdot \text{Tr}(h(x))$

Para hacerlo simple, imagina que:

$x$ es la posición original de la persona.
$\text{Tr}$ es como un traductor que toma un número complejo y lo convierte en una señal simple (como un código de colores).
$\gamma$ es un ajustador o un "tornillo" que decide cuánto de esa señal simple se mezcla con la posición original.
$h(x)$ es una pequeña función que prepara el número antes de traducirlo.

La idea es que este maestro toma a la persona, le da un "golpe" basado en su traducción y la mueve a una nueva posición.

Lo que hicieron los autores

Jiang y sus colegas ya habían descubierto seis tipos diferentes de estos maestros de ceremonias que funcionan perfectamente (son permutaciones). Pero el artículo de Singh, Kumar y Prakash responde a la pregunta: "¿Cómo deshacemos exactamente lo que hicieron?"

Ellos no solo dicen "sí, se puede hacer", sino que escribieron la receta exacta (la fórmula matemática) para revertir el movimiento en cada uno de los seis casos.

¿Cómo lo lograron? (La Analogía del Laberinto)

Para encontrar la llave inversa, los autores usaron una técnica inteligente que se puede comparar con desarmar un reloj:

Descomposición: Imagina que el movimiento del maestro es una caja negra. Ellos abrieron la caja y vieron que, en realidad, el movimiento se podía dividir en dos pasos más simples: uno que depende de una parte del número y otro que depende de otra.
El Sistema de Ecuaciones: Usaron un truco matemático (lema 2.3) que es como tener dos espejos que reflejan la información de manera diferente. Al mirar el problema desde dos ángulos a la vez, pudieron aislar las variables.
La Inversión: Una vez que separaron las piezas, invirtieron cada pieza por separado (como si dieras vuelta a un calcetín) y luego las volvieron a unir.

Los Resultados Clave

El papel presenta seis "recetas" diferentes (Teoremas 3.1 a 3.6) para revertir los seis tipos de polinomios.

Caso 1 y 2: Son como recetas sencillas. Si el "ajustador" ( $\gamma$ ) es de un tipo específico, la inversa es simplemente tomar el número, aplicarle la traducción, elevarlo al cubo o al cuadrado y sumarlo de nuevo. Es como decir: "Para deshacer el movimiento, solo tienes que hacer el opuesto exacto".
Caso 3 y 4: Aquí las cosas se ponen un poco más interesantes. Dependiendo de si el número de elementos en el campo es par o impar (como si fuera un número par o impar de invitados), la receta cambia. A veces necesitas usar una "potencia mágica" (un número $t$ ) que actúa como un código de desbloqueo para revertir la operación de cubo.
Caso 5 y 6: Estos son los más complejos, como un laberinto de espejos. Aquí, la inversa no es una suma simple, sino una combinación de varias operaciones que dependen de cómo se comportan los números en campos muy específicos.

¿Por qué importa esto en la vida real?

Imagina que estás enviando un mensaje secreto a través de internet.

Usas un polinomio de permutación para mezclar tus datos (cifrar).
El receptor necesita la inversa para desmezclar los datos y leer el mensaje.

Si la fórmula inversa es demasiado larga, compleja o computacionalmente costosa, el sistema de seguridad sería lento o inseguro. Al encontrar estas fórmulas inversas "limpias" y directas, los autores están diseñando llaves más eficientes para los candados digitales del futuro.

En resumen

Este artículo es como un manual de instrucciones para desarmar seis tipos de máquinas de mezclar muy específicas. Los autores nos dicen: "Si usas esta máquina para mezclar tus datos, aquí tienes la llave exacta para desmezclarlos al instante, sin tener que adivinar". Es un trabajo fundamental para mejorar la seguridad y la velocidad de la criptografía moderna.

A continuación presento un resumen técnico detallado del artículo "Inversos de seis clases de polinomios de permutación de la forma $x + \gamma \text{Tr}_{q^2}^q(h(x))$ sobre cuerpos finitos de característica par", escrito por Rajesh P. Singh, Dinesh Kumar y Jitendra Prakash.

1. Planteamiento del Problema

El trabajo se centra en el problema de encontrar la forma algebraica explícita de los inversos composicionales de ciertas clases de polinomios de permutación (PP) definidos sobre cuerpos finitos $\mathbb{F}_{q^2}$ , donde $q = 2^m$ (característica par).

Contexto: Un polinomio $f(x) \in \mathbb{F}_q[x]$ es un polinomio de permutación si induce una biyección en $\mathbb{F}_q$ . Aunque la existencia del inverso $g(x)$ está garantizada por la biyectividad, determinar su expresión algebraica explícita es un problema difícil.
Importancia: El cálculo eficiente de estos inversos es crucial en criptografía (ej. cifrados de bloque como AES, criptografía de clave pública) y teoría de códigos.
Objetivo Específico: El artículo aborda la inversión de seis clases de polinomios de la forma:
$f(x) = x + \gamma \text{Tr}_{q^2}^q(h(x))$
donde $\text{Tr}_{q^2}^q$ es la función de traza desde $\mathbb{F}_{q^2}$ a $\mathbb{F}_q$ , $\gamma \in \mathbb{F}_{q^2}$ es un parámetro, y $h(x)$ es un polinomio específico. Estas clases fueron previamente identificadas como polinomios de permutación por Jiang et al. [21], pero sus inversos no habían sido derivados explícitamente hasta este trabajo.

2. Metodología

Los autores emplean un enfoque algebraico basado en la descomposición de funciones y el uso de bases lineales sobre el subcuerpo $\mathbb{F}_q$ . La metodología se estructura en los siguientes pasos:

Herramientas Auxiliares (Lemas):
- Se establece que para $m$ impar, $x^3$ es un polinomio de permutación en $\mathbb{F}_{2^m}$ , con un inverso de la forma $x^t$ donde $3t \equiv 1 \pmod{2^m-1}$ .
- Se utiliza un lema clave (Lema 2.3) que proporciona el inverso de un polinomio linealizado de la forma $T(x) = \text{Tr}_{q^2}^q(\beta x) + \alpha \text{Tr}_{q^2}^q(\delta x)$ , bajo ciertas condiciones de independencia lineal de $\beta$ y $\delta$ .
- Se demuestra que la traza de la composición con el inverso de $T$ simplifica términos complejos, permitiendo aislar variables.
Técnica de Composición y Sistema de Ecuaciones:
- Para cada polinomio objetivo $f_i(x)$ , los autores definen una transformación auxiliar $T(x)$ (o $U(x)$ en casos específicos) que actúa como un cambio de coordenadas.
- Calculan la composición $f_i \circ T(x)$ .
- Plantean la ecuación $f_i(T(x)) = T(y)$ y, aprovechando que $\{1, \alpha\}$ (o $\{1, \gamma\}$ ) forma una base de $\mathbb{F}_{q^2}$ sobre $\mathbb{F}_q$ , descomponen la ecuación en un sistema de dos ecuaciones lineales sobre el subcuerpo $\mathbb{F}_q$ .
- Resuelven este sistema utilizando operaciones elementales de filas en matrices sobre el cuerpo de traza, despejando $x$ en términos de $y$ .
Recuperación del Inverso:
- Una vez obtenida la relación $x = T^{-1} \circ f_i^{-1} \circ T (y)$ , sustituyen $y = T^{-1}(x)$ para aislar $f_i^{-1}(x)$ .
- Utilizan las propiedades de la traza y las identidades derivadas en los lemas auxiliares para simplificar la expresión final a un polinomio explícito.

3. Contribuciones Clave y Resultados

El artículo presenta los inversos composicionales explícitos para seis clases de polinomios (Teoremas 1.1 a 1.6 de la introducción, resolvidos en los Teoremas 3.1 a 3.6). Los resultados varían según la paridad de $m$ y las propiedades de $\gamma$ :

Clase 1 ( $f_1$ ): $x + \gamma \text{Tr}(x^3 + x^{q+2})$ .
- Resultado: Si $\gamma \in \mathbb{F}_q$ , el inverso es $x + \gamma (\text{Tr}(x))^3$ .
- Observación: La estructura del inverso es notablemente simple, preservando la forma de la función de traza elevada al cubo.
Clase 2 ( $f_2$ ): $x + \gamma \text{Tr}(x + x^2 + x^3 + x^{q+2})$ .
- Resultado: Si $\gamma \in \mathbb{F}_q$ , el inverso es $x + \gamma \text{Tr}(x) + \gamma (\text{Tr}(x))^2 + \gamma (\text{Tr}(x))^3$ .
- Observación: El inverso es una suma de potencias de la traza.
Clase 3 ( $f_3$ ): $x + \gamma \text{Tr}(x + x^3 + x^{q+2})$ .
- Caso A ( $\gamma \in \mathbb{F}_q$ ): Inverso $x + \gamma \text{Tr}(x) + \gamma (\text{Tr}(x))^3$ .
- Caso B ( $\text{Tr}(\gamma)=1$ , $m$ impar): El inverso involucra una potencia $t$ (donde $3t \equiv 1 \pmod{2^m-1}$ ): $\text{Tr}((1+\gamma)x) + \gamma (\text{Tr}(x))^t$ .
Clase 4 ( $f_4$ ): $x + \gamma \text{Tr}(x^2 + x^3 + x^{q+2})$ .
- Caso A ( $\gamma \in \mathbb{F}_q$ ): Inverso $x + \gamma (\text{Tr}(x))^2 + \gamma (\text{Tr}(x))^3$ .
- Caso B ( $\text{Tr}(\gamma)=1$ , $m$ impar): Inverso $\text{Tr}((1+\gamma)x) + \gamma [(\text{Tr}(x)+1)^t + 1]$ .
Clase 5 ( $f_5$ ): $x + \gamma \text{Tr}(x + x^{q+2})$ con $m$ impar y $\gamma \in \mathbb{F}_{2^2} \setminus \{1\}$ .
- Resultado: La expresión es más compleja, involucrando combinaciones de trazas elevadas a la potencia $t$ y sumas de términos de traza. Se utiliza la propiedad de que $\gamma^2 + \gamma + 1 = 0$ .
Clase 6 ( $f_6$ ): $x + \gamma \text{Tr}(x^2 + x^{q+2})$ con $m$ impar y $\gamma \in \mathbb{F}_{2^2} \setminus \{1\}$ .
- Resultado: Similar a la clase 5, pero con una estructura diferente en el término elevado a la potencia $t$ , derivada de la factorización de sumas de cubos en característica 2.

4. Significancia e Impacto

Avance Teórico: El trabajo llena un vacío en la literatura sobre polinomios de permutación al proporcionar fórmulas cerradas para inversos que anteriormente solo se conocían teóricamente o requerían interpolación de Lagrange (computacionalmente costosa y sin estructura clara).
Aplicaciones Criptográficas: Dado que estos polinomios operan sobre cuerpos de característica par ( $q=2^m$ ), son directamente aplicables en el diseño de S-boxes (cajas de sustitución) en cifrados de bloque y en la generación de secuencias pseudoaleatorias. La capacidad de calcular el inverso de manera eficiente es vital para la implementación práctica de estos sistemas.
Generalización del Método: La metodología desarrollada (uso de transformaciones lineales $T(x)$ y resolución de sistemas sobre la traza) ofrece una plantilla que puede ser adaptada para encontrar inversos de otras clases de polinomios de la forma $x + \gamma \text{Tr}(h(x))$ .
Estructura Algebraica: Los resultados revelan que, bajo ciertas condiciones, los inversos de estos polinomios complejos pueden expresarse como combinaciones simples de potencias de la función de traza, lo que simplifica enormemente su implementación en hardware y software.

En resumen, el artículo proporciona una solución algebraica elegante y explícita a un problema computacionalmente difícil, contribuyendo significativamente a la teoría de cuerpos finitos y a las aplicaciones prácticas en criptografía moderna.