ERDŐS ALIULIZA MWAKA 1961. NUSU, KARIBU KWA HAKIKA

Rusha sarafu kwa kila kigawo cha polinomia: kichwa kinatoa +1, mkia unatoa −1. Matokeo ni polinomia ya Littlewood ya nasibu, 1 ± z ± z² ± … ± zⁿ. Kama polinomia yoyote ya daraja n, ina mizizi n — nukta za ndege changamani ambapo thamani yake ni sifuri.

Mwaka 1961, mwanahisabati Erdős aliuliza mizizi hiyo huenda wapi. Kwa usahihi zaidi: kadiri daraja linavyoongezeka, je, sehemu ya mizizi iliyo ndani ya diski funge ya kipimo kimoja — duara lenye nusu kipenyo 1 na kila kitu kilicho ndani yake — inaelekea hasa nusu, kwa uwezekano wa moja? Swali hilo likawa Tatizo #522 katika orodha ya matatizo ya Erdős. Toleo dhaifu zaidi, linalokuwa kweli “kwa uwezekano mkubwa” badala ya “karibu kwa hakika”, lilikuwa limethibitishwa awali na Yakir.

Sasa Sebastien Kawada wa MIT anajibu swali la Erdős: ndiyo.

Kulikumbatia duara

Makala inathibitisha zaidi ya ile nusu. Karibu mizizi yote hujazana katika ukanda mwembamba kuzunguka duara la kipimo kimoja, kwa umbali wa kiwango cha 1/n. Ukikuza ukanda huo kwa kigeu x = n(|z| − 1), sehemu ya mizizi iliyo ndani ya duara lenye nusu kipenyo 1 + x/n hutulia kwenye mkunjo mmoja:

Φ(x) = ½ (1 + coth x − 1/x)

Kwenye x = 0, mkunjo huo unatoa hasa ½: jibu la Erdős. Mkunjo huohuo unatumika kwa familia nzima ya vigawo vya nasibu — kurusha sarafu, nukta za nasibu kwenye duara, namba za Gauss. Hiyo ndiyo sehemu ya ulimwengu wote (universal) katika kichwa cha makala.

Matokeo yanabaki kweli hata pale polinomia za madaraja tofauti zinapounganishwa kwa njia yoyote ile: zikijengwa kwa kuongeza mrusho mmoja wa sarafu kwa wakati, au zikichaguliwa upya kabisa kwa kila daraja. Kwa kurusha sarafu, ziada ya mizizi iliyo ndani ya diski juu ya n/2 inabaki chini ya takriban n^(3/4).

Mahali ulimwengu wote unapoishia

Kisha makala inaangalia mabadiliko madogo kuzunguka nusu. Hapa kanuni ya ugawaji ya vigawo inaanza kuwa na umuhimu. Kwa vigawo vya Gauss, tofauti (variance) ya ziada hukua kama 0.3059 × n. Kwa ugawaji mwingine wenye ulinganifu, inasogea kwa sehemu moja ya kumi na mbili ya kiasi kiitwacho kumulanti ya nne (fourth cumulant), kinachopima jinsi ncha za ugawaji zilivyo nzito. Kwa kurusha sarafu, kisichobadilika kinakuwa 0.3059 − 1/6. Majaribio ya kompyuta kwa polinomia za nasibu 16,384 zenye daraja hadi milioni moja yanakubaliana na utabiri huu.

Jinsi ulivyothibitishwa

Zana mbili za kale zinabeba mzigo mkubwa. Fomula ya Jensen inageuza hesabu ya mizizi ndani ya diski kuwa wastani wa logariti ya polinomia kuzunguka duara; wastani huo unaonekana kujikusanya kwa ubanaji mkubwa. Hatua ngumu ni kutoka kwenye mfuatano mchache wa madaraja hadi kila daraja kwa wakati mmoja. Kwa mabadiliko madogo, kanuni ya hoja (argument principle) inageuza ziada ya mizizi kuwa hesabu yenye ishara ya mara ambazo mkunjo, unaochorwa na polinomia kwenye duara la kipimo kimoja, unavuka mstari.

Kukaguliwa na mashine

Kila tokeo kuu la makala yenye kurasa 82 limethibitishwa rasmi katika msaidizi wa uthibitisho Lean 4. Uthibitisho wa Tatizo #522 ulikubaliwa kama suluhisho la kauli yake rasmi katika mradi wa Formal Conjectures wa Google DeepMind, na faili moja linamwezesha yeyote kuurudia kwenye kivinjari cha wavuti. Mwandishi anaandika kwamba modeli za ndani za AI kutoka maabara ya Manolis Kellis huko MIT, zikiwemo modeli za lugha, zilisaidia katika urasimishaji wa Lean na katika kukagua mbinu kadhaa za uvumbuzi wa fomula; mwandishi anasema mbinu ya kihisabati ni yake mwenyewe.

Mnamo Aprili 2026, hoja mbili zisizo rasmi za kauli hiyohiyo zilichapishwa kwenye jukwaa la matatizo ya Erdős. Kawada anasema uthibitisho huu na mbinu yake ni asilia, na kwamba ndio wa kwanza kuthibitishwa rasmi. Miaka sitini na mitano baada ya swali kuulizwa, jibu lililokaguliwa na mashine linasema: nusu, karibu kwa hakika.