La conjetura del corredor solitario se cumple para ocho corredores

Información Básica

• ID del Artículo: 2509.14111
• Título: The lonely runner conjecture holds for eight runners
• Autor: Matthieu Rosenfeld (LIRMM, Univ Montpellier, CNRS, Montpellier, Francia)
• Clasificación: math.CO cs.DM math.NT
• Fecha de Publicación: 17 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2509.14111

Resumen

Este artículo demuestra que la conjetura del corredor solitario se cumple en el caso de 8 corredores. La demostración se basa en verificación computacional y resultados recientes que permiten acotar el tamaño de los contraejemplos mínimos. El autor señala que el método es igualmente aplicable a los casos conocidos de 4, 5, 6 y 7 corredores, y espera que pequeñas mejoras del método sean suficientes para resolver los casos de 9 o 10 corredores.

Antecedentes de Investigación y Motivación

Definición del Problema

La conjetura del corredor solitario es un problema abierto célebre en teoría combinatoria de números y aproximación diofántica, propuesto originalmente por Wills en 1965 en forma puramente teórica. La interpretación del corredor de la conjetura es la siguiente: considérese k+1 corredores con velocidades constantes distintas corriendo en una pista circular de longitud unitaria. La conjetura del corredor solitario afirma que para cualquier corredor, existe un momento en el cual dicho corredor se encuentra a una distancia de al menos 1/(k+1) de todos los demás corredores.

Formulación Matemática

Conjetura 1 (Conjetura del Corredor Solitario): Para todos los enteros k≥1, cada conjunto de enteros distintos v₁,...,vₖ₊₁, para todo i, existe un número real t tal que para cada j, $\|tv_i - tv_j\| \geq \frac{1}{k+1}$

donde ‖x‖ denota la distancia de x al entero más próximo.

Importancia de la Investigación

1. Significado Teórico: Esta conjetura conecta múltiples ramas de las matemáticas incluyendo teoría combinatoria de números, aproximación diofántica y problemas de visibilidad
2. Desafío Computacional: La dificultad de verificación crece exponencialmente con el número de corredores
3. Valor Aplicado: Tiene aplicaciones importantes en teoría de grafos, teoría de números y optimización combinatoria

Progreso de Investigación Existente

• k=2: Caso trivial
• k=3: Resuelto por Betke y Wills, Cusick
• k=4: Demostrado inicialmente mediante prueba asistida por computadora, posteriormente simplificado
• k=5: Demostrado por Bohman, Holzman y Kleitman
• k=6: Establecido por Barajas y Serra
• k=7: Caso a demostrar en este artículo

Contribuciones Principales

1. Resultado Principal: Demuestra que la conjetura del corredor solitario se cumple en el caso de 8 corredores (k=7)
2. Método Unificado: Propone un marco de prueba unificado aplicable a todos los casos k=4,5,6,7
3. Técnicas Computacionales: Desarrolla algoritmos de verificación computacional eficientes utilizando técnicas de retroceso y poda
4. Herramientas Teóricas: Establece el lema clave 6, que proporciona un método sistemático para encontrar factores primos en contraejemplos
5. Extensibilidad: Proporciona una ruta técnica viable para resolver los casos k=8,9

Explicación Detallada del Método

Estrategia Principal

La demostración utiliza prueba por contradicción combinada con verificación computacional:

1. Se asume la existencia de un contraejemplo para k=7
2. Se utiliza el resultado de Malikiosis et al. para acotar el producto de velocidades en el contraejemplo
3. Mediante verificación computacional se demuestra que el producto de velocidades debe ser divisible por ciertos números primos
4. Se demuestra que el producto de estos números primos excede la cota superior, generando una contradicción

Resultados Teóricos Clave

Teorema 2 (Cota de Malikiosis-Santos-Schymura): Si la conjetura del corredor solitario se cumple para k, entonces para todas las k-tuplas que satisfacen gcd(v₁,...,vₖ)=1 y $\sum_{S\subseteq\{1,...,k\}} \gcd(\{v_i : i \in S\}) > \binom{k+1}{2}^{k-1}$ la conjetura también se cumple para k+1.

Corolario 3: Si la conjetura del corredor solitario se cumple para k, entonces para todas las k-tuplas que satisfacen gcd(v₁,...,vₖ)=1 y $\prod_{i\in\{1,...,k\}} v_i \geq \left[\frac{\binom{k+1}{2}^{k-1}}{k}\right]^k$ la conjetura también se cumple para k+1.

Método para Encontrar Factores Primos

Lema 4: Si {v₁,...,vₖ} no posee la propiedad LR, entonces lcm(2,...,k+1) divide a ∏vᵢ.

Lema 6 (Herramienta Principal): Sea k≥3 y supóngase que la conjetura del corredor solitario se cumple para k-1. Sea p∈ℕ un entero positivo. Si para todos v₁,...,vₖ∈{0,...,(k+1)p-1} que satisfacen condiciones específicas existe un t apropiado, entonces para cualquier k-tupla {v₁,...,vₖ} que no posea la propiedad LR, p divide a ∏vᵢ.

Algoritmo de Verificación Computacional

Transformación del Problema: La verificación del lema 6 se transforma en un problema de cobertura de conjuntos:

• Se define la relación "cubre": v cubre j si y solo si ‖jv/((k+1)p)‖ < 1/(k+1)
• Se busca si existe una cobertura "mala" que viole las condiciones del lema 6

