🔢 mathematics

On Generalizations of Maiorana-McFarland and $\mathcal{PS}_{ap}$ Functions

Il paper presenta generalizzazioni delle classi di funzioni booleane piegate di Maiorana-McFarland e $\mathcal{PS}_{ap}$ , dimostrando l'esistenza di nuove famiglie al di fuori delle loro classi completate e analizzando la loro decomponibilità e costruzione secondaria mediante derivate di ordine superiore e teoria delle curve algebriche.

Autori originali: Sezel Alkan, Nurdagül Anbar, Athina Avrantini, Erroxe Etxabarri-Alberdi, Tekgül Kalaycı, Beatrice Toesca

Pubblicato 2026-03-31

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Sezel Alkan, Nurdagül Anbar, Athina Avrantini, Erroxe Etxabarri-Alberdi, Tekgül Kalaycı, Beatrice Toesca

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

🧩 Il Mistero delle Funzioni "Bent": Costruire Castelli Impossibili

Immagina di essere un architetto che deve costruire castelli matematici perfetti, chiamati funzioni "bent". Questi castelli hanno una proprietà speciale: sono così ben bilanciati e complessi che non possono essere "spiegati" o "scomposti" in modo semplice. Sono come puzzle che, se provi a smontarli, perdono la loro magia.

In questo campo, ci sono due famosi "manuali di istruzioni" (costruzioni) per creare questi castelli:

Il metodo Maiorana-McFarland (MM): Un modo classico, collaudato, come costruire una casa con mattoni standard.
Il metodo PSap (Spread Parziale): Un altro metodo classico, un po' più esotico, come costruire una casa su un terreno irregolare ma seguendo regole precise.

Per decenni, gli scienziati hanno pensato che tutti i castelli perfetti potessero essere costruiti usando questi due manuali (o combinazioni di essi). Ma negli ultimi anni, hanno scoperto che esistono castelli "ribelli" che non seguono nessuna di queste regole.

Questo articolo è come una mappa per trovare e costruire nuovi castelli ribelli, e per capire perché alcuni castelli non possono essere smontati.

🏗️ 1. Costruire Castelli Fuori dal Manuale (La Sezione 3)

Immagina che il manuale "Maiorana-McFarland" ti dica: "Per fare un castello perfetto, devi usare mattoni che si incastrano in un unico modo specifico".

Gli autori di questo paper hanno detto: "E se usassimo mattoni che si incastrano in modo diverso, ma che, messi insieme, creano comunque un castello perfetto?"

Hanno creato una nuova ricetta (chiamata GMM generalizzata) mescolando due tipi di mattoni diversi:

Un tipo di mattoni che segue la vecchia regola.
Un altro tipo di mattoni che segue una regola speculare (come se avessi girato la casa di 90 gradi).

L'analogia:
Pensa a un puzzle. Il manuale classico ti dice di mettere tutti i pezzi blu in alto e tutti i pezzi rossi in basso. Gli autori hanno detto: "E se mettessimo i pezzi blu in alto a sinistra e i pezzi rossi in basso a destra, ma in modo che l'immagine finale sia comunque perfetta?"

Hanno dimostrato che, se mescoli questi due tipi di mattoni in modo intelligente, ottieni un castello perfetto che non assomiglia a nessun castello costruito con i vecchi manuali. È un nuovo tipo di architettura che prima non conoscevamo.

🔍 2. Perché non si può smontare? (La Sezione 4)

Ora, immagina di avere un castello e di volerlo smontare pezzo per pezzo per vedere com'è fatto dentro.

Alcuni castelli si smontano facilmente in pezzi più piccoli (funzioni "semibent").
Altri si smontano in pezzi perfetti (funzioni "bent").

Gli autori hanno studiato una classe speciale di castelli (i generalizzati PSap) e hanno scoperto una cosa sorprendente: se il castello è abbastanza piccolo rispetto al terreno su cui è costruito, è impossibile smontarlo.

L'analogia:
Immagina di avere un castello di sabbia. Se provi a togliere un secchio di sabbia alla volta per vedere la struttura interna, il castello crolla o cambia forma. Non puoi smontarlo senza distruggerlo.
Gli autori hanno dimostrato matematicamente che questi nuovi castelli sono come quel castello di sabbia: la loro struttura è così intrecciata che non possono essere creati semplicemente "incollando" insieme pezzi più piccoli (una tecnica chiamata concatenazione). Sono entità uniche che nascono direttamente dalla loro forma complessa.

