Usando álgebras no asociativas para clasificar códigos sesgados policíclicos hasta isometría y equivalencia

Información Básica

• ID del artículo: 2508.10139
• Título: Using nonassociative algebras to classify skew polycyclic codes up to isometry and equivalence
• Autor: Susanne Pumplün
• Clasificación: cs.IT math.IT math.RA
• Fecha de publicación: 13 de octubre de 2025 (preimpresión arXiv)
• Enlace del artículo: https://arxiv.org/abs/2508.10139

Resumen

Este artículo propone nuevas definiciones de equivalencia e isometría para códigos sesgados policíclicos mediante el aprovechamiento de isomorfismos entre álgebras ambientes, lo que conduce a una clasificación más rigurosa que los métodos existentes. Esto reduce el número de clases de isometría y equivalencia previamente conocidas. En el proceso, el autor clasifica clases de códigos sesgados $(f,σ,δ)$-policíclicos con los mismos parámetros de rendimiento para evitar duplicar códigos existentes y especifica con precisión cuándo coinciden diferentes conceptos de equivalencia.

Existe una correspondencia biyectiva entre los generadores de códigos sesgados policíclicos y los generadores de ideales principales izquierdos en su álgebra ambiente. Al permitir que el álgebra ambiente sea no asociativa, se eliminan las restricciones sobre la longitud del código. Los isomorfismos algebraicos que preservan la distancia de Hamming (denominados isometrías) asignan generadores de ideales principales izquierdos a generadores de ideales principales izquierdos, preservando la longitud, dimensión y distancia de Hamming del código.

Antecedentes de investigación y motivación

Definición del problema

1. Importancia del problema de clasificación: Los resultados de equivalencia para códigos sesgados policíclicos pueden utilizarse para optimizar la búsqueda de códigos buenos, evitar duplicar parámetros de códigos existentes y encontrar clases de equivalencia en un conjunto de códigos dado.
2. Limitaciones de los métodos existentes:
   • Las clasificaciones existentes utilizan principalmente equivalencia e isometría de Chen, considerando solo el caso τ = id
   • Falta un tratamiento sistemático de álgebras ambientes no asociativas
   • La clasificación no es lo suficientemente rigurosa, existiendo redundancias
3. Motivación de la investigación:
   • Establecer relaciones de equivalencia más refinadas, reduciendo el número de clases de equivalencia
   • Extender a configuraciones de álgebras no asociativas, eliminando restricciones sobre la longitud del código
   • Proporcionar herramientas más efectivas para la construcción de códigos de corrección de errores cuánticos

Contribuciones principales

1. Nuevas definiciones de equivalencia: Se proponen conceptos de equivalencia e isometría más refinados que la equivalencia de Chen existente, permitiendo el uso de automorfismos arbitrarios τ ∈ Aut(S)
2. Marco de álgebras no asociativas: Se tratan sistemáticamente los códigos sesgados policíclicos como ideales principales izquierdos en álgebras de Petit no asociativas, eliminando restricciones sobre la longitud del código
3. Mejora de los resultados de clasificación:
   • Se proporcionan condiciones necesarias y suficientes para equivalencia (Teorema 5.1)
   • Se demuestra que bajo condiciones específicas, equivalencia e isometría coinciden (Teorema 5.2)
   • Se calculan todas las clases de equivalencia (Teorema 5.7)
4. Aplicaciones concretas: Se proporciona una clasificación más rigurosa para códigos sesgados constacíclicos sobre cuerpos finitos, con fórmulas de conteo explícitas

Explicación detallada de métodos

Definición de la tarea

Sea S un anillo asociativo unital, σ ∈ Aut(S), f, h ∈ R = St;σ,δ polinomios mónicos. La tarea es clasificar las clases de equivalencia e isometría de códigos sesgados $(f,σ,δ)$-policíclicos de longitud m.

Conceptos principales

1. Álgebra de Petit

Para un polinomio mónico $f(t) = t^m - \sum_{i=0}^{m-1} a_i t^i$, se define el álgebra de Petit: $S_f = S[t;σ,δ]/S[t;σ,δ]f$

