🔢 गणित

Upper bounds for Jung constants of $\ell_1^d$

यह शोध पत्र वास्तविक $\ell_1^d$ स्थानों के जुंग स्थिरांकों (Jung constants) के लिए सटीक ऊपरी सीमाएँ स्थापित करता है, यह सिद्ध करते हुए कि सभी $k \ge 1$ के लिए $J(\ell_1^{4k+1}) \le (4k-1)/(4k)$ है और विशिष्ट आयामों में समानता तब होती है जब हैडामार्ड मैट्रिसेस (Hadamard matrices) मौजूद होते हैं, तथा लीन (Lean) में सामान्य ऊपरी सीमा को औपचारिक रूप देता है।

मूल लेखक: Xiao Li

प्रकाशित 2026-10-14✓ Author reviewed ⓘ

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Xiao Li

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने नहीं लिखा है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक ऐसी दुनिया की कल्पना करें जहाँ दूरी को हवा में एक सीधी रेखा से नहीं, बल्कि बिंदु A से बिंदु B तक पहुँचने के लिए तय किए जाने वाले शहर के ब्लॉकों (city blocks) की संख्या से मापा जाता है। इस ग्रिड जैसी वास्तविकता में, जिसे गणितज्ञों द्वारा 'मैनहट्टन डिस्टेंस' (Manhattan distance) के रूप में जाना जाता है, दो स्थानों के बीच का सबसे छोटा रास्ता प्रत्येक दिशा में लिए गए कदमों का योग है, जिसमें कभी भी तिरछा (diagonally) नहीं काटा जाता। इस विशिष्ट ज्यामिति के भीतर, एक मौलिक प्रश्न लंबे समय से शोधकर्ताओं को उलझाए हुए है: यदि आप एक स्थान में बिखरे हुए बिंदुओं के एक समूह को एकत्र करते हैं, तो आप उन्हें एक एकल वृत्त (circle) के भीतर कितनी सघनता से लपेट सकते हैं? अधिक सटीक रूप से, यदि आप समूह के किन्हीं भी दो बिंदुओं के बीच की अधिकतम दूरी जानते हैं, तो पूरे समूह को समाहित करने के लिए एक 'बॉल' (ball) की न्यूनतम त्रिज्या (radius) क्या होगी? यह प्रश्न एक मान को परिभाषित करता है जिसे 'जुंग कांस्टेंट' (Jung constant) कहा जाता है, जो एक सार्वभौमिक सीमा के रूप में कार्य करता है कि बिंदुओं का एक संग्रह, उनके कंटेनर के आकार के सापेक्ष कितना "फैला हुआ" हो सकता है। दशकों से, गणितज्ञ कई आयामों (dimensions) के लिए इसका उत्तर जानते हैं, लेकिन उच्च-आयामी स्थानों के एक विशिष्ट परिवार के लिए, सटीक सीमा एक रहस्य बनी रही, जहाँ विशेषज्ञों ने उत्तर का अनुमान तो लगाया लेकिन उनके पास कोई कठोर प्रमाण नहीं था।

हाल ही में, गणितज्ञ श्याओ ली के एक शोध पत्र ने इन ग्रिड-आधारित स्थानों की एक विस्तृत श्रृंखला के लिए इस अनिश्चितता को समाप्त कर दिया है। लेखक सिद्ध करते हैं कि किसी भी ऐसे स्थान में जिसमें बिंदुओं का संग्रह एक विशिष्ट संख्या में आयामों वाला है—विशेष रूप से वे जो चार के गुणजों में चार प्लस एक से संबंधित हैं—सबसे छोटा समाहित करने वाला बॉल (enclosing ball), समूह के अधिकतम फैलाव के एक सटीक अंश से अधिक बड़ा नहीं होगा। उदाहरण के लिए, पाँच आयामों वाले स्थान में, शोध पत्र प्रदर्शित करता है कि समाहित करने वाले बॉल की त्रिज्या समूह के किन्हीं भी दो बिंदुओं के बीच की अधिकतम दूरी के तीन-चौथाई से अधिक नहीं हो सकती। यह केवल एक अनुमान या सन्निकटन (approximation) नहीं है; लेखक यह सिद्ध करते हैं कि यह सीमा 'शार्प' (sharp) है, जिसका अर्थ है कि वास्तव में बिंदुओं के ऐसे समूह मौजूद हैं जो बॉल को ठीक उतना ही बड़ा होने के लिए मजबूर करते हैं, और कोई भी छोटा बॉल उन्हें समाहित नहीं कर सकता। यह परिणाम एक दीर्घकालिक अनुमान (conjecture) की पुष्टि करता है जिसे हाल के सर्वेक्षणों में एक खुली समस्या के रूप में सूचीबद्ध किया गया था, जिससे एक परिकल्पना अंततः एक ज्ञात तथ्य में बदल गई।