🧩 3. Costruire con i Pezzi di un Puzzle Gigante (La Sezione 5)

Infine, gli autori hanno trovato un modo creativo per costruire nuovi castelli perfetti partendo da un "puzzle gigante" (una funzione vettoriale).

L'analogia:
Immagina di avere un grande mosaico colorato (una funzione complessa). Questo mosaico è fatto di tanti piccoli tasselli (le sue "componenti").
Di solito, i tasselli da soli non formano un castello perfetto. Ma gli autori hanno scoperto che se prendi quattro tasselli specifici da questo mosaico e li incollai insieme in un ordine preciso (come un quadrato 2x2), il risultato è un nuovo castello perfetto!

È come se prendessi quattro pezzi di un'opera d'arte astratta e, incollandoli in un modo specifico, creassi un nuovo quadro che ha una proprietà magica che i pezzi singoli non avevano.

🎯 In Sintesi: Cosa ci dicono questi matematici?

Abbiamo trovato nuovi mattoni: Abbiamo creato nuove famiglie di funzioni perfette che non seguono le vecchie regole (sono fuori dal manuale Maiorana-McFarland).
Alcuni castelli sono indivisibili: Abbiamo provato che certi castelli perfetti non possono essere costruiti semplicemente unendo pezzi più piccoli; nascono da una complessità intrinseca.
Un nuovo modo di incollare: Abbiamo scoperto un trucco per prendere pezzi di un puzzle complesso e incollarli insieme per creare nuovi oggetti perfetti.

Perché è importante?
Questi "castelli matematici" sono fondamentali per la sicurezza informatica (crittografia). Più sono complessi e imprevedibili, più sono difficili da hackerare. Questo paper ci dà nuovi strumenti per costruire sistemi di sicurezza ancora più robusti, che non possono essere "smontati" dagli hacker usando le vecchie tecniche.

È come se avessimo scoperto nuovi tipi di lucchetti che nessuno sapeva come forare, perché non assomigliano a nessun lucchetto che avevamo visto prima.

Titolo: Generalizzazioni delle funzioni di Maiorana–McFarland e PSap

1. Il Problema e il Contesto

Lo studio si concentra sulle funzioni booleane piegate (bent functions), oggetti fondamentali nella crittografia e nella teoria dei codici, noti per la loro massima non-linearità. Esistono due costruzioni primarie classiche per generare queste funzioni:

La classe di Maiorana–McFarland (MM).
La classe di spread parziale (PSap), in particolare quella di Desargues.

