Using nonassociative algebras to classify skew polycyclic codes up to isometry and equivalence

Titel: Het gebruik van niet-associatieve algebra's om scheef polycyclische codes te classificeren tot isometrie en equivalentie

1. Probleemstelling

Scheef polycyclische codes (ook wel $(\sigma, \delta)$-codes genoemd) zijn een belangrijke klasse van lineaire codes die worden gebruikt in de coderingstheorie, met name voor de constructie van kwantumfoutcorrectiecodes (via Gray-maps en de CSS-constructie). Bestaande classificaties van deze codes, vaak gebaseerd op associatieve ringen of beperkte definities van equivalentie (zoals de "Chen-equivalentie"), leiden tot een te groot aantal klassen. Dit resulteert in redundante zoektochten naar goede codeparameters en een gebrek aan inzicht in wanneer twee codes feitelijk dezelfde prestaties leveren.

De kernproblemen zijn:

• De beperking van bestaande methoden tot associatieve quotientringen $R/Rf$, wat alleen geldt als $f$ een tweezijdig ideaal genereert.
• Het ontbreken van een algemene definitie van isometrie en equivalentie die rekening houdt met de volledige algebraïsche structuur van de omringende ringen, inclusief niet-associatieve gevallen.
• De noodzaak om duplicaten in zoekalgoritmen voor nieuwe codes te elimineren door een strakkere classificatie.

2. Methodologie

De auteur introduceert een nieuwe benadering waarbij scheef polycyclische codes worden geanalyseerd als linkerhoofdidealen in een niet-associatieve omringende ring (de zogenaamde "Petit ring" $R/Rf$), in plaats van ze te beperken tot het geval waarin de ring associatief is.

De methodologische pijlers zijn:

• Petit Ringen: Voor een monische scheef polynoom $f \in S[t; \sigma, \delta]$ wordt de ring $R/Rf = S[t; \sigma, \delta]/S[t; \sigma, \delta]f$ beschouwd. Als $f$ geen tweezijdig ideaal genereert, is deze ring niet-associatief, maar behoudt hij wel een ringstructuur. Codes corresponderen bijectief met linkerhoofdidealen in deze ring.
• Isometrie en Equivalentie: De auteur definieert nieuwe equivalentierelaties gebaseerd op ringisomorfismen tussen deze Petit ringen die de Hamming-afstand behouden.
  • Een isometrie $G_{\tau, \alpha, k}$ is een ringisomorfisme dat de coëfficiënten transformeert via een automorfisme $\tau \in \text{Aut}(S)$ en de variabele $t$ afbeeldt op $\alpha t^k$ (waarbij $\alpha \in S^\times$ en $k$ een geheel getal is).
  • Equivalentie is het geval waarbij $k=1$.
  • Chen-isometrie/equivalentie is het geval waarbij $\tau = \text{id}$ (de identiteit).
• Vergelijking met Bestaande Literatuur: De nieuwe definities zijn strikter dan de bestaande "Chen"-definities. Ze omvatten automorfismen van het grondveld/ring ($\tau$) die niet noodzakelijk de identiteit zijn, wat leidt tot het samenvoegen van klassen die eerder als verschillend werden beschouwd.

3. Belangrijkste Bijdragen

1. Generalisatie naar Niet-Associatieve Ringen: De theorie wordt ontwikkeld voor de algemene case waarin $R/Rf$ een niet-associatieve ring is. Dit elimineert de restrictie dat de lengte van de code of de polynoom $f$ bepaalde voorwaarden moet voldoen om een associatieve structuur te hebben.
2. Nieuwe Definities van Isometrie en Equivalentie: Er worden formele definities gegeven voor $n$-isometrie en $n$-equivalentie die gebaseerd zijn op monomiale isomorfismen van de omringende Petit ringen. Dit leidt tot een fijnmazigere (strakkere) classificatie.
3. Karakterisatie van Isomorfismen: De auteur levert noodzakelijke en voldoende voorwaarden voor het bestaan van dergelijke isomorfismen.
   • Voor equivalentie ($k=1$): Twee codes zijn equivalent dan en slechts dan als er een $\tau \in \text{Aut}(S)$ en $\alpha \in S^\times$ bestaan die voldoen aan de vergelijking:
     $$\tau(a_i) = N_{\sigma}^{n-i}(\sigma^i(\alpha)) b_i$$
     voor alle coëfficiënten $a_i, b_i$ van de genererende polynomen $f$ en $h$. Hierbij is $N_{\sigma}$ de norm-afbeelding.
   • Voor isometrie met $k > 1$: Er worden strenge voorwaarden afgeleid (zoals $k \equiv 1 \pmod m$ en $\gcd(k, n) = 1$, waarbij $m$ de orde van $\sigma$ is). Het blijkt dat isometrieën met $k > 1$ zeldzaam zijn en vaak alleen bestaan in specifieke associatieve gevallen.
