🔢 mathematics

Orthomorphism Polynomials of degree $7$ over finite fields

Aufbauend auf Xiang Fans Klassifizierung von Permutationspolynomen des Grades 7 aus dem Jahr 2019 bestimmt diese Arbeit die vollständige Liste der Orthomorphismen-Polynome des Grades 7 über endlichen Körpern spezifischer Ordnungen und stellt gleichzeitig deren Nichtexistenz in bestimmten anderen Fällen fest.

Ursprüngliche Autoren: Bhitali Kousik, Dhiren Kumar Basnet

Veröffentlicht 2026-01-30

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Bhitali Kousik, Dhiren Kumar Basnet

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich vor, Sie sind ein Meisterarchitekt, der mit einem ganz speziellen Satz von Bausteinen arbeitet. Diese Blöcke leben in einer Welt namens „endlicher Körper“, die wie ein winziges, in sich geschlossenes Universum ist (sagen wir zum Beispiel 11, 13 oder 17 Elemente). In diesem Universum gibt es eine besondere Regel: Sie dürfen nur Zahlen verwenden, die auch tatsächlich in diesem spezifischen Universum existieren.

Das Papier, nach dem Sie fragen, ist eine detaillierte Karte, erstellt von zwei Architekten, Kousik Bhitali und Dhiren Kumar Basnet. Sie versuchen, eine ganz bestimmte Art von Struktur zu finden, die man Orthomorphismus-Polynom nennt.

Hier ist die einfache Aufschlüsselung dessen, was sie getan haben und was sie herausgefunden haben:

Die zwei Regeln des Spiels

Um eine „Orthomorphismus“-Struktur zu bauen, müssen Sie zwei strenge Regeln gleichzeitig befolgen:

Regel A: Wenn Sie Ihre Struktur nehmen und jede einzelne Zahl aus Ihrem Universum einsetzen, muss die Ausgabe eine perfekte Durchmischung sein. Jede Zahl kommt genau einmal heraus, ohne Duplikate und ohne fehlende Teile. (In der Mathematik nennt man das ein Permutationspolynom).
Regel B: Wenn Sie Ihre Struktur nehmen, die ursprüngliche Zahl, die Sie eingesetzt haben, davon abziehen und sich das Ergebnis ansieht, muss dieses neue Ergebnis ebenfalls eine perfekte Durchmischung des Universums sein.

Wenn eine Struktur beide Tests besteht, ist sie ein Gewinner. Wenn sie auch nur einen einzigen Test nicht besteht, ist sie ein Verlierer.

Die Herausforderung: Der „Grad 7“-Turm

Die Autoren waren speziell daran interessiert, Türme einer bestimmten Höhe zu bauen: Grad 7. Denken Sie an dies als ein Polynom, bei dem die höchste Potenz von $x$ der Wert 7 ist (wie $x^7 + \dots$ ).

Sie wollten wissen: „In welchen dieser winzigen Universen (endlichen Körpern) können wir tatsächlich einen Grad-7-Turm bauen, der sowohl Regel A als auch Regel B erfüllt?“

Die Detektivarbeit

Die Autoren haben nicht einfach geraten. Sie nutzten eine Mischung aus mathematischer Logik und Computerleistung (speziell ein Programm namens SageMath), um als Detektive zu fungieren.

Der Filter: Sie wussten aus früheren Forschungen, dass die meisten Grad-7-Türme in den meisten Universen „unmöglich“ zu bauen sind. Sie hatten eine Liste von „Kandidatuniversen“, die überprüft werden mussten.
Die Transformation: Sie erkannten, dass viele Türme unterschiedlich aussehen, aber eigentlich dieselbe Struktur sind, die nur rotiert oder gespiegelt wurde (mathematisch als „lineare Transformationen“ bezeichnet). Anstatt jede einzelne Variation zu prüfen, prüften sie die „Basisversionen“ und berechneten dann, wie viele Variationen existierten.
Der Test: Für jeden Kandidaten ließen sie die zwei Regeln laufen. Sie fragten den Computer: „Durchmischt dieses Polynom die Zahlen? Und durchmischt das Polynom minus $x$ auch die Zahlen?“

Die große Entdeckung

Nachdem sie viele Universen geprüft hatten, fanden sie ein ganz spezifisches Muster.

Die „Ja“-Liste:
Orthomorphismus-Polynome vom Grad 7 existieren nur in Universen mit diesen spezifischen Größen:

11, 13, 17, 19 und 25.

Für diese Größen haben sie nicht nur „Ja“ gesagt; sie haben die exakten Baupläne für jede einzelne mögliche Gewinnerstruktur aufgeschrieben.