Esta es un álgebra no asociativa, siendo asociativa si y solo si Rf es un ideal bilateral.

2. Definición de equivalencia

Definición 3.1: Sea τ ∈ Aut(S), α ∈ S×, k ∈ ℕ. Si existe un isomorfismo de anillo $G : R/Rf → R/Rh$ definido por G|_S = τ y $G_{τ,α,k}(t) = αt^k$, entonces G se denomina isometría de grado k u homomorfismo monomial. Cuando k = 1, se denomina $G_{τ,α}$ equivalencia.

3. Teoremas principales

Teorema 5.1 (Criterio de equivalencia): Dos clases de códigos sesgados policíclicos $C_f$ y $C_h$ son equivalentes si y solo si existe τ ∈ Aut(S) que conmuta con σ y α ∈ S× tales que $τ(a_i) = N^σ_{m-i}(σ^i(α))b_i$ para todo i ∈ {0,...,m-1}.

Teorema 5.2 (Coincidencia de equivalencia e isometría): Sea n ≥ m-1 y f no genera un ideal bilateral en Kt;σ, siendo Aut(K) un grupo abeliano. Entonces los conceptos de equivalencia e isometría para códigos sesgados $(f,σ)$-policíclicos de longitud m coinciden.

Puntos de innovación técnica

1. Caracterización de homomorfismos monomiales: Se caracterizan completamente los isomorfismos que preservan el peso de Hamming mediante la condición $ασ(τ(b)) = τ(σ(b))α$
2. Aplicación sistemática de álgebras no asociativas: Primera aplicación sistemática de la teoría de álgebras de Petit no asociativas al tratamiento de códigos sesgados policíclicos
3. Construcción explícita de clases de equivalencia: Se proporciona una descripción completa y método de cálculo para las clases de equivalencia

Configuración experimental

Verificación teórica

Este trabajo es principalmente teórico, verificando resultados mediante:

1. Ejemplos concretos sobre cuerpos finitos:
   • Caso $K = \mathbb{F}_{p^2}$ con σ como automorfismo de Frobenius
   • Cálculos concretos para $K = \mathbb{F}_{32}$ y $K = \mathbb{F}_{22}$
2. Comparación con resultados existentes: Se demuestra que la nueva clasificación es efectivamente más rigurosa que la clasificación de Chen

Métricas de evaluación

• Grado de reducción en el número de clases de equivalencia
• Rigor de la clasificación
• Completitud de los resultados teóricos

Resultados experimentales

Resultados principales

1. Clasificación mejorada sobre cuerpos finitos

Ejemplo 6.2: Cuando $\gcd([m]_s, p^r-1) = p^r-1$, bajo equivalencia de Chen hay $p^r-1$ clases distintas de códigos sesgados constacíclicos, mientras que bajo la nueva relación de equivalencia, cada clase de equivalencia contiene r elementos (cuando $a \notin \mathbb{F}_p$), reduciendo el número de clases a 1/r del original.

2. Resultados de conteo concretos

Ejemplo 6.4 ($K = \mathbb{F}_{32}$):

• Cuando m es impar: número de clases de equivalencia de Chen = 1, número de nuevas clases de equivalencia = 1
• Cuando $m \equiv 2 \pmod{4}$: número de clases de equivalencia de Chen = 4, número de nuevas clases de equivalencia = 2
• Cuando $m \equiv 0 \pmod{4}$: número de clases de equivalencia de Chen = 8, número de nuevas clases de equivalencia = 5

3. Condiciones de coincidencia entre equivalencia e isometría

Se demuestra que en la mayoría de casos (particularmente cuando el álgebra ambiente es no asociativa), equivalencia e isometría coinciden, simplificando el problema de clasificación.

Hallazgos teóricos

1. Mejora de la clasificación: La nueva relación de equivalencia produce efectivamente menos clases de equivalencia, validando la efectividad del método
2. Ventajas de álgebras no asociativas: Permitir que el álgebra ambiente sea no asociativa elimina restricciones sobre la longitud del código, haciendo la teoría más completa
3. Acción del grupo de automorfismos: La estructura del grupo de automorfismos Aut(S) afecta directamente el número y estructura de las clases de equivalencia

