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

Technische Samenvatting: Equivalentievoorwaarden voor GRL-codes om Niet-GRS MDS, AMDS of Zelf-duaal te zijn

Probleemstelling
Maximum Distance Separable (MDS) en Almost Maximum Distance Separable (AMDS) codes, evenals zelf-duale codes, bezitten significante algebraïsche eigenschappen en worden breed toegepast in communicatiesystemen, gegevensopslag, kwantumcodering en cryptografie. Hoewel Reed-Solomon (RS) codes een bekende klasse van MDS-codes zijn, blijft het construeren van codes die niet equivalent zijn aan RS-codes (niet-RS) een cruciaal onderzoeksgebied om de diversiteit van beschikbare codefamilies te vergroten. Eerdere werken door Roth en Lempel [20], en vervolgens door Wu et al. [21] en [22], construeerden specifieke klassen van niet-RS MDS-codes door de generator-matrix van RS-codes aan te vullen met twee of drie extra kolommen. Dit artikel adresseert de behoefte om deze constructies verder te generaliseren en precieze algebraïsche voorwaarden vast te stellen waaronder deze gegeneraliseerde codes (en hun dualen) MDS-, AMDS- of zelf-duale eigenschappen vertonen zonder equivalent te zijn aan RS-codes.

Methodologie
De auteurs introduceren een klasse van Generalized Roth-Lempel (GRL) codes, aangeduid als $GRL_k(\alpha, v, A_{l \times l})$, gedefinieerd over een eindig veld $F_q$. Deze constructie generaliseert eerdere modellen door de specifieke augmentatie-matrices gebruikt in [21] en [22] te vervangen door een willekeurige inverteerbare matrix $A_{l \times l} \in GL_l(F_q)$. Specifiek richt het artikel zich op het geval waar $l=3$, aangeduid als $GRL_k(\alpha, v, A_{3 \times 3})$.

De methodologie hanteert de volgende technische benaderingen:

1. Generator-matrix Analyse: De auteurs definiëren de generator-matrix $G_4$ voor de $GRL_k(\alpha, v, A_{3 \times 3})$ code, die bestaat uit een standaard Vandermonde-achtige structuur, aangevuld met drie kolommen afgeleid van de matrix $A_{3 \times 3}$.
2. Niet-RS Verificatie: Om te bewijzen dat de codes niet-RS zijn, maken de auteurs gebruik van Lemma 5 (een karakterisering van RS-codes via de entries van de generator-matrix) en demonstreren zij dat de specifieke structuur van de aangevulde kolommen de noodzakelijke voorwaarden voor RS-equivalentie verhindert wanneer $k > 3$.
3. MDS en AMDS Condities: Gebruikmakend van Lemma 6 (die stelt dat een $[n, k]$ code MDS is indien en slechts indien elke $k$ kolommen van de generator-matrix lineair onafhankelijk zijn), analyseren de auteurs de determinanten van alle mogelijke $k \times k$ submatrices gevormd door de generator-matrix. Dit omvat een uitgebreide casusanalyse met betrekking tot de inclusie van de aangevulde kolommen ($u_1, u_2, u_3$) in de submatrices.
4. Pariteitscontrole-matrix Constructie: Voor de zelf-duale analyse leiden de auteurs een expliciete pariteitscontrole-matrix $H_5$ af voor de GRL-code. Zij gebruiken Lemma 4 (eigenschappen van sommen van machten van veldelementen gewogen door inverse verschillen) om de orthogonaliteitsconditie $G H^T = 0$ te verifiëren.
5. Zelf-dualiteit Criteria: De conditie voor zelf-dualiteit ($C = C^\perp$) wordt vastgesteld door te eisen dat de generator-matrix en de pariteitscontrole-matrix dezelfde ruimte beslaan, wat leidt tot specifieke beperkingen op de vector $v$ en de matrix $A_{3 \times 3}$.

