Op het eerste gezicht klinkt het als een eenvoudig gedachte-experiment: een groep mensen die met verschillende, constante snelheden over een cirkelvormige baan joggen. Zal elke hardloper zich uiteindelijk ‘eenzaam’ voelen, dat wil zeggen: ver genoeg verwijderd van alle anderen om een vrije ruimte te hebben?
Hoewel het uitgangspunt gemakkelijk te visualiseren is, is de wiskunde erachter ongelooflijk complex. Decennia lang is het Lonely Runner Conjecture een hardnekkige puzzel geweest die verschillende takken van de wetenschap raakt, van de getaltheorie tot de meetkunde. Maar na bijna twintig jaar van stagnatie heeft een recente ‘kwantumsprong’ in het onderzoek eindelijk de impasse doorbroken.
Wat is het Lonely Runner-probleem?
Het probleem werd oorspronkelijk niet geformuleerd in termen van atleten, maar in de taal van de getaltheorie. In de jaren zestig vermoedde wiskundige Jörg M. Wills dat een specifieke methode voor het gebruik van breuken om irrationele getallen te benaderen (zoals $\pi$) optimaal was.
In 1998 vertaalden onderzoekers dit abstracte concept naar de ‘poëtische’ metafoor van hardlopers op een baan. Het formele vermoeden luidt:
Als $N$ lopers op hetzelfde punt op een cirkelvormige baan starten en met verschillende constante snelheden rennen, zal elke loper zich op een gegeven moment op een afstand van minimaal $1/N$ van elke andere loper bevinden.
Dit is niet alleen een niche-nieuwsgierigheid. Het probleem is wiskundig gelijkwaardig aan verschillende reële en theoretische vragen, zoals:
– Geometrie: Bepalen hoe groot obstakels in een veld kunnen zijn voordat een rechte lijn er onvermijdelijk één raakt.
– Natuurkunde: Voorspellen van de beweging van biljartballen op een tafel.
– Netwerktheorie: Organiseren van complexe systemen en verbindingen.
De muur van complexiteit
Lange tijd verliep de voortgang van het vermoeden langzaam en stapsgewijs. Wiskundigen konden vrij gemakkelijk bewijzen dat de theorie voor twee of drie hardlopers werkte. In de jaren zeventig hadden ze het voor vier lopers opgelost, en in 2007 hadden ze er zeven bereikt.
De moeilijkheid ligt in het feit dat het toevoegen van zelfs maar één hardloper het probleem exponentieel moeilijker maakt. Elke extra hardloper introduceert een enorme toename in de mogelijke combinaties van snelheden. Omdat wiskundigen verschillende, ad hoc technieken gebruikten voor verschillende aantallen hardlopers, ontbrak het hen aan een uniforme strategie om het probleem als geheel aan te pakken.
De doorbraak: van zeven naar tien
De impasse werd uiteindelijk doorbroken dankzij een combinatie van theoretische doorbraken en rekenkracht.
1. De drempel instellen
In 2015 gaf de beroemde wiskundige Terence Tao een cruciale aanwijzing. Hij toonde aan dat als het vermoeden opgaat voor relatief lage snelheden, het automatisch ook opgaat voor veel hogere snelheden. Hierdoor werd een oneindig probleem in feite een eindig probleem, waardoor wiskundigen een ‘snelheidslimiet’ kregen waarbinnen ze konden werken.
2. Het Rosenfeld-bewijs
Voortbouwend op Tao’s werk veranderde wiskundige Matthieu Rosenfeld de aanpak. In plaats van te proberen te bewijzen dat de lopers eenzaam zouden zijn, zocht hij naar tegenvoorbeelden. Hij vroeg: Hoe zouden de snelheden eruit moeten zien als een hardloper nooit eenzaam zou zijn?
Met behulp van computerprogramma’s en getaltheorie ontdekte Rosenfeld dat voor een dergelijk tegenvoorbeeld snelheden nodig waren waarvan het product deelbaar was door specifieke priemgetallen. Hij bewees dat een dergelijk product zo groot moest zijn dat het de drempel van Tao overschreed, wat betekende dat een tegenvoorbeeld wiskundig onmogelijk was. Dit bewees met succes het vermoeden voor acht lopers.
3. De Oxford-versnelling
Het momentum hield daar niet op. Tanupat (Paul) Trakulthongchai, een tweedejaars student aan de Universiteit van Oxford, verfijnde de computationele technieken van Rosenfeld. Door een efficiëntere manier te vinden om de noodzakelijke priemdelers te identificeren, kon Trakulthongchai kort na de doorbraak van Rosenfeld het vermoeden voor negen en tien lopers bewijzen.
Waarom dit belangrijk is
Deze plotselinge toename van de vooruitgang – van zeven lopers naar tien in een zeer kort tijdsbestek – vertegenwoordigt een significante verschuiving in de manier waarop wiskundigen het probleem benaderen. Door af te stappen van geïsoleerde, gespecialiseerde bewijzen en naar een meer uniforme, computationele strategie te gaan, lossen onderzoekers eindelijk een probleem op dat ooit onoverkomelijk leek.
De sprong van zeven naar tien hardlopers is een bewijs van hoe het combineren van theorie op hoog niveau met modern computergebruik problemen kan oplossen die al tientallen jaren stagneren.
Conclusie: De recente bewijzen voor acht, negen en tien hardlopers hebben het Lonely Runner Conjecture getransformeerd van een tientallen jaren oud mysterie in een snel voortschrijdend onderzoeksgebied, wat bewijst dat zelfs de meest ‘eenvoudige’ problemen diepgaande wiskundige diepten kunnen verbergen.