Für das Universum der Größe 13 fanden sie genau 6.422 einzigartige Gewinnerstrukturen.
Für die Größe 11 fanden sie 7.260.
Für die Größe 25 fanden sie gewaltige 60.000.

Die „Nein“-Liste:
Sie haben auch bewiesen, dass es in vielen anderen Universen unmöglich ist, eine solche Struktur zu bauen.

Wenn die Größe des Universums 23 oder 31 ist, existiert keine solche Struktur.
Wenn die Größe des Universums 49 ist (was $7 \times 7$ ist), existieren Strukturen zwar, aber sie sind „speziell“ oder „außergewöhnlich“ (das heißt, sie verhalten sich anders als die Standardstrukturen, die in den kleineren Körpern gefunden wurden).
Wenn die Größe des Universums 27 oder ein größeres Vielfaches von 7 ist, fanden sie keine Standardstrukturen.

Das „Außergewöhnliche“ vs. das „Nicht-Außergewöhnliche“

Das Papier unterscheidet zwischen zwei Arten von Gewinnern:

Nicht-außergewöhnlich: Dies sind die „Standardgewinner“, die in den Größen 11, 13, 17, 19 und 25 gefunden wurden. Dies ist der Hauptfokus des Papers.
Außergewöhnlich: Dies sind seltene, spezielle Fälle, die in größeren Körpern (wie 49) oder unter spezifischen Bedingungen auftreten. Die Autoren haben auch diese kartografiert und angemerkt, dass in Körpern wie $F_{49}$ alle Grad-7-Orthomorphismen vom Typ „außergewöhnlich“ sind.

Das Fazgest

In einfachen Worten ist dieses Paper ein vollständiger Katalog. Es sagt uns genau, wo wir diese speziellen mathematischen Durchmischungsstrukturen vom Grad 7 finden können und wie sie aussehen.

Wenn Sie in einem Universum der Größe 11, 13, 17, 19 oder 25 sind: Sie können sie bauen, und hier ist die Liste von jedem einzelnen davon.
Wenn Sie in einem Universum der Größe 23, 31 oder 27 sind: Sie können sie nicht bauen (zumindest nicht die Standardart).
Wenn Sie in einem Universum der Größe 49 sind: Sie können sie bauen, aber sie sind alle vom Typ „außergewöhnlich“, und es gibt fast 4 Millionen davon.

Die Autoren haben im Wesentlichen dieses spezifische Rätsel für alle gängigsten endlichen Körper abgeschlossen, indem sie eine definitive Antwort auf die Frage gegeben haben: „Wo existieren diese speziellen mathematischen Durchmischungen?“

Technisches Resümee: Orthomorphismus-Polynome des Grades 7 über endlichen Körpern

Problemstellung
Die vorliegende Arbeit befasst sich mit der Klassifizierung von Orthomorphismus-Polynomen (OPs) des Grades 7 über endlichen Körpern $\mathbb{F}_q$ . Ein Polynom $f \in \mathbb{F}_q[x]$ wird als Orthomorphismus-Polynom definiert, wenn sowohl $f(x)$ als auch $f(x) - x$ Permutationspolynome (PPs) über $\mathbb{F}_q$ sind. Während frühere Arbeiten von Neiderreiter, Robinson, Shallue und Wanless die Klassifizierung von vollständigen Permutationspolynomen (CPPs) und OPs für Grade kleiner als 7 sowie spezifische Fälle des Grades 6 abgeschlossen hatten, blieb die explizite Form und die vollständige Enumeration von OPs des Grades 7 für verschiedene Körperordnungen ein offenes Problem. Die Autoren zielen darauf ab, die vollständige Liste der nicht-exceptionalen OPs des Grades 7 zu bestimmen und eine partielle Charakterisierung der exceptionalen OPs bereitzustellen.

Methodik
Die Autoren verwenden eine Kombination aus theoretischen Klassifizierungsergebnissen und computergestützter Enumeration:

