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

Resumo Técnico: Uma Estrutura de Polinômios Assimétricos para a Construção de Álgebras de Divisão e Códigos de Distância Máxima de Posto Linear

Definição do Problema
O artigo aborda a construção de álgebras de divisão não unitárias e códigos matriciais lineares de Distância Máxima de Posto (MRD) sobre corpos. Embora trabalhos anteriores por Petit (1966), Sheekey (2016, 2019) e Lobillo, Santonastaso e Sheekey (2026) tenham utilizado com sucesso anéis de polinômios assimétricos $R = K[t; \sigma]$ para gerar tais estruturas, essas construções foram frequentemente restritas a parâmetros específicos. Especificamente, as construções anteriores tipicamente limitavam o mapa linear $\rho$ usado na definição da multiplicação a um automorfismo de anel (especificamente um automorfismo de Galois) e fixavam o parâmetro de índice $i_0$ em 0. O artigo busca generalizar essas estruturas para determinar se classes mais amplas de mapas e índices resultam em novas álgebras de divisão e códigos MRD, e para estabelecer critérios rigorosos para quando essas estruturas generalizadas satisfazem a propriedade de divisão ou alcançam a distância máxima de posto.

Metodologia
O autor emprega uma estrutura unificada baseada em anéis de polinômios assimétricos $R = K[t; \sigma]$, onde $K/F$ é uma extensão de corpo de Galois cíclica de grau $n$ com o grupo de Galois gerado por $\sigma$.

1. Construção da Álgebra:
   A construção central define uma multiplicação no espaço vetorial $R_m = \{g \in R \mid \deg(g) < m\}$. Dado um polinômio assimétrico mônico irredutível $f \in R$, um escalar $\nu \in K$, um inteiro $i_0 \in \{0, \dots, m-1\}$ e um mapa $F'$-linear bijetivo $\rho: K \to K$ (onde $F' \supseteq F$), uma nova multiplicação $\circ$ é definida para $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$$
   Aqui, o lado direito denota o resto da divisão à direita do produto por $f$. A estrutura resultante é denominada $S_f(K, i_0, \nu, \rho)$. Isso generaliza construções anteriores ao permitir que $\rho$ seja qualquer mapa linear bijetivo (não apenas automorfismos) e que $i_0$ seja qualquer índice na faixa de grau do polinômio.

2. Construção de Códigos MRD:
   O artigo estende isso para construir códigos MRD lineares. Ao considerar o múltiplo à esquerda central mínimo $h$ de $f$ (onde $h$ possui $k$ fatores irredutíveis) e um inteiro $l$ ($1 < l < k$), o autor define um conjunto $P_{i_0}$ de polinômios de grau até $lm$. A imagem deste conjunto no anel quociente $R/Rh$ define um código $C_{i_0, n, m, l}$ na álgebra matricial $M_k(B)$, onde $B$ é o núcleo à direita da álgebra de Petit associada.

3. Ferramentas Analíticas:
   A análise depende fortemente da teoria de polinômios assimétricos similares. Dois polinômios são similares se os módulos à esquerda $R/Rf$e$R/Rg$ são isomórficos. O autor utiliza o conjunto de polinômios similares a $f$ e seus coeficientes para derivar condições necessárias e suficientes para as propriedades algébricas e de codificação.

Principais Contribuições e Resultados

