🔢 mathematics

Prescribed realisation of longest runs in continued fractions

यह शोधपत्र यह प्रदर्शित करता है कि किसी भी निर्धारित आंशिक भागफल (partial quotient) और स्वीकार्य विकास पैमाने (admissible growth scale) के लिए, अपरिमेय संख्याओं का एक ऐसा समुच्चय अस्तित्व में है जिसका हॉसडॉर्फ आयाम (Hausdorff dimension) पूर्ण है, जहाँ उस विशिष्ट प्रतीक की सबसे लंबी रन (longest run) समग्र अधिकतम रन लंबाई को अद्वितीय रूप से निर्धारित करती है, जिससे यह सिद्ध होता है कि सबसे लंबी रन के लिए जिम्मेदार प्रतीक को पूर्ण आयाम वाले अपवादजनक समुच्चय को कम किए बिना पूर्व निर्धारित किया जा सकता है।

मूल लेखक: Ying Wai Lee

प्रकाशित 2026-06-02

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

CC BY 4.0

मूल लेखक: Ying Wai Lee

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

कल्पना कीजिए कि आप संख्याओं की एक बहुत लंबी, कभी न खत्म होने वाली श्रृंखला को देख रहे हैं। ये केवल यादृच्छिक (random) संख्याएँ नहीं हैं; ये एक विशिष्ट अपरिमेय संख्या (जैसे $\pi$ या $\sqrt{2}$ ) के "आंशिक भाग" (partial quotients) हैं जो एक कंटीन्यूड फ्रैक्शन (continued fraction) बनाते हैं। आप इस श्रृंखला को रंगीन मोतियों की एक लंबी रेखा के रूपक के रूप में देख सकते हैं, जहाँ प्रत्येक मोती पर एक संख्या अंकित है।

इस शोध पत्र में, लेखक, यिंग वाई ली (Ying Wai Lee), इन मोतियों के साथ खेले जाने वाले एक विशिष्ट खेल का अध्ययन कर रहे हैं: द लॉन्गेस्ट रन गेम (The Longest Run Game)।

खेल: सबसे लंबी निरंतरता (Streak) खोजना

कल्पना कीजिए कि आप एक ही संख्या की सबसे लंबी लगातार निरंतरता (streak) खोजने के लिए मोतियों की श्रृंखला को स्कैन कर रहे हैं।

यदि आपके पास एक अनुक्रम है जैसे ... 5, 5, 5, 2, 2, 2, 2, 7 ..., तो संख्या 5 की सबसे लंबी निरंतरता 3 है। संख्या 2 की सबसे लंबी निरंतरता 4 है।
"ओवरऑल लॉन्गेस्ट रन" (Overall Longest Run) केवल उस खंड में किसी भी संख्या की सबसे बड़ी निरंतरता है। ऊपर दिए गए उदाहरण में, समग्र विजेता 2 है जिसकी निरंतरता 4 है।

आमतौर पर, गणितज्ञ दो अलग-अलग चीजों का अध्ययन करते रहे हैं:

द फिक्स्ड-सिंबल गेम (The Fixed-Symbol Game): "संख्या 5 की सबसे लंबी निरंतरता कितनी लंबी है?"
द ओवरऑल गेम (The Overall Game): "किसी भी संख्या की सबसे लंबी निरंतरता क्या है?"

समस्या: "आकस्मिक" विजेता

अतीत में, शोधकर्ता जानते थे कि लगभग सभी संख्याओं के लिए, ये निरंतरताएँ एक अनुमानित तरीके से बढ़ती हैं। हालाँकि, हमारी समझ में एक कमी थी।

यदि आपने संख्या 5 को एक बहुत ही विशिष्ट, बढ़ती हुई निरंतरता लंबाई के लिए मजबूर किया, तो क्या यह गारंटी देता कि 5 हमेशा "ओवरऑल लॉन्गेस्ट रन" गेम का विजेता होगा?
या, क्या कोई अन्य संख्या (जैसे 7) आकस्मिक रूप से आगे निकल सकती है और 5 से लंबा स्ट्राइक करके उसका खिताब छीन सकती है?

इस शोध पत्र से पहले, हमें यह नहीं पता था कि क्या हम किसी विशिष्ट संख्या को "चैंपियन" बनाने के साथ-साथ उसकी निरंतरता की लंबाई को भी सटीक रूप से नियंत्रित कर सकते हैं।

