A skew polynomial framework for constructing division algebras and linear maximum rank distance codes

Sintesi Tecnica: Un Framework di Polinomi Skew per la Costruzione di Alge di Divisione e Codici di Matrice Maximum Rank Distance Lineari

Problema
Il saggio affronta la costruzione di alge di divisione non unitali e codici matriciali lineari Maximum Rank Distance (MRD) su campi. Sebbene lavori precedenti di Petit (1966), Sheekey (2016, 2019) e Lobillo, Santonastaso e Sheekey (2026) abbiano utilizzato con successo anelli di polinomi skew $R = K[t; \sigma]$ per generare tali strutture, queste costruzioni erano spesso limitate a parametri specifici. Nello specifico, le costruzioni precedenti limitavano tipicamente la mappa lineare $\rho$ utilizzata nella definizione della moltiplicazione affinché fosse un automorfismo dell'anello (specificamente un automorfismo di Galois) e fissavano il parametro di indice $i_0$ a 0. Il saggio mira a generalizzare questi framework per determinare se classi più ampie di mappe e indici producano nuove alge di divisione e codici MRD, e per stabilire criteri rigorosi per determinare quando queste strutture generalizzate soddisfano la proprietà di divisione o raggiungono la distanza massima di rango.

Metodologia
L'autore impiega un framework unificato basato su anelli di polinomi skew $R = K[t; \sigma]$, dove $K/F$ è un'estensione galoisiana ciclica di grado $n$ con gruppo di Galois generato da $\sigma$.