• Generalização de Construções: O artigo demonstra que as estruturas existentes de semifields cíclicos torcidos de Sheekey e as álgebras em [LobSanSh2026] são casos especiais da estrutura proposta onde $i_0 = 0$ e $\rho$ é um automorfismo. A nova estrutura permite $\rho$ como qualquer mapa linear bijetivo e $i_0$ como um índice arbitrário na faixa de grau do polinômio.
• Critérios para Álgebras de Divisão:
  • Teorema 3.2: Estabelece que $S_f(K, i_0, \nu, \rho)$ é uma álgebra de divisão sobre $F_0$ se, e somente se, o conjunto $P_{i_0}$ (polinômios da forma $g(t) + \nu\rho(g_{i_0})t^m$) não contém nenhum polinômio similar a $f$.
  • Teoremas 3.5 & 3.8: Fornecem critérios concretos baseados nos coeficientes de polinômios similares a $f$. Especificamente, a álgebra é uma álgebra de divisão se, para todo polinômio mônico $g$ similar a $f$, a condição $\nu\rho(g_{i_0}) \neq 1$ (quando $g_{i_0} \neq 0$) for satisfeita, ou equivalentemente, se uma condição de norma envolvendo $g_{i_0}$ e $\nu$ não for atendida.
  • Corolários 3.7 e 3.9: Recuperam os resultados anteriores de Sheekey para álgebras cíclicas torcidas como casos especiais e fornecem condições alternativas para que sejam pré-semifields.
• Isotopia e Unitalidade:
  • Teorema 5.4: Mostra que, sob certas condições, as álgebras não unitárias construídas são isotópicas a álgebras de divisão de Petit unitárias. Isso implica que algumas construções anteriormente consideradas distintas (especificamente aquelas em [LobSanSh2026, Teorema 5.4]) são, na verdade, isotópicas a álgebras de Petit conhecidas.
  • Teorema 5.7: Corrige uma afirmação em [LobSanSh2026, Teorema 5.7], demonstrando que a álgebra construída lá não é unitária, mas possui um elemento unidade à esquerda e é isotópica à álgebra de Petit.
• Critérios de Código MRD:
  • Teorema 4.1: Fornece uma condição necessária e suficiente para que o código construído $C_{i_0, n, m, l}$ seja um código MRD com distância mínima $k - l + 1$. A condição exige que o conjunto $P_{i_0, l}$ não contenha nenhum polinômio de grau $lm$ com $l$ fatores irredutíveis todos similares a $f$.
  • Teorema 4.2: Oferece uma condição suficiente baseada em normas para que o código seja MRD, generalizando resultados anteriores para $\rho$ não automórfico.
• Invariantes e Núcleos:
  • Seção 6: Calcula os núcleos à esquerda, ao meio e à direita, bem como o centralizador e o centro, para estas álgebras e códigos.
  • Teoremas 6.2 & 6.7: Para corpos finitos, o artigo deriva descrições explícitas dos núcleos em termos de corpos fixos de composições de $\rho$ e potências de $\sigma$. Destaca que escolher $\rho$ como um mapa linear não automórfico pode gerar "novos" códigos onde os idealizadores diferem daqueles nas construções clássicas.

Significância e Alegações
O artigo alega fornecer uma estrutura unificadora que engloba construções recentes e clássicas de álgebras de divisão e códigos MRD. Sua principal significância reside em:

1. Ampliação do Escopo: Ao relaxar o requisito de que $\rho$ seja um automorfismo e permitir que $i_0$ varie, a estrutura abrange uma classe substancialmente maior de potenciais construções.
2. Esclarecimento de Classes de Isotopia: O trabalho esclarece a relação entre novas construções e as existentes, mostrando que algumas "novas" álgebras são, na verdade, isotópicas a álgebras de Petit conhecidas, enquanto identifica condições específicas sob as quais podem surgir classes de isotopia genuinamente novas (e, portanto, novos códigos MRD).
3. Correção da Literatura: O artigo corrige asserções sobre a unitalidade de certas álgebras encontradas na literatura anterior.
4. Viabilidade Computacional: Embora os critérios para corpos infinitos sejam abstratos, o artigo observa que, para corpos finitos, as condições são tratáveis (envolvendo verificações finitas de coeficientes e normas), embora a computação explícita para grandes parâmetros exija sistemas de álgebra computacional.

O autor conclui que, embora a configuração seja mais geral, o esforço computacional para verificar a propriedade de divisão ou a propriedade MRD permanece comparável aos métodos anteriores, e a estrutura generaliza com sucesso a teoria de álgebras de divisão e códigos baseados em polinômios assimétricos.