इस प्रमाण की यात्रा में समस्या का एक चतुर न्यूनीकरण (reduction) शामिल था। प्रत्येक संभावित आकार के समूह का विश्लेषण करने के बजाय, लेखक ने सबसे चरम मामलों पर ध्यान केंद्रित किया: बिंदुओं के ऐसे समूह जो एक तंग त्रिज्या के भीतर फिट होते हुए भी एक-दूसरे से यथासंभव दूर हैं। "संपर्क बिंदुओं" (contact points)—उन विशिष्ट स्थानों का परीक्षण करके जहाँ बिंदु सबसे छोटे संभव बॉल की सीमा को छूते हैं—का विश्लेषण करके, लेखक ने दिखाया कि इन बिंदुओं को एक बहुत ही सख्त, संतुलित पैटर्न का पालन करना चाहिए। पाँच-आयामी मामले में, इस पैटर्न में छह बिंदु शामिल हैं जो एक इस तरह व्यवस्थित हैं कि वे एक पूर्ण तनाव (tension) पैदा करते हैं, जहाँ बॉल के केंद्र को किसी भी दिशा में ले जाने से एक बिंदु को और दूर धकेल दिया जाएगा। लेखक ने फिर इन बिंदुओं को अलग करने के विभिन्न तरीकों को गिनने और तौलने की एक विधि का उपयोग किया, जो कि एक जाल के कटने के विश्लेषण के समान है, यह दिखाने के लिए कि त्रिज्या गणना की गई सीमा से अधिक नहीं हो सकती थी।

उन आयामों के लिए जो इन विशिष्ट गुणजों से एक कम या एक अधिक हैं, शोध पत्र दिखाता है कि वही सीमा लागू होती है, बशर्ते कि उस आकार के लिए एक विशेष प्रकार की गणितीय संरचना, जिसे 'हेडेम मैट्रिक्स' (Hadamard matrix) कहा जाता है, मौजूद हो। ये मैट्रिक्स संख्याओं के विशेष ग्रिड हैं जो अत्यधिक कुशल पैकिंग और पृथक्करण की अनुमति देते हैं, और उनका अस्तित्व कई आकारों के लिए एक ज्ञात तथ्य है। जब ये मैट्रिक्स मौजूद होते हैं, तो पेपर सिद्ध करता है कि सीमा बिल्कुल वही है जो उच्च आयाम में पाई गई थी। यह कई पहले से अलग परिणामों को एकीकृत करता है, यह दिखाते हुए कि इन स्थानों का व्यवहार आयामों के एक पूरे परिवार में सुसंगत है। लेखक ने गणितीय प्रमाणों की जाँच के लिए डिज़ाइन किए गए एक कंप्यूटर प्रोग्राम का उपयोग करके पूरे तार्किक क्रम को सत्यापित किया, जिससे यह सुनिश्चित हुआ कि तर्क का प्रत्येक चरण सख्ततम जांच के तहत भी कायम रहे।

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

तकनीकी सारांश: $\ell^d_1$ के जंग स्थिरांक (Jung Constants) के लिए ऊपरी सीमाएँ

समस्या विवरण
यह शोध पत्र $d$ -आयामी वास्तविक स्थान (real space) के लिए जंग स्थिरांक $J(\ell^d_1)$ के निर्धारण को संबोधित करता है, जो $\ell_1$ नॉर्म (मैनहट्टन दूरी) से सुसज्जित है। एक गैर-रिक्त परिबद्ध समुच्चय (nonempty bounded set) $A \subset \mathbb{R}^d$ के लिए, जंग स्थिरांक को सभी ऐसे समुच्चयों के लिए चेबिशेव त्रिज्या ( $rad\, A$ ) और व्यास ( $diam\, A$ ) के अनुपात के सुप्रीमम (supremum) के रूप में परिभाषित किया गया है। विशेष रूप से, लेखक $d = 4k+1$ (जहाँ $k \ge 1$ पूर्णांक है) के लिए $J(\ell^d_1)$ के लिए सटीक ऊपरी सीमाएँ स्थापित करने का प्रयास करते हैं।