Belangrijkste Bijdragen en Resultaten

1. Niet-RS Eigenschap: Theorem 7 stelt vast dat voor $k > 3$, de $GRL_k(\alpha, v, A_{3 \times 3})$ code strikt niet-GRS (Generalized Reed-Solomon) is, ongeacht de keuze van parameters, mits $A_{3 \times 3} \in GL_3(F_q)$.

2. Equivalentievoorwaarden voor Niet-RS MDS: Theorem 8 biedt noodzakelijke en voldoende voorwaarden voor $GRL_k(\alpha, v, A_{3 \times 3})$ om MDS te zijn. Deze voorwaarden worden uitgedrukt als ongelijkheden involving sommen van producten van de evaluatiepunten $\alpha_i$ en de entries van $A_{3 \times 3}$. Specifiek, voor elke deelverzameling van grootte $k-1$ of $k-2$, mogen bepaalde polynomiale expressies die de matrix-entries bevatten niet verdwijnen.

   • Corollary 10 en Example 11 illustreren deze voorwaarden met een specifieke matrixvorm en een concreet voorbeeld over $F_{11}$, wat een $[8, 4, 5]$ code oplevert.

3. Equivalentievoorwaarden voor AMDS Dualen: Theorem 12 bepaalt de voorwaarden waaronder de duale code $GRL_k^\perp(\alpha, v, A_{3 \times 3})$ AMDS is. Dit vereist dat elke $k-1$ kolommen van de generator-matrix lineair onafhankelijk zijn, terwijl ten minste één set van $k$ kolommen afhankelijk is. De stelling somt zes specifieke gevallen op die de entries van $A_{3 \times 3}$ en sommen van $\alpha_i$ betreffen.

   • Corollary 13 en Example 14 bieden een specifieke instantie over $F_7$, resulterend in een $[8, 4, 4]$ code.

4. Pariteitscontrole-matrix en Zelf-dualiteit: Theorem 16 construeert de pariteitscontrole-matrix $H_5$ voor de GRL-code. Voortbouwend hierop, biedt Theorem 17 de equivalentievoorwaarde voor de code om een niet-RS zelf-duaal te zijn. De voorwaarden vereisen:

   • $n + 3 = 2k$ (dimensiebeperking).
   • De vector $v$ moet proportioneel zijn aan de vector van inverse verschillen $u$ (d.w.z. $v_i = \lambda u_i$).
   • De matrix $A_{3 \times 3}$ moet een specifieke kwadratische relatie voldoen die de sommen van $\alpha_i$ en $\alpha_i^2$ betreft.
   • Examples 18 en 19 demonstreren de constructie van dergelijke zelf-duale codes over $F_{13}$ en $F_{19}$, respectievelijk. Merkwaardig genoeg benadrukt Example 19 dat zelf-duale GRL-codes geconstrueerd kunnen worden voor $q \equiv 3 \pmod 4$, een geval waar eerdere zelf-duale constructies in [22] beperkt waren.

Significantie
Het artikel beweert de resultaten gevonden in [21] en [22] te generaliseren door de specifieke augmentatie-matrices te vervangen door een algemene inverteerbare matrix $A_{3 \times 3}$. De primaire significantie ligt in het bieden van een verenigd kader om te bepalen wanneer deze gegeneraliseerde codes optimale afstandseigenschappen (MDS/AMDS) of zelf-dualiteit bezitten. De auteurs merken expliciet op dat hun resultaten de stellingen in [21] als speciale gevallen terugvinden. Voorts is de constructie van zelf-duale codes voor $q \equiv 3 \pmod 4$ (Example 19) een uitbreiding van de toepasbaarheid van dergelijke codes buiten de beperkingen van de eerdere literatuur. Het artikel concludeert dat deze equivalentievoorwaarden een systematische constructie van niet-RS codes met gewenste eigenschappen voor toepassingen in communicatie en cryptografie mogelijk maken.