1. Costruzione dell'Algebra:
   La costruzione centrale definisce una moltiplicazione sull'insieme vettoriale $R_m = \{g \in R \mid \deg(g) < m\}$. Dato un polinomio skew monico irriducibile $f \in R$ di grado $m$, uno scalare $\nu \in K$, un intero $i_0 \in \{0, \dots, m-1\}$ e una mappa $\sigma$-lineare biettiva $F'$-lineare $\rho: K \to K$ (dove $F' \supseteq F$), una nuova moltiplicazione $\circ$ è definita per $b(t), c(t) \in R_m$:
   $$b(t) \circ c(t) = (b(t) + \nu\rho(b_{i_0})t^m)c(t) \mod_r f$$
   Qui il lato destro denota il resto della divisione a destra per $f$. La struttura risultante è denominata $S_f(K, i_0, \nu, \rho)$. Questo generalizza le costruzioni precedenti permettendo a $\rho$ di essere qualsiasi mappa lineare biettiva (non solo automorfismi) e a $i_0$ di essere un indice qualsiasi nell'intervallo del grado del polinomio.

2. Costruzione di Codici MRD:
   Il saggio estende questo approccio per costruire codici MRD lineari. Considerando il minimo multiplo centrale sinistro $h$ di $f$ (dove $h$ ha $k$ fattori irriducibili) e un intero $l$ ($1 < l < k$), l'autore definisce un insieme $P_{i_0}$ di polinomi di grado fino a $lm$. L'immagine di questo insieme nell'anello quoziente $R/Rh$ definisce un codice $C_{i_0, n, m, l}$ nell'algebra matriciale $M_k(B)$, dove $B$ è il nucleo destro dell'algebra di Petit associata.

3. Strumenti Analitici:
   L'analisi si basa pesantemente sulla teoria dei polinomi skew simili. Due polinomi sono simili se i moduli a sinistra $R$ $R/Rf$e$R/Rg$ sono isomorfi. L'autore utilizza l'insieme dei polinomi simili a $f$ e i loro coefficienti per derivare condizioni necessarie e sufficienti per le proprietà algebriche e di codifica.

Contributi Chiave e Risultati

• Generalizzazione delle Costruzioni: Il saggio dimostra che gli esistenti framework per i semifields ciclici distorti di Sheekey e le alge in [LobSanSh2026] sono casi speciali della proposta costruzione dove $i_0 = 0$ e $\rho$ è un automorfismo. Il nuovo framework permette l'uso di mappe lineari biettive $\rho$ arbitrarie e indici $i_0$ arbitrari.
• Criteri per le Alge di Divisione:
  • Teorema 3.2: Stabilisce che $S_f(K, i_0, \nu, \rho)$ è un'algebra di divisione su $F_0$ se e solo se l'insieme $P_{i_0}$ (polinomi della forma $g(t) + \nu\rho(g_{i_0})t^m$) non contiene alcun polinomio simile a $f$.
  • Teoremi 3.5 & 3.8: Forniscono criteri concreti basati sui coefficienti dei polinomi simili a $f$. Nello specifico, l'algebra è un'algebra di divisione se per tutti i polinomi monici $g$ simili a $f$, la condizione $\nu\rho(g_{i_0}) \neq 1$ (quando $g_{i_0} \neq 0$) è soddisfatta, o equivalentemente, se una specifica condizione di norma coinvolgente $g_{i_0}$ e $\nu$ non è soddisfatta.
  • Corollari 3.7 e 3.9: Recuperano i risultati precedenti di Sheekey per le alge cicliche distorte come casi speciali e forniscono condizioni alternative affinché esse siano pre-semifields.
• Isotopia e Unitalità:
  • Teorema 5.4: Mostra che, sotto certe condizioni, le alge non unitali costruite sono isotopiche a alge di divisione di Petit unitali. Ciò implica che alcune costruzioni precedentemente ritenute distinte (specificamente quelle in [LobSanSh2026, Teorema 5.4]) sono in realtà isotopiche alle alge di Petit note.
  • Teorema 5.7: Corregge un'affermazione in [LobSanSh2026, Teorema 5.7], dimostrando che l'algebra costruita lì non è unitale ma possiede un elemento unità a sinistra ed è isotopica all'algebra di Petit.
• Criteri per i Codici MRD:
  • Teorema 4.1: Fornisce una condizione necessaria e sufficiente affinché il codice costruito $C_{i_0, n, m, l}$ sia un codice MRD con distanza minima $k - l + 1$. La condizione richiede che l'insieme $P_{i_0, l}$ non contenga alcun polinomio di grado $lm$ con $l$ fattori irriducibili tutti simili a $f$.
  • Teorema 4.2: Offre una condizione sufficiente basata sulle norme per essere un codice MRD, generalizzando i risultati precedenti a $\rho$ non automorfico.
• Invarianti e Nuclei:
  • Sezione 6: Calcola i nuclei sinistro, centrale e destro, nonché il centralizzatore e il centro per queste alge e codici.
  • Teoremi 6.2 & 6.7: Per i campi finiti, il saggio deriva descrizioni esplicite dei nuclei in termini di campi fissi di composizioni di $\rho$ e potenze di $\sigma$. Evidenzia come la scelta di $\rho$ come mappa lineare non automorfica possa produrre "nuovi" codici dove gli idealizzatori differiscono da quelli delle costruzioni classiche.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un framework unificante che assorbe le recenti e classiche costruzioni di alge di divisione e codici MRD. La sua significatività primaria risiede in:

1. Ampliamento dell'Ambito: Rilassando il requisito che $\rho$ sia un automorfismo e permettendo a $i_0$ di variare, il framework comprende una classe sostanzialmente più ampia di potenziali costruzioni.
2. Chiarificazione delle Classi di Isotopia: Il lavoro chiarisce la relazione tra le nuove costruzioni e quelle esistenti, mostrando che alcune "nuove" alge sono in realtà isotopiche alle alge di Petit note, identificando al contempo le condizioni specifiche sotto le quali possono emergere classi di isotopia genuinamente nuove (e quindi nuovi codici MRD).
3. Correzione della Letteratura: Il saggio corregge le asserzioni riguardanti la unitalità di specifiche alge trovate nella letteratura precedente.
4. Fattibilità Computazionale: Sebbene i criteri per i campi infiniti siano astratti, il saggio nota che per i campi finiti le condizioni sono trattabili (comportano controlli finiti di coefficienti e norme), sebbene il calcolo esplicito per parametri ampi richieda sistemi di algebra computazionale.

L'autore conclude che, sebbene l'impostazione sia più generale, lo sforzo computazionale per verificare la proprietà di divisione o la proprietà MRD rimane comparabile ai metodi precedenti, e il framework generalizza con successo la teoria delle alge di divisione e dei codici basati su polinomi skew.