🔢 mathematics

Hankel determinants of weighted binary sums of digits

यह शोधपत्र भारित बाइनरी अंक-योग फलनों (weighted binary sum-of-digits functions) के हेंकेल निश्चायकों (Hankel determinants) की गणना के लिए एक सामान्य पुनरावृत्ति (recursion) स्थापित करता है, साधारण मामले के लिए स्पष्ट बंद-रूप मूल्यांकन (explicit closed-form evaluations) व्युत्पन्न करता है ताकि अलूच और शालिट द्वारा प्रस्तुत एक समस्या को आंशिक रूप से हल किया जा सके, और बहुपद भारों (polynomial weights) तथा उनके प्रथम अंतरों के लिए इन निश्चायकों के लुप्त होने के व्यवहार का विश्लेषण करता है।

मूल लेखक: Bartosz Sobolewski, Maciej Ulas

प्रकाशित 2026-07-13

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

CC BY 4.0

मूल लेखक: Bartosz Sobolewski, Maciej Ulas

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

कल्पना कीजिए कि आपके पास एक जादुई कैलकुलेटर है जो केवल संख्याओं को जोड़ता ही नहीं, बल्कि यह भी देखता है कि किसी संख्या के गुप्त बाइनरी कोड (जैसे कि केवल शून्य और एक की एक गुप्त भाषा) में कितने "1" छिपे हुए हैं। आइए इसे "डिजिट-सम" (digit-sum) कहें। अब, कल्पना कीजिए कि आप इन डिजिट-समों की एक पूरी कतार लेते हैं और उन्हें एक विशाल, वर्गाकार ग्रिड (square grid) में व्यवस्थित करते हैं, जहाँ प्रत्येक सेल अपनी पंक्ति और कॉलम के आधार पर एक विशिष्ट योग रखता है। इस ग्रिड को हेंकेल मैट्रिक्स (Hankel matrix) कहा जाता है।

बड़ा सवाल यह है जो लेखक, बार्टोज़ सोबोलेव्स्की और मैसी उलास पूछ रहे हैं: यदि आप इस ग्रिड को एक एकल संख्या (जिसे डिटर्मिनेंट या सारणिक कहा जाता है) में सिकोड़ देते हैं, तो आपको क्या प्राप्त होता है?

आमतौर पर, ये संख्याएँ अव्यवस्थित, अप्रत्याशित और गणना करने में कठिन होती हैं। लेकिन यह शोध पत्र एक मास्टर कुंजी खोजने जैसा है जो अराजकता में छिपे एक पैटर्न को अनलॉक करती है।

जादुई कुंजी: एक पुनरावर्ती रेसिपी (A Recursive Recipe)

लेखकों ने एक सामान्य "रेसिपी" (रिकर्सन) की खोज की है जो आपको पूरा ग्रिड बनाए बिना इन विशाल ग्रिड नंबरों की गणना करने की अनुमति देती है। यह ऐसा ही है जैसे यह महसूस करना कि समुद्र तट पर रेत के हर एक कण को गिनने के बजाय, आप बस कुछ विशिष्ट टीलों को देख सकते हैं और एक सूत्र का उपयोग करके कुल संख्या जान सकते हैं।

उन्होंने इस समस्या के सबसे बुनियादी संस्करण पर इस रेसिपी का परीक्षण किया: मानक बाइनरी डिजिट-सम। और क्या आप जानते हैं? उन्होंने विशिष्ट, अनंत परिवारों के ग्रिड आकारों के लिए कुछ अविश्वसनीय रूप से सरल उत्तर पाए।

