पाच पिंड, परिपूर्ण नृत्यांची मर्यादित संख्या

कल्पना करा की काही तारे किंवा ग्रह इतक्या अचूकपणे मांडलेले आहेत की संपूर्ण समूह आकार न बदलता एखाद्या दृढ वस्तूप्रमाणे फिरू शकतो. असे होण्यासाठी प्रत्येक पिंडावरील गुरुत्वाकर्षणाचे बल अचूकपणे समूहाच्या वस्तुमान-केंद्राकडे रोखलेले असले पाहिजे, आणि त्याची तीव्रता केंद्रापासूनच्या अंतराच्या प्रमाणात असली पाहिजे. अशा मांडण्यांना केंद्रीय संरचना (central configurations) म्हणतात. पिंड आपली सापेक्ष मांडणी कायम ठेवतात अशा n-पिंड प्रश्नाच्या विशेष उकलींचे हे आकार आहेत, ज्यात दृढपणे फिरणाऱ्या सापेक्ष समतोल-अवस्थांचाही (relative equilibria) समावेश होतो.

एखादी मांडणी चालत असेल, तर तिची कोणतीही फिरवलेली, मोठी केलेली किंवा सरकवलेली प्रत देखील चालते, म्हणून गणितज्ञ त्या “समरूपतेपर्यंत” (up to similarity) मोजतात.

स्मेलचा सहावा प्रश्न

प्रश्न मांडायला सोपा आहे: धन वस्तुमानांची कोणतीही निवड केली तरी केंद्रीय संरचनांची संख्या मर्यादित असते का? गणितज्ञ स्मेल यांनी तयार केलेल्या अनुत्तरित प्रश्नांच्या यादीतील हा सहावा प्रश्न आहे.

शोधनिबंधानुसार परिस्थिती अशी होती:

तीन पिंड: नेमक्या पाच — लाग्रांजचे दोन समभुज त्रिकोण आणि ऑयलरच्या तीन सरळ रेषा.
चार पिंड: हॅम्प्टन आणि मोकेल यांनी सर्व धन वस्तुमानांसाठी मर्यादितता सिद्ध केली.
एका प्रतलातील पाच पिंड: आल्बुई आणि कालोशिन यांनी 2012 मध्ये मर्यादितता सिद्ध केली, पण केवळ एका अपवादात्मक संचाबाहेरील वस्तुमानांसाठी — म्हणजे बहुपदी समीकरणांनी व्याख्यित केलेल्या वस्तुमान-संयोगांच्या एका विरळ कुटुंबाबाहेर, जिथे त्यांचा युक्तिवाद कोसळत होता.

अपवादात्मक संच बंद करणे

तेजस्वी सिंह तोमर (Tejasvi Singh Tomar) यांनी तो अपवादात्मक संच काढून टाकला आहे. मुख्य प्रमेय: पाच धन वस्तुमानांच्या प्रत्येक निवडीसाठी, प्रतलीय पाच-पिंड प्रश्नाच्या केंद्रीय संरचना समरूपतेपर्यंत मर्यादित संख्येने असतात.

रणनीती आल्बुई आणि कालोशिन यांच्या मार्गाने जाते. संरचना अमर्याद संख्येने असत्या, तर समीकरणे संमिश्र संख्यांपर्यंत विस्तारल्यावर त्या उकलींचा एक सलग वक्र तयार करतील. तो वक्र “अनंताकडे” अनुसरल्यास पिंडांमधील अंतरे एका अचूक समतोलात एकमेकांना रद्द करतील अशा प्रकारे वागली पाहिजेत. पिंड आल्बुई आणि कालोशिन यांनी ओळखलेल्या सोळा मर्यादा-आकृतींपैकी एकीकडे जातात, आणि प्रत्येक आकृती वस्तुमानांवर अटी लादते.

नवे काम या अटी प्रत्येक धन वस्तुमानासाठी नेमक्या करते, आणि त्रासदायक प्रकरणे एकेक करून बाद करते:

