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

Sintesi Tecnica: Funzioni Piane su $\mathbb{F}_{q^3}$

Enunciato del Problema
Questo lavoro indaga l'esistenza e la caratterizzazione di funzioni piane sul campo finito $\mathbb{F}_{q^3}$, dove $q$ è una potenza di un numero primo dispari. Una funzione $f: \mathbb{F}_{q^n} \to \mathbb{F}_{q^n}$ è definita piana se, per ogni $\epsilon \in \mathbb{F}_{q^n}$ non nullo, la funzione differenza $F_\epsilon(X) = f(X+\epsilon) - f(X) - f(\epsilon)$ è un polinomio di permutazione. Gli autori si concentrano specificamente sulla famiglia di pentanomi della forma:
$$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].$$
La sfida principale affrontata è determinare le precise condizioni algebriche sui coefficienti $A, B, C, D, E \in \mathbb{F}_q$ che assicurino che $f_{E,A,B,C,D}$ soddisfi la proprietà di planarità su $\mathbb{F}_{q^3}$.

Metodologia
Gli autori impiegano la teoria dei polinomi $q$-lineari (polinomi linearizzati) per analizzare la condizione di planarità. La metodologia procede attraverso i seguenti passaggi logici:

1. Riduzione ai Polinomi di Permutazione: Per definizione, $f$ è piana se e solo se $F_\epsilon(X)$ è un polinomio di permutazione per ogni $\epsilon \in \mathbb{F}_{q^3}^*$. Gli autori calcolano esplicitamente $F_\epsilon(X)$ per la famiglia target di pentanomi, dimostrando che risulta in un polinomio $q$-lineare della forma $L(X) = c_0 X + c_1 X^q + c_2 X^{q^2}$.
2. Criterio della Matrice di Dickson: Utilizzando il Teorema 1.1 e il Lemma 1.2, gli autori stabiliscono che un polinomio $q$-lineare è un polinomio di permutazione se e solo se la sua matrice di Dickson associata è non singolare (ovvero, ha un determinante non nullo).
3. Analisi del Determinante: Il determinante $\Delta_{F_\epsilon}$ della matrice di Dickson per $F_\epsilon(X)$ è calcolato come un polinomio in $\epsilon$. La Proposizione 2.1 fornisce una caratterizzazione generale, sebbene complessa: il pentanomio è piano se e solo se questo determinante è non nullo per ogni $\epsilon \in \mathbb{F}_{q^3}^*$.
4. Strategia di Fattorizzazione: Riconoscendo che verificare la non nullità del determinante generale è algebricamente difficile, gli autori sviluppano un approccio di fattorizzazione (Teorema 2.5). Cercano condizioni sui coefficienti tali per cui $\Delta_{F_\epsilon}$ si fattorizzi nel prodotto di tre polinomi $q$-lineari più semplici, $P_1(\epsilon)P_2(\epsilon)P_3(\epsilon)$.
5. Condizioni di Assenza di Radici: Gli autori sfruttano il Lemma 2.2, che afferma che un polinomio $q$-lineare $aX^{q^2} + bX^q + cX$ non ha radici in $\mathbb{F}_{q^3}^*$ se e solo se $a^3 + b^3 + c^3 - 3abc \neq 0$. Costruendo sistemi specifici di equazioni (Teorema 2.5 e Corollario 2.6) che costringono il determinante a fattorizzarsi in tali polinomi privi di radici, derivano condizioni sufficienti per la planarità.
6. Famiglie Specifiche di Matrici: Per verificare la non nullità dei determinanti per casi specifici, gli autori analizzano due famiglie di matrici $3 \times 3$ (Proposizioni 2.3 e 2.4), dimostrando che i loro determinanti sono non nulli per ogni $\epsilon$ non nullo.

Contributi e Risultati Chiave
Il paper fornisce un quadro sistematico per la costruzione di pentanomi piani su $\mathbb{F}_{q^3}$ e presenta cinque nuove famiglie esplicite di funzioni piane:

1. Caratterizzazione Generale (Teorema 2.5): È stabilito un sistema di equazioni che, se soddisfatto dai coefficienti $(E, A, B, C, D)$, garantisce che il determinante della matrice di Dickson associata si fattorizzi in tre polinomi $q$-lineari privi di radici in $\mathbb{F}_{q^3}^*$.
2. Trinomi Piani (Teorema 3.1): Una caratterizzazione per trinomi della forma $EX^2 + CX^{2q} + DX^{2q^2}$. La funzione è piana se e solo se $C^3 + D^3 + E^3 - 3CDE = 1/2$.
3. Quadrinomio Specifico (Teorema 3.2): È dimostrato che il polinomio $f(X) = -X^2 + 2X^{q^2+1} + X^{2q} - X^{2q^2}$ è piano su $\mathbb{F}_{q^3}$.
4. Famiglia di Pentanomi a Due Parametri (Teorema 3.3): È dimostrato che una famiglia di pentanomi $f(X) = EX^2 + 2(E-D)X^{q+1} + 2DX^{q^2+1} + (E-D)X^{2q} + DX^{2q^2}$ è piana a condizione che $E(3D^2 - 3DE + E^2) \neq 0$.
5. Due Nuovi Pentanomi (Teorema 3.4): Sono identificati come piani due pentanomi specifici:
   • $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}$

Significato e Affermazioni
Il paper afferma di fornire nuove caratterizzazioni per la proprietà di planarità dei polinomi su $\mathbb{F}_{q^3}$ e di presentare nuove famiglie di trinomii, quadrinomi e pentanomi piani. Il lavoro estende la letteratura esistente sulle funzioni piane, che trova applicazioni in crittografia (in particolare nella progettazione di S-box), teoria dei codici e insiemi di segnali. Gli autori notano che, sebbene l'esistenza di applicazioni piane sia stata studiata estesamente, la loro costruzione o la caratterizzazione delle condizioni per la loro esistenza rimane un problema significativo nella teoria dei campi finiti. Questo lavoro affronta tale problema offrendo un metodo costruttivo basato sulla fattorizzazione dei determinanti delle matrici di Dickson, producendo esempi concreti di funzioni piane che in precedenza non erano caratterizzate in questa forma specifica.