🔢 mathematics

Prescribed distinct-digit growth in countable alphabets

यह शोधपत्र नियमित रूप से परिवर्तनशील भार वाले पूर्ण-शाखा (full-branch) अफ़ाइन गणनीय पुनरावृत्ति फलन प्रणालियों (iterated function systems) में अपवादित समुच्चयों के हॉर्सडॉर्फ आयामों (Hausdorff dimensions) को निर्धारित करता है, जो एक तीक्ष्ण चरण संक्रमण (phase transition) को प्रकट करता है जहाँ विशिष्ट अंकों के लिए एक सकारात्मक रैखिक वृद्धि दर लागू करने से आयाम घटकर टेल इंडेक्स (tail index) द्वारा निर्धारित मान पर आ जाता है, जबकि उप-रैखिक (sublinear) वृद्धि दरें पूर्ण हॉर्सडॉर्फ आयाम को संरक्षित रखती हैं।

मूल लेखक: Ying Wai Lee

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

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

CC BY 4.0

मूल लेखक: Ying Wai Lee

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

यहाँ यिंग वाई ली (Ying Wai Lee) के शोध पत्र "Prescribed Distinct-Digit Growth in Countable Alphabets" का सरल भाषा और रचनात्मक उपमाओं (analogies) में अनुवाद दिया गया है।

बड़ी तस्वीर: अनंत बक्सों का खेल

कल्पना कीजिए कि आपके पास मेलबॉक्स की एक अनंत पंक्ति है, जिनका नंबर 1, 2, 3, और इसी तरह अनंत तक है। आपके पास पत्रों की एक अंतहीन आपूर्ति भी है। हर दिन, आप यादृच्छिक (random) रूप से एक मेलबॉक्स चुनते हैं और उसमें एक पत्र डाल देते हैं।

"डिज़िट" (Digit): वह बॉक्स नंबर जो आपने चुना (जैसे, बॉक्स 5)।
"विशिष्ट गणना" (Distinct Count): कितने अलग-अलग बक्सों में अब तक कम से कम एक पत्र प्राप्त हुआ है।

यदि आप बॉक्स 5 चुनते हैं, फिर दोबारा बॉक्स 5, फिर बॉक्स 10, तो आपकी "विशिष्ट गणना" होगी: 1, 1, 2।
यदि आप लगातार नए बॉक्स चुनते रहते हैं, तो गणना बढ़ती जाती है। यदि आप बार-बार पुराने बक्सों को ही चुनते रहते हैं, तो गणना स्थिर रहती है।

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

गणित में, "कितना बड़ा" का मतलब केवल "कितने लोग" नहीं है। इसका अर्थ है हाउडॉर्फ आयाम (Hausdorff Dimension)। इसे "जटिलता" या "स्थान भरने की क्षमता" के माप के रूप में समझें।

एक एकल बिंदु का आयाम 0 होता है।
एक रेखा का आयाम 1 होता है।
एक पूर्ण, ठोस अंतराल (जैसे 0 से 1 तक की पूरी संख्या रेखा) का आयाम 1 होता है।

यह शोध पत्र पूछता है: यदि हम खेल की वृद्धि दर को एक विशिष्ट गति पर मजबूर कर दें (जैसे, "मैं चाहता हूँ कि मेरे कुल दिनों का ठीक 50% नए बक्सों के दिन हों"), तो उन लोगों की जटिलता क्या होगी जो ऐसा कर सकते हैं?

खेल के दो मुख्य नियम

लेखक दो प्रकार के "अजीब" विकास दरों (growth rates) का अध्ययन करते हैं:

1. "रैखिक" नियम (तेज मार्ग - The Fast Lane)

कल्पना कीजिए कि आप मांग करते हैं कि आपके 30% दिन नए बक्सों के होने चाहिए।

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

2. "उप-रैखिक" नियम (धीमा मार्ग - The Slow Lane)

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