Trabajo relacionado

Direcciones principales de investigación

1. Teoría de clasificación clásica: Clasificación de códigos constacíclicos por Chen et al. CFLL2012
2. Teoría de anillos de polinomios sesgados: Teoría de códigos sesgados cíclicos de Boucher-Ulmer BouUl2009
3. Aplicaciones de álgebras no asociativas: Aplicaciones de la teoría de álgebras de Petit en codificación

Ventajas de este trabajo

1. Clasificación más rigurosa: Comparado con la clasificación de Chen, reduce redundancias
2. Completitud teórica: Trata sistemáticamente el caso no asociativo
3. Amplitud de aplicaciones: Aplicable a la construcción de códigos de corrección de errores cuánticos

Conclusiones y discusión

Conclusiones principales

1. Se proponen nuevos conceptos de equivalencia para códigos sesgados policíclicos, logrando una clasificación más rigurosa
2. Se utiliza sistemáticamente el álgebra de Petit no asociativa, eliminando restricciones sobre la longitud del código
3. Se proporcionan condiciones de discriminación completas para equivalencia y construcción explícita de clases de equivalencia
4. Se demuestra que en la mayoría de casos los conceptos de equivalencia e isometría coinciden

Limitaciones

1. Complejidad computacional: La caracterización completa de clases de isometría sigue siendo difícil en algunos casos
2. Alcance de aplicación: Se concentra principalmente en el caso δ = 0, requiriéndose investigación adicional para δ ≠ 0
3. Anillos no conmutativos: Actualmente se considera principalmente el caso de anillos conmutativos S

Direcciones futuras

1. Investigar isomorfismos que preservan peso de Hamming cuando δ ≠ 0
2. Extender al caso de anillos no conmutativos
3. Aplicaciones concretas en la construcción de códigos de corrección de errores cuánticos
4. Considerar conceptos de isometría que preserven dualidad

Evaluación profunda

Fortalezas

1. Innovación teórica: Primera aplicación sistemática de teoría de álgebras no asociativas al tratamiento de clasificación de códigos sesgados policíclicos
2. Completitud de resultados: Se proporcionan condiciones necesarias y suficientes para equivalencia y descripción completa de clases de equivalencia
3. Valor práctico: Proporciona herramientas más efectivas para búsqueda y clasificación de códigos
4. Rigor matemático: Demostraciones completas con fundamentos teóricos sólidos

Deficiencias

1. Complejidad computacional: La caracterización de clases de isometría en algunos casos sigue siendo difícil
2. Verificación de aplicaciones: Falta verificación de aplicaciones en problemas de codificación reales
3. Implementación algorítmica: No se proporcionan implementaciones algorítmicas concretas

Impacto

1. Contribución teórica: Proporciona nuevas herramientas algebraicas para la teoría de codificación
2. Valor práctico: Contribuye a optimizar algoritmos de búsqueda de códigos
3. Impacto interdisciplinario: Conecta álgebras no asociativas con teoría de codificación

Escenarios de aplicación

1. Investigación teórica de códigos sesgados policíclicos
2. Construcción de códigos de corrección de errores cuánticos
3. Clasificación de códigos lineales sobre anillos finitos
4. Desarrollo adicional de teoría de codificación algebraica

Referencias

Este artículo cita literatura importante de teoría de codificación, teoría de anillos de polinomios sesgados y álgebras no asociativas, incluyendo:

• Trabajos de clasificación de códigos constacíclicos de Chen et al.
• Teoría de códigos sesgados cíclicos de Boucher-Ulmer
• Teoría relacionada de álgebras de Petit
• Trabajos anteriores del autor sobre isomorfismos de álgebras no asociativas

Resumen: Este es un artículo teórico de alta calidad que, mediante la introducción de teoría de álgebras no asociativas, proporciona nuevas herramientas y resultados más rigurosos para la clasificación de códigos sesgados policíclicos. Aunque es principalmente trabajo teórico, sienta bases importantes para aplicaciones prácticas, particularmente con potencial valor de aplicación importante en la construcción de códigos de corrección de errores cuánticos.