चार पिंड एक घट्ट पुंजका तयार करतात आणि पाचवा त्याच्याजवळ येतो अशा संरचना स्थितिज ऊर्जेचा — जी वक्रावर स्थिर राहते — अधिकाधिक उच्च क्रमापर्यंत विस्तार करून वगळल्या जातात; धन वस्तुमानांसाठी त्यातून येणाऱ्या अटी परस्परविरोधी ठरतात;
आणखी दोन आकृती कधीच घडत नाहीत असे दाखवले आहे;
बाकी सर्वांसाठी लेखक अचूक संगणकीय बीजगणिताद्वारे — 2,206 बैजिक प्रणाली — सर्व सुसंगत वस्तुमान-अटींचे वर्णन करतात, आणि प्रत्येकासाठी एक संख्यात्मक प्रमाणपत्र तयार करतात: परिमेय संख्यांची एक यादी, जिचे गुणधर्म अचूक अंकगणितात तपासल्यावर तो समतोल अशक्य असल्याचे सिद्ध होते.

ऋण वस्तुमानांनी लावलेला सापळा

यात एक अडचण आहे जिला शुद्ध बीजगणित वळसा घालू शकत नाही. रॉबर्ट्स या दुसऱ्या गणितज्ञाला (1, 1, 1, 1, −¼) या वस्तुमानांसाठी — एक ऋण वस्तुमान असताना — अमर्याद केंद्रीय संरचना सापडल्या होत्या. काही चिन्हे उलटल्यावर त्या (4, 4, 4, 4, 1) वस्तुमानांसाठी संमिश्रीकृत समीकरणांच्या अमर्याद उकलींमध्ये बदलतात. त्या वास्तव संरचना नाहीत, पण फक्त संमिश्र समीकरणे पाहणारा युक्तिवाद त्यांना वेगळे ओळखू शकत नाही.

म्हणून त्या वस्तुमानांवर, आणि संबंधित गुणोत्तर (1, 1, 4, 4, 4) वर, लेखक वास्तव संरचना थेट मोजतात, हमीयुक्त अंतराल-अंकगणित (interval arithmetic) वापरणाऱ्या संगणकीय शोधाने:

(1, 4, 4, 4, 4) वस्तुमानांसाठी: परिभ्रमण आणि मापन वगळता 306 संरचना — 60 सरळ रेषेत, 24 बहिर्वक्र पंचकोन तयार करणाऱ्या, बाकीच्यांमध्ये एक किंवा दोन पिंड आत;
(1, 1, 4, 4, 4) साठी: 294.

सरळ रेषेतील 60 संरचना मोल्टन यांनी पूर्वी केलेल्या मोजणीशी जुळतात.

यंत्राने तपासलेले

इतक्या गणनांवर उभ्या असलेल्या सिद्धतेला भक्कम पडताळणीची गरज असते. प्रत्येक प्रमाणपत्र शोधनिबंधातील व्याख्यांवरून लिहिलेल्या एका स्वतंत्र प्रोग्रामने पुन्हा तपासले गेले. सर्वात महत्त्वाचे म्हणजे, हे प्रमेय Lean 4 या सिद्धता-सहायकात सिद्ध केले आहे, हा प्रोग्राम प्रत्येक तार्किक पायरी तपासतो. औपचारिक सिद्धता आल्बुई आणि कालोशिन यांचे निकालही गृहीत धरत नाही: तिला लागणारे सर्व ती पुन्हा मिळवते, आणि त्यांच्या नियमांचे पालन करणाऱ्या 1,376 लेबल असलेल्या आकृती शोधाद्वारे शोधते. Lean सिद्धतांच्या आणखी दोन स्वतंत्र तपासकांनी ती स्वीकारली आहे. शून्यापासून ती बांधायला सुमारे 860 CPU-तास लागतात.

शोधनिबंधाच्या शेवटी एक छोटे निवेदन आहे: निकाल शोधण्यासाठी आणि सिद्ध करण्यासाठी, प्रोग्राम आणि Lean औपचारिकीकरण लिहिण्यासाठी, आणि मजकुराचा मसुदा तयार करण्यासाठी जनरेटिव्ह AI साधने वापरली गेली. साधनांची नावे दिलेली नाहीत.

ते काय सांगते आणि काय नाही

हा निकाल एका प्रतलातील पाच पिंडांविषयी आहे. धन वस्तुमानांच्या प्रत्येक संचासाठी संरचनांची संख्या मर्यादित आहे हे तो सिद्ध करतो, पण नेमकी संख्या फक्त अभ्यासलेल्या काही वस्तुमान-गुणोत्तरांसाठीच देतो.