समाधान: "चैंपियन कंट्रोलर" (The Champion Controller)

यिंग वाई ली का शोध पत्र कहता है: हाँ, आप ऐसा कर सकते हैं।

लेखक यह सिद्ध करते हैं कि आप संख्याओं का एक विशाल, जटिल सेट बना सकते हैं (इतना बड़ा कि इसका "पूर्ण आयाम" या full dimension हो, जिसका अर्थ है कि यह कोई छोटा, दुर्लभ अपवाद नहीं है) जहाँ आप चुन सकते हैं:

कौन सी संख्या चैंपियन होगी (उदाहरण के लिए, "मैं चाहता हूँ कि संख्या 7 हमेशा जीते")।
चैंपियन की निरंतरता कितनी तेजी से बढ़ेगी (उदाहरण के लिए, "मैं चाहता हूँ कि निरंतरता बिल्कुल स्ट्रिंग की कुल लंबाई के वर्गमूल के रूप में बढ़े")।

यह शोध पत्र दिखाता है कि आप इन संख्याओं का निर्माण इस तरह कर सकते हैं कि संख्या 7 न केवल आपकी निर्धारित गति से अपनी निरंतरता बढ़ाती है, बल्कि वह हमेशा अन्य सभी संख्याओं को हरा देती है। किसी भी अन्य संख्या को कभी भी 7 की निरंतरता जितनी लंबी निरंतरता रखने की अनुमति नहीं दी जाती है।

उपमा: रेस ट्रैक (The Analogy: The Race Track)

कंटीन्यूड फ्रैक्शन को एक रेस ट्रैक के रूप में सोचें जिसमें कई धावक (संख्या 1, 2, 3, आदि) दौड़ रहे हैं।

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

यह गणितीय रूप में क्यों महत्वपूर्ण है (Why This Matters)

यह शोध पत्र एक "कैंटर-टाइप सेट" (Cantor-type set - एक फ्रैक्टल जैसी संरचना) बनाकर इसे प्राप्त करता है। वे एक ऐसी निर्माण विधि का उपयोग करते हैं जहाँ वे:

"चैंपियन" संख्या के लंबे, पूर्ण ब्लॉक डालते हैं (जैसे, 7, 7, 7...)।
खाली स्थानों को अन्य संख्याओं से सावधानीपूर्वक भरते हैं, लेकिन उन अन्य संख्याओं की निरंतरता को इतना छोटा रखते हैं कि वे कभी भी चैंपियन के लिए खतरा न बन सकें।
"सेपरेटर्स" (जैसे 8 और 9) का उपयोग करते हैं ताकि अन्य संख्याओं की किसी भी आकस्मिक लंबी निरंतरता को तोड़ा जा सके।

परिणाम यह है कि एक गणितीय प्रमाण मिलता है कि "लॉन्गेस्ट रन" के चैंपियन को पहले से निर्धारित किया जा सकता है। आपको उम्मीद करने की आवश्यकता नहीं है कि कोई विशिष्ट संख्या जीतेगी; आप गणितीय रूप से उसे जीतने के लिए मजबूर कर सकते हैं, जबकि अभी भी उन संख्याओं के पूर्ण जटिलता और आकार को बनाए रख सकते हैं जिनका आप अध्ययन कर रहे हैं।

सारांश

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

तकनीकी सारांश: निरंतर भिन्नों (Continued Fractions) में दीर्घतम क्रमांयों का निर्धारित प्रेषण (Prescribed Realisation)

समस्या विवरण
यह शोध पत्र इकाई अंतराल $[0, 1)$ के अपरिमेय संख्याओं के निरंतर भिन्न विस्तारों में दीर्घतम क्रमांयों (longest runs) के स्पर्शोन्मुखी व्यवहार (asymptotic behavior) की जांच करता है। दीर्घतम क्रमांयों के दो अलग-अलग दृष्टिकोण पारंपरिक रूप से अध्ययन किए जाते हैं:

निश्चित-प्रतीक दीर्घतम क्रमां (Fixed-symbol longest runs - $L_n(x, \lambda)$ ): पहले $n$ पदों के भीतर एक विशिष्ट आंशिक भाग मान $\lambda$ के निरंतर क्रमां की अधिकतम लंबाई।
समग्र दीर्घतम क्रमां (Overall longest runs - $R_n(x)$ ): पहले $n$ पदों के भीतर किसी भी आंशिक भाग मान के निरंतर क्रमां की अधिकतम लंबाई।

