Jednostavno objašnjenje hipoteze

Zamislite n trkača na krugu jediničnog obima, gde se svaki kreće različitom konstantnom brzinom. Hipoteza o usamljenom trkaču postavlja pitanje da li će u nekom trenutku svaki trkač biti na udaljenosti od najmanje 1/n jedinica od svih ostalih. Ukratko, svaki trkač bi trebalo da doživi bar jedan kratak trenutak potpune „usamljenosti“.

Iako problem zvuči kao puka razonoda, on se zapravo nalazi na preseku nekoliko ozbiljnih matematičkih oblasti: Diofantovih aproksimacija (podešavanje racionalnih aproksimacija iracionalnih brojeva), problema geometrijskih prepreka na beskonačnoj mreži, kao i zagonetki u teoriji grafova i kombinatornoj teoriji brojeva.

Decenije stagnacije

Jorg M. Wills je prvi postavio ovu hipotezu 1960-ih godina dok je proučavao klasičnu tehniku za aproksimaciju iracionalnih brojeva. Godine 1998, matematičar Luis Goddyn joj je podario poetski prizvuk, pretvorivši je u problem trčanja.

Jednostavna logika rešava slučajeve sa dva i tri trkača. Dokaz iz 1970-ih je rešio slučaj sa četiri trkača, a do 2007. godine kombinacija trikova iz teorije brojeva i geometrije pomerila je granicu na sedam trkača. Ipak, svaki dodatni trkač izaziva eksploziju kombinatorne složenosti; Matthias Beck sa Državnog univerziteta u San Francisku upozorava da „dodavanje samo jednog trkača čini zadatak eksponencijalno težim“.

Računarski proboj za osam trkača

Terence Tao je 2015. godine dokazao da je dovoljno testirati celobrojne brzine do određene granice, pretvarajući beskonačnu potragu u ogroman, ali konačan proračun. Na tom talasu, Matthieu Rosenfeld iz Laboratorije za informatiku, robotiku i mikroelektroniku u Monpeljeu, razvio je dokaz uz pomoć računara za osam trkača, koji je predstavljen 2025. godine.

Rosenfeld je analizirao aritmetičku strukturu koju bi svaki eventualni kontraprimer morao da poseduje. Pokazao je da proizvod brzina trkača mora sadržati specifičan skup ogromnih prostih brojeva – proizvod koji je toliko masivan da premašuje Taovu granicu, što isključuje bilo kakav kontraprimer za osam trkača.

Studentska domišljatost pomera granice

Rosenfeldov pristup otvorio je vrata, a Tanupat (Paul) Trakulthongchai, student osnovnih studija na Oxfordu, prošao je kroz njih samo nekoliko nedelja kasnije. Pod mentorstvom Noaha Kravitza, usavršio je potragu za potrebnim prostim deliocima, drastično smanjujući vreme potrebno za odbacivanje mogućih kontraprimera.

Njegov unapređeni algoritam eliminisao je svakog kandidata za devet i deset trkača, potvrđujući hipotezu za te brojeve. Rosenfeld je do rezultata za devet trkača došao nekoliko dana kasnije, što je dodatno potvrdilo snagu ove metode.

Oba naučnika se oslanjaju na iscrpne računarske provere, ali ovo je prvi put da je jedinstven konceptualni okvir rešio tri nova slučaja odjednom, umesto da se za svaki korak razvija potpuno novi argument.

Zašto je ovaj napredak važan

Hipoteza o usamljenom trkaču nije samo zanimljivost – ona kodira zagonetke koje se pojavljuju u dizajnu mreža, dinamici bilijara i geometriji prepreka. „Ona se dotiče toliko različitih polja“, primećuje Beck, naglašavajući zašto svaki napredak odjekuje širom matematike.

Rezultati Rosenfelda i Trakulthongchaija pokazuju da rezonovanje uz pomoć računara, upareno sa dubokim uvidom u teoriju brojeva, može zaobići ad-hoc prepreke koje su decenijama kočile napredak. Njihov pristup takođe otkriva strukturnu prepreku – uslov deljivosti prostim brojevima – koju bi svaki budući kontraprimer morao da sruši.

Ipak, računarska zahtevnost vrtoglavo raste sa svakim dodatnim trkačem. „Da bismo stigli do jedanaest, mislim da nam je potreban potpuno novi način posmatranja stvari“, upozorava Trakulthongchai, naglašavajući potrebu za svežim teorijskim idejama.

Pogled u budućnost

Kako bi nastavili na temelju ovih otkrića, matematičari će se okupiti na posebnoj radionici posvećenoj usamljenom trkaču u Rostoku ovog oktobra, u nadi da će ujediniti stručnjake iz različitih oblasti. Jorg Wills, tvorac hipoteze, kladi se na rešenje u narednih „20 ili 30 godina“, ali trio novih dokaza uliva opipljiv optimizam da bi predstojeća decenija mogla doneti još značajnih uspeha.

Za sada, matematička zajednica pažljivo prati dešavanja, nadajući se da će spoj računarske snage i nove teorije konačno i zauvek rešiti problem usamljenog trkača.