On planar functions over $\mathbb{F}_{q^3}$

Technische Zusammenfassung: Planare Funktionen über $\mathbb{F}_{q^3}$

Problembeschreibung
Diese Arbeit untersucht die Existenz und Charakterisierung planarer Funktionen über dem endlichen Körper $\mathbb{F}_{q^3}$, wobei $q$ eine ungerade Primzahlpotenz ist. Eine Funktion $f: \mathbb{F}_{q^n} \to \mathbb{F}_{q^n}$ wird als planar definiert, wenn für jedes von Null verschiedene $\epsilon \in \mathbb{F}_{q^n}$ die Differenzfunktion $F_\epsilon(X) = f(X+\epsilon) - f(X) - f(\epsilon)$ ein Permutationspolynom ist. Die Autoren konzentrieren sich speziell auf die Familie der Pentanome der Form:
$$f_{E,A,B,C,D}(X) := EX^2 + AX^{q+1} + BX^{q^2+1} + CX^{2q} + DX^{2q^2} \in \mathbb{F}_q[X].$$
Die primäre Herausforderung besteht darin, die präzisen algebraischen Bedingungen für die Koeffizienten $A, B, C, D, E \in \mathbb{F}_q$ zu bestimmen, die sicherstellen, dass $f_{E,A,B,C,D}$ die Planaritätseigenschaft über $\mathbb{F}_{q^3}$ erfüllt.

Methodik
Die Autoren nutzen die Theorie der $q$-Polynome (linearisierte Polynome), um die Planaritätsbedingung zu analysieren. Die Methodik verläuft durch folgende logische Schritte:

1. Reduktion auf Permutationspolynome: Per Definition ist $f$ genau dann planar, wenn $F_\epsilon(X)$ für alle $\epsilon \in \mathbb{F}_{q^3}^*$ ein Permutationspolynom ist. Die Autoren berechnen $F_\epsilon(X)$ explizit für die Ziel-Pentanom-Familie und zeigen, dass dies zu einem $q$-Polynom der Form $L(X) = c_0 X + c_1 X^q + c_2 X^{q^2}$ führt.
2. Dickson-Matrix-Kriterium: Unter Verwendung von Satz 1.1 und Lemma 1.2 stellen die Autoren fest, dass ein $q$-Polynom genau dann ein Permutationspolynom ist, wenn seine zugehörige Dickson-Matrix nicht singulär ist (d. h. eine von Null verschiedene Determinante hat).
3. Determinantenanalyse: Die Determinante $\Delta_{F_\epsilon}$ der Dickson-Matrix für $F_\epsilon(X)$ wird als Polynom in $\epsilon$ berechnet. Proposition 2.1 liefert eine allgemeine, wenn auch komplexe Charakterisierung: Das Pentanom ist genau dann planar, wenn diese Determinante für alle $\epsilon \in \mathbb{F}_{q^3}^*$ von Null verschieden ist.
4. Faktorisierungsstrategie: Da die Überprüfung des Nichtverschwindens der allgemeinen Determinante algebraisch schwierig ist, entwickeln die Autoren einen Faktorisierungsansatz (Satz 2.5). Sie suchen nach Bedingungen für die Koeffizienten, sodass sich $\Delta_{F_\epsilon}$ in ein Produkt von drei einfacheren $q$-Polynomen $P_1(\epsilon)P_2(\epsilon)P_3(\epsilon)$ zerlegen lässt.
5. Wurzelfreie Bedingungen: Die Autoren nutzen Lemma 2.2, welches besagt, dass ein $q$-Polynom $aX^{q^2} + bX^q + cX$ genau dann keine Nullstellen in $\mathbb{F}_{q^3}^*$ hat, wenn $a^3 + b^3 + c^3 - 3abc \neq 0$ gilt. Durch die Konstruktion spezifischer Gleichungssysteme (Satz 2.5 und Korollar 2.6), die die Determinante zur Faktorisierung in solche wurzelfreie Polynome zwingen, leiten sie hinreichende Bedingungen für die Planarität ab.
6. Spezifische Matrixfamilien: Um das Nichtverschwinden der Determinanten für spezifische Fälle zu verifizieren, analysieren die Autoren zwei Familien von $3 \times 3$-Matrizen (Propositionen 2.3 und 2.4) und beweisen, dass ihre Determinanten für alle von Null verschiedenen $\epsilon$ ungleich Null sind.

Hauptbeiträge und Ergebnisse
Die Arbeit bietet einen systematischen Rahmen zur Konstruktion planarer Pentanome über $\mathbb{F}_{q^3}$ und stellt fünf neue explizite Familien planarer Funktionen vor:

1. Allgemeine Charakterisierung (Satz 2.5): Ein Gleichungssystem wird etabliert, das, wenn es von den Koeffizienten $(E, A, B, C, D)$ erfüllt wird, garantiert, dass die Determinante der zugehörigen Dickson-Matrix in drei $q$-Polynome ohne Nullstellen in $\mathbb{F}_{q^3}^*$ faktorisiert.
2. Planare Trinome (Satz 3.1): Eine Charakterisierung für Trinome der Form $EX^2 + CX^{2q} + DX^{2q^2}$. Die Funktion ist genau dann planar, wenn $C^3 + D^3 + E^3 - 3CDE = 1/2$ gilt.
3. Spezifisches Quadrinom (Satz 3.2): Das Polynom $f(X) = -X^2 + 2X^{q^2+1} + X^{2q} - X^{2q^2}$ wird als planar über $\mathbb{F}_{q^3}$ nachgewiesen.
4. Zweiparametrige Pentanom-Familie (Satz 3.3): Eine Familie von Pentanomen $f(X) = EX^2 + 2(E-D)X^{q+1} + 2DX^{q^2+1} + (E-D)X^{2q} + DX^{2q^2}$ wird als planar nachgewiesen, sofern $E(3D^2 - 3DE + E^2) \neq 0$ gilt.
5. Zwei neue Pentanome (Satz 3.4): Zwei spezifische Pentanome werden als planar identifiziert:
   • $X^2 - X^{q+1} - X^{q^2+1} + X^{2q} + X^{2q^2}$
   • $X^2 + X^{q+1} + X^{q^2+1} + \frac{1}{2}X^{2q} + \frac{1}{2}X^{2q^2}$

Bedeutung und Behauptungen
Die Arbeit behauptet, neue Charakterisierungen für die Planaritätseigenschaft von Polynomen über $\mathbb{F}_{q^3}$ zu liefern und neue Familien planarer Trinome, Quadrinome und Pentanome vorzustellen. Die Arbeit erweitert die bestehende Literatur zu planaren Funktionen, die Anwendungen in der Kryptographie (insbesondere beim Design von S-Boxen), der Kodierungstheorie und bei Signalgruppen haben. Die Autoren stellen fest, dass zwar die Existenz planarer Abbildungen intensiv untersucht wurde, deren Konstruktion oder die Charakterisierung der Bedingungen für ihre Existenz jedoch ein bedeutendes Problem in der Theorie endlicher Körper bleibt. Diese Arbeit adressiert dieses Problem, indem sie eine konstruktive Methode auf Basis der Faktorisierung von Dickson-Matrix-Determinanten bietet, die konkrete Beispiele planarer Funktionen liefert, die in dieser spezifischen Form zuvor nicht charakterisiert waren.