🔢 mathematics

Orthomorphism Polynomials of degree $7$ over finite fields

S'appuyant sur la classification de Xiang Fan en 2019 des polynômes de permutation de degré 7, cet article détermine la liste complète des polynômes orthomorphismes de degré 7 sur des corps finis d'ordres spécifiques tout en établissant également leur non-existence dans certains autres cas.

Auteurs originaux : Bhitali Kousik, Dhiren Kumar Basnet

Publié 2026-01-30

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Bhitali Kousik, Dhiren Kumar Basnet

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous êtes un maître architecte travaillant avec un ensemble très spécifique de blocs de construction. Ces blocs vivent dans un monde appelé « corps fini », qui est comme un petit univers autonome avec un nombre fixe d'éléments (disons 11, 13 ou 17). Dans cet univers, vous avez une règle spéciale : vous ne pouvez utiliser que les nombres qui existent au sein de cet univers spécifique.

Le document dont vous parlez est une carte détaillée créée par deux architectes, Kousik Bhitali et Dhiren Kumar Basnet. Ils essaient de trouver un type de structure très spécifique appelé Polynôme d'Orthomorphisme.

Voici la décomposition simple de ce qu'ils ont fait et de ce qu'ils ont trouvé :

Les deux règles du jeu

Pour construire une structure d'« Orthomorphisme », vous devez suivre deux règles strictes simultanément :

Règle A : Si vous prenez votre structure et que vous y injectez chaque nombre de votre univers, la sortie doit être un mélange parfait. Chaque nombre sort exactement une fois, sans doublons et sans pièces manquantes. (En mathématiques, cela est un Polynôme de Permutation).
Règle B : Si vous prenez votre structure, que vous soustrayez le nombre d'origine que vous avez injecté, et que vous observez le résultat, ce nouveau résultat doit également être un mélange parfait de l'univers.

Si une structure réussit les deux tests, c'est une gagnante. Si elle échoue à ne serait-ce qu'un seul, c'est une perdante.

Le défi : La tour de « Degré 7 »

Les auteurs étaient particulièrement intéressés par la construction de tours d'une hauteur spécifique : Degré 7. Considérez cela comme une équation polynomiale où la puissance la plus élevée de $x$ est 7 (comme $x^7 + \dots$ ).

Ils voulaient savoir : « Dans quels univers (corps finis) peut-on réellement construire une tour de Degré 7 qui réussit à la fois la Règle A et la Règle B ? »

Le travail de détective

Les auteurs n'ont pas simplement deviné. Ils ont utilisé un mélange de logique mathématique et de puissance informatique (spécifiquement un programme appelé SageMath) pour agir comme des détectives.

Le Filtre : Ils savaient, d'après des recherches antérieures, que la plupart des tours de Degré 7 sont « impossibles » à construire dans la plupart des univers. Ils avaient une liste d'univers « candidats » à vérifier.
La Transformation : Ils ont réalisé que beaucoup de tours se ressemblent mais sont en réalité la même structure, simplement pivotée ou inversée (mathématiquement appelée « transformations linéaires »). Au lieu de vérifier chaque variation, ils ont vérifié les versions « de base » puis ont calculé combien de variations existaient.
Le Test : Pour chaque candidat, ils ont appliqué les deux règles. Ils ont demandé à l'ordinateur : « Est-ce que ce polynôme mélange les nombres ? Et est-ce que le polynôme moins $x$ mélange aussi les nombres ? »

La grande découverte

Après avoir vérifié de nombreux univers, ils ont trouvé un motif très spécifique.

La liste des « Oui » :
Les polynômes d'orthomorphisme de degré 7 n'existent que dans des univers ayant ces tailles spécifiques :

11, 13, 17, 19 et 25.

Pour ces tailles, ils n'ont pas seulement dit « oui » ; ils ont écrit les plans exacts de chaque structure gagnante possible.

Pour l'univers de taille 13, ils ont trouvé exactement 6 422 structures uniques gagnantes.
Pour l'univers de taille 11, ils ont trouvé 7 260.
Pour la taille 25, ils ont trouvé un massif 60 000.

