🔢 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

Dit artikel bepaalt de composietinversen van zes klassen van permutatiepolynomen van de vorm $x+\gamma\operatorname{Tr}_q^{q^2}(h(x))$ over eindige velden met even karakteristiek.

Oorspronkelijke auteurs: Rajesh P. Singh, Dinesh Kumar, Jitendra Prakash

Gepubliceerd 2026-04-22

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Rajesh P. Singh, Dinesh Kumar, Jitendra Prakash

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Sleutels van de Wiskundige Sloten: Een Verhaal over Permutatiepolynomen

Stel je voor dat je een enorme, digitale kluis hebt. Om deze kluis te openen, moet je een heel specifiek, wiskundig ritueel uitvoeren. In de wereld van cryptografie (zoals bij het versleutelen van je bankgegevens) zijn deze rituelen vaak gebaseerd op iets wat wiskundigen een permutatiepolynoom noemen.

In dit artikel schrijven de onderzoekers Rajesh P. Singh, Dinesh Kumar en Jitendra Prakash over een speciale soort van deze wiskundige rituelen. Ze hebben zes nieuwe "sloten" ontdekt (de polynomen) en, nog belangrijker, ze hebben de sleutels gevonden om ze weer te openen (de inverse).

Hier is hoe het werkt, vertaald naar alledaags taal:

1. Wat is een Permutatiepolynoom?

Stel je een grote doos met genummerde balletjes voor (van 1 tot 100). Een "permutatiepolynoom" is een magische machine die je de balletjes in de doos geeft, en er een heel andere volgorde uit haalt.

Je stopt balletje 1 erin $\rightarrow$ er komt 42 uit.
Je stopt balletje 2 erin $\rightarrow$ er komt 7 uit.
Het mooie is: geen enkel balletje verdwijnt en er komen geen dubbele balletjes uit. Iedere uitkomst is uniek.

In de cryptografie gebruiken ze dit om data te versleutelen. Maar als je de data later weer wilt gebruiken, moet je de machine kunnen omdraaien. Je moet weten welk balletje erin zat toen er 42 uitkwam. Die omgekeerde machine is de compositie-invers.

2. Het Probleem: De Sleutel Verliezen

Het vinden van deze omgekeerde machine is vaak heel lastig. Het is alsof je een ingewikkeld labyrint hebt, en je moet de weg terug vinden zonder kaart. Vaak kun je de weg terug wel vinden, maar is de beschrijving ervan zo lang en rommelig (vol met duizenden termen) dat het onbruikbaar is voor computers.

De onderzoekers in dit artikel kijken naar een specifieke familie van deze machines, die eruitzien als:
$x + \gamma \times \text{Tr}(h(x))$
Klinkt als wiskundige onzin? Zie het als een recept:

x: Het originele balletje.
Tr: Een speciale "filter" of "samenvatter" die kijkt naar bepaalde eigenschappen van het balletje.
h(x): Een klein trucje dat erop wordt toegepast.
$\gamma$ : Een instelknop die bepaalt hoe sterk het effect is.

3. De Oplossing: De Nieuwe Sleutels

Jiang en collega's hadden eerder deze zes specifieke recepten (de zes klassen) bedacht en gezegd: "Ja, dit werkt als sloten." Maar ze hadden de sleutels nog niet gevonden.

De auteurs van dit artikel zeggen: "Wacht even, wij hebben de sleutels!" Ze hebben voor elk van de zes sloten een eenvoudige, elegante formule gevonden die precies doet wat de omgekeerde machine moet doen.

Hoe deden ze dat?
Ze gebruikten een slimme truc. In plaats van direct naar het slot te kijken, bouwden ze een tussenstation (een hulpmethode).

Ze veranderden het ingewikkelde slot in een simpele, lineaire machine (een rechte lijn in plaats van een kromme).
Ze vonden de sleutel voor die simpele machine.
Ze vertaalden die sleutel terug naar de oorspronkelijke, ingewikkelde machine.

Het resultaat? Ze kregen voor elke van de zes gevallen een formule die eruitziet als een strakke, korte zin in plaats van een rommelig gedicht.

4. Waarom is dit belangrijk?

Je vraagt je misschien af: "Wie zit er nou te wachten op wiskundige sloten?"

Beveiliging: Denk aan je wachtwoorden, online bankieren en geheime berichten. Deze systemen gebruiken precies dit soort wiskundige machines om data te versleutelen (zoals in de AES-standaard). Als je een goede versleuteling hebt, maar geen goede manier om het weer te decoderen, is het nutteloos.
Efficiëntie: De formules die deze onderzoekers vinden, zijn "snel" voor een computer. Het is het verschil tussen een sleutel die je met de hand moet snijden (langzaam) en een sleutel die je direct uit de machine kunt halen (snel).

