🔢 mathematics

Perfect $2$-codes over arbitrary alphabets

Este artículo confirma la conjetura de que no existen códigos 2-perfectos sobre alfabetos que no sean potencias de números primos para casos específicos, incluyendo cuando el tamaño del alfabeto es de la forma $q=2^\alpha p^\beta$ con $\alpha \leq 20$ o suficientemente grande.

Autores originales: Michael A. Bennett

Publicado 2026-07-31

📖 9 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Michael A. Bennett

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

Imagina que estás enviando un mensaje secreto a través de una galaxia ruidosa y caótica. Cada vez que transmites una letra, un duende espacial travieso podría cambiarla por una diferente o simplemente eliminarla por completo. Para sobrevivir a este caos, no envías el mensaje una sola vez; lo envías con "piezas de repuesto" adicionales integradas directamente en el código. Este es el mundo de los códigos de corrección de errores, el escudo invisible que evita que tus mensajes de texto, sondas espaciales y vídeos en streaming se conviertan en galimatías.

En este universo, un "código perfecto" es el santo grial. Es como un rompecabezas de empaquetado donde tienes una caja gigante (todos los mensajes posibles) e intentas encajar dentro la mayor cantidad de "zonas seguras" (tus mensajes reales) posible. Cada zona segura tiene un radio de protección a su alrededor. Si un mensaje es golpeado por un duende y cambia ligeramente, sigue aterrizando dentro de una de estas zonas seguras, y el receptor sabe exactamente cuál era el mensaje original. Un código es "perfecto" si estas zonas seguras encajan entre sí como un rompecabezas, sin dejar huecos y sin solapamientos. Si el rompecabezas tiene huecos, podrías perder un mensaje; si se solapa, podrías confundirte sobre qué mensaje se envió.

Durante décadas, los matemáticos han intentado resolver la versión definitiva de este rompecabezas: encontrar códigos perfectos que puedan corregir dos errores a la vez (un "2-código perfecto") utilizando un alfabeto de cualquier tamaño. Encontraron las soluciones perfectas para corregir tres o más errores, y para corregir uno, pero el caso de corregir exactamente dos errores con un tamaño de alfabeto "extraño" (uno que no es una simple potencia de un número primo, como 10 o 15) ha seguido siendo un misterio obstinado y sin resolver. Es la diferencia entre saber cómo empacar una maleta perfectamente con 2, 4 u 8 artículos, pero no tener ni idea de si es posible hacerlo perfectamente con 6 o 10 artículos.

Este artículo, escrito por Michael Bennett, se sumerge profundamente en ese misterio específico. El autor se propone demostrar que, para una familia muy amplia y específica de tamaños de alfabeto "extraños", los 2-códigos perfectos simplemente no existen. El artículo no se limita a suponer; utiliza un arsenal de matemáticas avanzadas —específicamente herramientas que miden qué tan cerca pueden estar los números unos de otros sin tocarse realmente— para demostrar que, si tal código existiera, tendría que ser tan increíblemente masivo y extraño que rompería las leyes de la aritmética.

El hallazgo principal es una zona de "no existencia". Bennett demuestra que, si intentas construir un 2-código perfecto utilizando un tamaño de alfabeto compuesto por una potencia de 2 multiplicada por una potencia de un único número primo (como $2^\alpha \times p^\beta$ ), no tendrás suerte. Específicamente, demuestra que para que estos códigos fueran teóricamente posibles, el número primo involucrado tendría que ser mayor a $10^{10}$ (diez mil millones), y la potencia de 2 tendría que ser mayor a 20. Además, si tal código existiera, el número primo tendría que dejar un resto de 3 al ser dividido por 8.

El artículo va más allá. Descarta la existencia de estos códigos perfectos para cualquier tamaño de alfabeto donde el factor primo más grande sea 13 o menor. De hecho, el autor confirma una conjetura largamente sostenida de que no existen 2-códigos perfectos para muchos números específicos, incluyendo casos donde el tamaño del alfabeto es $2^\alpha \times p^\beta$ con valores pequeños de $\alpha$ (hasta 20). El autor no solo dice que "es poco probable"; utiliza demostraciones matemáticas rigurosas para demostrar que las condiciones necesarias para que tal código exista conducen a contradicciones matemáticas. Aunque el artículo no descarta absolutamente todos los tamaños de alfabeto posibles en el universo, efectivamente cierra la puerta a los tamaños "extraños" más comunes e interesantes, dejando solo una pequeña y altamente restringida rendija de posibilidad que requeriría números tan grandes que son prácticamente inimaginables.

