🔢 mathematics

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

Dit artikel presenteert generalisaties van de Maiorana-McFarland- en $\mathcal{PS}_{ap}$ -klassen van Booleaanse gebogen functies, waarbij nieuwe families worden geconstrueerd die buiten de voltooide klassen vallen en de decompositie en secundaire constructie van deze functies worden onderzocht met behulp van methoden uit de theorie van algebraïsche krommen.

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

Gepubliceerd 2026-03-31

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

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

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 Bouwmeesters van Onbreekbare Codes: Een Verhaal over Booleane Functies

Stel je voor dat je een enorme, ingewikkelde puzzel moet oplossen. De stukjes van deze puzzel zijn niet van karton, maar van wiskundige logica. In de wereld van cryptografie (de kunst van het maken van onbreekbare codes) zijn er speciale stukjes puzzel die "bent" worden genoemd.

Waarom zijn ze zo speciaal? Omdat ze perfect gebalanceerd zijn. Als je ze gebruikt om een wachtwoord te maken of een signaal te versleutelen, is het voor een hacker onmogelijk om een patroon te vinden. Het is alsof je een sleutel maakt die in elk slot past, maar die niemand kan nabootsen.

Deze wetenschappers hebben een nieuw boek geschreven over hoe je deze speciale "perfecte sleutels" kunt maken, en vooral: hoe je ze kunt maken die niet op de oude, bekende manieren zijn gebouwd.

Hier is de uitleg, vertaald naar alledaags taalgebruik:

1. De Twee Oude Bouwmethodes (De Klassiekers)

In het verleden waren er twee hoofdmanieren om deze perfecte sleutels te bouwen:

De MM-methode (Maiorana-McFarland): Denk hieraan als een standaard huisbouwer. Je gebruikt een vaste formule: "Neem een muur, plak er een raam op, en je hebt een kamer." Dit werkt altijd, maar het resultaat ziet er altijd ongeveer hetzelfde uit.
De PSap-methode (Partial Spread): Dit is meer als een tuinman die bloemen in een specifiek patroon plant. Je verdeelt de grond in vakken en plant in elk vak een andere bloem, maar volgens een strikt stramien.

Het probleem? Alle bekende "perfecte sleutels" tot nu toe leken op een van deze twee methodes. Als je de sleutel van de MM-methode nam en hem een beetje draaide of verschoof (een wiskundige term: EA-equivalentie), zag je dat hij eigenlijk nog steeds een MM-sleutel was.

2. Het Nieuwe Avontuur: De "Buitenstaanders"

De auteurs van dit paper zeggen: "Laten we iets nieuws bouwen dat er niet uitziet als een MM-huis of een PSap-tuin."

Ze hebben twee grote dingen gedaan:

A. Het bouwen van een nieuw type MM-huis
Ze hebben een manier bedacht om de oude MM-methode te "verdraaien".

De analogie: Stel je voor dat je een LEGO-constructie hebt. Normaal bouw je altijd met dezelfde blokken in dezelfde volgorde. Deze auteurs hebben een truc bedacht om de blokken zo te mixen, dat het eruitziet als een MM-constructie, maar als je er met een vergrootglas (de wiskundige "tweede orde afgeleide") naar kijkt, zie je dat de verbindingen anders zijn.
Het resultaat: Ze hebben families van sleutels gemaakt die niet in de oude "MM-club" passen. Ze zijn uniek. Ze zijn net als een huis dat eruitziet als een bungalow, maar als je de fundering bekijkt, blijkt het eigenlijk een kasteel te zijn dat in een heel ander universum hoort.

B. Het onderzoeken van de "Tuin" (PSap)
Vervolgens keken ze naar de PSap-methode (de tuin). Ze vroegen zich af: "Kunnen we deze complexe tuinen ontleden in kleinere, makkelijkere stukjes?"

De analogie: Stel je hebt een prachtige, ingewikkelde mozaïekmuur. Vaak kun je zeggen: "Ah, dit stukje is een simpele tegel, en dat stukje is een andere simpele tegel." Je kunt de muur dus "ontleden" in simpele onderdelen.
De ontdekking: De auteurs bewezen dat voor bepaalde nieuwe, complexe tuinen (de generalized PSap functies), dit niet kan. Als je probeert ze in simpele stukjes te breken, vallen ze uit elkaar. Ze zijn te ingewikkeld om uit simpele bouwstenen te bestaan.
Waarom is dit belangrijk? Veel oude methodes om nieuwe codes te maken, deden precies dit: ze plakten simpele codes aan elkaar (concatenatie). Omdat deze nieuwe tuinen niet uit simpele stukjes bestaan, kun je ze niet maken met de oude "plak-technieken". Ze zijn echt nieuw en origineel.

