चार आयामों में, सात टुकड़े हमेशा काफ़ी हैं

कोई आकृति लीजिए — बिंदुओं का कोई भी परिबद्ध समुच्चय (bounded set) — और उसके किन्हीं दो बिंदुओं के बीच की सबसे बड़ी दूरी को उसका व्यास (diameter) कहिए। अब उसे इस तरह टुकड़ों में काटिए कि हर टुकड़ा पूरी आकृति से सख़्ती से संकरा हो। टुकड़ों की वह सबसे छोटी संख्या क्या है जो हमेशा काम करे, आकृति चाहे जो हो?

n आयामों में, उस संख्या को बोरसुक संख्या (Borsuk number) b_n कहा जाता है। 1933 में, बोरसुक ने पूछा कि क्या यह हमेशा n + 1 के बराबर होती है। यह इससे छोटी नहीं हो सकती: एक नियमित सिम्प्लेक्स (regular simplex) के कोने — समतल में समबाहु त्रिभुज, अंतरिक्ष में नियमित चतुष्फलक — n + 1 टुकड़े माँगते हैं, क्योंकि कोई भी दो कोने एक-दूसरे से पूरे व्यास की दूरी पर हैं। और एक, दो और तीन आयामों में n + 1 पर्याप्त है। 1993 में, कान (Kahn) और कलाई (Kalai) ने दिखाया कि पर्याप्त ऊँचे आयामों में यह अनुमान विफल हो जाता है।

पहला खुला मामला

चार आयाम वह पहली जगह है जहाँ किसी को उत्तर नहीं पता। लासाक (Lassak) की एक पुरानी सामान्य सीमा, 2ⁿ⁻¹ + 1, वहाँ अधिकतम नौ टुकड़े देती है। 2026 में इससे पहले, तोलमाचेव (Tolmachev) और वोरोनोव (Voronov) ने कंप्यूटर की सहायता से की गई एक रचना के ज़रिए इसे घटाकर आठ कर दिया।

मैनिटोबा विश्वविद्यालय (University of Manitoba) के ए. अरमान (A. Arman) और ए. प्रिमाक (A. Prymak), नॉर्वेजियन यूनिवर्सिटी ऑफ़ साइंस एंड टेक्नोलॉजी (Norwegian University of Science and Technology) के ए. बोंदारेंको (A. Bondarenko) और इंस्टीट्यूट दे ओत एतूद सियांतिफ़िक (Institut des Hautes Études Scientifiques) के डी. रादचेंको (D. Radchenko) अब एक अधिक प्रबल कथन सिद्ध करते हैं। चार आयामों में व्यास 1 वाले हर समुच्चय को सात गेंदों से ढका जा सकता है, सभी का व्यास एक समान और 0.9999 से सख़्ती से कम। हर गेंद समुच्चय से संकरी है, इसलिए हर बिंदु को किसी एक गेंद को सौंप देने से समुच्चय सात संकरे टुकड़ों में कट जाता है: b₄ ≤ 7। उत्तर अब पाँच और सात के बीच कहीं है।

सबसे छोटी घेरने वाली गेंद से शुरुआत

प्रमाण परिगेंद (circumball) से शुरू होता है: वह सबसे छोटी गेंद जिसमें समुच्चय समा जाए। युंग (Jung) का एक शास्त्रीय प्रमेय सीमित करता है कि यह कितनी बड़ी हो सकती है — व्यास 1 वाले समुच्चय के लिए इसकी त्रिज्या अधिकतम लगभग 0.63 होती है (उसका वर्ग अधिकतम 2/5)। समुच्चय परिगेंद की सतह को छूता है, और छूने वाले इन बिंदुओं में से अधिकतम पाँच ही गेंद को उसकी जगह स्थिर करने के लिए काफ़ी हैं; लेखक इन्हें संपर्क बिंदु (contact points) कहते हैं। ये बिंदु सीमित करते हैं कि समुच्चय का बाक़ी हिस्सा कहाँ हो सकता है, क्योंकि कुछ भी इनमें से किसी से 1 से अधिक दूर नहीं है।

फिर लेखक परिगेंद के आकार के अनुसार समस्या को तीन मामलों में बाँटते हैं:

