When isometry and equivalence for skew constacyclic codes coincide

Resumo Técnico: Isometria e Equivalência para Códigos Constacíclicos Não Associativos

1. Problema e Contexto

O artigo aborda a classificação de códigos lineares constacíclicos não associativos (também conhecidos como códigos polícíclicos não associativos) sobre um anel comutativo base $S$.

• Definição: Um código é chamado de $(\sigma, a)$-constacíclico se, para cada palavra-código $(c_0, \dots, c_{n-1})$, o vetor deslocado $(\sigma(c_{n-1})a, \sigma(c_0), \dots, \sigma(c_{n-2}))$ também pertence ao código.
• Ambiente Algébrico: Esses códigos correspondem a ideais principais à esquerda em anéis não associativos chamados Anéis de Petit, definidos como $S_f = S[t; \sigma]/S[t; \sigma](t^n - a)$, onde $S[t; \sigma]$ é o anel de polinômios não comutativos (skew).
• O Problema: A literatura recente (especificamente [OaNA25]) propôs duas noções distintas para classificar esses códigos: $(n, \sigma)$-isometria (baseada em isomorfismos monomiais de grau $k \ge 1$) e $(n, \sigma)$-equivalência (baseada em isomorfismos monomiais de grau $k=1$). A questão central é saber se essas duas noções coincidem e se os resultados de classificação anteriores são válidos, especialmente quando os anéis de ambiente são não associativos.

2. Metodologia

Os autores utilizam uma abordagem algébrica rigorosa focada na estrutura dos anéis de Petit e nas propriedades dos homomorfismos entre eles. A metodologia divide-se em três etapas principais:

1. Análise de Potências e Associatividade: Investigam as condições sob as quais o elemento $t$ (e seus múltiplos monomiais $\alpha t^k$) é associativo de potência (power-associative) no anel não associativo $S[t; \sigma]/(t^n - a)$. Isso é crucial para garantir que a definição de homomorfismos monomiais seja bem-definida.
2. Caracterização de Homomorfismos Monomiais: Derivam condições necessárias e suficientes para a existência de homomorfismos monomiais $G_{\tau, \alpha, k}$ (onde $G(t) = \alpha t^k$) entre anéis de Petit. Isso envolve o uso de combinatória cuidadosa e propriedades de automorfismos $\sigma$ e $\tau$.
3. Investigação de Homomorfismos Não Monomiais: Para anéis integrais (domínios de integridade), provam que, sob certas condições, não existem homomorfismos não monomiais (polinomiais) entre anéis de Petit propriamente não associativos.

3. Contribuições e Resultados Chave

A. Coincidência de Isometria e Equivalência (Teorema Principal)
O resultado mais impactante é a prova de que, para a maioria dos códigos constacíclicos cujos anéis de ambiente são propriamente não associativos, as noções de $(n, \sigma)$-isometria e $(n, \sigma)$-equivalência coincidem.

• Teorema (Corolário 4.5): Se o anel de Petit $K[t; \sigma]/(t^n - a)$ é propriamente não associativo (o que ocorre quando $\sigma(a) \neq a$ ou a ordem $m$ de $\sigma$ não divide $n$), então todos os isomorfismos que preservam o peso de Hamming e estendem um automorfismo $\tau$ de $S$ que comuta com $\sigma$ são de grau um ($k=1$).
• Consequência: Não existem isomorfismos monomiais de grau $k > 1$ para esses anéis. Portanto, a distinção entre "isometria" (que permitiria $k>1$) e "equivalência" (que exige $k=1$) torna-se irrelevante; elas definem a mesma classe de equivalência.

B. Refutação de Resultados Anteriores
Os autores identificam e corrigem um erro fundamental no trabalho de [OaNA25, Teorema 4].

• O trabalho anterior assumia a existência de isometrias de grau superior ($k>1$) para uma classe ampla de códigos, levando a uma contagem incorreta de classes de equivalência.
• O artigo fornece contraexemplos explícitos (Exemplo 5.5 e 5.6) mostrando que a condição necessária para isomorfismos de grau $k>1$ é extremamente restritiva: exige que $m|n$ e que $a, b \in S_0$ (o subanel fixo), o que torna o anel associativo.
• Assim, para anéis não associativos, a classificação proposta anteriormente estava superestimando o número de isometrias.

C. Novas Definições de Equivalência
Propõem novas definições de isometria e equivalência para códigos constacíclicos que capturam exatamente todos os isomorfismos de anéis de ambiente que preservam o peso de Hamming.

• Definição 5.1: Duas classes de códigos são isométricas se houver um isomorfismo monomial $G_{\tau, \alpha, k}$ entre seus anéis de ambiente. São equivalentes se o isomorfismo for de grau $k=1$.
• Resultado: Para anéis não associativos, essas definições colapsam para a mesma relação, levando a uma classificação mais apertada (tighter classification) e correta.

D. Classificação Quantitativa (Teorema 5.9)
Os autores recalculam o número de classes de $(n, \sigma)$-isometria para códigos sobre um corpo finito $K = \mathbb{F}_{p^r}$.

• Fornecem uma fórmula exata para o número de classes distintas quando os anéis são não associativos ($m \nmid n$ ou $a \notin K_0$).
• Mostram que o número de classes é dado por $\gcd([n]_s, p^r - 1)$ (ou uma variação ajustada quando $m|n$), corrigindo a contagem anterior baseada na premissa falsa de isometrias de grau superior.

E. Inexistência de Homomorfismos Não Monomiais (Seção 6)
Para domínios de integridade $S$, provam que, se $m \nmid n$, qualquer homomorfismo não nulo entre anéis de Petit propriamente não associativos deve ser monomial de grau um. Isso elimina a possibilidade de isomorfismos polinomiais complexos que não sejam monomiais, simplificando drasticamente a estrutura de classificação.

4. Significado e Impacto

1. Correção da Literatura: O trabalho corrige erros significativos em classificações recentes de códigos constacíclicos, invalidando teoremas que dependiam da existência de isometrias de grau $k > 1$ em contextos não associativos.
2. Unificação de Conceitos: Demonstra que, no cenário não associativo (que é o caso geral para muitos códigos de interesse prático), a busca por isometrias de grau superior é fútil, unificando as noções de isometria e equivalência.
3. Otimização de Classificação: Ao eliminar falsas isometrias, o número de classes de equivalência de códigos aumenta (ou seja, há mais classes distintas do que se pensava), o que é crucial para evitar a duplicação de códigos com parâmetros de desempenho idênticos em bancos de dados de códigos.
4. Aplicações em Criptografia e MRD: Os resultados têm implicações diretas para códigos de distância de posto máxima (MRD) e esquemas de criptografia pós-quântica baseados em reticulados (Learning with Errors), onde a estrutura dos anéis de Petit não associativos é fundamental. A compreensão precisa dos isomorfismos entre esses anéis permite parametrizações mais corretas desses códigos.

Em resumo, o artigo estabelece uma fundação algébrica rigorosa para a classificação de códigos constacíclicos não associativos, provando que a estrutura desses anéis é tão rígida que isometrias de grau superior não existem, forçando uma reavaliação e refinamento da teoria de equivalência de códigos.