4. Classificatie over Eindige Ringen: De theorie wordt toegepast op eindige velden en eindige kettingringen (chain rings), inclusief Galois-ring-extensies.

4. Resultaten

• Strakkere Classificatie: De nieuwe equivalentierelaties leiden tot minder equivalentieklassen dan de bestaande Chen-classes. Voorbeelden over eindige velden (zoals $\mathbb{F}_{p^r}$) tonen aan dat codes die onder Chen-equivalentie verschillend zijn, onder de nieuwe definitie equivalent kunnen blijken te zijn.
• Samenvallen van Isometrie en Equivalentie: In veel gevallen (bijvoorbeeld wanneer de orde $m$ van $\sigma$ niet de lengte $n$ deelt, of wanneer $f$ geen tweezijdig ideaal genereert over een veld), vallen de begrippen "isometrie" en "equivalentie" samen. Dit vereenvoudigt de classificatie aanzienlijk.
• Telling van Klassen: Voor eindige ringen worden formules afgeleid voor het aantal Chen-isometrie-klassen. Voor niet-associatieve ringen is dit aantal vaak kleiner dan voor associatieve ringen.
  • Voorbeeld: Voor een eindig veld $K$ en $\sigma$ van orde $m$, als $m \nmid n$, dan is het aantal klassen gelijk aan $|K^\times| / |N_{\sigma}^n(K^\times)|$.
• Relatie met Constacyclische Codes: Er wordt een intrinsiek verband gelegd tussen scheef polycyclische codes en scheef constacyclische codes. Twee polycyclische codes zijn equivalent dan en slechts dan als de bijbehorende constacyclische codes voor elke niet-nul coëfficiënt $a_i$ equivalent zijn via een specifieke transformatie.
• Galois Ringen: Voor Galois-ring-extensies worden specifieke voorwaarden gegeven voor wanneer isometrieën met $k > 1$ kunnen bestaan (ze zijn zeer zeldzaam en vereisen strikte voorwaarden op $k$ en de ringstructuur).

5. Betekenis en Toekomstperspectief

• Efficiëntie in Code-ontwerp: Door duplicaten te elimineren en codes die dezelfde prestatieparameters (lengte, dimensie, Hamming-afstand) hebben, in dezelfde klasse te plaatsen, wordt de zoekruimte voor het vinden van nieuwe, optimale codes (vooral voor kwantumfoutcorrectie) aanzienlijk verkleind.
• Kwantumfoutcorrectie: De resultaten zijn direct toepasbaar op de CSS-constructie voor kwantumcodes, waarbij men codes $C$ zoekt met $C^\perp \subset C$. Een betere classificatie helpt bij het identificeren van geschikte paren codes.
• Algebraïsche Fundamenten: Het werk legt een stevige algebraïsche basis voor het bestuderen van codes in niet-associatieve omgevingen, wat een nieuw perspectief biedt op de theorie van scheef polynoomringen.
• Toekomstig Werk: De auteur plant om de isometrieën verder te onderzoeken, met name voor het geval $\delta \neq 0$ (waarbij de afgeleide niet nul is) en voor niet-commutatieve ringen $S$. Er wordt ook geconjectureerd dat voor niet-associatieve omringende ringen de enige isometrieën eigenlijk de equivalenties zijn ($k=1$).

Conclusie:
Dit artikel biedt een fundamentele doorbraak in de classificatie van scheef polycyclische codes door de algebraïsche structuur van de omringende ringen (inclusief niet-associatieve gevallen) centraal te stellen. De geïntroduceerde definities van isometrie en equivalentie leiden tot een efficiëntere, minder redundante catalogus van codes, wat cruciaal is voor de ontwikkeling van robuuste coderingssystemen en kwantumfoutcorrectiecodes.