परिणाम: यह एक बहुत ही उदार नियम है। यदि आप बहुत अधिक मांग नहीं करते हैं, तो नए बबॉक्स खोजना आसान है।
आश्चर्य: ऐसे लोगों का समूह बहुत विशाल है। उनकी "जटिलता" पूर्ण (आयाम = 1) है।
उपमा: कल्पना कीजिए कि आप एक जंगल में टहल रहे हैं और कहते हैं, "मैं हर 100 कदमों पर एक नया पेड़ पाऊंगा।" जंगल में टहलने वाला लगभग कोई भी व्यक्ति यह कर सकता है। ऐसे लोगों का समूह पूरे जंगल को भर देता है।
गणित: भले ही आप एक बहुत ही विशिष्ट, धीमी विकास दर चुनें, उस नियम का पालन करने वाले नंबरों का सेट उतना ही "बड़ा" और जटिल है जितना कि सभी संभावित नंबरों का सेट।

"फेज़ ट्रांज़िशन" (परिवर्तन बिंदु - The Tipping Point)

इस शोध पत्र की सबसे रोमांचक खोज एक तीव्र फेज़ ट्रांज़िशन (phase transition) है।

एक लाइट स्विच की तरह सोचें।

OFF स्थिति (उप-रैखिक/Sublinear): यदि आपकी विकास दर किसी सीधी रेखा से कुछ भी धीमी है (जैसे एक वक्र जो समतल हो जाता है), तो समूह का आकार पूर्ण (1) है। सिस्टम मजबूत है; लगभग कोई भी अजीब, धीमी पैटर्न संभव है।
ON स्थिति (रैखिक/Linear): जैसे ही आप सीधी रेखा वाली वृद्धि (जैसे, "हर दिन 10% नए बॉक्स") की मांग करते हैं, समूह का आकार अचानक गिरकर बहुत छोटा (टेल इंडेक्स द्वारा निर्धारित) हो जाता है।

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

यह क्यों मायने रखता है?

यह शोध पत्र तीन अलग-अलग दुनियाओं को जोड़ता है:

प्रायिकता (Probability): "अनंत पात्र" (Infinite Urn) की समस्या (बक्सों को भरना)।
संख्या सिद्धांत (Number Theory): नंबर कैसे लिखे जाते हैं (जैसे निरंतर भिन्न/continued fractions या लूथ एक्सपेंशन/Luroth expansions)।
फ्रैक्टल ज्यामिति (Fractal Geometry): अजीब और टेढ़े-मेढ़े सेट्स (sets) के आकार को मापना।

निष्कर्ष:
अनंत संख्याओं की दुनिया में, धीमा होना स्वतंत्रता है, लेकिन तेज होना एक जाल है।

यदि आप अपनी अनूठी वस्तुओं का संग्रह धीरे-धीरे बढ़ाना चाहते हैं, तो आपके पास अनंत स्वतंत्रता है; आप जो भी रास्ता चुनते हैं वह मान्य और जटिल है।
यदि आप अपने संग्रह को एक स्थिर, तेज़ गति से बढ़ाने की कोशिश करते हैं, तो आप एक बहुत ही संकीर्ण, कठोर पथ पर मजबूर हो जाते हैं। "अलग होने की स्वतंत्रता" गायब हो जाती है, और आपका गणितीय "आकार" सिकुड़ जाता है।

एक वाक्य में सारांश

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

यहाँ यिंग वाई ली के शोध पत्र "Prescribed Distinct-Digit Growth in Countable Alphabets" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र उन अपवाद स्वरूप समुच्चयों (exceptional sets) के हाउसरडॉर्फ आयाम (Hausdorff dimension) की जाँच करता है, जो एक प्रतीकात्मक प्रक्रिया (symbolic process) के पहले $n$ चरणों में दिखने वाले विशिष्ट प्रतीकों (digits) की वृद्धि दर द्वारा परिभाषित होते हैं।

