🔢 mathematics

Second order Recurrences, quadratic number fields and cyclic codes

El artículo estudia la distribución de pesos de códigos cíclicos sobre $\mathbb{F}_p$ y $\mathbb{Z}_{p^2}$ asociados a recurrencias de segundo orden y primos de tipo Wall-Sun-Sun generalizados ( $WSS(d)$ ), demostrando que algunos de estos códigos son MDS o NMDS.

Autores originales: Minjia Shi, Xuan Wang, Bouazzaoui Zakariae, Jon-Lark Kim, Patrick Solé

Publicado 2026-03-27

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Minjia Shi, Xuan Wang, Bouazzaoui Zakariae, Jon-Lark Kim, Patrick Solé

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

¡Hola! Imagina que este artículo es como una aventura de detectives matemáticos que exploran tres mundos que parecen no tener nada que ver entre sí: números que se repiten (como una canción en bucle), campos de números mágicos (lugares geométricos donde viven raíces cuadradas) y códigos secretos (como los que usas para desbloquear tu teléfono o enviar mensajes cifrados).

Aquí tienes la historia de lo que descubrieron, explicada de forma sencilla:

1. El Misterio de la Canción que no Cambia (Los Números)

Imagina una secuencia de números, como la famosa secuencia de Fibonacci (0, 1, 1, 2, 3, 5, 8...). Si empiezas a contar estos números pero solo te quedas con el "último dígito" (o los últimos dígitos en base 10), la secuencia eventualmente empieza a repetirse. A esto lo llamamos un periodo.

Los matemáticos se preguntaron: "¿Existe algún número primo (como 2, 3, 5, 7, 11...) tan especial que, si miramos la secuencia con sus últimos dígitos o con sus últimos dos dígitos, la canción se repita exactamente al mismo ritmo?"

A estos números primos especiales los llamaron Primos Wall-Sun-Sun. Es como buscar un reloj que, si lo miras de cerca o de lejos, siempre marca el mismo tiempo exacto. Hasta ahora, nadie ha encontrado uno para la secuencia original de Fibonacci, pero los autores dicen: "¡Espera! Si cambiamos un poco la receta de la canción (usando otras secuencias), ¡sí podemos encontrarlos!".

2. El Territorio de los Números (Los Campos Cuadráticos)

Para entender por qué ocurre esto, los autores viajaron a un lugar llamado Campos Numéricos Cuadráticos. Imagina que la recta numérica normal es una carretera plana. Estos campos son como "islas" o "terrenos" especiales que surgen cuando usamos raíces cuadradas (como $\sqrt{d}$ ).

En estas islas, hay una regla secreta llamada " $p$ -racionalidad".

Si una isla es $p$ -racional, es como un terreno ordenado y predecible.
Si no es $p$ -racional, es un terreno caótico y misterioso.

El gran descubrimiento: Los autores encontraron que los "Primos Wall-Sun-Sun" (esos relojes perfectos) solo aparecen cuando visitamos una isla que no es $p$ -racional. Es decir, el caos en el terreno matemático es lo que permite que la canción se repita al mismo ritmo sin importar si miramos 1 o 2 dígitos.

3. Los Códigos de Seguridad (Los Códigos Cíclicos)

Aquí es donde entra la parte de la "seguridad". Los autores tomaron esas secuencias de números especiales (las que tienen el ritmo perfecto) y las usaron para crear códigos de corrección de errores.

Imagina que envías un mensaje por radio y hay mucha estática. Un código bueno es como un mensaje que tiene "copias de seguridad" o redundancia para que, si algo se pierde, el receptor pueda reconstruirlo.

Crearon códigos sobre un campo simple (como un tablero de ajedrez pequeño).
Y luego crearon códigos sobre un campo más complejo (como un tablero gigante con más casillas).

Lo increíble es que, gracias a esos "Primos Wall-Sun-Sun", estos códigos resultaron ser casi perfectos (llamados códigos MDS o NMDS).

Analogía: Imagina que tienes que enviar un paquete frágil. Un código normal necesita muchas cajas de protección. Un código "MDS" es como un paquete que se envía en una sola caja pequeña, pero que es tan fuerte que no se rompe ni si lo lanzan desde un avión. Los autores encontraron una forma de construir estos paquetes "indestructibles" usando la magia de los números primos especiales.

4. ¿Por qué importa todo esto?

El artículo conecta tres cosas que normalmente están separadas:

La música de los números (cuándo se repiten).
La geografía de las matemáticas (cómo son las islas de raíces cuadradas).
La ingeniería de la comunicación (cómo hacer códigos a prueba de fallos).

En resumen:
Los autores dicen: "Si quieres construir códigos de comunicación súper eficientes (como los que usan los satélites o el 5G), mira hacia los números primos que hacen que ciertas secuencias matemáticas se comporten de manera 'rara' (no $p$ -racionales). Esos números extraños son la clave para crear códigos casi perfectos."

Es como si dijeran: "Para construir el puente más fuerte del mundo, no uses el acero normal; usa un tipo de metal que solo se encuentra en un volcán muy específico. Ese metal raro es lo que hace que el puente sea indestructible."

¡Y eso es todo! Han encontrado un mapa que conecta el caos de los números con la perfección de la ingeniería de códigos.

Aquí presento un resumen técnico detallado del artículo "Segundas recurrencas, campos numéricos cuadráticos y códigos cíclicos" de Minjia Shi, Xuan Wang, Bouazzaoui Zakariae, Jon-Lark Kim y Patrick Solé.

1. Planteamiento del Problema

El artículo aborda la intersección entre la teoría de números, las secuencias de recurrencia lineal y la teoría de códigos correctores de errores. El problema central se basa en la generalización de los primos de Wall-Sun-Sun (WSS).

Contexto Clásico: Los primos WSS clásicos son aquellos primos $p$ para los cuales el periodo de la sucesión de Fibonacci módulo $p$ es idéntico al periodo módulo $p^2$ (es decir, $\pi(p) = \pi(p^2)$ ). Se sabe que tales primos no existen hasta $10^{14}$ , pero su existencia infinita es una conjetura abierta.
Generalización: Los autores extienden este concepto a secuencias de recurrencia de segundo orden más generales, definidas por $F_n = -AF_{n-1} - BF_{n-2}$ , donde el polinomio característico tiene como raíz a una unidad principal de un campo numérico cuadrático real $\mathbb{Q}(\sqrt{d})$ .
Definición de WSS(d): Se define un primo $p$ como WSS(d) si el periodo $k(p)$ de la secuencia asociada a $d$ es igual a $k(p^2)$ .
Conexión Teórica: Se establece que $k(p) = k(p^2)$ ocurre si y solo si el campo cuadrático $\mathbb{Q}(\sqrt{d})$ no es p-racional. Un campo es p-racional si su grupo de Galois maximal pro-p (no ramificado fuera de $p$ ) tiene una estructura específica relacionada con la conjetura de Leopoldt.
Objetivo: Estudiar la distribución de pesos de los códigos cíclicos sobre los cuerpos finitos $\mathbb{F}_p$ y los anillos $\mathbb{Z}_{p^2}$ , cuyo polinomio de verificación es el recíproco del polinomio característico de estas recurrencias, específicamente cuando $p$ es un primo WSS(d).

2. Metodología

Los autores emplean una combinación de teoría algebraica de números y teoría de códigos:

Teoría de Campos Numéricos:
- Utilizan la caracterización de campos p-racionales mediante la unidad fundamental $\varepsilon_d$ y el logaritmo p-ádico.
- Demuestran que la condición $k(p) = k(p^2)$ equivale a que $\mathbb{Q}(\sqrt{d})$ no sea p-racional.
- Abordan el "problema inverso": Dado un primo $p$ , ¿existen infinitos $d$ tales que $p$ sea WSS(d)?
Construcción de Códigos Cíclicos:
- Se asocia un código cíclico de dimensión 2 a cada secuencia de recurrencia. Los codewords son ventanas de periodo de la secuencia con condiciones iniciales variables.
- Se analizan códigos sobre $\mathbb{F}_p$ (campo) y $\mathbb{Z}_{p^2}$ (anillo de enteros p-ádicos módulo $p^2$ ).
- Se utiliza el Lema de Hensel para levantar factorizaciones de polinomios de $\mathbb{F}_p[x]$ a $\mathbb{Z}_{p^2}[x]$ , permitiendo relacionar la estructura del código sobre el anillo con la del campo.
Análisis de Distribución de Pesos:
- Se calculan los polinomios generadores de pesos (distribución de pesos de Hamming) para los códigos sobre $\mathbb{F}_p$ y $\mathbb{Z}_{p^2}$ .
- Se clasifican los códigos como MDS (Maximum Distance Separable) en casos reducibles o NMDS (Near-MDS) en casos irreducibles.
- Se emplean momentos de potencia de Pless y propiedades de códigos de dos pesos (two-weight codes) para derivar fórmulas exactas.

