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

Sintesi Tecnica: Rigidità della Dimensione e Geometria Proiettiva dei Cambiamenti di Prodotto di Traccia del Cubo d'Oro

Enunciato del Problema
Il saggio investiga la modifica della funzione quasi perfetta non lineare (APN) Gold, definita come $F(x) = x^3$ sul campo finito $\mathbb{F}_{2^n}$ (dove $n$ è pari), tramite un meccanismo di switching a prodotto di traccia scalare. Nello specifico, lo studio analizza funzioni della forma:
$$F_{n,\theta}(x) = x^3 + \theta Q_n(x)$$
dove $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)$ è una forma booleana quadratica normalizzata, $\theta \in \mathbb{F}_{2^n}$ è un coefficiente, e $\lambda$ è un elemento primitivo di $\mathbb{F}_4$. Il problema centrale è determinare per quali dimensioni pari $n$ e per quali coefficienti non nulli $\theta$ la funzione risultante $F_{n,\theta}$ mantiene la proprietà APN. Mentre lavori precedenti (ad esempio, la dissertazione di Arshad) hanno fornito liste grezze di coefficienti ammissibili per piccole dimensioni ($n=6, 8$), mancava una descrizione teorica unificata e una prova di non esistenza per dimensioni maggiori.

Metodologia
L'autore impiega una combinazione di geometria algebrica, stime di somme di caratteri e verifica computazionale:

1. Framework delle Derivate a Basso Rango: Il saggio stabilisce un "Criterio di Punto Fisso a Basso Rango" (Teorema 3.1). Questo generalizza i criteri di iperpiano-iniettività esistenti ad aggiornamenti arbitrari di rango-$r$. Riduce la verifica APN di un aggiornamento $F + U \circ q$ al controllo se una mappa lineare $U$ evita "insiemi proibiti" precomputati derivati dalle immagini derivate della funzione base. Ciò consente test di appartenenza efficienti ($2^r - 1$ test) piuttosto che controlli APN esaustivi.
2. Criterio del Prodotto di Sezione: Per la specifica famiglia di prodotti di traccia scalare, l'autore deriva un criterio geometrico (Teorema 4.2). Dimostra che $F_{n,\theta}$ è APN se e solo se $\theta$ non è rappresentabile come un "prodotto di sezione" $c^3 + d^3$ dove $c, d$ soddisfano specifiche condizioni di traccia relativa ($T(c)=1, T(d)=0$). Ciò trasforma il problema nel conteggio delle soluzioni dell'equazione $c^3 + d^3 = \theta$ sotto vincoli di traccia.
3. Ponti Analitici e Finiti:
   • Per piccole dimensioni ($n=4, 6, 8$), l'autore utilizza la manipolazione algebrica diretta e certificati di orbita di Frobenius per classificare i coefficienti ammissibili.
   • Per $n \ge 10$, il saggio utilizza stime di caratteri additivi sulla curva cubica di Fermat proiettiva $X^3 + Y^3 = \theta Z^3$. Utilizzando il limite superiore di Weil e l'analisi del conduttore di Artin–Schreier per limitare il numero di punti affini, dimostrano che il numero di soluzioni $h_n(\theta)$ è strettamente positivo per ogni $\theta \neq 0$ quando $n \ge 14$.
   • Per i casi intermedi $n=10$ e $n=12$, computazioni finite esatte (convoluzione XOR di fibre di traccia) fungono da "ponti" per confermare la non esistenza.
4. Classificazione Proiettiva (Dimensione 8): In dimensione 8, l'autore estende l'analisi a combinazioni di rango due di forme di traccia proiettiva. Utilizzano la retta proiettiva $\mathbb{P}^1(\mathbb{F}_4)$ per parametrizzare le estensioni, impiegando un selettore di traccia binario per identificare coppie di coefficienti validi.

Contributi Chiave e Risultati

• Teorema di Rigidità della Dimensione: Il saggio dimostra una rigorosa "scala dimensionale" per questo meccanismo di switching:
  • $n=4$: I coefficienti ammissibili sono gli elementi non nulli dell'iperpiano a traccia nulla ($\text{Tr}(\theta)=0$). Queste mappe sono equivalente a Esteso-Affini (EA) alla funzione Gold originale.
  • $n=6$: I coefficienti ammissibili sono esattamente i sei elementi di ordine moltiplicativo 9 in $\mathbb{F}_{64}$.
  • $n=8$: I coefficienti ammissibili sono gli elementi non nulli del sottocampo $\mathbb{F}_4^*$.
  • $n \ge 10$ (pari): Nessun coefficiente non nullo $\theta$ produce una funzione APN. L'insieme dei coefficienti ammissibili è vuoto.
• Caratterizzazione Intrinseca: Il saggio fornisce le prime descrizioni intrinseche, indipendenti dalla base, delle liste di coefficienti precedentemente trovate nella dissertazione di Arshad per $n=6$ e $n=8$, sostituendo le coordinate grezze del campo con proprietà algebriche (ordine 9 e appartenenza al sottocampo, rispettivamente).
• Estensioni di Rango Due Proiettive ($n=8$): L'autore classifica le estensioni normalizzate di rango due in dimensione 8. Dimostrano che lo spazio dei parametri è $\mathbb{P}^1(\mathbb{F}_4)$, dove ciascuno dei quattro punti non base supporta esattamente due coppie di coefficienti accettati. Questi otto switching marcati formano esattamente due classi EA (e di conseguenza due classi CCZ), organizzati in due cicli di Frobenius.
• Strumento Computazionale: Viene fornito un criterio di punto fisso riutilizzabile e indipendente dal centro, che riduce i test APN per aggiornamenti di rango-$r$ a $2^r - 1$ test di incidenza contro insiemi proibiti precomputati.

Significatività e Rivendicazioni

Il saggio rivendica che il suo contributo primario sia il risultato di non esistenza uniforme per le dimensioni $n \ge 10$ e la descrizione geometrica intrinseca degli insiemi ammissibili nelle dimensioni inferiori.

• Valore Metodologico: Il risultato di "rigidità della dimensione" rimuove un'intera classe di meccanismi di switching dallo spazio di ricerca per nuove funzioni APN in dimensioni pari più grandi, snellendo la ricerca crittografica futura.
• Intuizione Strutturale: I risultati descrivono l' "organizzazione locale" delle classi APN globali note attorno al centro Gold. Il saggio chiarisce che, sebbene le classi globali risultanti siano note, il meccanismo specifico di switching a prodotto di traccia è altamente vincolato, funzionando solo nelle dimensioni 4, 6 e 8.
• Riproducibilità: Il lavoro enfatizza la rigorosa riproducibilità, fornendo certificati JSON esatti, script Python e checksum SHA-256 per tutte le computazioni finite (inclusi i certificati di orbita a 12 e 33 righe e i ponti $n=10, 12$). L'autore dichiara esplicitamente che i passaggi assistiti dal computer sono ausiliari alle prove analitiche per $n \ge 14$ e alle derivazioni algebriche per $n < 10$.

Il saggio non rivendica la scoperta di nuove classi APN globali, ma piuttosto la mappatura dei confini precisi e delle proprietà strutturali di come la funzione Gold possa essere localmente modificata tramite lo switching a prodotto di traccia.