Reduktion mittels linearer Transformationen: Die Untersuchung stützt sich auf die Arbeit von Xiang Fan [2], die etabliert, dass jedes Grad-7-PP über $\mathbb{F}_q$ linear verwandt ist mit einer normalisierten Form $x^7 + \sum_{i=1}^5 f_i x^i$ . Zwei Polynome sind „linear verwandt“, wenn eines durch $g(x) = af(bx+c)+d$ in das andere transformiert werden kann.
Differenzierung zwischen PPs und OPs: Eine kritische methodische Herausforderung besteht darin, dass lineare Transformationen zwar die Eigenschaft eines PP bewahren, aber nicht notwendigerweise die Eigenschaft eines OP. Daher können die Autoren nicht einfach prüfen, ob ein normalisiertes PP ein OP ist; sie müssen die spezifischen Skalierungsfaktoren $\alpha$ und $\beta$ bestimmen, sodass $\alpha f(\beta x)$ (und dessen Verschiebungen) die OP-Bedingung erfüllt.
Systematische Enumeration:
- Die Autoren nutzen Lemma 2 [2], um alle nicht-exceptionalen PPs des Grades 7 für spezifische Körperordnungen ( $q \in \{11, 13, 17, 19, 23, 25, 31\}$ ) zu identifizieren.
- Für jede Kandidaten-Polynomfamilie konstruieren sie Gleichungssysteme, die aus der Bedingung abgeleitet sind, dass $h(x) = \alpha f(\beta x) - x$ ebenfalls ein PP sein muss (und somit linear verwandt mit einem der bekannten normalisierten Formen ist).
- Diese Systeme werden unter Verwendung des Computer-Algebrasystems SageMath gelöst, um gültige Paare $(\alpha, \beta) \in (\mathbb{F}_q^*)^2$ zu finden.
- Lemma 3 [5] wird verwendet, um die vollständige Menge der OPs aus gültigen Basispolynomen via Translationen $f(x+\gamma) + \delta$ zu generieren.
- Lemma 4 stellt sicher, dass distinkte Paare $(\alpha, \beta)$ distinkte Polynome liefern, was eine exakte Zählung ermöglicht.

Wesentliche Beiträge und Ergebnisse

Existenz und Klassifizierung für nicht-exceptionale OPs:
Das Paper beweist, dass ein nicht-exceptionales Orthomorphismus-Polynom des Grades 7 über $\mathbb{F}_q$ (für $q > 7$ ) genau dann existiert, wenn $q \in \{11, 13, 17, 19, 25\}$ .
- Explizite Listen: Die Autoren liefern explizite Formen dieser Polynome für jedes gültige $q$ , parametrisiert durch die Paare $(\alpha, \beta)$ .
- Exakte Zählungen:
  - $\mathbb{F}_{11}$ : 7.260 OPs (20 exceptional).
  - $\mathbb{F}_{13}$ : 6.422 OPs (4 exceptional).
  - $\mathbb{F}_{17}$ : 4.624 OPs (alle nicht-exceptional).
  - $\mathbb{F}_{19}$ : 4.332 OPs (4 exceptional).
  - $\mathbb{F}_{25}$ : 60.000 OPs (20 exceptional).
- Diese Zählungen für $q=11, 13, 17$ stimmen exakt mit den von Shallue und Wanless [7] bereitgestellten Daten überein.
Nicht-Existenz-Ergebnisse:
Die Studie stellt die Nicht-Existenz von Grad-7-OPs über $\mathbb{F}_{23}$ und $\mathbb{F}_{31}$ fest. Des Weiteren bestätigt sie, dass keine OPs für Körper existieren, bei denen $q \equiv 6 \pmod 7$ gilt (außer $q=13$ ), womit sie vorangegangene Ergebnisse zu Körpern mit Charakteristik 2 erweitert.
Exceptionale Polynome:
Das Paper charakterisiert exceptionale OPs (jene, die über unendlich viele Erweiterungen PPs sind).
- Für $\mathbb{F}_{49}$ (und allgemein $\mathbb{F}_{7^t}, t \ge 2$ ) sind alle Grad-7-OPs exceptional.
- Die Autoren liefern eine explizite Charakterisierung für $\mathbb{F}_{49}$ und merken an, dass es insgesamt 3.937.640 solche Polynome gibt.
- Es wird gezeigt, dass für $\mathbb{F}_{27}$ keine OPs des Grades 7 existieren.

Bedeutung
Das Paper beansprucht, die Klassifizierung nicht-exceptionaler Orthomorphismus-Pol Polynome des Grades 7 für alle endlichen Körper abzuschließen, in denen solche Polynome existieren. Durch die Verifizierung der Zählungen gegen bestehende Daten für kleinere Körper und die Erweiterung der Analyse auf $q=19, 25, 49$ , schließen die Autoren Lücken in der Literatur bezüglich Grad-7-OPs. Die Arbeit liefert eine definitive Liste expliziter Formen dieser Polynome, welche für die Design-Theorie, insbesondere für die Konstruktion von lateinschen Quadraten, relevant sind. Die Autoren merken an, dass zukünftige Arbeiten die Untersuchung von Körpern $\mathbb{F}_{7^r}$ ( $r \ge 3$ ) und Körpern mit $q > 31$ , wobei $q \not\equiv 0, 1, 6 \pmod 7$ , beinhalten würden, wobei sie jedoch erwarten, dass in diesen Fällen nur exceptionale Polynome gefunden werden.