संदर्भ: यह अध्ययन इकाई अंतराल $[0, 1)$ पर एफाइन फुल-ब्रांच गणनीय इटरेटेड फंक्शन सिस्टम्स (affine full-branch countable iterated function systems - IFS) पर केंद्रित है। इन प्रणालियों में, अंतराल को गणनीय उप-अंतरालों में विभाजित किया जाता है, और एक मानचित्र $T$ प्रत्येक उप-अंतराल को पूरे अंतराल पर एफाइन रूप से भेजता है।
प्रक्रिया: यह एक अनुक्रम $(d_n)_{n \in \mathbb{N}}$ उत्पन्न करता है जिसके मान एक गणनीय वर्णमाला (countable alphabet) (जिसे $\mathbb{N}$ के रूप में पहचाना जाता है) में होते हैं। लेबेग माप (Lebesgue measure) के तहत, यह डिजिट प्रक्रिया प्रायिकताओं $(p_k)_{k \in \mathbb{N}}$ के साथ स्वतंत्र और समान रूप से वितरित (i.i.d.) होती है।
अवलोकनीय (Observable): अध्ययन का प्राथमिक विषय विशिष्ट-डिजिट गणना (distinct-digit count) $D_n(x) = \#\{d_1(x), \dots, d_n(x)\}$ है, जो $n$ समय तक देखे गए अद्वितीय प्रतीकों की संख्या को दर्शाता है। यह गणितीय रूप से एक अनंत-अर्ण ऑक्यूपेंसी स्कीम (infinite-urn occupancy scheme) में भरे हुए बक्सों की संख्या के समतुल्य है।
प्रश्न: जबकि $D_n$ की "सामान्य" वृद्धि (जो $p_k$ के टेल व्यवहार द्वारा नियंत्रित होती है) अच्छी तरह से समझी जा चुकी है, यह शोध पत्र पूछता है: उन बिंदुओं के समुच्चय का हाउसरडॉर्फ आयाम क्या है जहाँ $D_n$ एक निर्धारित, असामान्य दर पर बढ़ता है? विशेष रूप से, लेखक उन समुच्चयों का विश्लेषण करते हैं जहाँ $D_n$ एक धनात्मक रैखिक दर ( $D_n \sim \theta n$ ) या एक निर्धारित उप-रैखिक दर ( $D_n \sim f(n)$ ) पर बढ़ता है।

2. कार्यप्रणाली (Methodology)

लेखक संभाव्यता ऑक्यूपेंसी थ्योरी (probabilistic occupancy theory), रेगुलर वेरिएशन थ्योरी (regular variation theory), और फ्रैक्टल ज्योमेट्री तकनीकों (विशेष रूप से मास डिस्ट्रीब्यूशन प्रिंसिपल और कवरिंग आर्गुमेंट्स) के संयोजन का उपयोग करते हैं।

A. संभाव्य ढांचा (Probabilistic Framework)

समस्या को एक अनंत-अर्ण मॉडल में मैप किया जाता है जहाँ बॉक्स की प्रायिकताएँ $(p_k)$ हैं। शोध पत्र मानता है कि प्रायिकता अनुक्रम रेगुलरली वेरिंग (regularly varying) है जिसका टेल इंडेक्स $\rho \ge 1$ है:
$p_k \sim k^{-\rho} L(k)$
जहाँ $L(k)$ एक स्लोली वेरिंग फंक्शन है। यह शुद्ध पावर-लॉ डिस्ट्रीब्यूशन का सामान्यीकरण है।

B. निचली सीमा निर्माण (Lower Bound Construction - Mass Distribution Principle)

यह सिद्ध करने के लिए कि किसी समुच्चय का एक निश्चित हाउसरडॉर्फ आयाम है, लेखक इकाई अंतराल का एक विशिष्ट उपसमुच्चय और उस पर समर्थित एक विशिष्ट प्रायिकता माप (probability measure) का निर्माण करते हैं।