Samenvattend

Dit artikel is als een handleiding voor slotenmakers. Ze hebben zes nieuwe, complexe sloten geïdentificeerd die door anderen zijn ontworpen. Vervolgens hebben ze de perfecte, compacte sleutels voor elk van deze sloten gemaakt. Zonder deze sleutels zouden deze sloten nutteloos zijn voor beveiliging; met deze sleutels kunnen ze veilig en snel gebruikt worden om onze digitale wereld te beschermen.

De onderzoekers hebben dus niet alleen de sloten beschreven, maar ze hebben ook de sleutels gevonden die ervoor zorgen dat we de deur weer open kunnen doen.

1. Probleemstelling

Het artikel richt zich op een fundamenteel probleem in de theorie van eindige velden: het expliciet bepalen van de compositie-inversen (compositional inverses) van specifieke klassen van permutatiepolynomen (PP's).

Context: Permutatiepolynomen over eindige velden $\mathbb{F}_q$ zijn polynomen die een bijectieve afbeelding van het veld op zichzelf realiseren. Hoewel de bestaansgarantie van een inverse polynoom volgt uit de bijectiviteit, is het vinden van de expliciete algebraïsche vorm van deze inverse vaak een zeer moeilijk probleem.
Specifiek probleem: De auteurs focussen op polynomen van de vorm:
$f(x) = x + \gamma \text{Tr}_{q^2}^q(h(x))$
gedefinieerd over het veld $\mathbb{F}_{q^2}$ , waarbij $q = 2^m$ (even karakteristiek) en $\text{Tr}_{q^2}^q$ de trace-afbeelding van $\mathbb{F}_{q^2}$ naar $\mathbb{F}_q$ is.
Aanleiding: Recent werk van Jiang et al. [21] had zes klassen van dergelijke polynomen geïdentificeerd die permutaties zijn onder bepaalde voorwaarden. De auteurs van dit artikel vullen deze lacune aan door de expliciete inversen voor deze zes klassen te construeren. Dit is cruciaal voor toepassingen in cryptografie (zoals AES en publieke-sleutelcryptografie) en coderingstheorie, waar zowel het polynoom als zijn inverse nodig zijn.

2. Methodologie

De auteurs hanteren een systematische algebraïsche aanpak gebaseerd op lineaire algebra over eindige velden en eigenschappen van de trace-functie. De kernmethodologie omvat:

Hulpstellingen (Auxiliary Results):
- Ze gebruiken de eigenschap dat de trace-functie een surjectieve homomorfisme is.
- Ze introduceren een hulpfunctie $T(x) = \text{Tr}_{q^2}^q(\beta x) + \alpha \text{Tr}_{q^2}^q(\delta x)$ , waarbij $\{1, \alpha\}$ een basis vormt van $\mathbb{F}_{q^2}$ over $\mathbb{F}_q$ .
- Lemma 2.3 is centraal: het bewijst dat $T(x)$ een permutatiepolynoom is en levert een expliciete formule voor de inverse $T^{-1}(x)$ op, afhankelijk van de parameters $\beta, \delta$ en $\alpha$ .
- Lemma 2.4 stelt een relatie vast tussen de trace van de inverse en de oorspronkelijke variabelen, wat essentieel is voor de vereenvoudiging van de uitdrukkingen.
Decompositie en Systeemoplossing:
- Voor elke klasse $f_i(x)$ wordt de compositie $f_i(T(x))$ berekend.
- Door de vergelijking $f_i(T(x)) = T(y)$ op te lossen, reduceren ze het probleem tot een stelsel lineaire vergelijkingen in termen van $\text{Tr}_{q^2}^q(\beta x)$ en $\text{Tr}_{q^2}^q(\delta x)$ .
- Dit stelsel wordt opgelost via elementaire rijoperaties op matrices (in het bijzonder het gebruik van de determinant $\beta\delta^q + \delta\beta^q$ ).
- Vervolgens wordt de gevonden oplossing voor $x$ (uitgedrukt in $y$ ) teruggezet om de expliciete vorm van $f_i^{-1}(x)$ te verkrijgen.
Gevalsonderscheiding: De methode past zich aan aan de voorwaarden van de parameters (bijv. of $m$ even of oneven is, en of $\gamma \in \mathbb{F}_q$ of $\text{Tr}_{q^2}^q(\gamma)=1$ ).

3. Belangrijkste Bijdragen en Resultaten

Het artikel presenteert de expliciete composities-inversen voor zes klassen van permutatiepolynomen, zoals gedefinieerd in de theorema's 1.1 tot en met 1.6 van Jiang et al. [21].

Theorema 3.1 (Inverse van $f_1$ ):
Voor $f_1(x) = x + \gamma \text{Tr}_{q^2}^q(x^3 + x^{q+2})$ met $\gamma \in \mathbb{F}_q$ , is de inverse:
$f_1^{-1}(x) = x + \gamma (\text{Tr}_{q^2}^q(x))^3$
Theorema 3.2 (Inverse van $f_2$ ):
Voor $f_2(x) = x + \gamma \text{Tr}_{q^2}^q(x + x^2 + x^3 + x^{q+2})$ met $\gamma \in \mathbb{F}_q$ , is de inverse:
$f_2^{-1}(x) = x + \gamma \text{Tr}_{q^2}^q(x) + \gamma (\text{Tr}_{q^2}^q(x))^2 + \gamma (\text{Tr}_{q^2}^q(x))^3$
Theorema 3.3 (Inverse van $f_3$ ):
Voor $f_3(x) = x + \gamma \text{Tr}_{q^2}^q(x + x^3 + x^{q+2})$ :
- Als $\gamma \in \mathbb{F}_q$ : $f_3^{-1}(x) = x + \gamma \text{Tr}_{q^2}^q(x) + \gamma (\text{Tr}_{q^2}^q(x))^3$ .
- Als $\text{Tr}_{q^2}^q(\gamma) = 1$ en $m$ oneven is: De inverse bevat een exponent $t$ waarbij $3t \equiv 1 \pmod{2^m-1}$ , wat verwijst naar de inverse van de kubische macht in het subveld.
Theorema 3.4 (Inverse van $f_4$ ):
Voor $f_4(x) = x + \gamma \text{Tr}_{q^2}^q(x^2 + x^3 + x^{q+2})$ :
- Als $\gamma \in \mathbb{F}_q$ : $f_4^{-1}(x) = x + \gamma (\text{Tr}_{q^2}^q(x))^2 + \gamma (\text{Tr}_{q^2}^q(x))^3$ .
- Als $\text{Tr}_{q^2}^q(\gamma) = 1$ en $m$ oneven is: De inverse is complexer en bevat termen zoals $(\text{Tr}_{q^2}^q(x) + 1)^t$ .
Theorema 3.5 en 3.6 (Inversen van $f_5$ en $f_6$ ):
Voor de gevallen waarbij $m$ oneven is en $\gamma \in \mathbb{F}_{2^2} \setminus \mathbb{F}_2$ (dus $\gamma^2+\gamma+1=0$ ), worden de inversen voor $f_5$ en $f_6$ afgeleid. Deze bevatten complexe combinaties van trace-termen en machten met exponent $t$ (de inverse van 3 modulo $2^m-1$ ). De bewijzen voor deze laatste twee klassen zijn beknopter weergegeven, maar focussen op het oplossen van niet-lineaire systemen die ontstaan door de specifieke structuur van $\gamma$ .

4. Betekenis en Toepassing

Cryptografische Relevantie: Permutatiepolynomen en hun inversen zijn de bouwstenen van S-blokken (Substitution boxes) in blockciphers zoals AES. Het hebben van een expliciete, efficiënt berekenbare formule voor de inverse is essentieel voor de implementatie van decryptie-algoritmen.
Wiskundige Vooruitgang: Het artikel lost het probleem op van het vinden van expliciete inversen voor een reeks polynomen die eerder alleen als permutaties waren geïdentificeerd. Het toont aan dat deze specifieke vormen, ondanks hun complexiteit, toegankelijk zijn voor analytische inversie door gebruik te maken van de lineaire structuur van de trace-functie.
Methodologische Inzicht: De paper demonstreert de kracht van het combineren van lineaire algebra (het oplossen van stelsels via matrices over eindige velden) met de specifieke eigenschappen van eindige velden van even karakteristiek (zoals $x^{2^k} = x$ en de lineaire aard van de trace).

Conclusie:
Singh, Kumar en Prakash hebben succesvol de composities-inversen voor zes specifieke klassen van permutatiepolynomen over $\mathbb{F}_{q^2}$ (met $q=2^m$ ) afgeleid. Hun werk biedt niet alleen de benodigde formules voor praktische toepassingen in cryptografie, maar verrijkt ook de theoretische kennis over de structuur van permutatiepolynomen van de vorm $x + \gamma \text{Tr}(h(x))$ .