The equivalent condition for GRL codes to be MDS, AMDS or self-dual

Technische Zusammenfassung: Äquivalente Bedingungen für GRL-Codes zur Bestimmung von Nicht-GRS MDS, AMDS oder Selbst-Dualität

Problemstellung
Maximum Distance Separable (MDS) und Almost Maximum Distance Separable (AMDS) Codes sowie selbst-duale Codes besitzen signifikante algebraische Eigenschaften und werden in Kommunikationssystemen, Datenspeicherung, Quantencodierung und Kryptographie weit verbreitet eingesetzt. Während Reed-Solomon (RS)-Codes eine bekannte Klasse von MDS-Codes sind, bleibt die Konstruktion von Codes, die nicht äquivalent zu RS-Codes (non-RS) sind, ein kritisches Forschungsgebiet, um die Vielfalt der verfügbaren Code-Familien zu erweitern. Vorherige Arbeiten von Roth und Lempel [20] sowie in der Folge von Wu et al. [21] und [22] konstruierten spezifische Klassen von non-RS MDS-Codes, indem sie die Erzeugungsmatrix von RS-Codes mit zwei oder drei zusätzlichen Spalten augmentierten. Diese Arbeit adressiert das Bedürfnis, diese Konstruktionen weiter zu generalisieren und präzise algebraische Bedingungen festzulegen, unter denen diese generalisierten Codes (und deren Duale) MDS-, AMDS- oder selbst-duale Eigenschaften aufweisen, ohne äquivalent zu RS-Codes zu sein.

Methodik
Die Autoren führen eine Klasse von Generalized Roth-Lempel (GRL) Codes ein, bezeichnet als $GRL_k(\alpha, v, A_{l \times l})$, definiert über einem endlichen Körper $F_q$. Diese Konstruktion generalisiert vorangegangene Modelle, indem sie die in [21] und [22] verwendeten spezifischen Augmentationsmatrizen durch eine beliebige invertible Matrix $A_{l \times l} \in GL_l(F_q)$ ersetzt. Insbesondere konzentriert sich die Arbeit auf den Fall $l=3$, bezeichnet als $GRL_k(\alpha, v, A_{3 \times 3})$.

Die Methodik verwendet folgende technische Ansätze:

1. Analyse der Erzeugungsmatrix: Die Autoren definieren die Erzeugungsmatrix $G_4$ für den $GRL_k(\alpha, v, A_{3 \times 3})$-Code, die aus einer Standard-Vandermonde-ähnlichen Struktur besteht, die durch drei Spalten augmentiert ist, welche aus der Matrix $A_{3 \times 3}$ abgeleitet wurden.
2. Non-RS Verifizierung: Um zu beweisen, dass die Codes non-RS sind, nutzen die Autoren Lemma 5 (eine Charakterisierung von RS-Codes über die Einträge der Erzeugungsmatrix) und zeigen auf, dass die spezifische Struktur der augmentierten Spalten verhindert, dass der Code die notwendigen Bedingungen für RS-Äquivalenz erfüllt, wenn $k > 3$.
3. MDS- und AMDS-Bedingungen: Unter Verwendung von Lemma 6 (welches besagt, dass ein $[n, k]$-Code MDS ist, wenn und nur wenn jede Menge von $k$ Spalten seiner Erzeugungsmatrix linear unabhängig ist), analysieren die Autoren die Determinanten aller möglichen $k \times k$ Untermatrizen, die aus der Erzeugungsmatrix gebildet werden. Dies beinhaltet eine umfangreiche Fallanalyse bezüglich der Inklusion der augmentierten Spalten ($u_1, u_2, u_3$) in den Untermatrizen.
4. Konstruktion der Paritätsprüfmatrix: Für die Analyse der Selbst-Dualität leiten die Autoren eine explizite Paritätsprüfmatrix $H_5$ für den GRL-Code her. Sie nutzen Lemma 4 (Eigenschaften von Summen von Potenzen von Elementelemente des Körpers, gewichtet durch inverse Differenzen), um die Orthogonalitätsbedingung $G H^T = 0$ zu verifizieren.
5. Kriterien für Selbst-Dualität: Die Bedingung für Selbst-Dualität ($C = C^\perp$) wird dadurch etabliert, dass die Erzeugungsmatrix und die Paritätsprüfmatrix denselben Raum aufspannen müssen, was zu spezifischen Beschränkungen für den Vektor $v$ und die Matrix $A_{3 \times 3}$ führt.

