Self-Dual Cyclic Codes with Improved Minimum Distance Estimates via Extending the Chen-Ding Construction

Resumen Técnico: Códigos Cíclicos Autoduales con Estimaciones de Distancia Mínima Mejoradas mediante la Extensión de la Construcción de Chen-Ding

Planteamiento del Problema
La construcción de códigos cíclicos autoduales y el establecimiento de cotas inferiores rigurosas sobre sus distancias mínimas son desafíos fundamentales en la teoría de códigos. Mientras que Chen y Ding establecieron previamente una base para la construcción de códigos cíclicos autoduales en los casos donde el orden multiplicativo de $q$ módulo $n$, denotado como $\text{ord}_n(q)$, es impar, el caso donde $\text{ord}_n(q)$ es par permaneció menos explorado respecto a las propiedades de la distancia mínima. Además, las cotas inferiores existentes para ciertas familias de códigos cíclicos autoduales, particularmente aquellos derivados de la construcción de Chen-Ding, no siempre eran ajustadas. El objetivo principal de este trabajo es extender la investigación al caso de $\text{ord}_n(q)$ par, refinar la selección de parámetros para las construcciones existentes y derivar cotas inferiores más ajustadas sobre las distancias mínimas, investigando específicamente si estos códigos pueden exceder las cotas de raíz cuadrada.

Metodología
El artículo emplea técnicas de la teoría de códigos algebraicos, centrándose en las propiedades estructurales de los códigos cíclicos sobre cuerpos finitos $\mathbb{F}_q$ (donde $q$ es una potencia de 2). La metodología se basa en varios pilares clave:

1. Construcción de la Suma de Plotkin: Los autores utilizan el método de la suma de Plotkin para construir códigos cíclicos autoduales de longitud $2n$ a partir de un par de códigos $(C, C^\perp)$ o $(C, C^{\perp H})$ de longitud $n$. Este enfoque transforma los códigos cíclicos con contenido euclidiano o hermítico en códigos autoduales.
2. Análisis del Conjunto Definitorio: Una herramienta analítica central es el examen de los conjuntos definitorios (conjuntos de ceros) de los códigos duales. Los autores analizan los segmentos de ceros consecutivos dentro de estos conjuntos definitorios. Al identificar patrones específicos de ceros consecutivos, aplican la cota BCH y sus corolarios (como la cota de Roos) para estimar la distancia mínima de los códigos duales.
3. Refinamiento de Parámetros: El estudio introduce una selección refinada de la distancia diseñada $\delta$ para los códigos BCH. Los autores demuestran que reducir $\delta$ en el código original $C$ puede, paradójicamente, aumentar la distancia mínima de su código dual $C^\perp$ (o $C^{\perp H}$), mejorando así la distancia mínima global del código autodual resultante $C' = \text{Plotkin}(C, C^\perp)$.
4. Diferenciación de Casos: El análisis se estratifica según la paridad de $\text{ord}_n(q)$ (denotado como $m$) y el tipo de dualidad (Euclidiana vs. Hermítica). Se presta especial atención a los casos donde $m$ es par para códigos euclidianos y $m$ es impar para códigos hermíticos, los cuales eran previamente menos comprendidos en términos de parámetros exactos.

Contribuciones Clave y Resultados

• Extensión al Orden Par: El artículo extiende la construcción de Chen-Ding al caso donde $\text{ord}_n(q)$ es par. Construye códigos cíclicos autoduales euclidianos con $m$ par y códigos cíclicos autoduales hermíticos con $m$ par, demostrando que sus distancias mínimas satisfacen cotas inferiores de raíz cuadrada.
• Cotas Inferiores Mejoradas mediante $\delta$ Refinado: Para los códigos cíclicos autoduales euclidianos con $m$ impar y códigos cíclicos autoduales hermíticos con $m$ par, los autores proponen una nueva elección de la distancia diseñada $\delta$. Este refinamiento conduce a distancias mínimas más grandes para códigos de la misma longitud y dimensión en comparación con construcciones previas.
  • Para los códigos cíclicos autoduales euclidianos con $q=2^s$ ($s \ge 2$) y $m \ge 5$ impar, se demuestra que la distancia mínima es al menos $q^{(m+1)/2} + 3$, mejorando la cota anterior de $q^{(m+1)/2} - q + 1$.
  • Para el caso binario ($q=2$) con $m \ge 5$ impar, la distancia mínima se mejora a al menos $2^{(m+1)/2}$.
• Determinación de Parámetros Exactos: Aprovechando los resultados conocidos sobre los conjuntos definitorios de los códigos duales, el artículo determina los parámetros exactos para dos clases específicas de códigos cíclicos autoduales:
  • Códigos Autoduales Euclidianos (m par): El código $C'$ construido en el Teorema 11 tiene parámetros exactos $[2(q^m - 1), q^m - 1, 2(q^{m/2} - 1)]_q$.
  • Códigos Autoduales Hermíticos (m impar): El código $C'$ construido en el Teorema 12 tiene parámetros exactos $[2(q^m - 1), q^m - 1, 2(q^{m_1} - 1)]_q$.
• Exceder las Cotas de Raíz Cuadrada: Los autores establecen que los códigos cíclicos autoduales euclidianos con $\text{ord}_n(q)$ par y los códigos cíclicos autoduales hermíticos con $\text{ord}_n(q)$ impar tienen distancias mínimas que exceden estrictamente la cota inferior de la raíz cuadrada. Este resultado aborda un problema abierto sobre la existencia de familias infinitas de códigos cíclicos binarios autoduales con distancias mínimas que exceden las cotas de raíz cuadrada.

Significancia y Reivindicaciones
El artículo afirma enriquecer la teoría de los códigos cíclicos autoduales al proporcionar un marco más completo para su construcción y estimación de parámetros. Específicamente:

• Resuelve la construcción y determinación de parámetros para códigos cíclicos autoduales en casos que involucran órdenes multiplicativos pares, los cuales estaban previamente menos caracterizados.
• Demuestra que la selección cuidadosa de la distancia diseñada $\delta$ puede producir cotas inferiores más ajustadas sobre las distancias mínimas, desafiando la suposición de que las cotas BCH estándar son siempre óptimas para las construcciones autoduales.
• Al determinar parámetros exactos para familias específicas, el trabajo confirma que estos códigos pueden superar las cotas de raíz cuadrada, lo cual es un hito teórico significativo.
• Los autores señalan modestamente que, aunque sus cotas inferiores han mejorado, persiste una discrepancia entre estas cotas teóricas y las distancias mínimas reales en la práctica. Identifican la existencia de cotas más ajustadas que podrían explotar más ceros en el conjunto definitorio (más allá de la cota de Roos) como un problema abierto para futuras investigaciones.

El trabajo no propone nuevas aplicaciones experimentales, sino que proporciona avances teóricos en la estructura algebraica y las propiedades de distancia de estos códigos, ofreciendo nuevas perspectivas para la estimación de cotas inferiores en la teoría de códigos.