Un problema aperto significativo nella ricerca recente è la costruzione di funzioni piegate che non appartengono alla classe completata MM (indicata come $MM^\#$ ). È noto che tutte le funzioni piegate in dimensioni fino a 6 appartengono a $MM^\#$ , ma in dimensioni superiori (es. 8 variabili) esistono funzioni al di fuori di questa classe. Tuttavia, la caratterizzazione e la costruzione sistematica di tali funzioni rimangono complesse. Inoltre, è cruciale comprendere se le funzioni piegate possano essere ottenute tramite construzioni secondarie (come la concatenazione di funzioni piegate o semi-piegate) o se possiedano proprietà strutturali intrinseche che le rendono irriducibili a tali metodi.

2. Metodologia

Gli autori adottano un approccio multidisciplinare che combina:

Teoria delle funzioni booleane: Analisi delle derivate di secondo ordine e dei criteri di equivalenza estesa-affine (EA-equivalenza).
Teoria dei campi finiti: Utilizzo di rappresentazioni bivariate ( $F_{2^m} \times F_{2^m}$ ) e proprietà delle permutazioni polinomiali.
Geometria algebrica: Impiego della teoria delle curve algebriche e dei loro campi di funzioni per stimare il numero di punti razionali affini. In particolare, si utilizzano curve di tipo Artin-Schreier e il limite di Hasse-Weil per dimostrare l'esistenza di punti razionali su curve definite su campi finiti, il che permette di provare la non-constantità di certe derivate.
Decomposizione: Analisi della decomposizione di una funzione piega rispetto a sottospazi di codimensione 2 (decomposizione 4-decomposizione).

3. Contributi Chiave e Risultati

A. Costruzione di funzioni GMM fuori dalla classe $MM^\#$

Gli autori generalizzano la costruzione di Maiorana–McFarland (classe GMM) creando famiglie di funzioni piegate che non sono equivalenti a nessuna funzione nella classe classica MM o PSap.

Meccanismo: Si parte da funzioni MM che possiedono un unico sottospazio M (M-subspace) massimale di dimensione $n/2$ . Combinando queste funzioni in modo che non condividano sottospazi M comuni di dimensione elevata, si ottiene una funzione GMM in dimensione superiore.
Risultato Teorico: Viene dimostrato che, sotto certe condizioni sui parametri ( $n > 2k + 4$ ), la funzione risultante non ammette sottospazi M di dimensione sufficiente per rientrare nella classe completata $MM^\#$ .
Esempi Espliciti: Vengono forniti esempi concreti utilizzando permutazioni specifiche come:
- La funzione inversa moltiplicativa $\pi(x) = x^{2^m-2}$ .
- Le funzioni di Gold $\pi(x) = x^{2^k+1}$ (con condizioni su $k$ e $m$ ).
  Questi esempi generano funzioni piegate che non appartengono né a $MM^\#$ né alla classe completata $PS_{ap}^\#$ .

B. Decomposizione delle funzioni Generalizzate PSap

Il secondo contributo principale è l'investigazione sulla decomponibilità delle funzioni PSap generalizzate.

Definizione: Una funzione ammette una decomposizione "piegata" (bent) o "semi-piegata" (semibent) se la sua restrizione a un sottospazio di codimensione 2 è composta da funzioni piegate o semi-piegate.
Risultato Principale: Gli autori dimostrano che, quando il grado algebrico della funzione è sufficientemente piccolo rispetto alla dimensione del campo finito ( $m$ ), le funzioni PSap generalizzate non ammettono, in generale, una decomposizione in funzioni piegate o semi-piegate.
Strumento di Prova: La prova si basa sull'analisi della derivata di secondo ordine della funzione duale. Utilizzando il limite di Hasse-Weil sulle curve algebriche associate, si dimostra che tale derivata non è costante (né 0 né 1), il che implica l'assenza di decomposizione.
Significato: Questo risultato è cruciale perché esclude la possibilità di ottenere queste funzioni tramite costruzioni secondarie basate sulla concatenazione di funzioni note, confermando la loro natura "primaria" e intrinsecamente complessa.

C. Costruzione Secondaria tramite Concatenazione

Nonostante i risultati negativi sulla decomponibilità delle funzioni PSap generalizzate, gli ultimi autori presentano una nuova costruzione secondaria di funzioni piegate.

Idea: Sfruttando la struttura delle componenti di una funzione vettoriale PSap generalizzata, si dimostra che è possibile costruire nuove funzioni piegate booleane concatenando le sue componenti.
Risultato: Viene fornita una formula esplicita (Teorema 3 e 4) per generare funzioni piegate dalla concatenazione di componenti di funzioni vettoriali PSap, sfruttando proprietà specifiche delle distribuzioni delle preimmagini delle funzioni di spread.

4. Significato e Implicazioni

Espansione dello Spazio delle Funzioni Pieghe: Il lavoro fornisce nuove famiglie esplicite di funzioni piegate che risiedono al di fuori delle classi note ( $MM^\#$ e $PS_{ap}^\#$ ), arricchendo il panorama delle funzioni crittograficamente robuste.
Limiti delle Costruzioni Secondarie: Dimostrando che molte funzioni PSap generalizzate non sono decomponibili, il paper chiarisce i limiti delle tecniche di concatenazione standard, suggerendo che per generare certe classi di funzioni piegate sono necessarie costruzioni primarie più sofisticate.
Metodologia Innovativa: L'uso combinato della teoria delle derivate di secondo ordine e della geometria algebrica (curve su campi finiti) offre un potente strumento analitico per studiare la struttura delle funzioni booleane, superando i limiti dei metodi puramente combinatori o computazionali.
Applicazioni Crittografiche: Poiché le funzioni piegate sono essenziali per la progettazione di S-box resistenti agli attacchi lineari e differenziali, la disponibilità di nuove classi non equivalenti a quelle note aumenta la diversità e la sicurezza dei sistemi crittografici.

In sintesi, il paper avanza significativamente la comprensione della struttura algebrica delle funzioni piegate, fornendo sia nuovi esempi costruttivi che limiti teorici sulla loro decomponibilità, con un forte impatto sulla teoria dei codici e la crittografia.