छोटी परिगेंद: एक निश्चित, स्पष्ट विन्यास में रखी सात गेंदें पूरी परिगेंद को ढक लेती हैं, भीतर का समुच्चय चाहे जो हो। यह हाथ से सिद्ध किया गया है।
बड़ी परिगेंद: पाँच संपर्क बिंदु होते हैं। पाँच गेंदें, हर एक केंद्र से किसी एक संपर्क बिंदु तक के रास्ते के 9/20 पर केंद्रित, लगभग सब कुछ ढक लेती हैं; दो और गेंदें बचे हुए हिस्से को ढकती हैं, जो शंकु के आकार के दो क्षेत्र हैं। यह भी हाथ से सिद्ध है।
बीच का मामला: एक न्यूनकोण त्रिभुज बनाने वाले तीन संपर्क बिंदु हर संभव समुच्चय को ऐसी आकृतियों के एक परिवार तक सीमित कर देते हैं जिन्हें केवल चार संख्याओं से वर्णित किया जा सकता है। यहीं कंप्यूटर की भूमिका आती है।

23,494 डिब्बे, बिना पूर्णांकन के

ये चार संख्याएँ संभावनाओं का एक चार-आयामी घन भरती हैं। उस घन के हर छोटे डिब्बे के लिए, एक संख्यात्मक खोज सात केंद्र सुझाती है। फिर एक सटीक परीक्षण जाँचता है कि वही सात गेंदें डिब्बे की हर आकृति को ढकती हैं।

तरकीब अभिकलनीय ज्यामिति (computational geometry) की एक क्लासिक है: मूलबिंदु से दूरी के वर्ग के बराबर एक पाँचवाँ निर्देशांक जोड़ने से “इस गेंद के भीतर” और “उस गेंद के बाहर” समतल (रैखिक) असमिकाओं में बदल जाते हैं। प्रश्न यह बन जाता है कि ऐसी बारह असमिकाओं से कटा एक बहुफलकी (polytope) — समतल फलकों वाली एक आकृति — पूरी तरह एक घुमावदार कटोरे के ऊपर है या नहीं — और इसके लिए उसके कोनों को जाँचना काफ़ी है। प्रोग्राम सभी 792 संभावित कोनों की जाँच करता है, केवल पूर्ण संख्याओं और सटीक भिन्नों का उपयोग करते हुए, बिना किसी संख्यात्मक छूट (tolerance) के।

जब कोई डिब्बा विफल होता है, तो उसे दो में काटा जाता है और दोनों हिस्सों को फिर से आज़माया जाता है। अंत में, घन को 23,494 डिब्बों में काटा गया, आधा करने के 29 स्तरों तक, और हर एक सफल रहा। उनके आयतनों का योग ठीक 1 है: कुछ भी छूटा नहीं है। आँकड़े और सत्यापन प्रोग्राम सार्वजनिक हैं। लेखक ध्यान दिलाते हैं कि प्रोग्राम सटीक अंकगणित का उपयोग करता है, लेकिन यह किसी प्रूफ़ असिस्टेंट (proof assistant) द्वारा जाँचा गया औपचारिक प्रमाण नहीं है।

विचार कैसे आया

लेखक इस बारे में खुलकर बताते हैं कि वे यहाँ तक कैसे पहुँचे। उनके काम का एक पुराना संस्करण केवल आठ तक पहुँचा था, और उसमें कहीं अधिक गणना लगी थी; तब भाषा मॉडलों ने केवल कोड में मदद की थी। बाद में उन्होंने ChatGPT Astra के साथ समस्या की पड़ताल की, पहले विशुद्ध विश्लेषणात्मक तर्कों की तलाश में। उसी पड़ताल से परिगेंद पर आधारित तरीक़ा निकला, जिसने कंप्यूटर-खोज को काफ़ी छोटा कर दिया। उन्होंने कोडिंग और संपादन के लिए भी ChatGPT का उपयोग किया, और हर गणितीय तर्क तथा सत्यापन कोड को ख़ुद जाँचा।

चार आयामों के लिए बोरसुक का अपना अनुमान, पाँच टुकड़े, न तो सिद्ध हुआ है न खंडित। नई सीमा और उसके बीच दो क़दमों का फ़ासला है।