MKIMBIAJI MPWEKE HATIMAYE APATA NAFASI KIDOGO

Wazia uwanja wa mviringo wenye urefu wa mzunguko mmoja. Wakimbiaji kadhaa wanaanza kutoka sehemu moja kwa wakati mmoja, kila mmoja kwa kasi yake isiyobadilika, zote tofauti. Dhana ya mkimbiaji mpweke (lonely runner conjecture) inasema kwamba kila mkimbiaji, wakati fulani, atajikuta peke yake: kwa umbali wa angalau 1/(n + 1) ya mzunguko kutoka kwa wengine wote, wakati kuna wakimbiaji n + 1 kwa jumla.

Tatizo hili ni la zamani kuliko jina lake. Kulingana na Xiyu Hu (Chuo Kikuu cha Akademia ya Sayansi ya China) na Yifan Jing (Chuo Kikuu cha Jimbo la Ohio), linarudi kwenye tasnifu ya uzamivu ya Jörg Wills ya mwaka 1965 kuhusu ukadiriaji wa namba kwa sehemu. Cusick alitoa toleo linalolingana kwa njia ya mistari ya kuona inayozibwa na vizuizi; wakimbiaji walikuja baadaye, kwa uundaji upya wa Goddyn. Tangu hapo limehusishwa na njia za mpira wa biliadi, upakaji rangi wa grafu na mitiririko katika miundo dhahania inayoitwa matroidi.

Kupima upweke

Wanahisabati kwa kawaida humweka mkimbiaji mmoja na kuangalia kasi za wengine zikilinganishwa naye: seti V ya namba kamili chanya n tofauti. Kwa wakati t, mkimbiaji mwenye kasi v yuko kwenye nafasi vt kuzunguka uwanja, na umbali wake kutoka mwanzo unaandikwa ∥vt∥ — umbali kutoka vt hadi namba kamili iliyo karibu zaidi. Upweke wa juu kabisa wa V ni

ML(V) = upeo kwa t wa kiwango cha chini kwa v katika V wa ∥vt∥

Wakati bora zaidi, ukihukumiwa na mkimbiaji aliye karibu zaidi. Dhana inadai ML(V) ≥ 1/(n + 1), na hilo lingekuwa kamili: kwa kasi 1, 2, …, n, upweke wa juu kabisa ni hasa 1/(n + 1). Kwa wakimbiaji wawili wanaosonga kwa kasi 1 na 2, kwa mfano, mkimbiaji aliyewekwa anaweza kuwa kwa umbali wa theluthi ya mzunguko kutoka kwa wote wawili kwa kiwango cha juu — kwa wakati 1/3.

Nusu rahisi

Nusu ya jibu inapatikana kwa urahisi. Nyakati ambapo mkimbiaji fulani yuko ndani ya δ kutoka mwanzo zinajaza sehemu 2δ ya saa. Kwa wakimbiaji n, ikiwa 2nδ ni chini ya 1, madirisha haya ya wakati hayawezi kufunika kila kitu, kwa hiyo kuna wakati usio na yeyote kati yao. Kuacha δ ikue hadi kikomo chake kunatoa

ML(V) ≥ 1/(2n)

Hiyo ni takriban nusu ya kile dhana inachotabiri. Kuvuka hapo kumethibitika kuwa kugumu. Waandishi wanaorodhesha historia: kwa miongo kadhaa, faida za kiwango cha 1/n² tu; kisha maboresho ya Perarnau na Serra, ya Terence Tao mwaka 2018, ya Benjamin Bedert mwaka 2025. Lakini yote yana udhaifu mmoja: ikilinganishwa na 1/(2n), uboreshaji unaelekea sifuri kadiri idadi ya wakimbiaji inavyoongezeka.

Faida isiyofifia

Teoremu mpya inabadilisha hilo:

ML(V) > (1 + c)/(2n)

kwa kisio kisichobadilika c > 0 na kila seti ya kasi n ≥ 2. Ziada sasa ni sehemu isiyobadilika ya mpaka rahisi, bila kujali kuna wakimbiaji wangapi. Kisio hicho ni bayana lakini hakijakokotolewa katika makala, na waandishi hawajaribu kukiboresha. Hakifikii 1/(n + 1) inayodhaniwa; ni faida ya kwanza isiyoyeyuka.

Uthibitisho unaangalia jinsi “madirisha ya hatari” ya wakimbiaji tofauti yanavyoingiliana. Mengine yanaingiliana kwa sababu yana kitovu kimoja — wakimbiaji ambao kasi zao zina vigawanyo vya pamoja hufika mwanzo pamoja. Mengine yanaingiliana kwenye vitovu tofauti. Kwa aina ya kwanza, waandishi wanaboresha hoja kuhusu vigawanyo vikubwa vya pamoja ya Green na Walker. Kwa aina ya pili, wanathibitisha kutolingana kupya kwa kijiometri: madirisha yanapopanuliwa kuzunguka vitovu vyao, maingiliano yao lazima yakue kwa kasi kuliko kwa uwiano. Kwa njia yoyote, muda usiofunikwa hauwezi kupungua hadi sifuri.

Kama ziada, matokeo yanaboresha mpaka wa chini kwa “tatizo la pajama”: ni nakala ngapi zilizozungushwa na kunyooshwa za muundo wenye mistari zinahitajika kufunika bapa.

Nani alifanya nini

Makala ina tamko bayana kuhusu matumizi ya AI. Mkakati na mfumo ulikuwa wa waandishi wenyewe. ChatGPT 6 Pro na ChatGPT 6 Astra zilitumika hasa kukagua hoja, kugeuza uthibitisho usio rasmi kuwa thabiti na kuchunguza maboresho. Pro ilipendekeza kuleta majumuisho juu ya vigawanyo vya pamoja, na baadaye ilirekebisha “mapengo madogo kadhaa” katika toleo la kwanza la uthibitisho wa kutolingana muhimu. Uthibitisho wa mwisho uliandikwa na waandishi. Hukumu yao kuhusu zana ni sahihi: “modeli hazikuweza kuboresha mpaka wa mkimbiaji mpweke peke yake.”

Miaka sitini baada ya Wills, upweke ambao kila mkimbiaji amehakikishiwa una, kwa mara ya kwanza, ziada inayobaki pale pale.