La liste des « Non » :
Ils ont également prouvé que dans beaucoup d'autres univers, il est impossible de construire une telle structure.

Si la taille de l'univers est 23 ou 31, aucune structure de ce type n'existe.
Si la taille de l'univers est 49 (qui est $7 \times 7$ ), des structures existent, mais elles sont « spéciales » ou « exceptionnelles » (ce qui signifie qu'elles se comportent différemment des structures standards trouvées dans les plus petits corps).
Si la taille de l'univers est 27 ou des multiples de 7 plus grands, ils n'ont trouvé aucune structure standard.

L'« Exceptionnel » vs le « Non-Exceptionnel »

L'article fait une distinction entre deux types de gagnants :

Non-Exceptionnel : Ce sont les gagnants « standards » trouvés dans les tailles 11, 13, 17, 19 et 25. Ce sont l'objet principal de l'article.
Exceptionnel : Ce sont des cas rares et spéciaux qui apparaissent dans des corps plus grands (comme 49) ou sous des conditions spécifiques. Les auteurs les ont également cartographiés, notant que dans des corps comme $F_{49}$ , tous les orthomorphismes de degré 7 sont de ce type « exceptionnel ».

La Conclusion

En termes simples, cet article est un catalogue complet. Il nous dit précisément où nous pouvons trouver ces structures de mélange mathématique spéciales de degré 7 et à quoi elles ressemblent.

Si vous êtes dans un univers de taille 11, 13, 17, 19 ou 25 : Vous pouvez les construire, et voici la liste de chacune d'entre elles.
Si vous êtes dans un univers de taille 23, 31 ou 27 : Vous ne pouvez pas les construire (du moins pas le genre standard).
Si vous êtes dans un univers de taille 49 : Vous pouvez les construire, mais elles sont toutes de type « exceptionnel », et il y en a près de 4 millions.

Les auteurs ont essentiellement fermé le livre sur ce puzzle spécifique pour tous les corps finis les plus courants, fournissant une réponse définitive à la question : « Où ces mélanges mathématiques spécifiques existent-ils ? »

Résumé Technique : Polynômes d'Orthomorphisme de Degré 7 sur les Corps Finis

Énoncé du Problème
L'article traite de la classification des polynômes d'orthomorphisme (PO) de degré 7 sur les corps finis $\mathbb{F}_q$ . Un polynôme $f \in \mathbb{F}_q[x]$ est défini comme un polynôme d'orthomorphisme si $f(x)$ et $f(x) - x$ sont tous deux des polynômes de permutation (PP) sur $\mathbb{F}_q$ . Alors que des travaux antérieurs par Neiderreiter, Robinson, Shallue et Wanless avaient classifié les polynômes de permutation complète (CPP) et les PO pour des degrés inférieurs à 7 ainsi que des cas spécifiques de degré 6, les formes explicites et l'énumération complète des PO de degré 7 restaient un problème ouvert pour diverses ordres de corps. Les auteurs visent à déterminer la liste complète des PO non exceptionnels de degré 7 et à fournir une caractérisation partielle des polynômes exceptionnels.

Méthodologie
Les auteurs emploient une combinaison de résultats de classification théorique et d'énumération computationnelle :