उदाहरण के लिए, यदि आप ग्रिड का आकार $n = \lceil 2^{k+2}/3 \rceil$ (जिसका अर्थ है बढ़ता हुआ संख्याओं का एक विशिष्ट क्रम) के सूत्र पर चुनते हैं, तो परिणाम आश्चर्यजनक रूप से सरल है:
$\text{परिणाम} = (-1)^{\text{कुछ}} \times (k + 1)$
यह केवल एक प्लस या माइनस साइन के साथ जुड़ा हुआ नंबर $k+1$ है! इसने उस पहेली को हल कर दिया जिसके बारे में गणितज्ञ एलोच और शालिट काफी समय से विचार कर रहे थे।

"वेटेड" ट्विस्ट (The "Weighted" Twist)

लेखक केवल मानक संस्करण तक ही सीमित नहीं रहे। उन्होंने "वेट्स" (weights) पेश किए, जो अलग-अलग भार देने जैसा है। कल्पना कीजिए कि यदि पहला "1" जो आप देखते हैं वह 1 अंक का है, दूसरा $t$ अंक का है, तीसरा $t^2$ अंक का है, और इसी तरह।

जब उन्होंने ऐसा किया, तो ये एकल संख्याएँ पॉलीनोमियल्स (चर जैसे $t$ वाले समीकरण) में बदल गईं। उन्होंने पाया कि $t$ के कुछ विशेष मानों के लिए—विशेष रूप से जब $t$ , "रूट्स ऑफ यूनिटी" (वे संख्याएँ जो खुद को पर्याप्त बार गुणा करने पर 1 पर वापस लौट आती हैं) से संबंधित होता है—ये पॉलीनोमियल्स विशाल ग्रिड आकारों के लिए शून्य हो जाते हैं।

इसे एक पियानो की तरह समझें। यदि आप कुछ विशिष्ट कुंजियाँ (विशिष्ट ग्रिड आकार) दबाते हैं, तो स्वर मौन रहता है। लेखकों ने सिद्ध किया कि इन विशेष $t$ मानों के लिए, मौन के लंबे, संरचित अंतराल होते हैं। हालाँकि, उन्होंने यह भी दिखाया कि "गैर-मौन" स्वर दुर्लभ और बिखरे हुए हैं, जैसे विशाल, खाली महासागर में कुछ विशिष्ट द्वीपों को खोजना।

उन्होंने क्या किया और क्या नहीं किया

यह जानना महत्वपूर्ण है कि यह शोध पत्र क्या उत्तर नहीं देता है, और यह क्या खुला छोड़ देता है।

हर चीज़ के लिए कोई एकल जादुोगी सूत्र नहीं: उन्हें किसी एक सरल सूत्र का पता नहीं चला जो सभी संभावित ग्रिड आकारों के लिए काम करता हो। पैटर्न जटिल है और संख्या की बाइनरी संरचना पर निर्भर करता है।
कोई यादृच्छिकता (Randomness) नहीं: वे स्पष्ट रूप से दिखाते हैं कि शून्य यादृच्छिक नहीं हैं। वे बहुत विशिष्ट, संरचित ब्लॉकों में होते हैं।
"मल्टीपल रूट्स" पर खुले प्रश्न: उन्होंने यह सिद्ध नहीं किया कि अन्य विशेष संख्याएँ नहीं हैं जहाँ पॉलीनोमियल का "डबल रूट" (दोहरा शून्य) होता है। इसके बजाय, उन्होंने इसे स्पष्ट रूप से एक खुले प्रश्न (प्रश्न 6.2) के रूप में सूचीबद्ध किया है। वे पूछते हैं कि क्या ऐसे रूट मौजूद हैं जो उनके द्वारा ज्ञात रूटों ( $t=0$ और $t=2\zeta$ ) के अलावा हैं, लेकिन उन्होंने अभी तक उन्हें खारिज नहीं किया है।

वे कितने आश्वस्त हैं?