La historia del rompecabezas imposible

Para entender lo que Michael Bennett hizo, observemos el rompecabezas que intentaba resolver. Imagina que tienes una cuadrícula gigante de todas las palabras que puedes formar con un determinado alfabeto. Quieres colocar "balizas" (tus palabras de código) en esta cuadrícula. Alrededor de cada baliza, dibujas un círculo que cubre todas las palabras que están "lo suficientemente cerca" (a una distancia de 2 errores). Para que un código sea perfecto, estos círculos deben cubrir toda la cuadrícula sin solaparse.

Los matemáticos saben desde hace tiempo que si el tamaño de tu alfabeto es una "potencia de un primo" (como 2, 3, 4, 8, 9, 16), solo existen unos pocos casos especiales donde esto funciona perfectamente. Pero, ¿qué pasa si el tamaño de tu alfabeto es algo como 10, 12 o 20? Estos son números "compuestos" que no son potencias de primos. Para corregir un error, sabemos que existen algunas soluciones. Para corregir tres o más errores, sabemos que no existen. Pero, ¿para corregir dos errores? Esa era la pregunta abierta.

El artículo de Bennett se centra en un tipo específico de número compuesto: aquellos que tienen la forma $2^\alpha \times p^\beta$ . Piensa en esto como un tamaño de alfabeto formado por multiplicar un montón de 2 por un montón de copias de un único número primo $p$ (como 5, 7, 11, etc.). La pregunta era: ¿Puedes construir un 2-código perfecto para estos tamaños?

El trabajo de detective matemático

Bennett no se limitó a intentar construir los códigos y fallar; demostró que no podían existir analizando las "raíces" de una ecuación polinómica especial. Piensa en esta ecuación como un mapa que te indica dónde deben estar las balizas si un código perfecto existe. Si un código perfecto existe, este mapa debe tener dos puntos enteros específicos (raíces) que están muy cerca el uno del otro.

El gran avance del autor fue darse cuenta de que estos dos puntos, llamémoslos $r_1$ y $r_2$ , tienen que ser "S-unidades". En lenguaje sencillo, esto significa que sus factores primos solo pueden provenir de una lista de números muy pequeña y específica (los primos que dividen el tamaño del alfabeto y el número 2).

Aquí reside la parte ingeniosa: Bennett demostró que, para que un código perfecto exista, estos dos números $r_1$ y $r_2$ tendrían que estar increíblemente cerca, tanto que su diferencia sería minúscula en comparación con su tamaño. Sin embargo, una rama famosa de las matemáticas llamada aproximación diofántica (que estudia qué tan bien se pueden aproximar los números mediante fracciones) nos dice que los números con factores primos restringidos generalmente no pueden acercarse tanto entre sí a menos que sean muy pequeños.

Bennett combinó esto con una ecuación específica derivada de la geometría del problema:
$q(r_2 - r_1)^2 = 2(r_1 + r_2) + q - 6$
Esta ecuación es la "pistola humeante". Vincula el tamaño del alfabeto $q$ directamente con la distancia entre las dos raíces.

La gran revelación

Utilizando esta ecuación y poderosas herramientas de la teoría de números, Bennett demostró una serie de resultados de "imposibilidad":

La prohibición de los "primos pequeños": Si el factor primo más grande de tu tamaño de alfabeto es 13 o menor, un 2-código perfecto es imposible. Lo hizo enumerando todos los pares posibles de números que podrían ser las raíces y demostrando que ninguno de ellos encajaba en la ecuación.
La barrera de los "números gigantes": Para el caso general donde el alfabeto es $2^\alpha \times p^\beta$ , demostró que si un código realmente existiera, el número primo $p$ tendría que ser mayor a $10^{10}$ (diez mil millones). Más restrictivamente aún, la potencia de 2 ( $\alpha$ ) tendría que ser mayor a 20.
La regla del "Módulo 8": Si tal código existiera, el número primo $p$ tendría que ser un número que deje un resto de 3 al ser dividido por 8 (como 3, 11, 19, etc.).

