À première vue, cela ressemble à une simple expérience de pensée : un groupe de personnes courant autour d’une piste circulaire à des vitesses différentes et constantes. Est-ce que chaque coureur finira par se retrouver « seul », c’est-à-dire suffisamment loin des autres pour avoir un espace libre ?
Bien que le principe soit facile à visualiser, les mathématiques qui le sous-tendent sont incroyablement complexes. Pendant des décennies, la Conjecture du Lonely Runner s’est imposée comme un casse-tête tenace qui touche diverses branches de la science, de la théorie des nombres à la géométrie. Cependant, après près de vingt ans de stagnation, un récent « bond en avant » dans la recherche a finalement permis de sortir de l’impasse.
Quel est le problème du coureur solitaire ?
À l’origine, le problème n’était pas formulé en termes d’athlètes, mais dans le langage de la théorie des nombres. Dans les années 1960, le mathématicien Jörg M. Wills a émis l’hypothèse qu’une méthode spécifique permettant d’utiliser des fractions pour approximer des nombres irrationnels (comme $\pi$) était optimale.
En 1998, des chercheurs ont traduit ce concept abstrait par la métaphore « poétique » des coureurs sur une piste. La conjecture formelle déclare :
Si les coureurs $N$ partent du même point sur une piste circulaire et courent à des vitesses constantes différentes, chaque coureur se trouvera à un moment donné à une distance d’au moins 1 $/N$ de tous les autres coureurs.
Ce n’est pas seulement une curiosité de niche. Le problème est mathématiquement équivalent à plusieurs questions théoriques et réelles, telles que :
– Géométrie : Déterminer la taille des obstacles dans un champ avant qu’une ligne droite n’en heurte inévitablement un.
– Physique : Prédire le mouvement des boules de billard sur une table.
– Théorie des réseaux : Organisation de systèmes et de connexions complexes.
Le mur de la complexité
Pendant longtemps, les progrès sur cette conjecture ont été lents et progressifs. Les mathématiciens pourraient prouver assez facilement que la théorie fonctionnait pour deux ou trois coureurs. Dans les années 1970, ils avaient résolu le problème pour quatre coureurs et en 2007, ils en avaient atteint sept.
La difficulté réside dans le fait que l’ajout même d’un seul coureur rend le problème exponentiellement plus difficile. Chaque coureur supplémentaire introduit une augmentation massive des combinaisons de vitesses possibles. Parce que les mathématiciens utilisaient différentes techniques ad hoc pour différents nombres de coureurs, il leur manquait une stratégie unifiée pour aborder le problème dans son ensemble.
La percée : de sept à dix
L’impasse est finalement sortie grâce à une combinaison d’avancées théoriques et de puissance de calcul.
1. Définition du seuil
En 2015, le célèbre mathématicien Terence Tao a fourni un indice essentiel. Il a démontré que si la conjecture était vraie pour des vitesses relativement faibles, elle le serait automatiquement pour des vitesses beaucoup plus élevées. Cela a effectivement transformé un problème infini en un problème fini, fournissant une « limite de vitesse » dans laquelle les mathématiciens peuvent travailler.
2. La preuve de Rosenfeld
En s’appuyant sur les travaux de Tao, le mathématicien Matthieu Rosenfeld a changé l’approche. Au lieu d’essayer de prouver que les coureurs seraient seuls, il a cherché des contre-exemples. Il a demandé : À quoi devraient ressembler les vitesses si un coureur n’était jamais seul ?
À l’aide de programmes informatiques et de la théorie des nombres, Rosenfeld a découvert qu’un tel contre-exemple nécessiterait des vitesses dont le produit était divisible par des nombres premiers spécifiques. Il a prouvé qu’un tel produit devrait être si massif qu’il dépasserait le seuil de Tao, ce qui signifie qu’un contre-exemple était mathématiquement impossible. Cela a prouvé avec succès la conjecture de huit coureurs.
3. L’accélération d’Oxford
L’élan ne s’est pas arrêté là. Tanupat (Paul) Trakulthongchai, étudiant de deuxième année à l’Université d’Oxford, a affiné les techniques informatiques de Rosenfeld. En trouvant un moyen plus efficace d’identifier les diviseurs premiers nécessaires, Trakulthongchai a pu prouver la conjecture pour neuf et dix coureurs peu de temps après la percée de Rosenfeld.
Pourquoi c’est important
Cette augmentation soudaine des progrès – passant de sept à dix dans un laps de temps très court – représente un changement significatif dans la manière dont les mathématiciens abordent le problème. En s’éloignant des preuves isolées et spécialisées et en s’orientant vers une stratégie informatique plus unifiée, les chercheurs parviennent enfin à résoudre un problème qui semblait autrefois insurmontable.
Le passage de sept à dix participants témoigne de la manière dont la combinaison de la théorie de haut niveau et de l’informatique moderne peut résoudre des problèmes qui stagnent depuis des décennies.
Conclusion : Les preuves récentes pour huit, neuf et dix coureurs ont transformé la conjecture du coureur solitaire d’un mystère vieux de plusieurs décennies en un domaine d’étude en évolution rapide, prouvant que même les problèmes les plus « simples » peuvent cacher de profondes profondeurs mathématiques.
