Equivalence of Families of Polycyclic Codes over Finite Fields

Resumen Técnico: Equivalencia de Familias de Códigos Policíclicos sobre Cuerpos Finitos

Planteamiento del Problema
El artículo aborda la clasificación y la equivalencia de familias de códigos policíclicos sobre cuerpos finitos $\mathbb{F}_q$. Mientras que los códigos cíclicos y constacíclicos se entienden bien como ideales en anillos cociente $\mathbb{F}_q[x]/\langle x^n - \lambda \rangle$, los códigos policíclicos generalizan estas estructuras a ideales en $\mathbb{F}_q[x]/\langle f(x) \rangle$, donde $f(x)$ es un polinomio no nulo arbitrario. Un desafío central en la teoría de códigos es la construcción de códigos con parámetros óptimos (longitud $n$, dimensión $k$ y distancia mínima $d$). Dado que las búsquedas exhaustivas por computadora para códigos óptimos son computacionalmente intratables para parámetros grandes, los autores buscan reducir el espacio de búsqueda organizando sistemáticamente los códigos policíclicos en clases de equivalencia. Específicamente, el artículo investiga cuándo dos espacios ambiente (los anillos cociente que definen los códigos) son isométricos, permitiendo así que los investigadores restrinjan su búsqueda a representantes de estas clases de equivalencia.

Metodología
Los autores extienden el concepto de $n$-equivalencia, definido previamente para códigos constacíclicos, al contexto más amplio de los códigos policíclicos. La metodología procede en tres etapas:

1. Definición de Equivalencia: Dos familias de códigos policíclicos asociadas a los polinomios $f(x) = x^n - \vec{a}(x)$ y $g(x) = x^n - \vec{b}(x)$ se definen como $n$-equivalentes si existe un $\alpha \in \mathbb{F}_q^*$ tal que la aplicación $\Phi_\alpha: f(x) \mapsto f(\alpha x)$ induce un isomorfismo de $\mathbb{F}_q$-álgebras entre los anillos cociente $\mathbb{F}_q[x]/\langle g(x) \rangle$ y $\mathbb{F}_q[x]/\langle f(x) \rangle$ que preserva la distancia de Hamming.
2. Caracterización Algebraica: El artículo deriva condiciones necesarias y suficientes para esta equivalencia. Esto implica analizar las raíces de ecuaciones binomiales y trinomiales en $\mathbb{F}_q$. Las herramientas clave incluyen:
   • Lemas sobre el grado de $\gcd(x^n - a, x^m - b)$ y el número de soluciones de $x^n - a = 0$.
   • El uso de productos de Schur (multiplicación componente a componente) para relacionar los vectores de coeficientes de polinomios equivalentes.
   • Análisis de teoría de grupos de subgrupos cíclicos generados por potencias de elementos primitivos en $\mathbb{F}_q^* \times \mathbb{F}_q^*$.
3. Especialización y Generalización:
   • Códigos $\ell$-Trinomiales: El estudio se centra primero en códigos asociados a trinomios de la forma $x^n - a_\ell x^\ell - a_0$ (donde $0 < \ell < n$). Los autores derivan fórmulas explícitas para el número de clases de equivalencia y las condiciones bajo las cuales un código trinomial es equivalente a una forma canónica $x^n - x^\ell - 1$.
   • Códigos $p\ell$-Trinomiales: Se realiza un análisis específico para códigos de longitud $n = p^\ell + r$ (donde $p$ es la característica de $\mathbb{F}_q$), utilizando propiedades de los polinomios de Artin-Schreier y funciones traza para determinar factorizaciones irreducibles.
   • Códigos Policíclicos Generales: Los resultados se generalizan a códigos policíclicos arbitrarios definidos por vectores $\vec{a}$ con $m$ entradas no nulas.

Contribuciones y Resultados Clave

• Definición de $(n, \ell)$-Equivalencia: El artículo formaliza una relación de equivalencia para códigos $\ell$-trinomiales. Demuestra que dos pares de coeficientes $(a_0, a_\ell)$ y $(b_0, b_\ell)$ son equivalentes si y solo si los polinomios $a_0 x^n - b_0$ y $a_\ell x^{n-\ell} - b_\ell$ comparten una raíz común en $\mathbb{F}_q^*$.
• Conteo de Clases de Equivalencia: Los autores proporcionan una fórmula explícita para el número de clases de $n$-equivalencia para códigos $\ell$-trinomiales:
  $$N_{(n,\ell)} = (q-1) \gcd(q-1, n, \ell)$$
  Para códigos policíclicos generales con $m$ coeficientes no nulos, el número de clases viene dado por:
  $$N = \frac{(q-1)^m}{\text{mcm}_{0 \le j \le m-1} \left( \frac{q-1}{\gcd(n-i_j, q-1)} \right)}$$
• Reducción a Formas Canónicas:
  • Se demuestra que si $\gcd(n, n-\ell) = 1$, cualquier familia de códigos $\ell$-trinomiales es equivalente a una familia asociada con el polinomio $x^n - x^\ell - 1$.
  • Para el caso donde $\gcd(n, n-\ell) \neq 1$, el artículo identifica representantes específicos (que involucran potencias de un elemento primitivo $\xi$) que cubren todas las clases de equivalencia.
• Factorización de Trinomios Específicos: El artículo analiza la factorización de trinomios de la forma $x^{p^\ell+1} - x^{p^\ell} - 1$ y $x^{p^\ell+s} - x^{p^\ell} - 1$. Establece condiciones bajo las cuales estos polinomios se descomponen en factores irreducibles (a menudo involucrando polinomios de Artin-Schreier $x^p - x - \beta$), lo cual informa directamente sobre los posibles polinomios generadores para códigos en estas familias.
• Construcción de Códigos Óptimos: Al restringir la búsqueda a representantes de las clases de equivalencia identificadas, los autores construyen varios ejemplos de códigos policíclicos óptimos. Ejemplos notables incluyen:
  • Un código $[27, 3, 18]_3$ y un código $[81, 3, 55]_3$ derivados de códigos $3\ell$-trinomiales sobre $\mathbb{F}_3$.
  • Códigos óptimos sobre $\mathbb{F}_9$ y $\mathbb{F}_4$ con parámetros que coinciden o alcanzan límites conocidos (por ejemplo, el límite de Griesmer).

Significado y Afirmaciones
El artículo afirma que su principal significado radica en proporcionar un marco sistemático para organizar y clasificar códigos policíclicos. Al establecer criterios explícitos para la equivalencia, el trabajo reduce la complejidad de la búsqueda de códigos con parámetros óptimos. En lugar de investigar todas las combinaciones posibles de coeficientes, los investigadores pueden centrarse en un conjunto finito de representantes para cada clase de equivalencia.

Además, los autores señalan que comprender la equivalencia de los espacios ambiente es crucial para el estudio de la dualidad en códigos policíclicos. Dado que el dual de un código policíclico no es necesariamente policíclico con respecto al mismo espacio ambiente, pero a menudo es equivalente a uno que surge de un espacio diferente, esta clasificación proporciona una base para futuros resultados teóricos sobre dualidad. El artículo concluye que estos resultados extienden la aplicación exitosa de relaciones de equivalencia desde códigos constacíclicos hacia el dominio más general y complejo de los códigos policíclicos, ofreciendo una vía para construir familias infinitas de códigos con parámetros casi óptimos.