Na první pohled to zní jako jednoduchý myšlenkový experiment: skupina lidí běžící po kruhové dráze různou, ale konstantní rychlostí. Skončí každý běžec „sám“ – tedy dostatečně daleko od všech ostatních, aby kolem nich bylo místo?
Zatímco samotná myšlenka je snadno vizualizovatelná, matematika za ní je neuvěřitelně složitá. Po celá desetiletí zůstávala hypotéza osamělého běžce neřešitelnou záhadou, pokrývající obory od teorie čísel po geometrii. Po téměř dvaceti letech stagnace však nedávný „kvantový skok“ ve výzkumu tuto slepou uličku konečně prolomil.
Jaký je problém osamělého běžce?
Zpočátku byl tento problém formulován nikoli v pojmech sportovců, ale v jazyce teorie čísel. V 60. letech 20. století matematik Jörg M. Wills navrhl, že určitá metoda používání zlomků k aproximaci iracionálních čísel (např. $\pi$) je optimální.
V roce 1998 výzkumníci převedli tento abstraktní pojem do „poetické“ metafory běžců na dráze. Formální hypotéza říká:
Pokud $N$ běžci startují ze stejného bodu na kruhové dráze a běží různými konstantními rychlostmi, pak v určitém okamžiku bude každý běžec alespoň $1/N$ od všech ostatních běžců.
Nejde jen o vysoce specializovanou kuriozitu. Problém je matematicky ekvivalentní několika reálným a teoretickým otázkám, jako jsou:
– Geometrie: Určení maximální možné velikosti překážek na hřišti předtím, než se přímka nevyhnutelně srazí s jednou.
– Fyzika: předpovídání pohybu kulečníkových koulí na stole.
– Teorie sítí: organizace složitých systémů a spojení.
Stěna obtížnosti
Po dlouhou dobu byl pokrok v dokazování hypotézy pomalý a pozvolný. Matematici byli schopni dokázat větu poměrně snadno pro dva nebo tři běžce. Do 70. let to vyřešili pro čtyři běžce a do roku 2007 jich dosáhli na sedm.
Ošemetná část je v tom, že přidání byť jednoho běžce tento úkol exponenciálně ztíží. Každý nový účastník způsobí kolosální nárůst počtu možných kombinací rychlosti. Protože matematici používali různé specifické metody pro různé počty běžců, chyběla jim jediná strategie pro řešení problému jako celku.
Průlom: od sedmi do deseti
Slepá ulička byla nakonec prolomena kombinací teoretických objevů a výpočetního výkonu.
1. Nastavení prahové hodnoty
V roce 2015 poskytl významný matematik Terence Tao klíčovou stopu. Prokázal, že pokud by hypotéza platila pro relativně nízké rychlosti, pak by automaticky platila pro mnohem vyšší rychlosti. To účinně změnilo nekonečný problém na konečný a stanovilo „rychlostní limit“, ve kterém mohli matematici pracovat.
2. Rosenfeldův důkaz
Matematik Matthieu Rosenfeld v návaznosti na Taovu práci změnil svůj přístup. Místo aby se snažil dokázat, že běžci by byli osamělí, začal hledat protipříklady. Uvažoval: Jakou rychlostí by měl běžec být, když běžec nikdy není sám?
Pomocí počítačových programů a teorie čísel Rosenfeld zjistil, že každý takový protipříklad by vyžadoval sazby, jejichž součin by byl dělitelný určitými prvočísly. Dokázal, že takový produkt by musel být tak obrovský, že by překročil Taoův práh, čímž byl protipříklad matematicky nemožný. To nám umožnilo úspěšně prokázat hypotézu pro osm běžců.
3. Oxfordské zrychlení
Pohyb se tím nezastavil. Thanupat (Paul) Trakultongchai, student druhého ročníku Oxfordské univerzity, zlepšil Rosenfeldovy výpočetní metody. Když Trakultongchai našel efektivnější způsob, jak identifikovat nezbytné hlavní faktory, dokázal dokázat domněnku pro devět a deset běžců krátce po Rosenfeldově průlomu.
Proč je to důležité?
Tento náhlý skok – přechod ze sedmi běžců na deset během velmi krátké doby – představuje významný posun ve způsobu, jakým matematici k problému přistupují. Tím, že se výzkumníci vzdali kusých, ad hoc důkazů směrem k jednotnější, výpočetní strategii, konečně začínají odbourávat problém, který se kdysi zdál nepřekonatelný.
Skok ze sedmi na deset běžců je důkazem toho, jak kombinace teorie na vysoké úrovni s moderními výpočty může vyřešit problémy, které byly po desetiletí nečinné.
Závěr: Nedávné důkazy o osmi, devíti a deseti běžcích proměnily hypotézu osamělého běžce z desítky let staré záhady na rychle se rozvíjející pole výzkumu, což dokazuje, že i ty „nejjednodušší“ problémy mohou skrývat nejhlubší matematickou propast.