सिद्ध तथ्य: पुनरावर्ती रेसिपी, विशेष अनुक्रमों (जैसे $k+1$ परिणाम) के लिए विशिष्ट क्लोज्ड-फॉर्म सूत्र, और उन अंतरालों का अस्तित्व जहाँ डिटर्मिनेंट शून्य हो जाते हैं—ये सभी गणितीय रूप से सिद्ध हैं। ये ठोस तथ्य हैं।
सिमुलेशन और अनुमान: लेखकों ने बड़े नंबरों के लिए पैटर्न की जांच करने के लिए कंप्यूटर सिमुलेशन चलाए। इन सिमुलेशन के आधार पर, वे सुझाव देते हैं (लेकिन अभी तक सिद्ध नहीं किया है) कि गैर-शून्य इंडेक्स का सेट उनके द्वारा गणना किए गए सेट से भी अधिक विरल (sparse) है। वे यह भी कन्जेक्चर करते हैं (दृढ़ता से अनुमान लगाते हैं) कि जहाँ डिटर्मिनेंट शून्य होता है, उन इंडेक्स का सेट एक बहुत ही विशिष्ट पैटर्न का पालन करता है, लेकिन वे स्वीकार करते हैं कि गैर-शून्य मामलों को सिद्ध करने वाला "कठिन हिस्सा" अभी भी बाकी है।

"पीरियड-डबलिंग" कनेक्शन

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

बड़ी तस्वीर (The Big Picture)

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

वे कुछ खुले प्रश्न भी छोड़ देते हैं, जैसे कि क्या इन पॉलीनोमियल्स के रूट्स के आकार के लिए कोई सार्वभौमिक सीमा है (सिमुलेशन 2.618 के आसपास एक सीमा का सुझाव देते हैं), और क्या ये पैटर्न अन्य संख्या आधारों (जैसे बेस 3 या बेस 10) के लिए भी सत्य हैं। लेकिन फिलहाल, उन्होंने हमें बाइनरी सम के रहस्यों को डिकोड करने के लिए एक शक्तिशाली नया उपकरण थमा दिया है।

तकनीकी सारांश: भारित बाइनरी अंक योग के हेंकेलल डिटर्मिनेंट्स (Hankel Determinants)

समस्या विवरण
यह शोध पत्र डिजिटल अनुक्रमों, विशेष रूप से बाइनरी अंक योग (binary sum-of-digits) फलन से जुड़े हेंकेलल डिटर्मिनेंट्स (Hankel determinants) के मूल्यांकन की समस्या को संबोधित करता है। यह समस्या अलूश और शालिट (All much and Shallit) द्वारा उनकी मोनोग्राफ (समस्या 4) में स्पष्ट रूप से रखी गई थी, जिसमें $H(n) = \det[s(i+j)]_{0 \le i,j < n}$ के लिए एक सरल बंद रूप (closed form) माँगा गया था, जहाँ $s(n)$ साधारण बाइनरी अंक योग है। जबकि पिछले शोध ने पूर्णांकों के मोड्यूलो (modulo) में इन डिटर्मिनेंट्स का सफलतापूर्वक विश्लेषण किया है (जैसे थ्यू-मर्स (Thue-Morse) अनुक्रम के लिए 2 के मोड्यूलो में गैर-शून्य होना सिद्ध करना), किसी भी $n$ के लिए सटीक बंद रूप प्राप्त करना दुर्लभ बना हुआ है। लेखक नोट करते हैं कि साधारण अंक योग तक ही सीमित रहना अक्सर अंक योगदान में गड़बड़ी (perturbations) के कारण पुनरावर्ती मैट्रिक्स न्यूनीकरण (recursive matrix reduction) के लिए बहुत सीमित हो जाता है; अतः वे इसे भारित बाइनरी अंक योग (weighted binary sums of digits) के लिए सामान्यीकृत करते हैं।

कार्यप्रणाली (Methodology)
लेखक जटिल भार (complex weights) $w = (w_j)_{j \ge 0}$ की एक अनुक्रम पेश करते हैं और भारित अंक योग फलन $s_w(n)$ को परिभाषित करते हैं। संबंधित हेंकेलल डिटर्मिनेंट्स को $H_w(n)$ द्वारा दर्शाया जाता है। मुख्य कार्यप्रणाली ब्लॉक मैट्रिक्स अपघटन (block matrix decompositions) और क्रोनेकर उत्पादों (Kronecker products) के माध्यम से अंक योग फलन की स्व-समानता (self-similarity) का लाभ उठाने पर आधारित है।

