🔢 mathematics

A Distinct Covering System with Minimum Modulus 7 and Minimal Least Common Multiple 10080

Este artículo refuta la conjetura de Klein mediante la construcción de un sistema de recubrimiento distinto con módulo mínimo 7 y mínimo común múltiplo 10080, mientras que simultáneamente demuestra que no puede existir tal sistema con un mínimo común múltiplo menor a través de un argumento de filtrado multietapa y verificación computacional.

Autores originales: Jiheng Zhang, Shiliang Zhang

Publicado 2026-07-22

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Jiheng Zhang, Shiliang Zhang

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 la recta numérica como una autopista interminable que se extiende en ambas direcciones, poblada por cada número entero desde el menos infinito hasta el más infinito. En el mundo de las matemáticas, específicamente en una rama llamada teoría de números, existe un rompecabezas fascinante sobre cómo "cubrir" toda esta autopista usando nada más que un conjunto de señales de tráfico. Estas señales se llaman progresiones aritméticas. Piensa en una señal que dice: "Cada 7º coche es un coche rojo", o "Cada 12º coche es un coche azul". Si colocas suficientes de estas señales con diferentes intervalos, podrías asegurar que cada uno de los coches en la autopista sea rojo o azul (u otro color). Cuando logras cubrir cada entero con una colección de estos patrones repetitivos, has creado un sistema de cobertura.

Las reglas del juego se vuelven más estrictas cuando los matemáticos preguntan por un sistema de cobertura distinto. Esto significa que cada intervalo debe tener un número único; no puedes tener dos señales que digan ambas "cada 7º coche". Debes usar números diferentes para tus intervalos, como 7, 8, 9, 10, y así sucesivamente. Una pregunta natural es qué tan pequeño puede ser el intervalo más pequeño. Durante mucho tiempo, los matemáticos se preguntaron si había un límite duro para qué tan pequeño podría llegar a ser este "módulo mínimo". Recientemente, se demostró que, de hecho, hay un límite, pero el misterio que permanecía era sobre la eficiencia. Si fijas el intervalo más pequeño (digamos, 7), ¿cuál es el "número más grande" (el mínimo común múltiplo) más pequeño que necesitas para que todo tu sistema funcione? Es como preguntar: si tu paso más pequeño es de 7 zancadas, ¿qué tan lejos tienes que caminar antes de que tu patrón de pasos se alinee perfectamente con cada posición posible en la carretera?

Este artículo aborda exactamente esa pregunta para el caso específico donde el intervalo más pequeño es 7. Los autores, Shiliang Zhang y Jiheng Zhang, se propusieron encontrar el "número más grande" absoluto requerido para construir un sistema de cobertura distinto comenzando con un paso de 7. Antes de este trabajo, un matemático llamado Klein había construido un sistema de cobertura con un "número más grande" de 15,120 y supuso que este era el mejor posible. Sin embargo, los autores de este artículo demuestran que la suposición de Klein era demasiado alta. Han construido un nuevo sistema, más eficiente, que funciona con un "número más grande" de solo 10,080. Además, han demostrado matemáticamente que es imposible hacerlo con cualquier número menor a 10,080. No solo encontraron una mejor solución; demostraron que es la mejor solución.

La historia detectivesca del número 10,080

Para entender cómo los autores resolvieron esto, imagina que eres un detective tratando de encontrar una llave específica en un almacén enorme y polvoriento. El almaciente contiene cada posible "número más grande" (mínimo común múltiplo) que es un múltiplo de 7 y que se encuentra entre 5,040 y 10,080. Tu objetivo es demostrar que cada número en este rango es una "llave falsa" que no abrirá la puerta, mientras que el número 10,080 es la "llave real".

El primer filtro: La suma de los recíprocos
Los autores comienzan aplicando un "filtro de suma de recíprocos". En términos cotidianos, imagina que cada intervalo posible (como 7, 8, 9) contribuye con un poco de "poder de cobertura" al sistema. La regla es que la suma total del "poder" de todos tus intervalos elegidos debe ser mayor que 1 para cubrir toda la autopista. Si sumas el "poder" de cada intervalo posible disponible para un candidato específico y el total es menor que 1, ese candidato queda inmediatamente descalificado. Este filtro fue muy efectivo, descartando instantáneamente la mayoría de los números en el almacén y dejando solo 18 candidatos sospechosos.