Wesentliche Beiträge und Ergebnisse

1. Non-RS Eigenschaft: Theorem 7 stellt fest, dass für $k > 3$ der Code $GRL_k(\alpha, v, A_{3 \times 3})$ strikt non-GRS (Generalized Reed-Solomon) ist, unabhängig von der Wahl der Parameter, vorausgesetzt $A_{3 \times 3} \in GL_3(F_q)$.

2. Äquivalente Bedingungen für Non-RS MDS: Theorem 8 liefert notwendige und hinreichende Bedingungen dafür, dass $GRL_k(\alpha, v, A_{3 \times 3})$ MDS ist. Diese Bedingungen werden als Ungleichungen ausgedrückt, die Produkte von Auswertungspunkten $\alpha_i$ und den Einträgen von $A_{3 \times 3}$ beinhalten. Speziell muss für jede Teilmenge der Größe $k-1$ oder $k-2$ bestimmte polynomielle Ausdrücke, die die Matrixeinträge involvieren, nicht verschwinden.

   • Korollar 10 und Beispiel 11 illustrieren diese Bedingungen mit einer spezifischen Matrixform und einem konkreten Beispiel über $F_{11}$, welches einen $[8, 4, 5]$ Code ergibt.

3. Äquivalente Bedingungen für AMDS Duale: Theorem 12 bestimmt die Bedingungen, unter denen der Dualcode $GRL_k^\perp(\alpha, v, A_{3 \times 3})$ AMDS ist. Dies erfordert, dass jede Menge von $k-1$ Spalten der Erzeugungsmatrix linear unabhängig ist, während mindestens eine Menge von $k$ Spalten abhängig ist. Das Theorem listet sechs spezifische Fälle auf, die die Einträge von $A_{3 \times 3}$ und Summen von $\alpha_i$ beinhalten.

   • Korollar 13 und Beispiel 14 liefern eine spezifische Instanziierung über $F_7$, die zu einem $[8, 4, 4]$ Code führt.

4. Paritätsprüfmatrix und Selbst-Dualität: Theorem 16 konstruiert die Paritätsprüfmatrix $H_5$ für den GRL-Code. Aufbauend darauf liefert Theorem 17 die äquivalente Bedingung dafür, dass der Code ein non-RS selbst-dualer Code ist. Die Bedingungen erfordern:

   • $n + 3 = 2k$ (Dimensionsbeschränkung).
   • Der Vektor $v$ muss proportional zum Vektor der inversen Differenzen $u$ sein (d. h. $v_i = \lambda u_i$).
   • Die Matrix $A_{3 \times 3}$ muss eine spezifische quadratische Relation erfüllen, die die Summen von $\alpha_i$ und $\alpha_i^2$ involviert.
   • Beispiele 18 und 19 demonstrieren die Konstruktion solcher selbst-dualen Codes über $F_{13}$ bzw. $F_{19}$. Bemerkenswerterweise zeigt Beispiel 19, dass selbst-duale GRL-Codes auch für $q \equiv 3 \pmod 4$ konstruiert werden können, ein Fall, in dem die bisherigen selbst-dualen Konstruktionen in [22] limitiert waren.

Bedeutung
Die Arbeit beansprucht, die Ergebnisse aus [21] und [22] zu generalisieren, indem sie die spezifischen Augmentationsmatrizen durch eine allgemeine invertible Matrix $A_{3 \times 3}$ ersetzt. Die primäre Bedeutung liegt in der Bereitstellung eines einheitlichen Rahmens, um zu bestimmen, wann diese generalisierten Codes optimale Distanzeigenschaften (MDS/AMDS) oder Selbst-Dualität besitzen. Die Autoren stellen explizit fest, dass ihre Ergebnisse die Theoreme in [21] als Spezialfälle wiederherstellen. Darüber hinaus erweitert die Konstruktion von selbst-dualen Codes für $q \equiv 3 \pmod 4$ (Beispiel 19) die Anwendbarkeit solcher Codes über die Beschränkungen der bisherigen Literatur hinaus. Die Arbeit schließt damit, dass diese äquivalenten Bedingungen die systematische Konstruktion von non-RS Codes mit wünschenswerten Eigenschaften für Anwendungen in der Kommunikation und Kryptographie ermöglichen.