पूर्व साहित्य (जैसे, सांग-झोउ, वांग-वू) ने स्थापित किया कि लगभग प्रत्येक $x$ के लिए, ये मात्राएँ विशिष्ट लघुगणकीय विकास नियमों (logarithmic growth laws) का पालन करती हैं। पूर्ण हासडॉर्फ आयाम (full Hausdorff dimension) वाले अपवाद स्वरूप समुच्चय (exceptional sets) भी मौजूद हैं जहाँ ये विकास दरें सामान्य नियम से विचलित होती हैं या निर्धारित विकास पैमानों का अनुसरण करती हैं। हालाँकि, इन दो प्रेषणों के बीच अंतःक्रिया को समझने में एक अंतराल बना हुआ था:

एक निश्चित प्रतीक के क्रमा के विकास को निर्धारित करने का अर्थ यह गारंटी नहीं देता कि यही विशिष्ट प्रतीक समग्र अधिकतम रन लंबाई के लिए उत्तरदायी है।
इसके विपरीत, समग्र अधिकतम रन के विकास को निर्धारित करने का अर्थ यह निर्दिष्ट नहीं करता कि कौन सा प्रतीक इसे प्राप्त करता है।

केंद्रीय समस्या यह है कि क्या एक ऐसा समुच्चय निर्मित किया जा सकता है जिसका हासडॉर्फ आयाम पूर्ण हो, जहाँ एक निर्धारित प्रतीक $\lambda$ न केवल अपने दीर्घतम क्रमां के लिए एक निर्धारित विकास दर प्रदर्शित करता है, बल्कि प्रत्येक चरण में अन्य सभी प्रतीकों की तुलना में रन लंबाई के मामले में अद्वितीय रूप से प्रभावी (dominate) भी होता है।

कार्यप्रणाली
लेखक विशिष्ट संयोजन संबंधी (combinatorial) और गतिक (dynamical) गुणों वाले एक कैंटर-प्रकार के समुच्चय (Cantor-type set) के निर्माण को शामिल करते हुए एक रचनात्मक दृष्टिकोण अपनाते हैं।

अनुमेय फलन (Admissible Functions): विकास दरें "अनुमेय" फलनों $f: \mathbb{N} \to \mathbb{N}$ द्वारा नियंत्रित होती हैं, जिन्हें गैर-घटते (non-decreasing), अबाध्य (unbounded) फलनों के रूप में परिभाषित किया गया है जो $\lim_{n \to \infty} \frac{f(n+f(n))}{f(n)} = 1$ को संतुष्ट करते हैं। यह वर्ग पिछले परिणामों का सामान्यीकरण करता है जो अक्सर केवल लघुगणकीय पैमानों तक सीमित थे।
कैंटर समुच्चय निर्माण: एक समुच्चय $\mathcal{K}_{\lambda, f, M, B}$ $K_{λ, f, M, B}$ को आंशिक भागों के ब्लॉकों को पुनरावृत्त रूप से परिभाषित करके निर्मित किया जाता है।
- निर्माण विस्तार को चरणों $k$ में विभाजित करता है।
- प्रत्येक चरण में "मुक्त" (free) अंकों को बनाए रखा जाता है और उप-विभाजित किया जाता है।
- महत्वपूर्ण रूप से, लक्षित प्रतीक $\lambda$ के विशिष्ट "निर्धारित" ब्लॉकों (लंबाई $s_k \approx f(t_k)$ ) को सम्मिलित किया जाता है।
- सीमाओं के पार $\lambda$ या अन्य प्रतीकों के आकस्मिक लंबे क्रमा बनने से रोकने के लिए मुक्त खंडों और निर्धारित ब्लॉकों के बीच "सेपरेटर" (separator) अंक ( $\sigma_1 = \lambda+1, \sigma_2 = \lambda+2$ ) डाले जाते हैं।
आयाम अनुमान (Dimension Estimation):
- आयाम का अनुमान निरंतर भिन्नों के अनुकूलित द्रव्यमान वितरण सिद्धांत (mass distribution principle) का उपयोग करके लगाया जाता है।
- एक प्रमुख तकनीकी चरण कंटीनेंट फलन (continuant function) $K(\omega)$ का विश्लेषण करना है, जो अभिसारी (convergent) का हर और सिलेंडर सेट के आकार को निर्धारित करता है।
- लेखक विरूपण लेम्मा (Distortion Lemmas - लेम्मा 7 और 8) स्थापित करते हैं जो दिखाते हैं कि सेपरेटर और निर्धारित ब्लॉकों का समावेश कंटिनेंट को नियंत्रित तरीके से विरूपित करता है। विशेष रूप से, विस्तारित शब्द के कंटिनेंट और मूल शब्द के कंटिनेंट का अनुपात सीमित होता है, जिससे निर्मित समुच्चय का आयाम एक सरल समुच्चय $\mathcal{F}_B$ (सीमित आंशिक भागों वाली संख्याएँ) के आयाम से संबंधित हो जाता है।
- जैसे-जैसे $B \to \infty$ और $\alpha \to 1$ की ओर सीमा ली जाती है, आयाम 1 के करीब पहुँच जाता है।

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