3. Contribuciones Clave y Resultados

A. Existencia de Primos WSS(d)

Teorema 1: Establece que para un discriminante fundamental $d$ , un primo $p$ (que no divide ciertas constantes asociadas a $d$ ) es WSS(d) si y solo si $\mathbb{Q}(\sqrt{d})$ no es p-racional.
Problema Inverso (Sección 4): Se demuestra que para cualquier primo $p > 5$ $p > 5$ , existen infinitos enteros $d > 0$ tales que $p$ $p$ es WSS(d)* (una versión generalizada donde el polinomio característico tiene discriminante $d$ $d$ hasta factores cuadrados).
- Se construyen explícitamente casos donde el polinomio característico es reducible (dos raíces) o irreducible (raíces en $\mathbb{F}_{p^2}$ ), generando periodos $k(p) = k(p^2) = p-1$ , $p$ , o $2p+2$ .

B. Estructura de los Códigos Cíclicos

Relación entre Códigos sobre $\mathbb{F}_p$ y $\mathbb{Z}_{p^2}$ :
- Se demuestra que si $C_1$ es un código MDS de dos pesos sobre $\mathbb{F}_p$ , el código levantado $C_2$ sobre $\mathbb{Z}_{p^2}$ también es un código de dos pesos.
- Teorema 2: Se proporcionan fórmulas exactas para la distribución de pesos de $C_2$ basadas en la de $C_1$ . Específicamente, si $C_1$ tiene pesos $n-1$ y $n$ , $C_2$ tiene pesos $n-1$ y $n$ con frecuencias escaladas por factores de $p$ .
Códigos NMDS Óptimos:
- Proposición 5: Se construye una familia de códigos NMDS óptimos con parámetros $[2p+2, 2, 2p]_p$ para primos $p \equiv 3 \pmod 4$ . Estos códigos tienen un solo peso no nulo y sus duales también son AMDS (Almost MDS).
- Se identifican códigos como repeticiones de códigos MDS más pequeños (ej. 2-MDS, 4-MDS) cuando la diferencia de pesos no es una potencia de $p$ .

C. Resultados Computacionales

Las Tablas 1, 2 y 3 presentan resultados computacionales (obtenidos con Magma) para primos $p$ en rangos específicos ( $7 \le p \le 167$ ).
Se listan los parámetros de los códigos $[n, 2, \{w_1, w_2\}]$ , los polinomios de verificación $h(x)$ y sus levantamientos de Hensel $H(x)$ , clasificándolos como MDS, NMDS o repeticiones.
Se verifica la divisibilidad de las frecuencias de pesos entre el código sobre el campo y el código sobre el anillo bajo ciertas condiciones.

4. Significado e Impacto

Puente entre Disciplinas: El trabajo conecta profundamente la teoría de campos numéricos (propiedad de p-racionalidad y conjetura de Leopoldt) con la teoría de códigos. La existencia de primos WSS(d) se traduce directamente en la existencia de códigos cíclicos con propiedades de peso específicas.
Nuevas Familias de Códigos: Se identifican nuevas familias de códigos cíclicos de dimensión 2 que son MDS o NMDS, incluyendo códigos óptimos de longitud $2p+2$ .
Herramientas para Teoría de Números: Los autores sugieren que el estudio de las distribuciones de pesos de estos códigos podría proporcionar nuevas condiciones de existencia y relaciones entre $p$ y $d$ , ofreciendo una vía potencial para atacar problemas abiertos en la teoría de números algebraicos, como la búsqueda de primos WSS clásicos o la comprensión de la estructura de los grupos de clases.
Generalización: La introducción de la noción WSS(d)* permite una mayor flexibilidad, mostrando que la propiedad de "periodo igual módulo $p$ y $p^2$ " es mucho más común en campos cuadráticos generales que en el caso clásico de Fibonacci ( $d=5$ ).

En resumen, el artículo proporciona un marco teórico y computacional robusto para entender cómo las propiedades aritméticas de los campos cuadráticos reales influyen en la estructura y el rendimiento de códigos cíclicos sobre anillos de enteros módulo $p^2$ , abriendo nuevas direcciones para la investigación en ambas áreas.