El artículo esencialmente dice: "Hemos revisado los números pequeños y no funcionan. Para los números grandes, las matemáticas dicen que tendrían que ser tan enormes y seguir reglas tan estrictas que, de hecho, no existen en ningún sentido práctico".

La sorpresa de los números de Schröder-Hipparchus

Una de las partes más deleitables del artículo es cómo utiliza una secuencia de números de la combinatoria clásica llamados números de Schröder-Hipparchus (también conocidos como números super-Catalán). Estos números, que suelen aparecer en problemas sobre el conteo de formas de organizar paréntesis o rutas en una cuadrícula, aparecen de repente en medio de la demostración del código de corrección de errores.

Bennett utilizó estos números para expandir una ecuación compleja en una serie de términos. Es como encontrar un patrón oculto en un ruido caótico. Al expandir la ecuación usando estos números, pudo demostrar que los términos crecen demasiado rápido como para permitir la "proximidad cercana" necesaria para que un código perfecto exista, a menos que los números involucrados sean absurdamente grandes.

El veredicto final

Entonces, ¿cuál es la conclusión? El artículo confirma una sospecha largamente mantenida en la comunidad matemática: los 2-códigos perfectos sobre alfabetos arbitrarios probablemente no existen.

Aunque el artículo no afirma haber encontrado el único código perfecto que podría estar escondido en el universo (porque demuestra que, si existe, debe ser mayor a $10^{10}$ y seguir restricciones imposibles), efectivamente descarta la gran mayoría de los casos. Cierra la puerta a tamaños de alfabeto como 10, 15, 21 y muchos otros, y empuja la posibilidad de una solución tan lejos hacia el reino de los números gigantes que se considera prácticamente inexistente.

El trabajo del autor es un triunfo de la prueba "negativa". En lugar de encontrar un tesoro, demostró que el cofre del tesoro está vacío, o al menos que la llave para abrirlo requiere una cerradura que aún no ha sido inventada. Para cualquiera que intente construir códigos de corrección de errores para estos tamaños de alfabeto específicos, el mensaje es claro: deja de buscar un 2-código perfecto; no está ahí.

Resumen Técnico: Códigos 2-Perfectos sobre Alfabetos Arbitrarios

Planteamiento del Problema
El artículo aborda la clasificación de los códigos $e$ -perfectos sobre un alfabeto de tamaño $q$ . Mientras que la clasificación para $e \ge 3$ está completa (estableciendo que solo existen los códigos de Golay cuando $q$ es una potencia de un número primo, y que no existen tales códigos cuando $q$ no es una potencia de un número primo), el caso de $e=2$ con tamaños de alfabeto que no son potencias de números primos permanece en gran medida abierto. Específicamente, se conjetura que no existen códigos 2-perfectos para cualquier $q$ que no sea una potencia de un número primo. Resultados previos habían resuelto casos específicos (por ejemplo, $q=2^\alpha 3^\beta$ , o valores compuestos pequeños específicos), pero faltaba una prueba general para $q$ compuestos arbitrarios. El objetivo principal de este trabajo es confirmar esta conjetura para una amplia clase de tamaños de alfabeto, específicamente aquellos de la forma $q = 2^\alpha p^\beta$ (donde $p$ es primo) y, más generalmente, para $q$ con factores primos acotados.

Metodología
El autor emplea una síntesis de la teoría de códigos combinatorios y técnicas avanzadas de aproximación diofántica. El enfoque procede a través de los siguientes pasos lógicos:

Formulación Algebraica: La existencia de un código 2-perfecto implica la existencia de dos raíces enteras distintas, $r_1$ y $r_2$ , para un polinomio específico derivado del teorema de Lloyd. Estas raíces satisfacen la cota de empaquetamiento esférico y son $S$ -unidades, donde $S$ es el conjunto de primos que dividen a $2q$ .
Ecuación Fundamental: Se deriva una identidad crítica, $q(r_2 - r_1)^2 = 2(r_1 + r_2) + q - 6$ . Esta ecuación implica que las raíces $r_1$ y $r_2$ deben estar inusualmente cerca la una de la otra en relación con su magnitud.
Análisis Diofántico: El problema se reduce a acotar la diferencia entre las $S$ $S$ -unidades. El artículo utiliza:
- Formas Lineales en Logaritmos: Se utilizan cotas para formas lineales en logaritmos complejos (específicamente los resultados de Tijdeman, Matveev y Laurent) para establecer cotas inferiores en la diferencia $|r_2 - r_1|$ .
- Teorema de Ridout: Se aplica una versión $p$ -ádica del teorema de Roth para limitar las soluciones de ecuaciones específicas de tipo polinomio-exponencial.
- Fracciones Continuas: Para el caso $q = 2^\alpha p^\beta$ , la razón $\log p / \log 2$ se analiza mediante su expansión de fracciones continuas para acotar los exponentes involucrados.
- Identidades Combinatorias: Los números de Schröder-Hipparchus (números super-Catalan) aparecen inesperadamente en la expansión de las potencias de $p$ dentro de las relaciones de congruencia derivadas de los parámetros del código.
Verificación Computacional: Para rangos específicos de parámetros (por ejemplo, primos $p$ pequeños o exponentes $\alpha$ pequeños), las cotas teóricas se combinan con comprobaciones computacionales extensas utilizando el levantamiento de Hensel y aritmética modular para descartar la existencia de soluciones.

Contribuciones Clave y Resultados

Teorema 2 (Resultado Principal para $q = 2^\alpha p^\beta$ ): El artículo demuestra que existen, como máximo, un número finito de códigos 2-perfectos sobre $q$ símbolos donde $q = 2^\alpha p^\beta$ ( $p$ primo, $\alpha, \beta \in \mathbb{Z}^+$ ). Además, si tal código existiera, requeriría parámetros extremadamente grandes: $\alpha > 20$ , $\beta \le 2519$ , $p > 10^{10}$ y $p \equiv 3 \pmod 8$ . La prueba elimina efectivamente todos los casos donde $\alpha \le 20$ mediante argumentos computacionales y maneja los casos $\alpha > 20$ a través de cotas inefectivas derivadas del teorema de Ridout.
Teoremas 3 y 4 (Factores Primos Acotados): El autor refuerza el teorema de Reuvers demostrando que, para cualquier entero fijo $P_0$ , existen, como máximo, un número finito de códigos 2-perfectos donde el mayor factor primo de $q$ , denotado como $P(q)$ , satisface $P(q) \le P_0$ . Específicamente, el Teorema 4 proporciona una prueba explícita de que no existen códigos 2-perfectos para cualquier $q$ con $P(q) \le 13$ .
Teorema 5 (Generalización): Se establece un resultado cualitativo (pero inefectivo) para $q = q_0 p^\alpha$ , donde $P(q_0) \le P_0$ . Esto generaliza los teoremas anteriores a una clase más amplia de tamaños de alfabeto, confirmando la finitud bajo estas restricciones.

Significancia y Reivindicaciones
El artículo afirma avanzar significativamente en la clasificación de códigos perfectos al resolver el caso de $e=2$ para una amplia variedad de tamaños de alfabeto que no son potencias de números primos, un problema que había experimentado poco progreso desde principios de la década de 1980. El autor señala que los métodos empleados son "significativamente más eficientes computacionalmente" que los enfoques previos que dependían de la búsqueda de puntos integrales en curvas de Mordell.

El trabajo confirma la conjetura de que no existen códigos 2-perfectos para $q = 2^\alpha p^\beta$ en todos los casos donde $\alpha \le 20$ , y reduce los casos abiertos restantes a parámetros tan grandes ( $p > 10^{10}$ ) que su existencia queda efectivamente descartada para propósitos prácticos, aunque la prueba para $\alpha > 20$ sigue siendo inefectiva. El artículo no pretende haber probado la inexistencia para todo $q$ arbitrario, sino que establece la finitud y la inexistencia explícita para las familias más significativas de tamaños de alfabeto compuestos. Los resultados dependen fuertmente de la interacción entre las restricciones estructurales de los códigos perfectos y los profundos teoremas de la aproximación diofántica.

La historia del rompecabezas imposible

El trabajo de detective matemático

La gran revelación

La sorpresa de los números de Schröder-Hipparchus

El veredicto final

Más como este