When isometry and equivalence for skew constacyclic codes coincide

1. Il Problema

Il lavoro si concentra sulla classificazione dei codici lineari skew costaciclci (skew constacyclic codes) definiti su un anello commutativo unital $S$. Nello specifico, gli autori affrontano il problema di determinare quando due di questi codici sono "isometrici" (preservano il peso di Hamming e la distanza) o "equivalenti".

Fino a questo studio, la letteratura (in particolare [OaNA25]) aveva proposto definizioni distinte per l'$(n, \sigma)$-isometria e l'$(n, \sigma)$-equivalenza per i codici skew costaciclci. L'isometria era definita tramite isomorfismi monomiali di grado $k$ (dove $G(t) = \alpha t^k$), mentre l'equivalenza era limitata al caso $k=1$.
Il problema centrale emerso da un errore in un teorema precedente ([OaNA25, Teorema 4]) era la presunta esistenza di isometrie di grado superiore ($k > 1$) per una vasta classe di codici. Gli autori si pongono la domanda: le nozioni di isometria ed equivalenza coincidono? E sotto quali condizioni esistono isomorfismi di grado $k > 1$ tra gli anelli ambientanti di questi codici?

2. Metodologia

Gli autori adottano un approccio algebrico che sposta la prospettiva dai codici stessi ai loro anelli ambientanti non associativi, noti come anelli di Petit.

• Contesto Algebrico: I codici skew polycyclic sono in corrispondenza biunivoca con ideali principali a sinistra negli anelli di Petit $S_f = S[t; \sigma] / S[t; \sigma]f(t)$. Per i codici skew costaciclci, $f(t) = t^n - a$.
• Analisi degli Anelli di Petit: Se $f(t)$ non è un ideale bilatero, l'anello $S_f$ è non associativo. Gli autori studiano le proprietà di questi anelli, in particolare la power-associatività (la proprietà per cui le potenze di un elemento sono ben definite indipendentemente dall'associazione).
• Classificazione degli Omomorfismi: Il cuore della metodologia risiede nell'analizzare gli omomorfismi monomiali $G: S_f \to S_h$ definiti da $G|_S = \tau$ (un automorfismo di $S$ che commuta con $\sigma$) e $G(t) = \alpha t^k$.
  • Vengono stabiliti criteri rigorosi per determinare quando tali mappe sono ben definite e quando preservano la struttura dell'anello.
  • Si utilizza un'analisi combinatoria dettagliata sulle potenze di monomi $\alpha t^k$ negli anelli non associativi per derivare condizioni necessarie e sufficienti.
• Estensione ai casi non monomiali: Per gli anelli di dominio intero, gli autori dimostrano che non esistono omomorfismi non monomiali (polinomiali) tra anelli di Petit propriamente non associativi, sotto certe ipotesi tecniche.

3. Contributi Chiave e Risultati Principali

A. Coincidenza di Isometria ed Equivalenza per Anelli Non Associativi

Il risultato più significativo è il Corollario 4.5 e il Teorema 4.4.

• Gli autori dimostrano che se l'anello di Petit $S_{t^n-a}$ è propriamente non associativo (cioè se $\sigma(a) \neq a$ o se l'ordine $m$ di $\sigma$ non divide $n$), allora non esistono omomorfismi monomiali di grado $k > 1$ che preservino il peso di Hamming.
• Di conseguenza, in questi casi, ogni isometria deve essere di grado uno ($k=1$).
• Conclusione: Per la maggior parte dei codici skew costaciclci (quelli con anelli non associativi), le nozioni di $(n, \sigma)$-isometria e $(n, \sigma)$-equivalenza coincidono. Questo invalida l'assunzione precedente che esistessero isometrie di grado superiore per tutti i casi.

B. Correzione della Letteratura Precedente

Il lavoro identifica e corregge un errore fondamentale in [OaNA25, Teorema 4], che affermava l'equivalenza di quattro condizioni per l'esistenza di isometrie.

• Gli autori forniscono controesempi espliciti (Esempi 5.5 e 5.6) che mostrano come le condizioni algebriche proposte in precedenza non siano sufficienti a garantire l'esistenza di un isomorfismo di grado $k > 1$.
• Dimostrano che la scarsità di isomorfismi di grado $k > 1$ rende la classificazione dei codici più semplice di quanto ipotizzato: le classi di equivalenza sono più ampie e meno numerose.

C. Nuove Definizioni di Equivalenza e Isometria

Gli autori propongono una nuova definizione unificata (Definizione 5.1) che cattura esattamente tutti gli isomorfismi che preservano il peso di Hamming tra gli anelli ambientanti:

• Due codici sono isometrici se esiste un isomorfismo monomiale $G_{\tau, \alpha, k}$.
• Due codici sono equivalenti se esiste un isomorfismo monomiale di grado uno $G_{\tau, \alpha}$.
• Poiché per gli anelli non associativi $k$ deve essere 1, le due definizioni coincidono, portando a una classificazione più stretta e accurata.

D. Conteggio delle Classi di Equivalenza

Nel Teorema 5.9, gli autori derivano una formula corretta per il numero di classi di isometria distinte per codici skew costaciclci su un campo finito $K = \mathbb{F}_{p^r}$:

• Se $m \nmid n$ (anello non associativo), il numero di classi è $\gcd([n]_s, p^r - 1)$.
• Se $m | n$ (caso associativo), il numero di classi è ridotto, tenendo conto delle classi che diventano equivalenti solo grazie agli isomorfismi di grado superiore.

E. Assenza di Omomorfismi Non Monomiali

Nel Teorema 6.1 e Corollario 6.2, viene dimostrato che per domini interi $S$, se $m \nmid n$ (caso non associativo), ogni omomorfismo non nullo tra anelli di Petit deve essere necessariamente monomiale di grado uno. Questo esclude la possibilità di mappe polinomiali complesse che potrebbero preservare la struttura in modo non banale.

4. Significato e Implicazioni

1. Raffinamento della Classificazione dei Codici: Il lavoro fornisce una classificazione più precisa dei codici skew costaciclci. Dimostra che, nella maggior parte dei casi pratici (anelli non associativi), non è necessario considerare isometrie di grado superiore per distinguere o unificare classi di codici. Questo semplifica l'analisi delle prestazioni dei codici (distanza di Hamming, tasso di codice).
2. Correzione Teorica: L'identificazione dell'errore in [OaNA25] e la correzione delle formule di conteggio delle classi di equivalenza sono fondamentali per la ricerca futura in teoria dei codici su anelli skew.
3. Strumenti Algebrici: L'uso degli anelli di Petit non associativi come strumento principale per lo studio dei codici si rivela potente. La caratterizzazione della power-associatività e delle condizioni per gli omomorfismi offre nuovi strumenti algebrici per lo studio delle strutture non associative in crittografia e teoria dei codici.
4. Applicazioni Crittografiche: Poiché gli anelli di Petit sono collegati ai codici a distanza di rango massima (MRD) e a schemi crittografici post-quantistici (come le varianti di Learning with Errors), una migliore comprensione delle loro isometrie ha implicazioni dirette sulla sicurezza e sulla valutazione della forza di questi schemi crittografici.

In sintesi, il paper stabilisce che la complessità apparente delle isometrie di grado superiore per i codici skew costaciclci è in gran parte un'illusione dovuta a condizioni algebriche non soddisfatte nella maggior parte dei casi non associativi, portando a una teoria di equivalenza più robusta e coerente.