A primera vista, parece un simple experimento mental: un grupo de personas corriendo por una pista circular a velocidades diferentes y constantes. ¿Todos los corredores eventualmente se encontrarán “solos”, es decir, lo suficientemente lejos de los demás para tener un espacio despejado?
Si bien la premisa es fácil de visualizar, las matemáticas detrás de ella son increíblemente complejas. Durante décadas, la Conjetura del corredor solitario ha sido un obstinado enigma que afecta a varias ramas de la ciencia, desde la teoría de números hasta la geometría. Sin embargo, después de casi veinte años de estancamiento, un reciente “salto cuántico” en la investigación finalmente ha roto el punto muerto.
¿Cuál es el problema del corredor solitario?
Originalmente, el problema no se planteó en términos de atletas, sino en el lenguaje de la teoría de números. En la década de 1960, el matemático Jörg M. Wills conjeturó que un método específico para usar fracciones para aproximar números irracionales (como $\pi$) era óptimo.
En 1998, los investigadores tradujeron este concepto abstracto a la metáfora “poética” de los corredores en una pista. La conjetura formal dice:
Si $N$ corredores comienzan en el mismo punto de una pista circular y corren a diferentes velocidades constantes, cada corredor estará en algún momento a una distancia de al menos $1/N$ de todos los demás corredores.
Esto no es sólo una curiosidad de nicho. El problema es matemáticamente equivalente a varias preguntas teóricas y del mundo real, tales como:
– Geometría: Determina qué tan grandes pueden ser los obstáculos en un campo antes de que una línea recta los golpee inevitablemente.
– Física: Predecir el movimiento de las bolas de billar sobre una mesa.
– Teoría de Redes: Organización de sistemas y conexiones complejos.
El muro de la complejidad
Durante mucho tiempo, el avance de la conjetura fue lento y gradual. Los matemáticos pudieron demostrar que la teoría funcionaba con bastante facilidad para dos o tres corredores. En la década de 1970, lo habían resuelto para cuatro corredores, y en 2007, habían llegado a siete.
La dificultad radica en el hecho de que agregar incluso un solo corredor hace que el problema sea exponencialmente más difícil. Cada corredor adicional introduce un aumento masivo en las posibles combinaciones de velocidades. Debido a que los matemáticos utilizaban diferentes técnicas ad hoc para diferentes números de corredores, carecían de una estrategia unificada para abordar el problema en su conjunto.
El gran avance: de siete a diez
El punto muerto finalmente se rompió gracias a una combinación de avances teóricos y potencia computacional.
1. Establecer el umbral
En 2015, el renombrado matemático Terence Tao proporcionó una pista vital. Demostró que si la conjetura era cierta para velocidades relativamente bajas, automáticamente lo sería para velocidades mucho más altas. Esto efectivamente convirtió un problema infinito en uno finito, proporcionando un “límite de velocidad” para que los matemáticos trabajaran.
2. La prueba de Rosenfeld
Basándose en el trabajo de Tao, el matemático Matthieu Rosenfeld cambió el enfoque. En lugar de intentar demostrar que los corredores se sentirían solos, buscó contraejemplos. Preguntó: ¿Cómo deberían ser las velocidades si un corredor nunca se sintiera solo?
Utilizando programas informáticos y teoría de números, Rosenfeld descubrió que cualquier contraejemplo de este tipo requeriría velocidades cuyo producto fuera divisible por números primos específicos. Demostró que tal producto tendría que ser tan masivo que excediera el umbral del Tao, lo que significa que un contraejemplo era matemáticamente imposible. Esto demostró con éxito la conjetura de ocho corredores.
3. La aceleración de Oxford
El impulso no se detuvo ahí. Tanupat (Paul) Trakulthongchai, estudiante de segundo año de la Universidad de Oxford, perfeccionó las técnicas computacionales de Rosenfeld. Al encontrar una forma más eficiente de identificar los divisores primos necesarios, Trakulthongchai pudo demostrar la conjetura para nueve y diez corredores poco después del avance de Rosenfeld.
Por qué esto es importante
Este repentino aumento en el progreso (pasar de siete corredores a diez en un período muy corto) representa un cambio significativo en la forma en que los matemáticos abordan el problema. Al alejarse de las pruebas aisladas y especializadas y adoptar una estrategia computacional más unificada, los investigadores finalmente están solucionando un problema que alguna vez pareció insuperable.
El salto de siete a diez corredores es un testimonio de cómo la combinación de teoría de alto nivel con la informática moderna puede resolver problemas que han permanecido estancados durante décadas.
Conclusión: Las pruebas recientes para ocho, nueve y diez corredores han transformado la conjetura del corredor solitario de un misterio de décadas de antigüedad a un campo de estudio que avanza rápidamente, demostrando que incluso los problemas más “simples” pueden ocultar profundas profundidades matemáticas.