Técnicas de Optimización:

1. Precálculo de relaciones de cobertura, almacenamiento mediante vectores de bits
2. Algoritmo de retroceso para construir k-tuplas con poda oportuna
3. Explotación de simetrías para reducir el espacio de búsqueda
4. Procesamiento prioritario de elementos más difíciles de cubrir

Configuración Experimental

Parámetros de Verificación Computacional

Para el caso k=7:

• Cota superior: P ≤ 7.4×10⁵⁴
• Conjunto de números primos a verificar S = {31, 37, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163}
• La verificación del número primo máximo p=163 requiere aproximadamente 32 horas de tiempo computacional

Detalles de Implementación

• Lenguaje de Programación: C++
• Estructuras de Datos Clave: Vectores de bits (bitsets) para operaciones binarias eficientes
• Algoritmo: Búsqueda con retroceso y poda
• Plataforma Computacional: Núcleo de procesador único

Resultados Experimentales

Resultado Principal

Teorema 1: Para todos los conjuntos de enteros de tamaño 7 {v₁,...,v₇}, existe un número real t tal que para todo i, ‖tvᵢ‖ ≥ 1/8.

Proceso de Demostración

1. Cálculo de Cota Superior: Del corolario 3 se obtiene P < 7.4×10⁵⁴
2. Construcción de Cota Inferior:
   • Del lema 4: P es divisible por lcm({2,3,4,5,6,7,8})
   • Por verificación computacional: P es divisible por todos los números primos en el conjunto S
   • Por lo tanto, P es divisible por lcm({2,3,4,5,6,7,8}∪S) ≈ 1.82×10⁵⁵
3. Contradicción: La cota inferior excede la cota superior, por lo tanto no existe contraejemplo

Resultados Extendidos

El autor demuestra que el mismo método es aplicable a los casos k=3,4,5,6:

Trabajos Relacionados

Desarrollo Histórico

1. Wills (1965): Propone por primera vez la forma teórica de la conjetura
2. Cusick: Propone la formulación equivalente del problema de visibilidad
3. Goddyn: Proporciona la interpretación del corredor y el nombre actual
4. Tao (2019): Demuestra la existencia de una constante computable tal que la verificación finita es suficiente para determinar la conjetura

Resultados Parciales

• Secuencias con Espacios: La conjetura se cumple para secuencias con espacios suficientemente grandes
• Resultado de Dubickas: La conjetura se cumple cuando vⱼ₊₁/vⱼ ≥ 1 + 8e log k/k
• Mejora del Presente Artículo: Reduce la constante a 3e

Conclusiones y Discusión

Conclusiones Principales

1. La conjetura del corredor solitario se cumple en el caso de 8 corredores
2. Se proporciona un marco de prueba unificado aplicable a múltiples casos
3. Se desarrollan métodos de verificación computacional escalables

Limitaciones

1. Complejidad Computacional: Conforme k crece, los números primos p requeridos aumentan, y el tiempo computacional crece exponencialmente
2. Dependencia Computacional: Los pasos clave de la demostración requieren verificación computacional extensiva
3. Desafíos de Extensión: Los casos k=8,9 requieren recursos computacionales más grandes

Direcciones Futuras

1. Optimización de Algoritmos: Utilizar solucionadores más avanzados en lugar del algoritmo de retroceso actual
2. Mejoras Teóricas: Buscar variantes del lema 6 o condiciones de poda más fuertes
3. Prueba General: Explorar si existe una prueba teórica que se cumpla para todos los valores de k

Evaluación Profunda

Fortalezas

1. Avance Importante: Primera demostración del caso k=7, progreso significativo en el campo
2. Innovación Metodológica: Método ingenioso que combina límites teóricos con verificación computacional
3. Técnica Sólida: Algoritmo de verificación computacional bien diseñado y completamente optimizado
4. Marco Unificado: Proporciona un método genérico para manejar múltiples casos
5. Implementación de Código Abierto: Proporciona implementación completa del código para verificación y extensión

Deficiencias

1. Dependencia Computacional: La demostración depende fuertemente de verificación computacional, careciendo de la elegancia de una prueba puramente teórica
2. Restricciones de Extensión: La complejidad computacional del método limita la extensión a valores más grandes de k
3. Optimización de Constantes: Los límites teóricos pueden no ser suficientemente ajustados, existiendo espacio para mejora

Impacto

1. Contribución Académica: Proporciona nuevas perspectivas de solución para un problema abierto de larga data
2. Matemática Computacional: Demuestra un ejemplo de cómo combinar teoría y computación para resolver problemas difíciles
3. Investigación Posterior: Proporciona base técnica para casos con k≥8

Escenarios de Aplicación

Este método es aplicable a:

1. Problemas similares en teoría combinatoria de números
2. Conjeturas matemáticas que requieren verificación finita
3. Problemas en teoría computacional de números y aproximación diofántica

Referencias Bibliográficas

El artículo cita 23 referencias relacionadas, que abarcan el desarrollo histórico, avances teóricos y métodos computacionales de la conjetura del corredor solitario, proporcionando a los lectores antecedentes de investigación completos.

Evaluación Técnica: Este es un artículo matemático de alta calidad que, mediante análisis teórico innovador y verificación computacional cuidadosamente diseñada, resuelve exitosamente un problema abierto difícil de larga data. Aunque depende de verificación computacional, el método es riguroso y confiable, sentando una base importante para el desarrollo futuro del campo.