🔢 mathematics

When isometry and equivalence for skew constacyclic codes coincide

Der Artikel zeigt, dass die Konzepte der $(n,\sigma)$ -Isometrie und $(n,\sigma)$ -Äquivalenz für die meisten schiefen konstanten zyklischen Codes über einem kommutativen Grundring zusammenfallen, indem er Isomorphismen zwischen den nicht-assoziativen Petit-Ringen analysiert und darauf aufbauend präzisere Definitionen für die Klassifizierung dieser Codes vorschlägt.

Ursprüngliche Autoren: Monica Nevins, Susanne Pumpluen

Veröffentlicht 2026-04-14

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Monica Nevins, Susanne Pumpluen

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 Architekt, der spezielle Türme baut. Diese Türme sind nicht aus gewöhnlichen Ziegeln, sondern aus einer sehr speziellen, etwas „wackeligen" Art von Bausteinen, die wir Schief-Constacyclische Codes nennen. In der Welt der Mathematik und Informatik dienen diese Türme dazu, Informationen sicher zu übertragen und Fehler zu korrigieren (wie bei einer WhatsApp-Nachricht, die auch bei schlechtem Empfang korrekt ankommt).

Das Ziel dieses Papiers von Monica Nevins und Susanne Pumplün ist es, herauszufinden, wann zwei dieser Türme wirklich gleich sind und wann sie nur so aussehen.

Hier ist die einfache Erklärung, unterteilt in die wichtigsten Ideen:

1. Die Türme und ihre Baupläne (Die Ringe)

Jeder dieser Codes basiert auf einem mathematischen „Bauplan", den die Autoren Petit-Ring nennen.

Der normale Fall: Manchmal sind die Bausteine so beschaffen, dass die Reihenfolge, in der man sie stapelt, keine Rolle spielt (assoziativ). Das ist wie ein stabiler Turm aus Lego-Steinen.
Der spezielle Fall: Oft sind die Bausteine jedoch so „verrückt", dass die Reihenfolge des Stapelns das Ergebnis ändert (nicht-assoziativ). Das ist wie ein Turm aus Wackelklemmen oder Jenga-Steinen, bei dem man sehr vorsichtig sein muss.

2. Das Problem: Sind zwei Türme gleich?

In der Vergangenheit haben Mathematiker zwei verschiedene Methoden entwickelt, um zu prüfen, ob zwei Türme (Codes) gleichwertig sind:

Methode A (Isometrie): Man prüft, ob man den einen Turm in den anderen verwandeln kann, ohne dass die Anzahl der Steine (der „Hamming-Gewicht") sich ändert. Man darf den Turm drehen, spiegeln oder die Steine umbenennen, aber er muss genauso stabil und groß bleiben.
Methode B (Äquivalenz): Eine etwas strengere Definition, die nur bestimmte, einfache Verwandlungen erlaubt.

Früher dachte man: „Wenn Methode A funktioniert, funktioniert auch Methode B, und umgekehrt." Man glaubte, es gäbe viele verschiedene Wege, einen Turm in einen anderen zu verwandeln, auch durch komplizierte, „hochgradige" Drehungen.

3. Die große Entdeckung: Die Überraschung

Die Autoren haben untersucht, was passiert, wenn die Türme aus den „wackeligen" (nicht-assoziativen) Bausteinen gebaut sind.

Das Ergebnis ist verblüffend:
Wenn der Turm wackelig ist, gibt es keine komplizierten Verwandlungen!
Es gibt nur einen einzigen Weg, einen solchen Turm in einen anderen zu verwandeln, der die Struktur erhält: Man darf ihn nur drehen und die Steine umbenennen (eine einfache „Grad-1"-Verwandlung). Alle anderen, komplizierten Wege, die man sich vielleicht vorgestellt hat, funktionieren einfach nicht.

Die Analogie:
Stellen Sie sich vor, Sie haben einen Turm aus Wackelklemmen. Jemand behauptet: „Ich kann diesen Turm in einen anderen verwandeln, indem ich ihn in eine Spirale drehe und die Klemmen vertausche."
Die Autoren sagen: „Nein! Wenn du das tust, stürzt der Turm sofort ein. Der einzige Weg, ihn sicher zu bewegen, ist, ihn einfach gerade zu drehen."

4. Warum ist das wichtig?

Bisher hatten Forscher eine falsche Landkarte. Sie dachten, es gäbe viele verschiedene Arten, Codes als „gleich" zu betrachten. Das führte zu Verwirrung und dazu, dass man dachte, es gäbe mehr verschiedene Codes als tatsächlich existieren.

Durch diese Entdeckung können die Autoren:

Fehler korrigieren: Sie zeigen, dass eine frühere mathematische Regel (aus einem anderen Papier) falsch war, weil sie von diesen nicht-existenten komplizierten Verwandlungen ausging.
Bessere Klassifizierung: Jetzt wissen sie genau, wie viele wirklich verschiedene Codes es gibt. Es ist wie das Sortieren von Socken: Früher dachte man, es gäbe 100 verschiedene Modelle, aber jetzt wissen wir, dass viele davon nur leicht verschobene Versionen derselben 10 Modelle sind.

5. Das Fazit für den Alltag

Wenn Sie einen Code (eine Nachricht) verschicken wollen, ist es wichtig zu wissen, ob zwei Codes wirklich unterschiedlich sind oder nur „verkleidet" gleich.

Für die Mathematik: Sie haben die Regeln für das „Verwandeln" dieser speziellen Türme klar definiert.
Für die Technik: Das hilft, effizientere Fehlerkorrekturverfahren zu entwickeln, weil man weiß, welche Codes wirklich neu sind und welche nur eine alte Idee in neuem Gewand sind.

Zusammenfassend: Die Autoren haben bewiesen, dass bei den „wackeligen" mathematischen Türmen die Welt viel einfacher ist als gedacht. Es gibt keine geheimen, komplizierten Verwandlungen. Was man sieht, ist, was man bekommt. Das macht die Klassifizierung dieser Codes viel präziser und sauberer.

Titel: Wann Isometrie und Äquivalenz für schiefe Konstantzyklische Codes zusammenfallen
Autoren: Monica Nevins und Susanne Pumplün

1. Problemstellung und Motivation

Das Paper untersucht lineare schiefe konstantzyklische Codes (skew constacyclic codes) über einem kommutativen Grundring $S$ . Diese Codes werden als Linksideale in sogenannten Petit-Ringen $S_f = S[t; \sigma]/S[t; \sigma]f(t)$ modelliert, wobei $f(t) = t^n - a$ ist. Diese Ringe sind im Allgemeinen nicht-assoziativ, es sei denn, bestimmte Bedingungen (wie $a \in S^\sigma$ und $m \mid n$ ) sind erfüllt.

Ein zentrales Problem in der Klassifizierung solcher Codes ist das Verständnis von Isometrien (Hamming-gewichtserhaltende Isomorphismen) zwischen den Codes. Bisherige Arbeiten (insbesondere von Ou-azzou et al., [OaNA25]) führten zwei verschiedene Äquivalenzbegriffe ein:

$(n, \sigma)$ -Äquivalenz: Basierend auf monomialen Isomorphismen vom Grad 1 ( $G(t) = \alpha t$ ).
$(n, \sigma)$ -Isometrie: Basierend auf monomialen Isomorphismen beliebigen Grades $k$ ( $G(t) = \alpha t^k$ ).

Die Autoren von [OaNA25] vermuteten, dass diese beiden Begriffe für alle schiefe konstantzyklischen Codes zusammenfallen oder dass Isometrien höheren Grades häufig existieren. Das Ziel dieses Papers ist es, diese Vermutung zu überprüfen, die Struktur der Isomorphismen zwischen den zugrundeliegenden Petit-Ringen vollständig zu charakterisieren und die Klassifizierung der Codes zu präzisieren.

2. Methodik

Die Autoren verwenden algebraische Methoden aus der Theorie nicht-assoziativer Ringe und Schiefpolynomringe. Der Kern der Analyse liegt in der Untersuchung von monomialen Homomorphismen $G: S_f \to S_h$ , definiert durch $G|_S = \tau$ (ein Automorphismus von $S$ , der mit $\sigma$ kommutiert) und $G(t) = \alpha t^k$ .

Die Methodik umfasst folgende Schritte:

Analyse der Potenz-Assoziativität: Da Petit-Ringe nicht-assoziativ sein können, muss zunächst geklärt werden, wann der Term $\alpha t^k$ wohldefinierte Potenzen besitzt (d.h. wann $z^s$ unabhängig von der Klammerung ist). Dies führt zu notwendigen und hinreichenden Bedingungen für $\alpha$ und $b$ (Satz 3.3).
Kombinatorische Argumente: Es werden detaillierte kombinatorische Berechnungen durchgeführt, um zu zeigen, dass für nicht-assoziative Ringe die Existenz von Homomorphismen mit Grad $k > 1$ extrem eingeschränkt ist.
Unterscheidung der Fälle: Die Analyse unterscheidet strikt zwischen dem Fall, dass der Petit-Ring assoziativ ist (was nur unter speziellen Bedingungen passiert) und dem Fall, dass er "proper nonassociative" (echt nicht-assoziativ) ist.
Erweiterung auf nicht-monomiale Homomorphismen: Im Abschnitt 6 wird untersucht, ob auch nicht-monomiale Polynom-Homomorphismen existieren können, insbesondere für Integritätsbereiche.

3. Wichtige Beiträge und Ergebnisse

A. Charakterisierung monomialer Homomorphismen (Satz 3.3 & Korollar 3.4)

Die Autoren beweisen, dass ein monomialer Term $\alpha t^k$ in einem Petit-Ring $S_{t^n-b}$ genau dann potenz-assoziativ ist, wenn die Bedingung $\alpha b = \sigma^n(\alpha)\sigma^k(b)$ erfüllt ist.
Ein entscheidendes Ergebnis (Korollar 3.4) ist, dass ein wohldefinierter Ringhomomorphismus $G: S[t;\sigma] \to S_{t^n-b}$ mit $G(t) = \alpha t^k$ und $k > 1$ nur existieren kann, wenn:

$k \equiv 1 \pmod m$ (wobei $m$ die Ordnung von $\sigma$ ist),
$m \mid n$ ,
$b \in S^\sigma$ (d.h. $\sigma(b)=b$ ).
Unter diesen Bedingungen ist der Ring $S_{t^n-b}$ jedoch assoziativ.

B. Hauptresultat: Koinzidenz von Isometrie und Äquivalenz (Korollar 4.5)

Das zentrale Ergebnis des Papers ist Korollar 4.5:
Wenn der Petit-Ring $S_{t^n-a}$ echt nicht-assoziativ ist (d.h. wenn $m \nmid n$ oder $a \notin S^\sigma$ ), dann existieren keine nicht-trivialen Hamming-gewichtserhaltenden Homomorphismen mit Grad $k > 1$ .

Folge: Für alle echt nicht-assoziativen Petit-Ringe fallen die Begriffe der $(n, \sigma)$ -Isometrie und der $(n, \sigma)$ -Äquivalenz zusammen. Jede Isometrie ist notwendigerweise von Grad 1.
Dies widerlegt die Annahme in [OaNA25, Theorem 4], dass Isometrien höheren Grades allgemein existieren. Die Autoren liefern explizite Gegenbeispiele (Beispiel 5.5), die zeigen, dass die dortige Klassifizierung fehlerhaft war.

C. Neue Definitionen und Klassifizierung (Abschnitt 5)

Auf Basis dieser Ergebnisse schlagen die Autoren neue, präzisere Definitionen für Isometrie und Äquivalenz vor (Definition 5.1), die exakt die Menge aller Hamming-gewichtserhaltenden Isomorphismen zwischen den Ambient-Ringen erfassen.

Theorem 5.9: Die Autoren berechnen die genaue Anzahl der Äquivalenzklassen für schiefe konstantzyklische Codes über endlichen Körpern.
- Für nicht-assoziative Ringe ( $m \nmid n$ ) ist die Anzahl der Klassen $\gcd([n]_s, p^r - 1)$ .
- Für assoziative Ringe ( $m \mid n$ und $a \in S^\sigma$ ) ist die Anzahl kleiner, da hier Isometrien höheren Grades möglich sein können, was zu einer "Verdünnung" der Klassen führt.
Theorem 5.12: Im assoziativen Fall wird gezeigt, dass eine Isometrie vom Grad $k$ zwischen $S_{t^n-a}$ und $S_{t^n-b}$ äquivalent ist zu einer Äquivalenz (Grad 1) zwischen $S_{t^n-a}$ und $S_{t^n-b^k}$ .

D. Nicht-monomiale Homomorphismen (Abschnitt 6)

Für Integritätsbereiche $S$ (z.B. Körper) beweisen die Autoren in Theorem 6.1 und Korollar 6.2, dass wenn $m \nmid n$ , jeder nicht-triviale Homomorphismus zwischen den Petit-Ringen notwendigerweise monomial vom Grad 1 sein muss. Es gibt also keine nicht-monomialen Polynom-Homomorphismen in diesem Fall.
Für den assoziativen Fall ( $m \mid n$ ) zeigen sie, dass nicht-monomiale Homomorphismen existieren können (Beispiel 6.5), was die Komplexität im assoziativen Fall unterstreicht.

4. Signifikanz und Auswirkungen

Korrektur der Literatur: Das Paper korrigiert fundamentale Fehler in der Arbeit [OaNA25], insbesondere die falsche Annahme über die Existenz von Isometrien höheren Grades für nicht-assoziative Ringe. Dies invalidiert die dortige Klassifizierung und die Berechnung der Anzahl der Äquivalenzklassen.
Verschärfte Klassifizierung: Durch die Erkenntnis, dass für nicht-assoziative Ringe Isometrie und Äquivalenz identisch sind, wird die Klassifizierung von Codes präziser. Codes, die zuvor fälschlicherweise als äquivalent betrachtet wurden, können nun als nicht-äquivalent identifiziert werden, was zu einer feineren und korrekteren Aufteilung der Code-Familien führt.
Algebraische Vertiefung: Das Paper liefert tiefe Einblicke in die Struktur von Petit-Ringen, insbesondere in die Bedingungen für Potenz-Assoziativität und die Existenz von Homomorphismen. Es zeigt, dass die nicht-assoziative Struktur starke Einschränkungen für die Symmetrien (Isometrien) des Codes auferlegt.
Anwendung auf MRD-Codes und Kryptographie: Da diese Ringe in Verbindung mit Maximum Rank Distance (MRD) Codes und postquanten-kryptographischen Verfahren (Learning with Errors) stehen, hat die korrekte Klassifizierung der Isomorphismen direkte Auswirkungen auf die Sicherheit und Effizienz dieser Systeme. Eine korrekte Identifikation von äquivalenten Parametern ist entscheidend, um Redundanzen in der Code-Suche zu vermeiden.

Fazit:
Das Paper etabliert, dass für die große Klasse der echt nicht-assoziativen Petit-Ringe (die in vielen Anwendungen vorkommen) die Unterscheidung zwischen Isometrie und Äquivalenz entfällt. Dies führt zu einer vereinfachten, aber mathematisch strengen Klassifizierung schiefer konstantzyklischer Codes und korrigiert vorherige Fehleinschätzungen in der Literatur.