🔢 mathematics

Orthomorphism Polynomials of degree $7$ over finite fields

Voortbouwend op de classificatie van Xiang Fan uit 2019 van permutatiepolynomen van graad 7, bepaalt dit artikel de volledige lijst van orthomorfisme-polynomen van graad 7 over eindige lichamen van specifieke orden, terwijl het tegelijkertijd hun niet-bestaan in bepaalde andere gevallen vaststelt.

Oorspronkelijke auteurs: Bhitali Kousik, Dhiren Kumar Basnet

Gepubliceerd 2026-01-30

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Bhitali Kousik, Dhiren Kumar Basnet

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

Stel je voor dat je een meesterarchitect bent die werkt met een zeer specifieke set bouwstenen. Deze blokken leven in een wereld die een "eindig veld" wordt genoemd, wat een soort kleine, zelfvoorzienende universum is met een vast aantal elementen (laten we zeggen 11, 13 of 17). In dit universum heb je een speciale regel: je mag alleen getallen gebruiken die binnen dat specifieke universum bestaan.

Het papier waar je naar vraagt, is een gedetailleerde kaart gemaakt door twee architecten, Kousik Bhitali en Dhiren Kumar Basnet. Zij proberen een heel specifiek type structuur te vinden: een Orthomorfisme-polynoom.

Hier is de eenvoudige uitleg van wat ze hebben gedaan en wat ze hebben gevonden:

De twee regels van het spel

Om een "Orthomorfisme"-structuur te bouwen, moet je twee strikte regels tegelijkertijd volgen:

Regel A: Als je je structuur neemt en er elk enkel getal uit je universum in plopt, moet de output een perfecte schudding zijn. Elk getal komt precies één keer naar buiten, zonder duplicaten en zonder ontbrekende stukjes. (In wiskundige termen is dit een Permutatie-polynoom).
Regel B: Als je je structuur neemt, het oorspronkelijke getal dat je erin stopte ervan aftrekt, en naar het nieuwe resultaat kijkt, moet dat nieuwe resultaat ook een perfecte schudding van het universum zijn.

Als een structuur beide tests doorstaat, is het een winnaar. Als hij zelfs maar één test faalt, is het een verliezer.

De uitdaging: De "Graad 7" Toren

De auteurs waren specifiek geïnteresseerd in het bouwen van torens van een specifieke hoogte: Graad 7. Denk aan dit als een polynoomvergelijking waarbij de hoogste macht van $x$ 7 is (zoals $x^7 + \dots$ ).

Ze wilden weten: "In welke van deze kleine universums (eindige velden) kunnen we daadwerkelijk een Graad 7 toren bouwen die aan zowel Regel A als Regel B voldoet?"

Het detectivewerk

De auteurs gokten niet zomaar wat. Ze gebruikten een mix van wiskundige logica en computerkracht (specifiek een programma genaamd SageMath) om als detectives op te treden.

De Filter: Ze wisten uit eerder onderzoek dat de meeste Graad 7 torens "onmogelijk" te bouwen zijn in de meeste universums. Ze hadden een lijst met "kandidaat"-universums om te controleren.
De Transformatie: Ze realiseerden zich dat veel torens er anders uitzien, maar eigenlijk dezelfde structuur zijn, alleen geroteerd of gespiegeld (wiskundig gezien "lineaire transformaties" genoemd). In plaats van elke variatie te controleren, controleerden ze de "basis"-versies en berekenden ze daarna hoeveel variaties er bestonden.
De Test: Voor elke kandidaat voerden ze de twee regels uit. Ze vroegen aan de computer: "Schudt dit polynoom de getallen? En schudt het polynoom minus $x$ ook de getallen?"

De Grote Ontdekking

Na het controleren van veel universums, vonden ze een zeer specifiek patroon.

De "Ja"-lijst:
Orthomorfisme-polnomia van graad 7 bestaan alleen in universums met deze specifieke groottes:

11, 13, 17, 19 en 25.

Voor deze groottes zeiden ze niet alleen "ja"; ze schreven de exacte blauwdrukken op voor elke mogelijke winnende structuur.

Voor het universum van grootte 13 vonden ze exact 6.422 unieke winnende structuren.
Voor het universum van grootte 11, vonden ze 7.260.
Voor grootte 25, vonden ze een enorme 60.000.