El segundo filtro: La prueba de programación entera
A continuación, los autores utilizaron una poderosa herramienta informática llamada "programación entera". Piensa en esto como un solucionador de acertijos súper organizado. Para cada uno de los 18 candidatos restantes, la computadora intentó organizar las señales de tráfico (clases de residuos) para ver si podían cubrir toda la autopista sin dejar huecos. La computadora fue lo suficientemente inteligente como para ignorar arreglos redundantes (como desplazar todo el patrón un paso, lo cual no cambia el resultado). Este filtro fue implacable; eliminó 14 de los 18 candidatos, demostrando que no importa cómo arregles las señales para esos números, siempre dejarás algunos coches sin cubrir.

El tercer filtro: La suma parcial
Cuatro candidatos permanecieron: 5,040, 7,560, 8,400 y 9,240. Estos eran los "casos difíciles". Los autores se dieron cuenta de que para algunos de estos números, podías cubrir casi toda la autopista, dejando solo una pequeña fracción de coches sin cubrir. Esto hacía que las pruebas anteriores fueran complicadas. Para manejar esto, utilizaron un "filtro de suma parcial". En lugar de asumir que las señales cubren todo perfectamente, calcularon exactamente cuánto de la autopista podría cubrir el mejor arreglo posible de un subconjunto de señales. Descubrieron que para 8,400 y 9,240, incluso el arreglo más optimista de señales dejaba un hueco demasiado grande para ser llenado con las señales restantes. Estos dos números fueron descartados.

El enfrentamiento final: La computación de Gurobi
Esto dejó solo a dos sospechosos persistentes: 5,040 y 7,560. Estos números eran tan buenos para cubrir la autopista que podían cubrir más del 96% y el 98% de ella, respectivamente, dejando solo un hueco diminuto y difícil de encontrar. Para resolver esto, los autores ejecutaron simulaciones computacionales masivas y exhaustivas utilizando un software llamado Gurobi. No se limitaron a adivinar; revisaron cada una de las formas posibles de organizar las señales para estos dos números. La computadora corrió durante miles de segundos, revisando millones de posibilidades, y finalmente declaró: "Infactible". Esto significa que es matemáticamente imposible cubrir la autopista con un paso mínimo de 7 usando 5,040 o 7,560 como el número más grande.

El ganador: 10,080
Con todos los números menores eliminados, los autores centraron su atención en 10,080. No solo demostraron que era posible; construyeron el sistema real. Enumeraron los intervalos específicos y los puntos de partida (como "cada 7º coche empezando en 6", "cada 8º coche empezando en 7", y así sucesivamente) que cubren perfectamente toda la recta numérica. Verificaron que este sistema funciona, demostrando que 10,080 es, de hecho, una solución de trabajo.

La conclusión

El artículo concluye con una respuesta definitiva: el "número más grande" más pequeño posible para un sistema de cobertura distinto con un paso mínimo de 7 es exactamente 10,080. Esto mejora el récord anterior de 15,120. Los autores no solo encontraron un número mejor; demostraron que ningún número menor podría funcionar jamás. Lo hicieron filtrando sistemáticamente cada posibilidad, desde simples comprobaciones matemáticas hasta complejas simulaciones por computadora, sin dejar piedra sin remover. El resultado es un hecho preciso y probado en el mundo de la teoría de números, que muestra que, si bien puedes acercarte mucho a cubrir la autopista infinita con números menores, simplemente no puedes hacerlo perfectamente hasta que llegas a 10,080.

Resumen Técnico: Un Sistema de Cobertura Distinto con Módulo Mínimo 7 y Mínimo Mínimo del Mínimo Común Múltiplo 10080

Planteamiento del Problema
El artículo aborda el problema de determinar el mínimo común múltiplo (MCM) posible, denotado como $L_{\min}(m)$ , para un sistema de cobertura distinto con un módulo mínimo $m$ prescrito. Un sistema de cobertura distinto es una colección finita de progresiones aritméticas $\{a_i \pmod{m_i}\}$ con módulos $m_i$ pairwise distintos que cubren todos los enteros. Mientras que Hough (2015) demostró que el módulo mínimo en cualquier sistema de cobertura distinto está acotado por una constante absoluta, los valores específicos de $L_{\min}(m)$ para $m \le 6$ han sido objeto de construcción y verificación explícita.

Antes de este trabajo, los valores para $m \le 6$ fueron establecidos: $L_{\min}(3)=120$ , $L_{\min}(4)=360$ , $L_{\min}(5)=1440$ y $L_{\min}(6)=5040$ . Para $m=7$ , Klein (2024) construyó un sistema con $L=15120$ y conjeturó que este era el mínimo. Este artículo tiene como objetivo resolver el caso $m=7$ mediante la construcción de un sistema con un MCM más pequeño y probando que no es posible un MCM menor.