3. De Wiskundige Magie: Krommen en Spiegels

Hoe hebben ze dit bewezen? Ze gebruikten twee krachtige gereedschappen:

Spiegels (Dualiteit): Elke sleutel heeft een spiegelbeeld. Als je het spiegelbeeld bekijkt, zie je vaak de verborgen structuur van de originele sleutel.
Wiskundige Krommen (Algebraïsche Curven): Dit klinkt eng, maar stel je voor dat je een lijn tekent op een vel papier. Als je die lijn in een eindige wereld (een "eindig veld") tekent, kun je tellen hoeveel punten er op de lijn liggen. De auteurs gebruikten deze tellingen om te bewijzen dat bepaalde patronen simpelweg niet kunnen bestaan. Het is alsof ze bewezen hebben dat je een driehoek met vier rechte hoeken niet kunt tekenen, door te tellen hoeveel hoeken er in de wereld zijn.

4. Waarom doen ze dit?

In de digitale wereld zijn we bang voor hackers. Als hackers een manier vinden om te voorspellen hoe een code werkt, is de beveiliging weg.

Als we alleen maar oude methodes gebruiken (MM en PSap), weten hackers precies waar ze moeten zoeken.
Door nieuwe, "buitenstaander"-codes te bouwen die er niet uitzien als de oude, maken we het voor hackers veel moeilijker. Het is alsof je je huis niet meer bouwt met de standaard blauwdrukken die iedereen in de buurt heeft, maar met een ontwerp dat nog nooit eerder is gezien.

Samenvatting in één zin

De auteurs van dit paper hebben bewezen dat je nieuwe, onbreekbare codes kunt bouwen die er niet uitzien als de oude, bekende types, en dat deze nieuwe codes te complex zijn om uit simpele onderdelen te worden samengesteld, waardoor ze een nieuwe, veilige weg openen voor de cryptografie.

Het is een feestje van creativiteit in de wiskunde, waar ze laten zien dat er nog steeds heel veel nieuwe, unieke "sleutels" te vinden zijn in de enorme kluis van de getallen.

Titel: Over Generalisaties van Maiorana–McFarland en PSap-functies

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

1. Probleemstelling en Context

Bent-functies (buigfuncties) zijn een cruciale klasse van Boolese functies met maximale niet-lineariteit, wat ze essentieel maakt voor cryptografische toepassingen (zoals streamciphers en blokcijfers). Hoewel er bekende primaire constructies zijn, zoals de Maiorana–McFarland (MM) klasse en de Desarguesiaanse partiele spreiding (PSap) klasse, is het een actief onderzoeksgebied om bent-functies te construeren die niet tot de voltooiden (completed) klassen van deze constructies behoren.

De kern van het probleem is tweeledig:

Het construeren van nieuwe families van bent-functies die buiten de voltooiden MM-klasse ( $MM^\#$ ) vallen.
Het begrijpen van de structuur van generalisaties van PSap-functies, specifiek of deze kunnen worden ontleed (decompositie) in eenvoudigere bent- of semibent-functies via concatenatie.

Het artikel richt zich op binaire (Boolese) functies, maar presenteert resultaten in de bredere context van $p$ -ary functies.

2. Methodologie

De auteurs maken gebruik van een combinatie van algebraïsche methoden en theorieën van algebraïsche krommen:

Dillon's Criterium: Om te bepalen of een functie tot de $MM^\#$ -klasse behoort, gebruiken ze een criterium gebaseerd op tweede-orde afgeleiden. Een Boolese bent-functie behoort tot $MM^\#$ dan en slechts dan als er een $m$ -dimensionale vectorruimte $U$ bestaat waarvoor de tweede-orde afgeleiden $D_a D_b f(x)$ identiek nul zijn voor alle $a, b \in U$ .
Algebraïsche Krommen en Functievelden: Om te bewijzen dat bepaalde functies geen decompositie toelaten, analyseren de auteurs het aantal rationale punten op algebraïsche krommen gedefinieerd over eindige velden. Ze maken gebruik van de Hasse-Weil-grens en de Hurwitz-genusformule om te garanderen dat bepaalde krommen rationale punten hebben, wat impliceert dat de tweede-orde afgeleiden niet constant zijn.
Concatenatie: Ze onderzoeken hoe bent-functies kunnen worden geconstrueerd door componenten van vectoriële functies aan elkaar te plakken (concatenatie).

3. Belangrijkste Bijdragen en Resultaten

A. Constructie van Generalized Maiorana–McFarland (GMM) functies buiten $MM^\#$

De auteurs presenteren een nieuwe constructie van GMM-functies die niet equivalent zijn aan klassieke MM-functies.

Methode: Ze combineren MM-functies die slechts triviale gemeenschappelijke $M$ -ruimten (subruimten waar tweede-orde afgeleiden verdwijnen) delen. Specifiek gebruiken ze een MM-functie $h$ met een unieke $M$ -ruimte van dimensie $n/2$ en passen een lineaire permutatie toe om een nieuwe functie te creëren.
Resultaat: Ze bewijzen dat voor bepaalde parameters (waarbij $m > k + 2$ ), de geconstrueerde functie $f$ geen $M$ -ruimte van dimensie $n/2 + k$ bezit. Omdat functies in de $MM^\#$ -klasse dergelijke grote $M$ -ruimten moeten hebben, ligt deze nieuwe familie strikt buiten de $MM^\#$ -klasse.
Specifieke voorbeelden: Ze identificeren permutaties (zoals $x \mapsto x^{2^m-2}$ en Gold-permutaties $x \mapsto x^{2^k+1}$ ) die voldoen aan de vereiste eigenschappen om deze constructie mogelijk te maken.

B. Decompositie van Generalized PSap-functies

De auteurs onderzoeken of generalisaties van PSap-functies kunnen worden ontbonden in bent- of semibent-functies via concatenatie (4-decompositie).

Resultaat: Ze bewijzen dat wanneer de graad van de onderliggende functie klein is ten opzichte van de grootte van het eindige veld, deze functies in het algemeen geen decompositie toelaten.
Technische onderbouwing: Ze tonen aan dat de tweede-orde afgeleiden van de duale functie niet constant zijn (noch 0, noch 1). Dit betekent dat de functie noch een "bent-decompositie" (vereist $D_u D_v f^* = 1$ ) noch een "semibent-decompositie" (vereist $D_u D_v f^* = 0$ ) toelaat.
Conclusie: Deze functies kunnen dus niet worden verkregen via bekende secundaire constructies die gebaseerd zijn op het samenvoegen van bestaande bent- of semibent-functies.

C. Secundaire Constructie via Concatenatie van Vectoriële PSap-componenten

Als tegenhanger voor de negatieve resultaten in de decompositie, presenteren ze een nieuwe secundaire constructie.

Methode: Ze gebruiken de componenten van vectoriële generalisaties van PSap-functies. Door specifieke componenten te selecteren en deze te concateneren volgens een vast patroon (gebaseerd op de eigenschap dat de duale functies van de componenten voldoen aan een lineaire relatie), construeren ze nieuwe Boolese bent-functies.
Resultaat: Ze geven een expliciete formule (Theorema 3 en 4) voor het construeren van bent-functies op $F_{2^m} \times F_{2^m} \times F_2 \times F_2$ die voortkomen uit deze structuur.

4. Significance en Impact

Uitbreiding van de Kennisbasis: Het artikel levert een significante bijdrage aan het classificeren van bent-functies door expliciete families te construeren die buiten de bekende $MM^\#$ - en $PS_{ap}^\#$ -klassen vallen. Dit is belangrijk omdat de $MM^\#$ -klasse slechts een klein deel van alle mogelijke bent-functies beslaat.
Structuurtheorie: De resultaten over decompositie geven dieper inzicht in de algebraïsche structuur van PSap-achtige functies. Het bewijs dat deze functies niet via eenvoudige concatenatie kunnen worden verkregen, scheidt ze fundamenteel van andere bekende families.
Methodologische Innovatie: Het succesvol toepassen van de theorie van algebraïsche krommen (Hasse-Weil-grenzen) om eigenschappen van Boolese functies (zoals decomposeerbaarheid) te bewijzen, biedt een krachtig nieuw gereedschap voor het cryptografisch onderzoek.
Cryptografische Toepassingen: Het creëren van nieuwe, niet-equivalente bent-functies is essentieel voor het ontwerpen van cryptografische systemen die resistent zijn tegen lineaire en differentieaanvallen, aangezien bekende klassen vaak kwetsbaar zijn voor specifieke cryptanalytische technieken.

Kortom, dit artikel verrijkt het landschap van de constructie van bent-functies door zowel nieuwe voorbeelden te bieden als de beperkingen van bestaande constructiemethoden wiskundig te onderbouwen.