पुनरावर्ती न्यूनीकरण (Recursive Reduction): शोध पत्र एक सामान्य पुनरावर्ती ढांचा (प्रमेय 4.2) स्थापित करता है जो $H_w(n)$ और एक सहायक डिटर्मिनेंट $\tilde{G}_w(n)$ (जो $s_w$ के प्रथम अंतर से संबंधित है) को छोटे आकार के डिटर्मिनेंट्स से जोड़ता है। यह पुनरावर्ती प्रक्रिया $n$ के बाइनरी विस्तार (binary expansion) पर निर्भर करती है।
सहायक डिटर्मिनेंट्स (Auxiliary Determinants): तकनीकी कार्य का एक महत्वपूर्ण हिस्सा $G_w(n)$ का विश्लेषण करने में व्यतीत होता है, जो प्रथम अंतर अनुक्रम $d_w(n) = s_w(n+1) - s_w(n)$ का हेंकेलल डिटर्मिनेंट है। लेखक $n$ के रन-लेंथ स्ट्रक्चर (run-length structure) के आधार पर $G_w(n)$ के लिए एक बंद उत्पाद सूत्र (closed product formula) व्युत्पन्न करते हैं (प्रमेय 3.4)।
पॉलीनोमियल स्पेशलाइजेशन (Polynomial Specialization): लेखक भार को $w_j = t^j$ के रूप में विशिष्ट बनाते हैं, जिससे डिटर्मिनेंट्स पॉलीनोमियल्स $H(n, t)$ में परिवर्तित हो जाते हैं। यह मूल (roots), डिग्री और अग्रणी गुणांकों (leading coefficients) के अध्ययन की अनुमति देता है।
कर्नेल निर्माण (Kernel Construction): विशिष्ट मानों (विशेष रूप से $t = 2\zeta$ जहाँ $\zeta$ एक रूट ऑफ यूनिटी है) के लिए शून्य होने की स्थितियों की जांच करने के लिए, लेखक टेंसर उत्पादों और मैट्रिक्स $F(n, t)$ के गुणों का उपयोग करके हेंकेलल मैट्रिसेस के कर्नेल में स्पष्ट गैर-शून्य वेक्टरों का निर्माण करते हैं।

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

सामान्य पुनरावर्ती (General Recursion): केंद्रीय परिणाम (प्रमेय 4.2) पुनरावर्ती सूत्रों का एक सेट प्रदान करता है जो सभी $n$ के लिए $H_w(n)$ की प्रभावी गणना की अनुमति देता है। यह एक सामान्यीकृत सेटिंग में अलूश-शालिट समस्या का एक आंशिक समाधान प्रदान करता है।
विशिष्ट इंडिसेस के लिए बंद रूप (Closed Forms for Specific Indices): साधारण बाइनरी अंक योग ( $w_j=1$ $w_{j} = 1$ ) के लिए, लेखक कई अनंत परिवारों के इंडिसेस के लिए स्पष्ट बंद रूप व्युत्पन्न करते हैं:
- $n_k = \lceil 2^{k+2}/3 \rceil$ के लिए, डिटर्मिनेंट इस उल्लेखनीय सरल सूत्र द्वारा दिया गया है:
  $H(n_k) = (-1)^{\frac{(k+2)(k+3)}{2}} (k+1)$
