MIILI MITANO, IDADI YENYE KIKOMO YA DANSI KAMILI

Fikiria nyota au sayari chache zilizopangwa kwa usahihi mkubwa kiasi kwamba kundi lote linaweza kuzunguka kama kitu kigumu, bila kubadili umbo. Ili hilo litokee, mvuto wa graviti kwa kila mwili lazima uelekee kabisa kitovu cha masi cha kundi, kwa nguvu inayolingana na umbali wake kutoka kitovu hicho. Mipangilio kama hiyo huitwa mipangilio ya kati (central configurations). Ni maumbo ya suluhisho maalum za tatizo la miili n ambapo miili hudumisha mpangilio uleule wa kiuhusiano, zikiwemo misawazo ya kiuhusiano (relative equilibria) inayozunguka kama kitu kigumu.

Ikiwa mpangilio mmoja unafanya kazi, nakala yake yoyote iliyozungushwa, kukuzwa au kuhamishwa nayo inafanya kazi, kwa hiyo wanahisabati huihesabu “hadi kufanana” (up to similarity).

Tatizo la sita la Smale

Swali ni rahisi kulieleza: kwa uchaguzi wowote wa masi chanya, je, idadi ya mipangilio ya kati ina kikomo? Ni tatizo la sita katika orodha ya matatizo yasiyotatuliwa iliyoandaliwa na mwanahisabati Smale.

Hivi ndivyo hali ilivyokuwa, kwa mujibu wa makala:

Miili mitatu: mitano kamili — pembetatu mbili sawa za Lagrange na mistari mitatu iliyonyooka ya Euler.
Miili minne: ukomo ulithibitishwa na Hampton na Moeckel, kwa masi zote chanya.
Miili mitano katika bapa: Albouy na Kaloshin walithibitisha ukomo mwaka 2012, lakini kwa masi zilizo nje ya seti ya kipekee tu — familia nyembamba ya michanganyiko ya masi inayofafanuliwa na milinganyo ya polinomia, ambapo hoja yao ilivunjika.

Kuifunga seti ya kipekee

Tejasvi Singh Tomar anaiondoa seti hiyo ya kipekee. Nadharia kuu: kwa kila uchaguzi wa masi tano chanya, tatizo la miili mitano katika bapa lina idadi yenye kikomo ya mipangilio ya kati hadi kufanana.

Mkakati unafuata ule wa Albouy na Kaloshin. Kama kungekuwa na mipangilio isiyo na kikomo, ingeunda mkunjo endelevu wa suluhisho milinganyo inapopanuliwa hadi namba changamani. Ukiufuata mkunjo huo “hadi isiyo na kikomo”, umbali kati ya miili lazima ubadilike kwa njia zinazofutana katika msawazo sahihi. Miili hukaribia mojawapo ya michoro kumi na sita ya kikomo iliyotambuliwa na Albouy na Kaloshin, kila mmoja ukiweka masharti kwa masi.

Kazi mpya inafanya masharti haya kuwa makali kwa kila masi chanya, na inaondoa visa vigumu kimoja baada ya kingine:

mipangilio ambapo miili minne huunda kishada kilichobanana kinachokaribiwa na mwili wa tano inaondolewa kwa kupanua nishati ya mkao — ambayo hubaki thabiti katika mkunjo mzima — hadi ngazi za juu zaidi na zaidi; kwa masi chanya masharti yanayotokea yanapingana;
michoro mingine miwili inaonyeshwa kwamba haitokei kamwe;
kwa kila kitu kingine, mwandishi anaeleza masharti yote ya masi yanayowezekana kwa aljebra ya kompyuta sahihi — mifumo 2,206 ya kialjebra — na, kwa kila mmoja, anatoa cheti cha kinamba: orodha ya namba wiano ambazo sifa zake, zikikaguliwa kwa hesabu sahihi, zinathibitisha kwamba msawazo huo hauwezekani.

Mtego uliowekwa na masi hasi

Kuna kikwazo ambacho aljebra pekee haiwezi kukikwepa. Mwanahisabati mwingine, Roberts, alikuwa amepata mipangilio ya kati isiyo na kikomo kwa masi (1, 1, 1, 1, −¼) — ikiwa na masi moja hasi. Kugeuza baadhi ya alama kunaigeuza kuwa suluhisho zisizo na kikomo za milinganyo changamani kwa masi (4, 4, 4, 4, 1). Si mipangilio halisi, lakini hoja inayoona milinganyo changamani tu haiwezi kuzitofautisha.

Kwa hiyo katika masi hizo, na katika uwiano unaohusiana (1, 1, 4, 4, 4), mwandishi anahesabu mipangilio halisi moja kwa moja, kwa utafutaji wa kompyuta unaotumia hesabu za vipindi zenye uhakika (interval arithmetic):

kwa masi (1, 4, 4, 4, 4): mipangilio 306 hadi kuzungusha na kubadili ukubwa — 60 ikiwa katika mstari ulionyooka, 24 ikiunda pembetano mbonyeo, iliyobaki ikiwa na mwili mmoja au miwili ndani;
kwa (1, 1, 4, 4, 4): 294.

Ile 60 ya mstari ulionyooka inalingana na hesabu ya awali ya Moulton.

Imekaguliwa na mashine

Uthibitisho unaotegemea hesabu nyingi hivi unahitaji uhakiki madhubuti. Kila cheti kilikaguliwa upya na programu tofauti iliyoandikwa kutokana na fasili za makala. Zaidi ya yote, nadharia hii imethibitishwa katika msaidizi wa uthibitisho Lean 4, programu inayokagua kila hatua ya kimantiki. Uthibitisho rasmi hauchukulii hata matokeo ya Albouy na Kaloshin: unavipata upya vile unavyovihitaji, ukipata kwa utafutaji michoro 1,376 yenye lebo inayotimiza kanuni zao. Unakubaliwa na wakaguzi wengine wawili huru wa uthibitisho wa Lean. Kuujenga kuanzia mwanzo huchukua takriban saa 860 za CPU.

Makala inamalizika kwa tamko fupi: zana za AI zalishi zilitumika kupata na kuthibitisha matokeo, kuandika programu na urasimishaji wa Lean, na kuandaa rasimu ya maandishi. Zana hizo hazitajwi majina.

Inachosema na isichosema

Matokeo haya yanahusu miili mitano katika bapa. Yanathibitisha kwamba idadi ya mipangilio ina kikomo kwa kila seti ya masi chanya, lakini yanatoa idadi kamili tu katika uwiano machache wa masi uliochunguzwa.