De "Nee"-lijst:
Ze bewezen ook dat het in veel andere universums onmogelijk is om een dergelijke structuur te bouwen.

Als de grootte van het universum 23 of 31 is, bestaat er geen dergelijke structuur.
Als de grootte van het universum 49 is (wat $7 \times 7$ is), bestaan er wel structuren, maar deze zijn "speciaal" of "uitzonderlijk" (wat betekent dat ze anders werken dan de standaardstructuren die in de kleinere velden worden gevonden).
Als de grootte van het universum 27 of grotere veelvouden van 7 is, vonden ze geen standaard structuren.

De "Uitzonderlijke" versus "Niet-Uitzonderlijke"

Het papier maakt een onderscheid tussen twee soorten winnaars:

Niet-Uitzonderlijk: Dit zijn de "standaard" winnaars gevonden in de groottes 11, 13, 17, 19 en 25. Dit is de hoofdfocus van het papier.
Uitzonderlijk: Dit zijn zeldzame, speciale gevallen die verschijnen in grotere velden (zoals 49) of onder specifieke condities. De auteurs brachten ook deze in kaart en merkten op dat in velden zoals $F_{49}$ , alle graad 7 orthomorfismen van dit "uitzonderlijke" type zijn.

De Conclusie

In simpele woorden is dit papier een complete catalogus. Het vertelt ons exact waar we deze speciale wiskundige schudstructuren van graad 7 kunnen vinden en hoe ze eruitzien.

Als je in een universum bent van grootte 11, 13, 17, 19 of 25: Je kunt ze bouwen, en hier is de lijst van elk van hen.
Als je in een universum bent van grootte 23, 31 of 27: Je kunt ze niet bouwen (tenminste niet de standaard soort).
Als je in een universum bent van grootte 49: Je kunt ze bouwen, maar ze zijn allemaal van het "uitzonderlijke" type, en er zijn er bijna 4 miljoen.

De auteurs hebben hiermee het boek over deze specifieke puzzel voor alle meest voorkomende eindige velden gesloten, en bieden een definitief antwoord op de vraag: "Waar bestaan deze specifieke wiskundige schuddingen?"

Technische Samenvatting: Orthomorfisme-polynomen van graad 7 over eindige lichamen

