Na pierwszy rzut oka brzmi to jak prosty eksperyment myślowy: grupa ludzi biegnąca po okręgu z różną, ale stałą prędkością. Czy każdy biegacz skończy „sam” – to znaczy wystarczająco daleko od wszystkich innych, aby wokół niego było miejsce?
Chociaż sam pomysł jest łatwy do wizualizacji, matematyka, która się za nim kryje, jest niezwykle złożona. Przez dziesięciolecia hipoteza samotnego biegacza pozostawała nierozwiązywalną tajemnicą, obejmującą dziedziny od teorii liczb po geometrię. Jednak po prawie dwudziestu latach stagnacji niedawny „skok kwantowy” w badaniach wreszcie przełamał ten impas.
Na czym polega problem samotnego biegacza?
Początkowo problem ten był formułowany nie w kategoriach sportowców, ale w języku teorii liczb. W latach sześćdziesiątych matematyk Jörg M. Wills zaproponował, że optymalna jest pewna metoda używania ułamków do przybliżania liczb niewymiernych (takich jak $\pi$).
W 1998 roku badacze przetłumaczyli tę abstrakcyjną koncepcję na „poetycką” metaforę biegaczy na bieżni. Formalna hipoteza stwierdza:
Jeśli biegacze $N$ wystartują z tego samego punktu na torze okrężnym i będą biegać z różnymi stałymi prędkościami, to w pewnym momencie każdy biegacz będzie oddalony o co najmniej 1/N$ od pozostałych biegaczy.
To nie jest tylko wysoce wyspecjalizowana ciekawostka. Problem jest matematycznie równoważny kilku rzeczywistym i teoretycznym pytaniom, takim jak:
– Geometria: Określanie maksymalnego możliwego rozmiaru przeszkód na boisku, zanim linia prosta nieuchronnie zderzy się z jedną.
– Fizyka: przewidywanie ruchu kul bilardowych na stole.
– Teoria sieci: organizacja złożonych systemów i połączeń.
Ściana trudności
Przez długi czas postęp w udowadnianiu hipotezy był powolny i stopniowy. Matematycy byli w stanie dość łatwo udowodnić twierdzenie dla dwóch lub trzech biegaczy. W latach 70. rozwiązali ten problem dla czterech biegaczy, a do 2007 roku było ich siedmiu.
Trudną częścią jest to, że dodanie choćby jednego biegacza sprawia, że zadanie jest wykładniczo trudniejsze. Każdy nowy uczestnik powoduje kolosalny wzrost liczby możliwych kombinacji prędkości. Ponieważ matematycy stosowali różne specyficzne metody dla różnej liczby biegaczy, brakowało im jednej strategii rozwiązania problemu jako całości.
Przełom: od siedmiu do dziesięciu
Impas został ostatecznie przełamany dzięki połączeniu odkryć teoretycznych i mocy obliczeniowej.
1. Ustawianie progu
Kluczową wskazówkę dostarczył w 2015 roku wybitny matematyk Terence Tao. Wykazał, że jeśli hipoteza jest prawdziwa dla stosunkowo małych prędkości, to automatycznie będzie prawdziwa dla znacznie większych prędkości. To skutecznie przekształciło nieskończony problem w skończony, wyznaczając „ograniczenie prędkości”, w ramach którego matematycy mogli pracować.
2. Dowód Rosenfelda
Opierając się na pracach Tao, matematyk Matthieu Rosenfeld zmienił swoje podejście. Zamiast próbować udowodnić, że biegacze będą czuć się samotni, zaczął szukać kontrprzykładów. Zastanawiał się: jaką prędkość powinien mieć biegacz, jeśli nigdy nie jest sam?
Korzystając z programów komputerowych i teorii liczb, Rosenfeld odkrył, że każdy taki kontrprzykład wymagałby stóp, których iloczyn byłby podzielny przez pewne liczby pierwsze. Udowodnił, że taki produkt musiałby być tak ogromny, aby przekroczył próg Tao, przez co kontrprzykład był matematycznie niemożliwy. To pozwoliło nam skutecznie udowodnić hipotezę dla ośmiu biegaczy.
3. Przyspieszenie Oxfordu
Na tym ruch się nie skończył. Thanupat (Paul) Trakultongchai, student drugiego roku Uniwersytetu Oksfordzkiego, udoskonalił metody obliczeniowe Rosenfelda. Znaleźwszy skuteczniejszy sposób identyfikacji niezbędnych czynników pierwszych, Trakultongchai był w stanie udowodnić hipotezę dotyczącą dziewięciu i dziesięciu biegaczy wkrótce po przełomie Rosenfelda.
Dlaczego to jest ważne?
Ten nagły skok – przejście z siedmiu do dziesięciu w bardzo krótkim czasie – oznacza znaczącą zmianę w sposobie, w jaki matematycy podchodzą do problemu. Odchodząc od fragmentarycznych, doraźnych dowodów na rzecz bardziej ujednoliconej strategii obliczeniowej, badacze w końcu zaczynają rozwiązywać problem, który kiedyś wydawał się nie do pokonania.
Skok z siedmiu do dziesięciu uczestników jest świadectwem tego, jak połączenie teorii wysokiego poziomu z nowoczesnymi obliczeniami może rozwiązać problemy, które były uśpione przez dziesięciolecia.
Wniosek: Najnowsze dowody dotyczące ośmiu, dziewięciu i dziesięciu biegaczy przekształciły hipotezę samotnego biegacza z zagadki sprzed kilkudziesięciu lat w szybko rozwijającą się dziedzinę badań, udowadniając, że nawet najbardziej „proste” problemy mogą ukryć najgłębszą matematyczną otchłań.
