RANGI NGAPI ZINAHITAJIKA KUPAKA ANGA? KWA RULA YA KAWAIDA, SI ZAIDI YA 2d

Chukua kila nukta ya bapa tambarare na uipe kila moja rangi. Kanuni moja: nukta mbili zilizo umbali wa kizio kimoja kamili kamwe zisiwe na rangi moja. Ni idadi gani ndogo zaidi ya rangi inayofanya kazi?

Hili ni tatizo la Hadwiger–Nelson, lililoanzia mwaka 1950 na, kwa maneno ya waandishi, mojawapo ya matatizo wazi maarufu zaidi katika jiometri diskreti. Kwa muda mrefu jibu lilijulikana kuwa kati ya 4 na 7. Mafanikio ya hivi karibuni yalipandisha kikomo cha chini hadi 5. Jibu kamili bado halijulikani.

Kubadilisha rula

Umbali si lazima upimwe kwa rula ya kawaida. Wanahisabati hufafanua nomu nyingine nyingi — njia za kupima urefu — kila moja ikielezwa na “tufe lake la kizio”, yaani seti ya nukta zilizo umbali usiozidi 1 kutoka kitovu. Kwa umbali wa kawaida ni tufe la duara; kwa nomu nyingine linaweza kuwa umbo lolote mbonyeo lenye ulinganifu kuzunguka kitovu chake.

Kwa kila nomu kwenye bapa, jibu la fumbo la kupaka rangi ni kati ya 4 na 7. Katika vipimo d, kwa nomu yoyote ni zaidi kabisa kipeo kwa d, na kwa nomu nyingi za asili — ikiwemo ile ya kawaida ya Euklidi — pia ni angalau kipeo: idadi ya rangi hulipuka kadiri idadi ya vipimo inavyoongezeka.

Je, mlipuko huo ndio kanuni? Noga Alon (Chuo Kikuu cha Princeton na Chuo Kikuu cha Tel Aviv), Matija Bucić (Chuo Kikuu cha Vienna) na James Davies (Chuo Kikuu cha Leipzig) waliangalia nomu ya kawaida (typical). Hakuna njia ya asili ya kuchagua nomu “bila mpangilio”, kwa hiyo wanatumia dhana ya kitopolojia: sifa fulani ni kweli kwa nomu ya kawaida ikiwa visivyofuata kanuni vinaunda seti isiyo na maana (“meagre”). Kazi ya awali ya Alon, Bucić na Lisa Sauermann ilionyesha kwamba nomu ya kawaida inahitaji rangi zisizozidi 2ᵈ, na kuuliza hiyo iko karibu kiasi gani na ukweli.

Mstari, si kipeo

Jibu: iko mbali sana. Makala mpya inathibitisha kwamba

kwa nomu ya kawaida kwenye anga ya vipimo d, rangi 2d zinatosha daima;
hiki ndicho bora kinachowezekana: seti wazi ya nomu inahitaji angalau rangi 2d. Kwa hiyo baadhi ya nomu zinahitaji 2d kamili.

Katika vipimo kumi, nomu ya kawaida inahitaji rangi zisizozidi ishirini, wakati umbali wa kawaida unahitaji idadi inayokua kwa kipeo. Kwa mujibu wa waandishi, pia ni mara ya kwanza idadi ya kupaka rangi imebainishwa kamili kwa nomu “mbonyeo kikamilifu” (strictly convex) katika kipimo chochote d.

Kikomo cha chini kinatumia mtego nadhifu. Tafuta nukta 2d ambazo zote ziko umbali wa kizio kimoja kamili kutoka kwa kila nyingine, isipokuwa mbili, a na b, zilizo umbali wa nusu kizio. Ongeza taswira-kioo ya mpangilio mzima kupitia a. Kwa rangi chache kuliko 2d, b na taswira-kioo yake zote zingelazimika kuchukua rangi ya a — lakini ziko umbali wa kizio kimoja kamili. Mkinzano. Leama ya uthabiti inaonyesha kwamba mpangilio huu unastahimili badiliko lolote dogo la nomu.

Mkimbiaji mpweke katika vipimo vingi

Kikomo cha juu kinapaka rangi kila nukta kulingana na mahali kiprojekshoni chake kilichochaguliwa vizuri kinapoangukia, katika vipande vya upana 1/(2d). Kuifanya ifanye kazi kunahitaji kiungo muhimu ambacho waandishi wanakieleza kama toleo la vipimo vingi, la kimatriki, la dhana maarufu ya mkimbiaji mpweke (lonely runner conjecture):

sup over x of minᵢ ‖aᵢ · x − bᵢ‖ ≥ k / (2n)

ambapo ‖t‖ ni umbali kutoka t hadi namba kamili iliyo karibu zaidi, kwa vekta zozote n aᵢ katika vipimo k ambazo zozote k kati yake ni huru. Kauli hii pia inatatua dhana ya mwaka 1978 ya I. J. Schoenberg kuhusu “kizuizi cha mwonekano” (view obstruction) — swali kuhusu unene unaohitajika wa mabamba yanayojirudia ili kuzuia kila mwonekano kuelekea usio na mwisho — ambalo waandishi wanaliita mojawapo ya matatizo wazi ya kitamaduni zaidi katika eneo hili, pamoja na dhana inayohusiana ya Henze na Malikiosis.

Mashine katika shukrani

Waandishi wako wazi: “ChatGPT 6 Pro imetupatia uthibitisho wa kiungo cha mwisho tulichohitaji katika uthibitisho wa Nadharia 1, yaani ule wa Leama 7, kufuatia majadiliano marefu”, ambamo walikuwa wameshiriki uchunguzi wao wenyewe — ikiwemo wazo la uthibitisho kwa njia ya induksheni na mkakati wa jumla. “Hoja ya kikomo cha chini pia ilipatikana kwa msaada wa ChatGPT 6 Pro.”

Maswali yanabaki. Thamani kamili 2d imethibitishwa kwenye seti wazi ya nomu, si kwa nomu zote za kawaida. Na kwa umbali wa kawaida wa Euklidi, waandishi wanatarajia rangi zaidi ya 2d kabisa katika kila kipimo — jambo linalojulikana tayari katika vipimo 2, 4, 7, 8 na 9 na kuendelea, lakini bado wazi katika vipimo 3, 5 na 6.