Probleemstelling
Het artikel behandelt de classificatie van orthomorfisme-polynomen (OP's) van graad 7 over eindige lichamen $\mathbb{F}_q$ . Een polynoom $f \in \mathbb{F}_q[x]$ wordt gedefinieerd als een orthomorfisme-polynoom als zowel $f(x)$ als $f(x) - x$ permutatie-polynomen (PP's) zijn over $\mathbb{F}_q$ . Terwijl eerdere werken door Neiderreiter, Robinson, Shallue en Wanless de classificatie van complete permutatie-polynomen (CPP's) en OP's voor graden kleiner dan 7 en specifieke graad 6 gevallen hadden behandeld, bleven de expliciete vormen en de volledige enumeratie van graad 7 OP's een openstaand probleem voor diverse orde van het lichaam. De auteurs beogen de volledige lijst van niet-exceptionale OP's van graad 7 te bepalen en een gedeeltelijke karakterisering van de exceptionale eenen te bieden.

Methodologie
De auteurs maken gebruik van een combinatie van theoretische classificatieresultaten en computationele enumeratie:

Reductie via lineaire transformaties: De studie steunt op het werk van Xiang Fan [2], dat vaststelt dat elke graad 7 PP over $\mathbb{F}_q$ lineair gerelateerd is aan een genormaliseerde vorm $x^7 + \sum_{i=1}^5 f_i x^i$ . Twee polynomen zijn "lineair gerelateerd" als de een in de ander getransformeerd kan worden via $g(x) = af(bx+c)+d$.
Onderscheid tussen PP's en OP's: Een kritieke methodologische uitdaging die wordt opgemerkt, is dat hoewel lineaire transformaties de eigenschap van een PP behouden, zij de eigenschap van een OP niet noodzakelijkerwijs behouden. Daarom kunnen de auteurs niet simpelweg controleren of een genormaliseerde PP een OP is; ze moeten de specifieke schalingsfactoren $\alpha$ en $\beta$ bepalen zodat $\alpha f(\beta x)$ (en de bijbehorende verschuivingen) aan de OP-voorwaarde voldoet.
Systematische enumeratie:
- De auteurs gebruiken Lemma 2 [2] om alle niet-exceptionale PP's van graad 7 voor specifieke orde van het lichaam ( $q \in \{11, 13, 17, 19, 23, 25, 31\}$ ) te identificeren.
- Voor elke kandidaat-polynoomfamilie construeren zij systemen van vergelijkingen afgeleid van de voorwaarde dat $h(x) = \alpha f(\beta x) - x$ ook een PP moet zijn (en dus lineair gerelateerd is aan een van de bekende genormaliseerde vormen).
- Deze systemen worden opgelost met het computeralgebrasysteem SageMath om geldige paren $(\alpha, \beta) \in (\mathbb{F}_q^*)^2$ te vinden.
- Lemma 3 [5] wordt gebruikt om de volledige set van OP's te genereren vanuit geldige basispolynomen via translaties $f(x+\gamma) + \delta$ .
- Lemma 4 garandeert dat onderscheidende paren $(\alpha, \beta)$ onderscheidende polynomen opleveren, wat een exacte telling mogelijk maakt.

Belangrijkste bijdragen en resultaten

Bestaan en classificatie voor niet-exceptionale OP's:
Het artikel bewijst dat een niet-exceptionale orthomorfisme-polynoom van graad 7 bestaat over $\mathbb{F}_q$ (voor $q > 7$ ) dan en slechts dan als $q \in \{11, 13, 17, 19, 25\}$ .
- Expliciete lijsten: De auteurs bieden expliciete vormen van deze polynomen voor elk geldig $q$ , geparametriseerd door de paren $(\alpha, \beta)$ .
- Exacte tellingen:
  - $\mathbb{F}_{11}$ : 7.260 OP's (20 exceptional).
  - $\mathbb{F}_{13}$ : 6.422 OP's (4 exceptional).
  - $\mathbb{F}_{17}$ : 4.624 OP's (allemaal niet-exceptional).
  - $\mathbb{F}_{19}$ : 4.332 OP's (4 exceptional).
  - $\mathbb{F}_{25}$ : 60.000 OP's (20 exceptional).
- Deze tellingen voor $q=11, 13, 17$ komen exact overeen met de gegevens geleverd door Shallue en Wanless [7].
Niet-bestaande resultaten:
De studie stelt het niet-bestaan vast van graad 7 OP's over $\mathbb{F}_{23}$ en $\mathbb{F}_{31}$ . Bovendien bevestigt het dat er geen OP's bestaan voor lichamen waar $q \equiv 6 \pmod 7$ (behalve $q=13$ ), waarmee eerdere resultaten over lichamen met karakteristiek 2 worden uitgebreid.
Exceptionale polynomen:
Het artikel karakteriseert exceptionale OP's (die PP's zijn over oneindig veel uitbreidingen).
- Voor $\mathbb{F}_{49}$ (en algemeen $\mathbb{F}_{7^t}, t \ge 2$ ), zijn alle graad 7 OP's exceptional.
- De auteurs bieden een expliciete karakterisering voor $\mathbb{F}_{49}$ , waarbij zij een totaal van 3.937.640 dergelijke polynomen vermelden.
- Er wordt aangetoond dat er voor $\mathbb{F}_{27}$ geen OP's van graad 7 bestaan.

Significantie
Het artikel claimt de classificatie van niet-exceptionale orthomorfisme-polynomen van graad 7 te voltooien voor alle eindige lichamen waar dergelijke polynomen bestaan. Door de tellingen te verifiëren tegen bestaande gegevens voor kleinere lichamen en de analyse uit te breiden naar $q=19, 25, 49$ , vullen de auteurs de hiaten in de literatuur betreffende graad 7 OP's op. Het werk biedt een definitieve lijst van expliciete vormen voor deze polynomen, die relevant zijn voor ontwerptheorie, in het bijzonder voor de constructie van Latijnse vierkanten. De auteurs merken op dat toekomstig werk het zou omvatten het onderzoeken van lichamen $\mathbb{F}_{7^r}$ ( $r \ge 3$ ) en lichamen met $q > 31$ waar $q \not\equiv 0, 1, 6 \pmod 7$ , hoewel zij verwachten dat daar enkel exceptionale polynomen gevonden zullen worden.