ब्लॉक कॉनकेटेनेशन (Block Concatenation): निर्माण में डिजिट्स के ब्लॉक्स को परिभाषित करना शामिल है।
- रैखिक दरों के लिए (Theorem 1): लेखक एक ऐसा सेट निर्मित करते हैं जहाँ डिजिट्स को ब्लॉक्स में विसंयुक्त डायडिक वर्णमालाओं (disjoint dyadic alphabets) से चुना जाता है, जिससे यह सुनिश्चित होता है कि ठीक $\theta n$ विशिष्ट डिजिट दिखाई दें।
- उप-रैखिक दरों के लिए (Theorem 2): निर्माण में "फोर्स्ड-डिजिट" (forced-digit) रणनीति का उपयोग किया जाता है। विशिष्ट समय पर, एक नया, अद्वितीय डिजिट (उच्च-इंडेक्स सेट से) अनिवार्य किया जाता है, जबकि अन्य समय पर, डिजिट्स को निचले-इंडेक्स सेट से स्वतंत्र रूप से चुना जाता है। यह विशिष्ट फंक्शन $f(n)$ के अनुरूप विशिष्ट गणना को नियंत्रित करता है।
माप अनुमान (Measure Estimation): इन निर्मित समुच्चयों पर एक माप (measure) परिभाषित किया जाता है। लेखक एक सिलेंडर सेट के माप और उसके व्यास (diameter) के $s$ -पावर के अनुपात का अनुमान लगाते हैं। यदि यह अनुपात सीमित है, तो मास डिस्ट्रीब्यूशन प्रिंसिपल यह संकेत देता है कि आयाम कम से कम $s$ है।

C. ऊपरी सीमा निर्माण (Upper Bound Construction - Hausdorff-Cantelli & Tilting)

ऊपरी सीमा सिद्ध करने के लिए, लेखक एक कवरिंग आर्गुमेंट का उपयोग करते हैं।

टिल्टिंग/माप परिवर्तन (Tilting/Change of Measure): रैखिक दर के मामले के लिए, लेखक एक "टिल्टेड" प्रायिकता माप पेश करते हैं जहाँ प्रायिकताओं को घात $s$ ( $q_k \propto p_k^s$ ) तक बढ़ाया जाता है। यह लार्ज डेविएशन प्रिंसिपल्स के उपयोग की अनुमति देता है।
कॉम्बिनेटोरियल बाउंड्स (Combinatorial Bounds): उच्च संख्या में विशिष्ट तत्वों वाले अनुक्रमों के संबंध में लेम्मा का उपयोग "बुरे" आयोजनों (जहाँ वृद्धि दर बहुत अधिक है) को सीमित करने के लिए किया जाता है।
अभिसरण (Convergence): यह दिखाकर कि $s > 1/\rho$ के लिए कवरिंग सिलेंडरों के व्यास के $s$ -पावर का योग अभिसरित होता है, लेखक ऊपरी सीमा स्थापित करते हैं।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

यह शोध पत्र इन अपवाद समुच्चयों के हाउसरडॉर्फ आयाम में एक शार्प फेज ट्रांजिशन (sharp phase transition) स्थापित करता है, जो इस बात पर निर्भर करता है कि निर्धारित वृद्धि दर रैखिक है या उप-रैखिक।

प्रमेय 1: रैखिक वृद्धि दरें (Theorem 1: Linear Growth Rates)

मान लीजिए $E_\theta = \{ x : \lim_{n \to \infty} D_n(x)/n = \theta \}$ जहाँ $0 < \theta \le 1$ ।

परिणाम: $\dim_H(E_\theta) = \frac{1}{\rho}$ ।
महत्व: किसी भी धनात्मक रैखिक वृद्धि दर को लागू करने से आयाम पूर्ण आयाम (1) से गिरकर केवल टेल इंडेक्स $\rho$ $ρ$ द्वारा निर्धारित मान पर आ जाता है। रैखिक स्केल के लिए यह मान सार्वभौमिक है।
- उदाहरण: शास्त्रीय लूथ (Lüroth) विस्तार में (जहाँ $\rho=2$ ), रैखिक विशिष्ट-डिजिट वृद्धि वाले सेट का आयाम $1/2$ है।

प्रमेय 2: उप-रैखिक वृद्धि दरें (Theorem 2: Sublinear Growth Rates)

मान लीजिए $f(n)$ एक "एडमिसेबल" (admissible) फलन है (अनबाउंडेड, $f(n)\log f(n)/n \to 0$ , और $0 \le f(n+1)-f(n) \le 1$ )। $E_f = \{ x : \lim_{n \to \infty} D_n(x)/f(n) = 1 \}$ को परिभाषित करें।

परिणाम: $\dim_H(E_f) = 1$ ।
महत्व: उप-रैखिक वृद्धि दरों के एक व्यापक वर्ग के लिए, अपवाद समुच्चय पूर्ण हाउसरडॉर्फ आयाम बनाए रखते हैं। आयाम नहीं गिरता है, चाहे चुनी गई विशिष्ट उप-रखिक दर कुछ भी हो (बशर्ते वे एडमिसेबिलिटी शर्तों को पूरा करती हों)।

