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

Technische Samenvatting: Dimensierigiditeit en Projectieve Meetkunde van Trace-Product Switching van de Gold Cube

Probleemstelling
Het artikel onderzoekt de modificatie van de Gold bijna perfect niet-lineaire (APN) functie, gedefinieerd als $F(x) = x^3$ over het eindige veld $\mathbb{F}_{2^n}$ (waarbij $n$ even is), via een scalaire trace-product switching-mechanisme. Specifiek analyseert de studie functies van de vorm:
$$F_{n,\theta}(x) = x^3 + \theta Q_n(x)$$
waarbij $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)$ een genormaliseerde kwadratische Booleaanse vorm is, $\theta \in \mathbb{F}_{2^n}$ een coëfficiënt is, en $\lambda$ een primitief element van $\mathbb{F}_4$ is. Het centrale probleem is te bepalen voor welke even dimensies $n$ en welke niet-nul coëfficiënten $\theta$ de resulterende functie $F_{n,\theta}$ de APN-eigenschap behoudt. Hoewel eerder werk (bijv. de dissertatie van Arshad) ruwe lijsten van toelaatbare coëfficiënten leverde voor kleine dimensies ($n=6, 8$), ontbrak een verenigde theoretische beschrijving en een bewijs van niet-bestaan voor grotere dimensies.

Methodologie
De auteur maakt gebruik van een combinatie van algebraïsche meetkunde, karakter-som schattingen en computationele verificatie:

1. Low-Rank Afgeleide Framework: Het artikel stelt een "Low-Rank Fixed-Point Criterion" op (Stelling 3.1). Dit generaliseert bestaande hypervlak-injectiviteitscriteria naar willekeurige rank-$r$ updates. Het reduceert de APN-verificatie van een update $F + U \circ q$ tot het controleren of een lineaire afbeelding $U$ vooraf berekende "verboden verzamelingen" vermijdt die afgeleid zijn van de afgeleide afbeeldingen van de basisfunctie. Dit maakt efficiënte lidmaatschapstests mogelijk ($2^r - 1$ tests) in plaats van uitputtend APN-onderzoek.
2. Section-Product Criterium: Voor de specifieke scalaire trace-product familie leidt de auteur een geometrisch criterium af (Stelling 4.2). Zij tonen aan dat $F_{n,\theta}$ APN is dan en slechts dan als $\theta$ niet representeerbaar is als een "section product" $c^3 + d^3$ waarbij $c, d$ voldoen aan specifieke relatieve trace-condities ($T(c)=1, T(d)=0$). Dit transformeert het probleem in het tellen van oplossingen voor de vergelijking $c^3 + d^3 = \theta$ onder trace-restricties.
3. Analytische en Eindige Bruggen:
   • Voor kleine dimensies ($n=4, 6, 8$) gebruikt de auteur directe algebraïsche manipulatie en Frobenius-orbiet certificaten om toelaatbare coëfficiënten te classificeren.
   • Voor $n \ge 10$ maakt het artikel gebruik van additieve karakter-schattingen op de projectieve Fermat kubische curve $X^3 + Y^3 = \theta Z^3$. Door het aantal affiene punten te begrenzen met Weil-bounds en Artin–Schreier geleider-analyse, bewijzen zij dat het aantal oplossingen $h_n(\theta)$ strikt positief is voor alle $\theta \neq 0$ wanneer $n \ge 14$.
   • Voor de tussenliggende gevallen $n=10$ en $n=12$ dienen exacte eindige berekeningen (XOR-convolutie van trace-vezels) als "bruggen" om niet-bestaan te bevestigen.
4. Projectieve Classificatie (Dimensie 8): In dimensie 8 breidt de auteur de analyse uit naar rank-twee combinaties van projectieve trace-vormen. Zij gebruiken de projectieve lijn $\mathbb{P}^1(\mathbb{F}_4)$ om de extensies te parametriseren, waarbij een binaire trace-selector wordt ingezet om geldige coëfficiëntparen te identificeren.

Belangrijkste Bijdragen en Resultaten

• Dimensierigiditeitstheorema: Het artikel bewijst een strikte "dimensieladder" voor dit switching-mechanisme:
  • $n=4$: Toelaatbare coëfficiënten zijn de niet-nul elementen van het trace-nul hypervlak ($\text{Tr}(\theta)=0$). Deze afbeeldingen zijn EA-equivalent aan de oorspronkelijke Gold-functie.
  • $n=6$: Toelaatbare coëfficiënten zijn exact de zes elementen met multiplicatieve orde 9 in $\mathbb{F}_{64}$.
  • $n=8$: Toelaatbare coëfficiënten zijn de niet-nul elementen van het subveld $\mathbb{F}_4^*$.
  • $n \ge 10$ (even): Geen enkele niet-nul coëfficiënt $\theta$ levert een APN-functie op. De verzameling toelaatbare coëfficiënten is leeg.
• Intrinsieke Karakterisering: Het artikel biedt de eerste intrinsieke, basis-onafhankelijke beschrijvingen voor de coëfficiëntlijsten die eerder in de dissertatie van Arshad werden gevonden voor $n=6$ en $n=8$, waarbij ruwe veldcoördinaten worden vervangen door algebraïsche eigenschappen (orde 9 en subveld-lidmaatschap, respectievelijk).
• Projectieve Rank-Twee Extensies ($n=8$): De auteur classificeert genormaliseerde rank-twee extensies in dimensie 8. Zij demonstreren dat de parameterruimte $\mathbb{P}^1(\mathbb{F}_4)$ is, waarbij elk van de vier niet-basis punten exact twee geaccepteerde coëfficiëntparen ondersteunt. Deze acht gemarkeerde switchings vormen exact twee EA-klassen (en consequent twee CCZ-klassen), georganiseerd in twee Frobenius-cycli.
• Computationeel Instrument: Een herbruikbaar, centrum-onafhankelijk fixed-point criterium wordt geleverd, dat APN-testen voor rank-$r$ updates reduceert tot $2^r - 1$ incidentie-tests tegen vooraf berekende verboden verzamelingen.

Betekenis en Claims
Het artikel claimt dat de primaire bijdrage de uniforme niet-bestaan resultaat voor dimensies $n \ge 10$ is en de intrinsieke geometrische beschrijving van de toelaatbare verzamelingen in lagere dimensies.

• Methodologische Waarde: Het "dimensierigiditeit" resultaat verwijdert een hele klasse van switching-mechanismen uit de zoekruimte voor nieuwe APN-functies in grotere even dimensies, wat toekomstig cryptografisch onderzoek stroomlijnt.
• Structureel Inzicht: De resultaten beschrijven de "lokale organisatie" van bekende globale APN-klassen rond de Gold-center. Het artikel verheldert dat hoewel de resulterende globale klassen bekend zijn, het specifieke mechanisme van trace-product switching sterk beperkt is en alleen functioneert in dimensies 4, 6 en 8.
• Reproduceerbaarheid: Het werk benadrukt rigoureuze reproduceerbaarheid door exacte JSON-certificaten, Python-scripts en SHA-256 checksums te verstrekken voor alle eindige berekeningen (inclus kind de 12-rij en 33-rij orbiet-certificaten en de $n=10, 12$ bruggen). De auteur stelt expliciet dat de computer-ondersteunde stappen hulp bij de analytische bewijzen voor $n \ge 14$ en de algebraïsche afleidingen voor $n < 10$ zijn.

Het artikel claimt niet de ontdekking van nieuwe globale APN-klassen, maar brengt de precieze grenzen en structurele eigenschappen in kaart van hoe de Gold-functie lokaal gemodificeerd kan worden via trace-product switching.