प्रमेय 1 (मुख्य परिणाम):
किसी भी निर्धारित प्रतीक $\lambda \in \mathbb{N}$ और किसी भी अनुमेय विकास फलन $f$ के लिए, समुच्चय
$E_{\lambda, f} = \left\{ x \in [0, 1) \setminus \mathbb{Q} : \lim_{n \to \infty} \frac{L_n(x, \lambda)}{f(n)} = 1 \text{ और } \forall n, \forall \mu \neq \lambda, L_n(x, \lambda) > L_n(x, \mu) \right\}$
का हासडॉर्फ आयाम 1 के बराबर है।

यह परिणाम एक साथ एक विशिष्ट प्रतीक के दीर्घतम क्रमा की विकास दर को निर्धारित करता है और यह भी सुनिश्चित करता है कि यह प्रतीक समग्र दीर्घतम रन के अद्वितीय अधिकतमकर्ता (maximizer) के रूप में कार्य करता है।

उप-प्रमेय (Corollaries):

परिष्कृत निश्चित-प्रतीक परिणाम: उन संख्याओं के समुच्चय का आयाम 1 है जहाँ एक निश्चित प्रतीक $\lambda$ के दीर्घतम क्रमा का विकास ठीक $f(n)$ के रूप में होता है। यह सांग-झोउ के परिणाम का सामान्यीकरण करता है क्योंकि यह केवल लघुगणकीय पैमानों के बजाय किसी भी अनुमेय फलन $f$ की अनुमति देता है।
परिष्कृत समग्र परिणाम: उन संख्याओं के समुच्चय का आयाम 1 है जहाँ समग्र दीर्घतम क्रमा ठीक $f(n)$ के रूप में बढ़ता है। यह वांग-वू के परिणाम को पुनः प्राप्त करता है लेकिन इस प्रतिबंध के साथ कि अधिकतम करने वाला प्रतीक पूर्व-निर्दिष्ट किया जा सकता है।
निर्धारित प्रभुत्व (Prescribed Dominance): उन संख्याओं के समुच्चय का आयाम 1 है जहाँ एक विशिष्ट प्रतीक $\lambda$ रन लंबाई के मामले में अन्य सभी प्रतीकों पर सख्ती से हावी रहता है (अंततः, और वास्तव में निर्मित समुच्चय में वास्तव में सभी $n$ के लिए)। यह एक नई घटना है जिसे पहले साहित्य में स्थापित नहीं किया गया था।

महत्व
यह शोध पत्र दावा करता है कि यह मौजूदा अपवाद-समुच्चय प्रमेयों का एक "वास्तविक समवर्ती परिशोधन" (genuine simultaneous refinement) प्रदान करता है। यह प्रदर्शित करके कि समग्र दीर्घतम रन के लिए जिम्मेदार प्रतीक को बिना किसी हासडॉर्फ आयाम की हानि के पूर्व-निर्दिष्ट किया जा सकता है, यह कार्य निश्चित-प्रतीक और समग्र दीर्घतम-रन सिद्धांतों के बीच के अंतर को पाटता है। यह दर्शाता है कि समग्र समस्या में "अधिकतम करने वाला प्रतीक" पूरी तरह से प्रेषणीय (prescribable) है। परिणाम निरंतर भिन्नों में असामान्य व्यवहार की समझ को सुदृढ़ करते हैं, यह सिद्ध करते हुए कि चरम रन-लंबाई व्यवहार को दोनों रूप में इंजीनियर किया जा सकता है: एक विशिष्ट प्रतीक के लिए विशिष्ट और अन्य सभी पर प्रभावी।