Metodología
Los autores emplean una estrategia de filtrado sucesivo para eliminar los valores candidatos para el MCM $L$ en el rango $5040 \le L < 10080$ . La prueba se basa en el principio de "completitud de divisores": si existe un sistema de cobertura distinto con módulo mínimo $m$ y MCM $L$ , se pueden añadir clases de congruencia arbitrarias para cualquier divisor $d$ de $L$ (donde $d \ge m$ ) sin destruir la propiedad de cobertura. Por lo tanto, para probar la inexistencia para un $L$ específico, basta con demostrar que el conjunto de módulos "completado por divisores" $D_m(L) = \{d : d|L, d \ge m\}$ no puede formar un sistema de cobertura.

El proceso de filtrado consta de cuatro etapas:

Filtro de Suma de Recíprocos: Basado en la obstrucción de Mirsky–Newman (Lema 1), que establece que para cualquier sistema de cobertura distinto, $\sum 1/m_i > 1$ . Los autores computan $S_7(L) = \sum_{d|L, d \ge 7} 1/d$ . Si $S_7(L) \le 1$ , $L$ es descartado inmediatamente. Esto reduce el espacio de búsqueda de todos los múltiplos de 7 en el rango a 18 candidatos.
Filtro de Programación Entera (IP): Para los candidatos restantes, los autores formulan un problema de factibilidad de programación entera binaria. Las variables $x_{m,a}$ indican si se selecciona la clase de residuo $a \pmod m$ . Las restricciones exigen exactamente una clase por módulo y la cobertura de todos los residuos módulo $L$ . Para reducir la simetría, los autores aplican normalizaciones de invarianza de traslación y de intercambio de capas de residuos (Lemas 2 y 3) para fijar clases de congruencia específicas (por ejemplo, $6 \pmod 7$ , $7 \pmod 8$ ) antes de resolver. Este filtro elimina 14 de los 18 candidatos.
Filtro de Suma Parcial: Para los casos difíciles restantes (específicamente 8400 y 9240), los autores refinan el argumento de la suma de recíprocos. En lugar de asumir que todas las clases seleccionadas son disjuntas, computan la cobertura máxima $\alpha_A(L)$ de un subconjunto de módulos $A$ mediante una IP más pequeña, y luego añaden la contribución máxima teórica de los módulos restantes $B$ . Si $\alpha_A(L) + \sum_{m \in B} 1/m < 1$ , el candidato es descartado. Esto elimina 8400 y 9240.
Computación Completa de Gurobi: Los dos últimos candidatos, $L=5040$ y $L=7560$ , resisten el filtro de suma parcial porque admiten "cuasi-coberturas" (cubriendo >96% y >98% de los residuos, respectivamente). Estos casos se resuelven ejecutando verificaciones de factibilidad completas utilizando el solver Gurobi (v13.0.1) sobre los sistemas completos completados por divisores.

Contribuciones Clave y Resultados

Construcción: Los autores construyen explícitamente un sistema de cobertura distinto con módulo mínimo 7 y mínimo común múltiplo 10080. Este sistema consta de 63 módulos distintos, siendo el más pequeño 7.
Prueba de Minimalidad: El artículo demuestra que $L_{\min}(7) = 10080$ . Al eliminar sistemáticamente todos los $L < 10080$ (específicamente los 18 candidatos que sobrevivieron al filtro de suma inicial), los autores demuestran que ningún sistema de cobertura distinto con módulo mínimo 7 puede tener un MCM menor que 10080.
Refutación de la Conjetura: El resultado refuta la conjetura de Klein de que 15120 era el MCM mínimo para $m=7$ .
Datos Computacionales: El artículo proporciona una tabla exhaustiva de los tiempos de ejecución de Gurobi y los resultados para los 18 candidatos, incluyendo los dos casos más difíciles (5040 y 7560), que requirieron aproximadamente 13,789 y 13,159 segundos, respectivamente, para probar la inexistencia de factibilidad.

Significado
El artículo establece el valor exacto de $L_{\min}(7)$ , extendiendo la secuencia conocida de MCM mínimos para sistemas de cobertura distintos. El trabajo demuestra la eficacia de combinar la teoría analítica de números (sumas de recíprocos) con la optimización combinatoria (programación entera y branch-and-bound) para resolver problemas de existencia en progresiones aritméticas. Los autores señalan que la dificultad encontrada con $L=5040$ y $L=7560$ —donde los sistemas cubren casi todos los residuos pero fallan en cubrir el resto— sugiere que las mejoras futuras en la demostración de la minimalidad para módulos más altos pueden requerir certificados híbridos más agudos capaces de distinguir entre "cuasi-coberturas" y sistemas de cobertura genuinos sin depender únicamente de la verificación completa de branch-and-bound.

La historia detectivesca del número 10,080

La conclusión

Más como este