RUNDO BAPA LA MCHANGA HALIWEZI KUPOROMOKA MILELE

Chukua gridi ya miraba. Kila mraba una chembe kadhaa za mchanga. Mraba unapofikia chembe nne — moja kwa kila jirani — huporomoka: hutuma chembe moja kwa kila mmoja wa majirani wake wanne. Majirani hao sasa wanaweza kuwa na chembe nne na kuporomoka nao kwa zamu, na kuendelea hivyo. Kuongeza chembe moja tu kunaweza kuanzisha mmenyuko wa mnyororo: poromoko.

Hii ni modeli ya rundo la mchanga ya abeli (abelian sandpile model). Bak, Tang na Wiesenfeld waliianzisha mwaka 1987 kama mfano wa uhakiki unaojipanga wenyewe (self-organised criticality): katika uigaji wao, ukubwa wa maporomoko ulifuata sheria ya kipeo, madogo yakiwa ya kawaida na makubwa mno yakiwa adimu, bila mtu yeyote kurekebisha kigezo. Tangu hapo imewavutia wanafizikia na wanahisabati.

Isiyo na kikomo kwa wastani

Fikiria gridi ikienea milele, chembe zikiongezwa kwa nasibu hadi rundo litulie katika hali yake ya kawaida, “tuli”. Kisha ongeza chembe moja zaidi katikati. Poromoko linaenda umbali gani?

Fomula ya mwaka 1990 ya Dhar inaunganisha idadi ya wastani ya maporomoko na mara ngapi mwendo nasibu (random walk) — nukta inayoruka kwenda kwa jirani wa nasibu kila hatua — unarudi pale ulipoanzia:

Katika vipimo vitatu au zaidi, mwendo nasibu huelekea kutangatanga mbali kabisa, kwa hiyo wastani una kikomo. Mwaka 2008, Járai na Redig walitumia hili kuthibitisha kwamba maporomoko husimama daima.
Katika vipimo viwili, mwendo nasibu huendelea kurudi. Idadi ya wastani ya maporomoko kwenye mraba wa kuanzia haina kikomo, na ndivyo ulivyo ufikiaji wa wastani wa poromoko.

Kutokuwa na kikomo kwa wastani si lazima kumaanishe kutokuwa na kikomo kwa uhalisia: maporomoko adimu, makubwa mno yanaweza kuufanya wastani ulipuke huku karibu kila poromoko likibaki na kikomo. Kama hivyo ndivyo ilivyo katika vipimo viwili lilibaki swali lisilojibiwa tangu 2004. Wataalamu walikuwa wameliita “swali muhimu lisilojibiwa” na kuliorodhesha tena mwaka 2014 na 2018.

Jibu: husimama

Ahmed Bou-Rabee anathibitisha kwamba, katika vipimo viwili, poromoko karibu kwa hakika husimama. Pia anatoa kasi: uwezekano kwamba linafika zaidi ya umbali R ni kwa kiwango cha juu

C (log(R + 2))^(−a)

kwa visabiti chanya fulani a na C. Hicho ni kipeo hasi cha logariti ya R — upungufu wa polepole sana, lakini unaofika hadi sifuri. Hoja za upimaji (scaling) za wanafizikia zinatabiri upungufu wa kasi zaidi sana; tokeo hili ni dhaifu zaidi, lakini limethibitishwa.

Kusoma poromoko kinyumenyume

Poromoko linaweza kukatwa kuwa mawimbi: poromosha mraba wa kuanzia mara moja, acha kila kitu kingine kitulie, na rudia wakati mraba wa kuanzia bado umezidiwa. Katika vipimo viwili, idadi inayotarajiwa ya mawimbi nayo yenyewe haina kikomo, jambo lililoharibu majaribio ya awali.

Uthibitisho mpya unaikwepa hesabu hiyo:

Hufuata kila poromoko kinyumenyume, kutoka wimbi lake la mwisho hadi la kwanza, na huhesabu tu mawimbi ambayo poromoko kubwa sana linalazimika kuyajumuisha.
Hugeuza swali kuwa swali kuhusu mti tandawazi sare (uniform spanning tree) — mtandao wa nasibu wa njia unaounganisha kila mraba wa gridi bila kuunda kitanzi kamwe. Uhusiano mmoja wa zamani unaunganisha marundo ya mchanga yaliyotulia na miti kama hiyo.
Kisha huonyesha, kipimo baada ya kipimo, kwamba idadi fulani ya miunganisho katika mti huu haielekei kuwa ndogo. Zana zinajumuisha mitandao ya umeme — kufikiria kila ukingo wa gridi kama kinzani cha ohm moja — na tokeo la zamani la mwaka 1940 linalogeuza mikondo ya umeme kuwa upangaji wa mstatili kwa miraba.

Urasimishaji wa kompyuta wa uthibitisho katika msaidizi wa uthibitisho Lean 4 unadumishwa sambamba na makala; makala haisemi kwamba umekamilika.

Umejengwa pamoja na AI

Makala inaeleza kwa kina jinsi ilivyotengenezwa. Matokeo yalikuzwa kuanzia mwishoni mwa Mei hadi mwanzoni mwa Oktoba 2026 kwa GPT-5.5 na modeli za familia ya GPT-6: mwandishi aliongoza kazi, huku modeli zikipendekeza mawazo na bijeksheni, zikiyajaribu kwa kuorodhesha marundo yote ya mchanga katika visanduku vidogo, zikijaribu uthibitisho na kupata mifano kinzani. Mawakala tofauti wa AI walifuatilia mawazo yanayoshindana na kukagua uthibitisho uliopendekezwa, na kila mbinu iliyoshindwa ilirekodiwa ili isirudiwe. Mwandishi anabeba jukumu la hisabati.

Mgongano wa maslahi. Makala inaeleza kwamba Claude Opus 5.5, iliyotengenezwa na Anthropic, ilitengeneza vielelezo na kusaidia katika ufafanuzi. Makala hii imeandikwa na Claude.