कोरोलरी 1: विशिष्ट मामले (Corollary 1: Specific Cases)

उप-रैखिक बहुपद दरें ( $D_n \sim c n^\beta$ जहाँ $0 < \beta < 1$ ) पूर्ण आयाम रखती हैं।
वह सेट जहाँ रैखिक दर शून्य हो जाती है ( $D_n/n \to 0$ ), भी पूर्ण आयाम रखता है।

4. महत्व और तुलना (Significance and Comparison)

फेज ट्रांजिशन की मजबूती (Robustness of Phase Transition): परिणाम पुष्टि करते हैं कि निरंतर फलक (continued fractions) (वु और ज़ी द्वारा) में देखी गई "डायमेंशन डाइकोटॉमी" (dimension dichotomy) मजबूत है और स्वतंत्र डिजिट सिस्टम (एफाइन IFS) तक विस्तृत होती है।
- निरंतर फलक (Continued Fractions): वु-ज़ी ने दिखाया कि उप-रैखिक के लिए $\dim = 1$ और रैखिक वृद्धि के लिए $\dim = 1/2$ है।
- एफाइन IFS (यह शोध पत्र): वही डाइकोटॉमी बनी रहती है, लेकिन गिरा हुआ आयाम $1/2$ के बजाय $1/\rho$ है। यह दर्शाता है कि गिरावट का विशिष्ट मान डिजिट डिस्ट्रीब्यूशन के टेल इंडेक्स द्वारा निर्धारित होता है।
स्वतंत्रता बनाम निर्भरता (Independence vs. Dependence): एक प्रमुख योगदान यह प्रदर्शित करना है कि यह घटना i.i.d. सेटिंग्स में भी घटित होती है (निरंतर फलक के विपरीत जहाँ डिजिट्स आश्रित होते हैं)। यह सुझाव देता है कि यह फेज ट्रांजिशन हेवी-टेल्ड ऑक्यूपेंसी स्कीम्स का एक मौलिक गुण है, न कि विशिष्ट डायनेमिकल डिपेंडेंस का कोई आर्टिफैक्ट।
कार्यप्रणाली संबंधी प्रगति (Methodological Advancement): यह शोध पत्र गणनीय वर्णमालाओं में विशिष्ट-मूल सांख्यिकी (distinct-value statistics) का विश्लेषण करने के लिए एक परिष्कृत टूलकिट प्रदान करता है, जो रेगुलर वेरिएशन को फ्रैक्टल डायमेंशन थ्योरी के साथ जोड़ता है। "ब्लॉक कॉनकेटेनेशन" और "फोर्स्ड-डिजिट" निर्माण सटीक वृद्धि बाधाओं के साथ सेट बनाने के लिए नई विधियाँ प्रदान करते हैं।

सारांश (Summary)

यह शोध पत्र सिद्ध करता है कि रेगुलरली वेरिंग वेट्स वाले गणनीय वर्णमाला सिस्टम में, निर्धारित विशिष्ट-डिजिट वृद्धि वाले समुच्चयों का हाउसरडॉर्फ आयाम एक तीव्र फेज ट्रांजिशन से गुजरता है:

उप-रैखिक वृद्धि: समुच्चय "बड़ा" है (पूर्ण आयाम = 1)।
रैखिक वृद्धि: समुच्चय "छोटा" है (आयाम = $1/\rho$ ), जहाँ गिरावट पूरी तरह से प्रायिकता वितरण के टेल की भारीपन (heaviness) द्वारा निर्देशित होती है।

यह कार्य संख्या सिद्धांत (निरंतर फलक) और डायनेमिकल सिस्टम (लूथ विस्तार और एफाइन IFS) के बीच विशिष्ट-मूल सांख्यिकी के अध्ययन को एकीकृत करता है, यह दिखाते हुए कि अंतर्निहित संभाव्य संरचना (हेवी टेल्स) ही इन आयामी नियमों का प्राथमिक चालक है।