इस कार्य से पूर्व, जबकि शास्त्रीय सीमाएँ मौजूद थीं (जैसे, $J(\ell^d_1) \le d/(d+1)$ और $J(\ell^{2m}_1) \le (2m-1)/(2m)$ ), आयाम $d=5$ (जहाँ $k=1$ ) के लिए सटीक मान अलिमोव और त्सारकोव द्वारा 2019 के एक सर्वेक्षण में अज्ञात बताया गया था। इसके अतिरिक्त, इवानोव के अनुमान (Ivanov's conjecture) ने कहा था कि यदि क्रम $h=4k$ का एक हेडामर्ड मैट्रिक्स (Hadamard matrix) मौजूद है, तो $J(\ell^h_1) = J(\ell^{h+1}_1) = J(\ell^{h+2}_1) = (h-1)/h$ होगा।

कार्यप्रणाली
प्रमाण रणनीति ज्यामितीय न्यूनीकरण तकनीकों (geometric reduction techniques) और कट मेट्रिक्स (cut metrics) पर कॉम्बिनेटरियल अनुमानों को जोड़ती है:

संपर्क न्यूनीकरण और आयाम सीमाएँ (Contact Reduction and Dimension Bounds):
लेखक न्यूनतम घेरने वाले गोले (minimal enclosing ball) को परिभाषित करने वाले "संपर्क बिंदुओं" $y_i$ और संबंधित चिह्नों $\sigma_i$ के एक परिमित सेट तक समस्या को कम करने के लिए लेम्मा 2.1 का उपयोग करते हैं। यदि त्रिज्या $R$ एक विशिष्ट थ्रेशोल्ड से अधिक हो जाती है, तो लेम्मा 2.2 यह स्थापित करता है कि संपर्क बिंदुओं की संख्या ठीक $2p$ (जहाँ $d=2p-1$ ) होनी चाहिए और चिह्नों का योग शून्य होना चाहिए। इससे किसी भी बिंदु $z$ से इन संपर्क बिंदुओं तक की दूरियों के योग से संबंधित एक असमानता प्राप्त होती है।
कट्स के लिए द्विघाती-रूप अनुमान (Quadratic-Form Estimates for Cuts):
मुख्य तकनीकी नवाचार ज्यामितीय दूरी बाधाओं को कट सेमीमेट्रिक्स (cut semimetrics) के भारित योगों की समस्या में अनुवादित करना है।

सामान्य मामला ( $k \ge 2$ ): आयामों $d = 4k+1$ (जहाँ $p = 2k+1 \ge 5$ ) के लिए, लेखक लेम्मा 3.1 का उपयोग करते हैं। यह लेम्मा युग्मवार दूरियों और "संतुलित" कट्स की संख्या पर बाधाओं के तहत कट आकारों के भारित योग ( $\Phi$ ) के लिए एक ऊपरी सीमा प्रदान करता है। लेम्मा 3.1 का प्रमाण दूरियों के एक मैट्रिक्स और विशिष्ट वेक्टर निर्माणों का उपयोग करते हुए एक द्विघाती-रूप विश्लेषण (quadratic-form analysis) पर आधारित है।
पाँच-आयामी मामला ( $k=1$ ): सामान्य द्विघाती-रूप सीमा $p=3$ (आयाम 5) के लिए अपर्याप्त है। अनुभाग 5 एक विशिष्ट "छह-लेबल क्षमता अनुमान" (six-label capacity estimate) (प्रपोजिशन 5.1) पेश करता है। इसमें छह लेबल के सेट पर कट्स का कॉम्बिनेटरियल विश्लेषण शामिल है, जो संतुलित कट्स को उनके ग्राफ निरूपणों ( $K_5$ के किनारे) द्वारा वर्गीकृत करता है और सीमा $\Phi \le 9/2$ को सिद्ध करने के लिए स्पष्ट वेट सर्टिफिकेट (weight certificates) का निर्माण करता है।

निर्देशांक अंतराल और अनिश्चित समुच्चय (Coordinate Gaps and Arbitrary Sets):
लेम्मा 4.1 निर्देशांक-वार माध्यिकाओं (coordinate-wise medians) का उपयोग करके कट मेट्रिक्स का निर्माण करके परिमित संपर्क सेटों और अनिश्चित परिबद्ध समुच्चयों के बीच के अंतर को पाटता है, जो युग्मवार दूरियों को संरक्षित करता है। लेम्मा 4.2 एक कॉम्पैक्टनेस तर्क (compactness argument) के माध्यम से परिमित परिणामों को अनिश्चित गैर-रिक्त परिबद्ध समुच्चयों तक विस्तारित करता है।
तीक्ष्णता और हेडामर्ड मैट्रिक्स (Sharpness and Hadamard Matrices):
सीमाओं को तीक्ष्ण (sharp) सिद्ध करने के लिए, लेखक विशिष्ट बिंदु सेटों का निर्माण करते हैं। निचली सीमा (lower bound) के लिए, वे हेडामर्ड मैट्रिक्स के गुणों (प्रपोजिशन 7.1) का उपयोग करते हैं। $d=5$ के विशिष्ट मामले के लिए, यह प्रदर्शित करने के लिए कि त्रिज्या व्यास के $3/4$ से कम नहीं हो सकती है, एक चार-बिंदु सेट को स्पष्ट रूप से निर्मित किया गया है।

मुख्य योगदान और परिणाम

मुख्य प्रमेय (Theorem 1.1): प्रत्येक पूर्णांक $k \ge 1$ के लिए, आयाम $4k+1$ के लिए जंग स्थिरांक निम्नलिखित बिना शर्त ऊपरी सीमा (unconditional upper bound) का पालन करता है:
$J(\ell^{4k+1}_1) \le \frac{4k-1}{4k}$
यह स्थापित करता है कि $\mathbb{R}^{4k+1}$ में प्रत्येक गैर-रिक्त परिबद्ध समुच्चय की परिवेशी घेरने वाली त्रिज्या (ambient enclosing ball) उसके व्यास के $\frac{4k-1}{4k}$ गुना तक है।
पाँच-आयामी मामले का समाधान: यह शोध पत्र सिद्ध करता है कि $J(\ell^5_1) = 3/4$ है। यह इस विशिष्ट आयाम के लिए अलिमोव और त्सारकोव के सर्वेक्षण में उल्लेखित खुले प्रश्न को हल करता है, जो इस विशिष्ट आयाम के लिए ऊपरी सीमा और मिलान निचली सीमा दोनों स्थापित करता है।
इवानोफ के अनुमान की पुष्टि (सशर्त): कोरोलरी 1.2 कहता है कि यदि $4k$ क्रम का एक हेडामर्ड मैट्रिक्स मौजूद है, तो सटीक मान तीन क्रमिक आयामों के लिए निर्धारित होता है:
$J(\ell^{4k-1}_1) = J(\ell^{4k}_1) = J(\ell^{4k+1}_1) = \frac{4k-1}{4k}$
यह आयाम $h+1$ (जहाँ $h=4k$ ) के लिए अनुमानित मान की पुष्टि करता है और आयामों $h-1, h,$ और $h+1$ के लिए मानों को हेडामर्ड मैट्रिक्स के अस्तित्व के तहत एकीकृत करता है। बिना इस धारणा के, यह पत्र $4k+1$ के लिए ऊपरी सीमा प्रदान करता है और हेडामर्ड उदाहरणों के माध्यम से निचली सीमा प्रदान करता है, लेकिन सभी $4k+1$ आयामों के लिए बिना शर्त सटीक मान का दावा नहीं करता है।
औपचारिकीकरण (Formalization): प्रत्येक $k \ge 1$ के लिए ऊपरी सीमा और आयाम 5 के लिए तीक्ष्णता परिणाम को 'लीन' (Lean) प्रमेय प्रूवर का उपयोग करके औपचारिक रूप से सत्यापित किया गया है। कोड एक सार्वजनिक रिपॉजिटरी में उपलब्ध है, जिसकी निर्भरता मानक शास्त्रीय सिद्धांतों (classical axioms) तक सीमित है।

महत्व और दावे

यह शोध पत्र दावा करता है कि यह $4k+1$ के रूप में आयामों के लिए बिना शर्त एक सटीक ऊपरी सीमा प्रदान करता है, और हेडामर्ड मैट्रिक्स के अस्तित्व की धारणा के तहत इन आयामों (साथ ही $4k-1$ और $4k$ ) के लिए सटीक मान प्रदान करता है। यह विशेष रूप से आयाम 5 के लंबे समय से चले आ रहे खुले मामले को सुलझाता है। यह कार्य इस बात को परिष्कृत करता है कि उच्च आयामों में $\ell_1$ स्थानों की ज्यामिति कैसे व्यवहार करती है, विशेष रूप से व्यास और घेरने वाली त्रिज्या के बीच संबंध के संबंध में।

लेखक नोट करते हैं कि लेम्मा 3.1 में व्युत्पन्न सीमा उस "संपर्क विन्यास" (contact configuration) के लिए विशिष्ट है जो एक थ्रेशोल्ड से अधिक त्रिज्या द्वारा मजबूर किया गया है और यह स्वयं जंग स्थिरांक के लिए बिना शर्त ऊपरी सीमा नहीं है। परिणाम का महत्व शास्त्रीय मेट्रिक ज्यामिति समस्याओं के संदर्भ में बनाया गया है, विशेष रूप से कॉम्बिनेटरियल संरचनाओं (हेडामर्ड मैट्रिक्स, कट मेट्रिक्स) और ज्यामितीय स्थिरांकों के बीच के अंतर्संबंध के संदर्भ में। लीन (Lean) में औपचारिकीकरण को जटिल कॉम्बिनेटरियल अनुमानों के कठोर सत्यापन के रूप में रेखांकित किया गया है।

इसी तरह के और पेपर