- $2^m$ , $2^m \pm 1$ , और $2^m + \epsilon$ के रूप वाले इंडिसेस के लिए भी सूत्र प्रदान किए गए हैं (प्रस्ताव 4.5)।
पॉलीनोमियल संरचना (Polynomial Structure): पॉलीनोमियल स्पेशलाइजेशन $w_j = t^j$ के लिए, लेखक $H(n, t)$ की डिग्री और अग्रणी गुणांक निर्धारित करते हैं। वे सिद्ध करते हैं कि $H(n, t)$ एक $\sigma(n) t^{\beta(n)} (2-t)^{n-2} \hat{H}(n, t)$ के रूप में गुणनखंडित होता है, जहाँ $\hat{H}(n, t)$ धनात्मक पूर्णांक गुणांकों वाला एक मोनिक (monic) पॉलीनोमियल है (प्रमेय 4.10)।
शून्य और गैर-शून्य (Vanishing and Non-Vanishing):
- शोध पत्र उन इंडिसेस $n$ के सेट की जांच करता है जिनके लिए $H(n, 2\zeta)$ रूट ऑफ यूनिटी $\zeta$ के लिए शून्य हो जाता है। यह दिखाया गया है कि किसी भी ऑर्डर $d \ge 2$ के रूट ऑफ यूनिटी $\zeta$ के लिए, डिटर्मिनेंट्स 2 की बड़ी घातों के गुणकों के केंद्र में स्थित लंबे अंतराल पर शून्य होते हैं (प्रमेय 5.4)।
- गैर-शून्य इंडिसेस का सेट विरल (घनत्व 0) लेकिन अनंत सिद्ध किया गया है (प्रमेय 5.5)।
- $n_k$ से भिन्न इंडिसेस का एक अनंत परिवार पहचाना गया है जहाँ $H(n, 2\zeta) \neq 0$ (प्रमेय 5.10)।
पीरियड-डबलिंग अनुक्रम (Period-Doubling Sequence): जैकोब्स्टहल संख्याओं (Jacobsthal numbers) को भार के रूप में चुनकर, लेखक पीरियड-डबलिंग अनुक्रम के हेंकेलल डिटर्मिनेंट्स के संबंध में फोकिंक, क्राइकैम्प और शालिट के परिणाम को पुनः प्राप्त और संशोधित करते हैं (प्रस्ताव 3.9)।
चिह्न व्यवहार (Sign Behavior): $H(n, 1)$ के चिह्नों के अनुक्रम को गैर-आवर्ती (non-periodic) दिखाया गया है, और इसके जनरेटिंग फंक्शन को $\mathbb{Q}(x)$ पर ट्रांसेंडेंटल (transcendental) सिद्ध किया गया है (प्रमेय 4.13)।

महत्व
यह शोध पत्र अलूश और शालिट द्वारा रखी गई समस्या का "आंशिक समाधान" प्रदान करने का दावा करता है, जो भारित योगों तक दायरे का विस्तार करता है, जो प्रभावी पुनरावृत्ति (recursions) प्राप्त करने के लिए आवश्यक है। प्राथमिक महत्व विशिष्ट अनंत इंडेक्स परिवारों के लिए सटीक बंद रूप मूल्यांकन के व्युत्पन्न में निहित है, जो इस क्षेत्र में एक दुर्लभता है जहाँ परिणाम आमतौर पर मॉड्यूलर अंकगणित तक सीमित होते हैं। इसके अतिरिक्त, यह कार्य पीरियड-डबलिंग अनुक्रम पर पिछले निष्कर्षों को सामान्यीकृत करता है और इन डिटर्मिनेंट्स के शून्य होने के व्यवहार के विस्तृत संरचनात्मक विश्लेषण की पेशकश करता है। लेखक नोट करते हैं कि हालांकि वे किसी भी $n$ के लिए एकल बंद रूप प्रदान नहीं करते हैं, लेकिन पुनरावर्ती संरचना प्रभावी गणना की अनुमति देती है और इंडिसेस की 2-एडिक (2-adic) संरचना और डिटर्मिनेंट्स के बीजगणितीय गुणों के बीच गहरे संबंधों को प्रकट करती है।