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

कल्पना कीजिए कि कुछ तारे या ग्रह इतनी सटीकता से सजे हैं कि पूरा समूह आकार बदले बिना किसी कठोर वस्तु की तरह घूम सकता है। ऐसा होने के लिए हर पिंड पर गुरुत्व का खिंचाव ठीक समूह के द्रव्यमान-केंद्र की ओर होना चाहिए, और उसकी ताक़त उस केंद्र से पिंड की दूरी के अनुपात में होनी चाहिए। ऐसी व्यवस्थाओं को केंद्रीय विन्यास (central configurations) कहते हैं। ये n-पिंड समस्या के उन विशेष हलों की आकृतियाँ हैं जिनमें पिंड वही सापेक्ष पैटर्न बनाए रखते हैं, जिनमें कठोर रूप से घूमने वाले सापेक्ष संतुलन (relative equilibria) भी शामिल हैं।

अगर कोई पैटर्न काम करता है, तो उसकी कोई भी घुमाई हुई, बड़ी की गई या खिसकाई गई प्रति भी काम करती है, इसलिए गणितज्ञ इन्हें “समरूपता तक” (up to similarity) गिनते हैं।

स्मेल की छठी समस्या

सवाल कहना आसान है: धनात्मक द्रव्यमानों के किसी भी चयन के लिए, क्या केंद्रीय विन्यासों की संख्या सीमित है? यह गणितज्ञ स्मेल (Smale) द्वारा तैयार की गई खुली समस्याओं की सूची की छठी समस्या है।

शोधपत्र के अनुसार, अब तक की स्थिति यह थी:

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

अपवाद-समुच्चय को बंद करना

तेजस्वी सिंह तोमर उस अपवाद-समुच्चय को हटा देते हैं। मुख्य प्रमेय: पाँच धनात्मक द्रव्यमानों के हर चयन के लिए, समतलीय पाँच-पिंड समस्या के समरूपता तक सीमित संख्या में ही केंद्रीय विन्यास होते हैं।

रणनीति अल्बुई और कालोशिन का अनुसरण करती है। अगर विन्यास अनंत होते, तो समीकरणों को सम्मिश्र संख्याओं तक फैलाने पर वे हलों का एक सतत वक्र बनाते। उस वक्र का “अनंत तक” पीछा करने पर पिंडों के बीच की दूरियों को ऐसे बदलना होगा कि वे एक सटीक संतुलन में एक-दूसरे को निरस्त कर दें। पिंड अल्बुई और कालोशिन द्वारा पहचाने गए सोलह सीमांत आरेखों में से किसी एक की ओर बढ़ते हैं, और हर आरेख द्रव्यमानों पर शर्तें लगाता है।

नया काम इन शर्तों को हर धनात्मक द्रव्यमान के लिए सटीक बनाता है, और परेशान करने वाले मामलों को एक-एक करके ख़ारिज करता है:

वे विन्यास जिनमें चार पिंड एक कसा हुआ गुच्छा बनाते हैं और पाँचवाँ उनके पास आता है, स्थितिज ऊर्जा — जो वक्र के साथ स्थिर रहती है — को ऊँचे से ऊँचे क्रम तक फैलाकर ख़ारिज किए जाते हैं; धनात्मक द्रव्यमानों के लिए परिणामी शर्तें एक-दूसरे का खंडन करती हैं;
दो और आरेखों के बारे में दिखाया गया है कि वे कभी नहीं होते;
बाक़ी सब के लिए लेखक सटीक कंप्यूटर बीजगणित से सभी संगत द्रव्यमान-शर्तों का वर्णन करते हैं — 2,206 बीजीय तंत्र — और हर एक के लिए एक संख्यात्मक प्रमाणपत्र (certificate) देते हैं: परिमेय संख्याओं की एक सूची, जिसके गुण सटीक अंकगणित में जाँचे जाने पर सिद्ध करते हैं कि वह संतुलन असंभव है।

ऋणात्मक द्रव्यमानों का बिछाया जाल

एक अड़चन है जिससे शुद्ध बीजगणित बच नहीं सकता। एक और गणितज्ञ, रॉबर्ट्स, ने द्रव्यमानों (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 उपकरणों का उपयोग किया गया। उपकरणों के नाम नहीं बताए गए हैं।

यह क्या कहता है और क्या नहीं

परिणाम समतल में पाँच पिंडों से संबंधित है। यह सिद्ध करता है कि धनात्मक द्रव्यमानों के हर समूह के लिए विन्यासों की संख्या सीमित है, लेकिन सटीक गिनती केवल अध्ययन किए गए कुछ द्रव्यमान-अनुपातों पर ही देता है।