🔢 mathematics

Asymptotics of the Tchoukaillon array and a conjecture of Beluhov

यह शोध पत्र चोकाइलॉन ऐरे (Tchoukaillon array) के प्रविष्टियों के लिए एक सटीक समान अनुमान स्थापित करके बेलुहोव के अनुमान (Beluhov's conjecture) को सिद्ध करता है, जो यह दर्शाता है कि उनके वर्गमूल ऐरे की किनारों की वृद्धि दरों के रैखिक मिश्रण बनते हैं और ऐरे के भीतर किसी भी दिए गए पूर्णांक को खोजने के लिए एक कुशल एल्गोरिदम को सक्षम बनाते हैं।

मूल लेखक: Shisheng Li

प्रकाशित 2026-08-19

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

CC BY 4.0

मूल लेखक: Shisheng Li

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

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

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

शीशेंग ली (Shisheng Li) के एक हालिया शोध पत्र ने पुष्टि की है कि बेलुहोव का अनुमान सही था। लेखक ने सिद्ध किया है कि संपूर्ण अनंत ग्रिड एक सटीक गणितीय नियम का पालन करता है। यह खोज प्रकट करती है कि ग्रिड में संख्याएँ बिखरी हुई नहीं हैं; इसके बजाय, उन्हें इस तरह व्यवस्थित किया गया है कि उनके वर्गमूल एक बिल्कुल सीधी रेखा में बढ़ते हैं। इसका अर्थ यह है कि यदि आप एक निश्चित आकार तक की सभी संख्याओं के स्थानों को जोड़ने के लिए एक रेखा खींचते हैं, तो वह रेखा सीधी होगी, जो एक स्वच्छ त्रिकोणीय आकार बनाएगी। यह प्रमाण महत्वपूर्ण है क्योंकि यह मध्य भाग को समझाने के लिए किनारों के ज्ञात व्यवहार पर निर्भर नहीं करता है। इसके बजाय, लेखक दिखाते हैं कि सूत्र में स्थिरांक—वे विशिष्ट संख्याएँ जो ग्र diện के आकार को निर्धारित करती हैं—खेल के अपने संचालन के नियमों से स्वाभाविक रूप से उत्पन्न होते हैं। संख्या पाई (pi), जो आमतौर पर वृत्तों में दिखाई देती है, यहाँ पत्थरों को हिलाने के सरल कार्य से उत्पन्न होती है, जो किसी बाहरी ज्यामितीय आकार के बजाय खेल के आंतरिक तर्क द्वारा निर्मित होती है।

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

प्रमाण की कुंजी यह समझना था कि इन संख्याओं की गति एक पैटर्न का अनुसरण करती है जिसे दो सरल, विपरीत बलों द्वारा वर्णित किया जा सकता है। एक बल पंक्ति की स्थिति द्वारा संचालित होता है, और दूसरा कॉलम की स्थिति द्वारा। जैसे-जैसे संख्या अपनी यात्रा करती है, ये दो बल इस तरह से परस्पर क्रिया करते हैं कि एक सुचारू, अनुमानित प्रवाह बनता है। लेखक ने दिखाया कि एक संख्या द्वारा तय की गई दूरी एक विशिष्ट प्रकार के गणितीय गुणनफल द्वारा निर्धारित होती है, अंशों का एक अनुक्रम जो, जब एक साथ गुणा किए जाते हैं, स्वाभाविक रूप से संख्या पाई (pi) का उत्पादन करते हैं। यह एक आश्चर्यजनक खोज थी, क्योंकि इसने प्रदर्शित किया कि स्थिरांक पाई न केवल वृत्तों की एक विशेषता है, बल्कि इस पत्थर-हिलाने वाले खेल के ताने-बाने में बुना हुआ है।

परिणाम tchoukaillon ऐरे (array) का एक पूर्ण विवरण है। पेपर सिद्ध करता है कि ग्रिड में किसी भी बड़े स्थान के लिए, पंक्ति और कॉलम निर्देशांकों को मिलाने वाले एक सूत्र का उपयोग करके संख्या के मान की उच्च सटीकता के साथ गणना की जा सकती है। इस भविष्यवाणी में त्रुटि अविश्वसनीय रूप से छोटी है, जो संख्याओं के बड़े होने पर घटती जाती है। यह खोज ग्रिड के आकार के बारे में लंबे समय से चले आ रहे प्रश्न को सुलझाती है: एक निश्चित आकार तक की संख्या वाले क्षेत्र वास्तव में त्रिभुज हैं, जिसमें केवल एक बहुत ही पतला, धुंधला किनारा है जहाँ पूर्ण आकार थोड़ा धुंधला हो जाता है। इसके अलावा, अनुसंधान ग्रिड में किसी विशिष्ट संख्या को खोजने का एक तेज़ और कुशल तरीका प्रदान करता है। लाखों प्रविष्टियों को खोजने के बजाय, कोई भी सरल चरणों के एक सेट का उपयोग करके यह पता लगा सकता है कि एक मिलियन जैसी संख्या कहाँ स्थित है, जो एक ऐसा कार्य है जिसमें अन्यथा लंबा समय लग सकता है।

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

तकनीकी सारांश: tchoukaillon ऐरे की एसिम्प्टोटिक्स और बेलुहोव का एक अनुमान (Conjecture)

समस्या विवरण
यह शोध पत्र tchoukaillon ऐरे के एसिम्प्टोटिक व्यवहार (asymptotic behavior) को संबोधित करता है, जो एक एक-पंक्ति वाले मनकाला सोलिटेयर गेम से उत्पन्न होने वाला धनात्मक पूर्णांकों का एक अनंत ऐरे $\mathcal{C}_{i,j}$ है। यह ऐरे इस प्रकार परिभाषित है कि प्रत्येक धनात्मक पूर्णांक ठीक एक बार आता है (एक बायजेक्शन $\mathbb{N}^2 \to \mathbb{Z}^+$ )। जबकि ऐरे की सीमाओं का एसिम्प्टोटिक व्यवहार पहले से ज्ञात था—कॉलम 0 फ्लेवियस जोसेफस सीव (Flavius Josephus sieve) के अनुरूप है ( $\mathcal{C}_{i,0} \sim \frac{\pi}{4}i^2$ ) और रो 0 tchoukaillon संख्याओं के अनुरूप है ( $\mathcal{C}_{0,j} \sim \frac{1}{\pi}(j+1)^2$ )—सामान्य आंतरिक प्रविष्टि (interior entry) $\mathcal{C}_{i,j}$ का व्यवहार एक खुला प्रश्न बना हुआ था।

एन. बेलुहोव ने संख्यात्मक साक्ष्यों के आधार पर अनुमान लगाया था कि बड़े $i$ और $j$ के लिए, प्रविष्टियाँ इस सन्निकटन (approximation) को संतुष्ट करती हैं:
$\mathcal{C}_{i,j} \approx \frac{(\pi i + 2j)^2}{4\pi}$
इस शोध पत्र का लक्ष्य इस अनुमान को सिद्ध करना, एक कठोर त्रुटि पद (error term) प्रदान करना, और स्तर सेट (level sets) $\{(i,j) : \mathcal{C}_{i,j} \le V\}$ के एसिम्प्टोटिक आकार को निर्धारित करना है।

कार्यप्रणाली (Methodology)
प्रमाण एक "ट्रेस" (trace) कार्यप्रणाली पर निर्भर करता है, जो दृष्टिकोण को ऐरे के निर्माण से बदलकर ऐरे के क्रम $k$ के बढ़ने के साथ एक एकल पूर्णांक मान के प्रक्षेपवक्र (trajectory) को ट्रैक करने की ओर स्थानांतरित करता है।

ट्रेस पुनरावृत्ति (Trace Recurrence): लेखक क्रम $k$ में एक मान $M$ की स्थिति के लिए निर्देशांक $(X_k, Y_k)$ को परिभाषित करते हैं। क्रम $k=1$ में $M$ की स्थिति $(M-1, 0)$ से शुरू करते हुए, यह मान क्रम $k = N = i+j+1$ में अपने अंतिम स्थान $(i, j)$ पर प्रवास करता है। यह गति इस युग्मित फ्लोर पुनरावृत्ति (coupled floor recurrence) का पालन करती है:
$X_k = X_{k-1} - \left\lfloor \frac{Y_{k-1}}{k} \right\rfloor, \quad Y_k = Y_{k-1} - \left\lfloor \frac{X_{k-1}}{k} \right\rfloor$
यह पुनरावृत्ति $X$ और $Y$ में सममित है, जो विश्लेषण के लिए एक महत्वपूर्ण संरचनात्मक विशेषता है।
संयुग्मी चौड़ाई (Conjugate Widths): पुनरावृत्ति में गिरावट (drops) को सीधे जोड़ने के बजाय, लेखक "संयुग्मी चौड़ाई" $R_m$ और $S_m$ पेश करते हैं, जो उन चरणों की संख्या का प्रतिनिधित्व करती है जहाँ गिरावट की मात्रा एक स्तर $m$ से अधिक होती है। यह समस्या को गिरावट के एक "सीढ़ीनुमा" (staircase) योग में बदल देता है।
राउंडिंग के माध्यम से रैखिकीकरण (Linearization via Rounding): चौड़ाई के लिए पुनरावृत्ति में फ्लोर फंक्शन शामिल हैं। लेखक दिखाते हैं कि इन्हें निकटतम-पूर्णांक राउंडिंग त्रुटियों द्वारा विचलित (perturbed) एक लोअर-ट्राइएंगुलर रैखिक समीकरण प्रणाली के रूप में मॉडल किया जा सकता है। राउंडिंग पदों को हटाकर, प्रणाली दो स्केलर पुनरावृत्तियों में विखंडित (decouple) हो जाती है जो केंद्रीय द्विपद गुणांकों (central binomial coefficients) द्वारा संचालित होती हैं।
वालिस मोड (Wallis Modes): रैखीकृत प्रणाली दो अलग-अलग मोड (आइजनवेक्टर्स) उत्पन्न करती है जिनमें अनुक्रम $c_m = \binom{2m}{m}/4^m$ और $w_m = 1/(2m c_m)$ शामिल हैं। ये अनुक्रम $\pi$ के लिए वालिस उत्पाद (Wallis product) से संबंधित हैं। अंतिम एसिम्प्टोटिक सूत्र में $\pi$ और $2$ के स्थिरांक स्वाभाविक रूप से इन मोड से उभरते हैं, जो केवल ऐरे की पुनरावृत्ति से प्राप्त होते हैं, न कि सीमाв (boundary) सिद्धांतों से।
त्रुटि संतुलन (Error Balancing): चौड़ाई से $M$ को पुनः प्राप्त करने के लिए, लेखक एक "सिंगल-लेवल रीडिंग" रणनीति का उपयोग करते हैं। वे दो प्रतिस्पर्धी त्रुटि स्रोतों को संतुलित करते हैं: एक विशिष्ट स्तर $m$ पर $M$ को पढ़ने से उत्पन्न "सैंडविच" त्रुटि (जो $m$ के बढ़ने के साथ घटती है) और राउंडिंग के कारण चौड़ाई से उत्पन्न "क्वांटाइजेशन" त्रुटि (जो $m$ के साथ बढ़ती है)। इष्टतम संतुलन $m \asymp N^{2/3}$ पर होता है, जिससे अंतिम त्रुटि सीमा प्राप्त होती है।

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

बेलुहोव के अनुमान की सिद्धि: यह शोध पत्र सिद्ध करता है कि जैसे-जैसे $N = i+j+1 \to \infty$ ,
$\mathcal{C}_{i,j} = \frac{(\pi i + 2j + 2)^2}{4\pi} + O(N^{4/3})$
सभी $i, j \ge 0$ के लिए समान रूप से (uniformly)। यह बेलुहोव के अनुमान (जो अग्रणी पद के अनुरूप है) की पुष्टि करता है और एक स्पष्ट, केंद्रित मुख्य पद प्रदान करता है।
वर्ग-मूल नियम (Square-Root Law): इसके समकक्ष, प्रविष्टि का वर्ग मूल एसिम्प्टोटिक रूप से रैखिक है:
$\sqrt{\mathcal{C}_{i,j}} = \frac{\sqrt{\pi}}{2}i + \frac{1}{\sqrt{\pi}}(j+1) + O(N^{1/3})$
यह दर्शाता है कि आंतरिक भाग में विकास दर दो किनारों (कॉलम 0 और रो 0) की विकास दरों का एक रैखिक मिश्रण है।
स्तर सेट का ज्यामितिक आकार: एक परिणाम के रूप में, यह शोध पत्र स्थापित करता है कि स्तर क्षेत्र $\{(i,j) : \mathcal{C}_{i,j} \le V\}$ एसिम्प्टोटिक रूप से त्रिकोणीय हैं, जो रेखा $\pi i + 2j = 2\sqrt{\pi V} - 2$ द्वारा सीमित हैं, जिसमें $O(V^{1/6})$ की चौड़ाई वाली एक बाउंड्री लेयर है।
पूर्णांकों को खोजने के लिए एल्गोरिदम: ट्रेस पुनरावृत्ति दिए गए पूर्णांक $M$ के लिए पंक्ति और कॉलम सूचकांकों $(i, j)$ को निर्धारित करने के लिए एक $O(\sqrt{M})$ एल्गोरिदम की ओर ले जाती है। यह कॉनट (Knuth) द्वारा पूछे गए एक प्रश्न का उत्तर देता है कि क्या ऐरे में किसी पूर्णांक की स्थिति तेजी से निर्धारित की जा सकती है।

महत्व और दावे
यह शोध पत्र दावा करता है कि इसने tchoukaillon ऐरे की एसिम्प्टोटिक संरचना को हल कर दिया है, जो एक ऐसा प्रश्न था जो इसके किनारों के ज्ञात परिणामों के बावजूद खुला रह गया था। इसकी प्राथमिक महत्ता निम्नलिखित में निहित है:

पुनरावृत्ति से स्थिरांक निकालना: सूत्र में दिखने वाले $\pi$ और $2$ के स्थिरांकों को पूर्व-मौजूदा एज सिद्धांतों से स्वतंत्र, वालिस उत्पाद के माध्यम से ऐरे की अपनी आंतरिक पुनरावृत्ति परिभाषा से प्राप्त किया गया है।
एकरूपता (Uniformity): परिणाम पूरे ऐरे में एक समान अनुमान प्रदान करता है, जो किनारों के ज्ञात व्यवहारों के बीच के अंतर को पाटता है।
पद्धतिगत अंतर्दृष्टि: एकल पूर्णांक के "ट्रेस" का विश्लेषण करने और फ्लोर पुनरावृत्ति को राउंडिंग त्रुटियों के साथ एक रैखिक प्रणाली में बदलने की तकनीक, इसी तरह के कॉम्बिनेटरियल ऐरे के लिए एक नवीन दृष्टिकोण प्रदान करती है।

लेखक विनम्रतापूर्वक नोट करते हैं कि हालांकि सिद्ध त्रुटि पद $O(N^{4/3})$ है, संख्यात्मक साक्ष्य बताते हैं कि वास्तविक त्रुटि $O(N)$ (या वर्ग-रूट स्केल में $O(1)$ भी) हो सकती है। हालाँकि, वर्तमान प्रमाण एक एकल स्तर पर पॉइंटवाइज अनुमानों पर निर्भर करता है और अभी तक स्तरों के बीच राउंडिंग त्रुटियों के सहसंबंधों (correlations) को नियंत्रित नहीं करता है, जो इस सीमा को सुधारने के लिए आवश्यक है। यह शोध पत्र शार्पर (sharper) त्रुटि पद को एक खुले प्रश्न के रूप में छोड़ देता है।

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