Réduction par Transformations Linéaires : L'étude repose sur les travaux de Xiang Fan [2], qui établissent que tout PP de degré 7 sur $\mathbb{F}_q$ est linéairement lié à une forme normalisée $x^7 + \sum_{i=1}^5 f_i x^i$ . Deux polynômes sont dits « linéairement liés » si l'un peut être transformé en l'autre via $g(x) = af(bx+c)+d$.
Distinction entre PP et PO : Un défi méthodologique critique a été noté : bien que les transformations linéaires préservent la propriété d'être un PP, elles ne préservent pas nécessairement la propriété d'être un PO. Par conséquent, les auteurs ne peuvent pas simplement vérifier si un PP normalisé est un PO ; ils doivent déterminer les facteurs d'échelle spécifiques $\alpha$ et $\beta$ tels que $\alpha f(\beta x)$ (et ses décalages) satisfasse la condition de PO.
Énumération Systématique :
- Les auteurs utilisent le Lemme 2 [2] pour identifier tous les PP non exceptionnels de degré 7 pour des ordres de corps spécifiques ( $q \in \{11, 13, 17, 19, 23, 25, 31\}$ ).
- Pour chaque famille de polynômes candidats, ils construisent des systèmes d'équations dérivés de la condition que $h(x) = \alpha f(\beta x) - x$ doit également être un PP (et est donc linéairement lié à l'une des formes normalisées connues).
- Ces systèmes sont résolus à l'aide du système d'algèbre computationnelle SageMath pour trouver des paires valides $(\alpha, \beta) \in (\mathbb{F}_q^*)^2$ .
- Le Lemme 3 [5] est utilisé pour générer l'ensemble complet des PO à partir des polynômes de base valides via des translations $f(x+\gamma) + \delta$ .
- Le Lemme 4 garantit que des paires $(\alpha, \beta)$ distinctes produisent des polynômes distincts, permettant un décompte exact.

Contributions Clés et Résultats

Existence et Classification pour les PO Non Exceptionnels :
L'article prouve qu'un polynôme d'orthomorphisme non exceptionnel de degré 7 existe sur $\mathbb{F}_q$ (pour $q > 7$ ) si et seulement si $q \in \{11, 13, 17, 19, 25\}$ .
- Listes Explicites : Les auteurs fournissent les formes explicites de ces polynômes pour chaque $q$ valide, paramétrées par les paires $(\alpha, \beta)$ .
- Comptages Exacts :
  - $\mathbb{F}_{11}$ : 7 260 PO (20 exceptionnels).
  - $\mathbb{F}_{13}$ : 6 422 PO (4 exceptionnels).
  - $\mathbb{F}_{17}$ : 4 624 PO (tous non exceptionnels).
  - $\mathbb{F}_{19}$ : 4 332 PO (4 exceptionnels).
  - $\mathbb{F}_{25}$ : 60 000 PO (20 exceptionnels).
- Ces décomptes pour $q=11, 13, 17$ s'alignent parfaitement avec les données fournies par Shallue et Wanless [7].
Résultats de Non-Existence :
L'étude établit la non-existence de PO de degré 7 sur $\mathbb{F}_{23}$ et $\mathbb{F}_{31}$ . De plus, elle confirme qu'aucun PO n'existe pour les corps où $q \equiv 6 \pmod 7$ (sauf $q=13$ ), étendant les résultats précédents sur les corps de caractéristique 2.
Polynômes Exceptionnels :
L'article caractérise les PO exceptionnels (ceux qui sont des PP sur un nombre infini d'extensions).
- Pour $\mathbb{F}_{49}$ (et généralement $\mathbb{F}_{7^t}, t \ge 2$ ), tous les PO de degré 7 sont exceptionnels.
- Les auteurs fournissent une caractérisation explicite pour $\mathbb{F}_{49}$ , notant un total de 3 937 640 de ces polynômes.
- Il est démontré que pour $\mathbb{F}_{27}$ , aucun PO de degré 7 n'existe.

Signification
L'article affirme compléter la classification des polynômes d'orthomorphisme non exceptionnels de degré 7 pour tous les corps finis où de tels polynômes existent. En vérifiant les décomptes par rapport aux données existantes pour les corps plus petits et en étendant l'analyse à $q=19, 25, 49$ , les auteurs comblent les lacunes de la littérature concernant les PO de degré 7. Le travail fournit une liste définitive de formes explicites pour ces polynômes, qui sont pertinents pour la théorie des plans (design theory), particulièrement dans la construction de carrés latins. Les auteurs notent que les travaux futurs impliqueraient l'examen des corps $\mathbb{F}_{7^r}$ ( $r \ge 3$ ) et des corps où $q > 31$ avec $q \not\equiv 0, 1, 6 \pmod 7$ , bien qu'ils anticipent que seuls des polynômes exceptionnels y seront trouvés.