Hausdorff Dimension of Growth Rate Level Sets in $\theta$-expansions

यहाँ एंड्रियास रूसु और गैब्रिएला इलेना सेबे के शोध पत्र "Hausdorff Dimension of Growth Rate Level Sets in $\theta$-expansions" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ

यह शोध पत्र $\theta$-expansions के मेट्रिक गुणों की जांच करता है, जो नियमित सतत भिन्नों (regular continued fractions) का एक सामान्यीकरण है। जबकि शास्त्रीय सीमा प्रमेय (जैसे कि खिंचिन, लेवी) लगभग सभी संख्याओं के लिए अंक अनुक्रमों (digit sequences) के "सामान्य" व्यवहार का वर्णन करते हैं, वे अक्सर उन "अपवादजनक" समुच्चयों की संरचना को पकड़ने में विफल रहते हैं जहाँ अंक एक विशिष्ट, गैर-सामान्य दर पर बढ़ते हैं।

विशिष्ट समस्या जो यहाँ संबोधित की गई है, वह शेष अंकों के योग और सबसे बड़े अंक के बीच सापेक्ष विकास दर (relative growth rate) द्वारा परिभाषित स्तर सेट (level sets) के हाउडॉर्फ आयाम (Hausdorff dimension) को निर्धारित करना है। विशेष रूप से, दिए गए $\alpha \ge 0$ के लिए, लेखक इस सेट का विश्लेषण करते हैं:
$$E_\theta(\alpha) = \left\{ x \in [0, \theta] \setminus \mathbb{Q} : \lim_{n \to +\infty} \frac{L_{n,\theta}(x) \log n \log \log n}{S_{n,\theta}(x) - L_{n,\theta}(x)} = \alpha \right\}$$
जहाँ:

• $\theta \in (0, 1)$ एक अपरिमेय संख्या है ताकि $\theta^2 = 1/m$ हो, जहाँ $m$ एक गैर-वर्ग पूर्णांक है।
• $L_{n,\theta}(x)$ पहले $n$ अंकों का अधिकतम मान है।
• $S_{n,\theta}(x)$ पहले $n$ अंकों का योग है।

लक्ष्य: यह सिद्ध करना कि किसी भी $\alpha \ge 0$ के लिए, सेट $E_\theta(\alpha)$ का पूर्ण हाउडॉर्फ आयाम (अर्थात $\dim_H E_\theta(\alpha) = 1$) है, जिससे नियमित सतत भिन्न ($\theta=1$) के लिए झांग और लू (2016) के मौलिक परिणाम को व्यापक $\theta$-expansion ढांचे तक विस्तारित किया जा सके।

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

प्रमाण फ्रैक्टल ज्यामिति और एर्गोडिक थ्योरी के संयोजन के साथ एक रचनात्मक दृष्टिकोण (constructive approach) पर आधारित है। मुख्य रणनीति ऐसे स्पष्ट उपसमुच्चयों (subsets) का निर्माण करना है जो $E_\theta(\alpha)$ के पर्याप्त बड़े हों कि उनका आयाम 1 हो सके, जबकि यह सुनिश्चित किया जाए कि वे सीमित अंकों (bounded digits) वाली संख्याओं के सेट के साथ एक द्वैत रूप से (bijectively) मैप होते हैं (जिनका आयाम पूर्ण होता है)।

विधि के प्रमुख घटक:

1. विरल अनुक्रम निर्माण (Sparse Sequence Construction):
   पिछले कार्यों में प्रयुक्त बहुपद अनुक्रमों (polynomial sequences) के बजाय, लेखक बड़े अंकों के समावेश को नियंत्रित करने के लिए एक सुपर-एक्सपोनेंशियल विरल अनुक्रम (super-exponential sparse sequence) पेश करते हैं:
   $$n_k = \lfloor \exp(k^{3/4}) \rfloor$$
   यह अनुक्रम इसलिए चुना गया है क्योंकि $n_{k+1} - n_k$ अंतराल $n_k$ के सापेक्ष छोटा है (विशेष रूप से $o(n_k)$), फिर भी $n_k$ का लघुगणकीय विकास इतना धीमा है कि डाले गए अंक योग के अभिसरण (convergence) को बाधित किए बिना सीमा अनुपात (limit ratio) पर प्रभुत्व बनाए रख सकें।

2. अंक प्रविष्टि रणनीति (Digit Insertion Strategy):
   लेखक $E_{M,\theta}(\alpha)$ का एक उपसमुच्चय सीमित अंकों (संख्या $m$ और $M$ के बीच) वाले नंबरों को लेकर और $n_k$ स्थितियों पर विशिष्ट बड़े अंकों को सम्मिलित करके निर्मित करते हैं। सम्मिलित किया गया अंक $\ell_{n_k}$ इस प्रकार परिभाषित है:
   $$\ell_{n_k}(x) = \left\lfloor \frac{\alpha \sum_{i=1}^{n_k-1} \ell_i(x)}{\log n_k \log \log n_k} \right\rfloor$$
   यह सुनिश्चित करता है कि $E_\theta(\alpha)$ की परिभाषा में दिया गया अनुपात ठीक $\alpha$ पर अभिसरित हो।

3. होल्डर मानचित्रों के माध्यम से आयाम संरक्षण (Dimension Preservation via Hölder Maps):
   यह सिद्ध करने के लिए कि निर्मित सेट का आयाम पूर्ण है, लेखक एक मानचित्र $f: E_{M,\theta}(\alpha) \to X_M$ को परिभाषित करते हैं, जहाँ $X_M$ समान रूप से $M$ तक सीमित अंकों वाली संख्याओं का सेट है।

   • मानचित्र (The Map): $f$ $n_k$ स्थितियों पर सम्मिलित किए गए बड़े अंकों को हटा देता है, जो प्रभावी रूप से विस्तार को "संकुचित" (compressing) कर देता है।
   • होल्डर निरंतरता (Hölder Continuity): लेखक सिद्ध करते हैं कि $f$ और इसका व्युत्क्रम $f^{-1}$ द्वि-होल्डर निरंतर (bi-Hölder continuous) हैं, जिसका घातांक 1 के अत्यंत निकट (विशेष रूप से $(1-\varepsilon)$-होल्डर) है।
   • महत्व: चूंकि द्वि-होल्डर मानचित्र हाउडॉर्फ आयाम को संरक्षित करते हैं, और $X_M$ का आयाम $M \to \infty$ होने पर 1 की ओर बढ़ता है (एक जारनिक-प्रकार के प्रमेय के माध्यम से), इसलिए निर्मित सेट $E_{M,\theta}(\alpha)$ का आयाम भी 1 होना चाहिए।

4. मेट्रिक अनुमान (Metric Estimates):
   प्रमाण में $\theta$-expansions में सिलिंडर अंतराल (cylinder intervals) $I_n(\ell_1, \dots, \ell_n)$ की लंबाई के कठोर अनुमान शामिल हैं। एक महत्वपूर्ण चरण बड़े अंकों के समावेश से संवर्द्धों (convergents) के हरों ($Q_n$) पर होने वाले विरूपण (distortion) को सीमित करना है, यह दिखाते हुए कि बड़े अंक डालने की "लागत" $Q_n$ के सुपर-एक्सपोनेंशियल विकास की तुलना में नगण्य है।

3. मुख्य योगदान

• झांग और लू (2016) का सामान्यीकरण: यह शोध पत्र नियमित सतत भिन्नों से लेकर सामान्य $\theta$-expansion ढांचे तक अंक विकास स्तर सेट के पूर्ण हाउडॉर्फ आयाम के परिणाम को सफलतापूर्वक विस्तारित करता है।
• नवीन विरल अनुक्रम: अनुक्रम $n_k = \lfloor \exp(k^{3/4}) \rfloor$ का परिचय $\theta$-expansions के मेट्रिक गुणों के लिए अनुकूलित एक विशिष्ट तकनीकी नवाचार है, जो शास्त्रीय सतत भिन्न अध्ययनों में प्रयुक्त बहुपद अनुक्रमों से भिन्न है।
• परिष्कृत होल्डर विश्लेषण: शोध पत्र आयाम-संरक्षण मानचित्र के होल्डर निरंतरता के विस्तृत सत्यापन प्रदान करता है, जो विशेष रूप से $\theta$-expansions में गैर-रेखीय अंक वृद्धि से उत्पन्न विरूपण को संबोधित करता है।
• एकीकृत ढांचा: यह प्रदर्शित करता है कि एर्गोडिक थ्योरी (सीमा प्रमेय) और फ्रैक्टल ज्यामिति (अपवादजनक सेट का आयाम) के बीच का परस्पर संबंध मानक गौस मैप (Gauss map) से परे सामान्यीकृत होने पर भी सुदृढ़ रहता है।

4. मुख्य परिणाम

प्रमेय 1.1:
माना $\theta \in (0, 1)$ एक अपरिमेय संख्या है ताकि $\theta^2 = 1/m$ हो, जहाँ $m \in \mathbb{N}^+$ एक गैर-वर्ग है। किसी भी $\alpha \ge 0$ के लिए, स्तर सेट $E_\theta(\alpha)$ संतुष्ट करता है:
$$\dim_H E_\theta(\alpha) = 1$$

निहितार्थ:

• $\alpha = 0$ के लिए मामला: जहाँ सबसे बड़ा अंक योग की तुलना में नगण्य है (सीमित अंक), वह सेट पहले से ही पूर्ण आयाम रखता है।
• $\alpha > 0$ के लिए मामला: भले ही सबसे बड़ा अंक योग के सापेक्ष एक विशिष्ट दर पर बढ़ता है (जो $\alpha$ द्वारा नियंत्रित है), फिर भी ऐसे नंबरों का सेट फ्रैक्टल आयाम के अर्थ में "बड़ा" (पूर्ण आयाम वाला) है, भले ही वह $\theta$-गौस माप (measure) के सापेक्ष एक शून्य सेट (null set) हो।

5. महत्व

यह कार्य सतत भिन्नों के मेट्रिक सिद्धांत और उसके सामान्यीकरणों की समझ को गहरा करता है।

• अपवादजनक सेटों की समृद्धि: यह पुष्टि करता है कि जबकि सीमा प्रमेय "लगभग सभी" संख्याओं के व्यवहार को निर्धारित करते हैं, विशिष्ट, अपारंपरिक विकास दर प्रदर्शित करने वाले नंबरों का सेट टोपोलॉजिकल और आयामी रूप से समृद्ध (पूर्ण आयाम) होता है।
• फ्रैक्टल संरचना की मजबूती: यह परिणाम सुझाव देता है कि अंक विकास की फ्रैक्टल ज्यामिति एक सार्वभौमिक विशेषता है, जो $\theta$-expansion के विशिष्ट पैरामीटर $\theta$ पर निर्भर नहीं करती, बशर्ते कि सिस्टम अपने कुछ एर्गोडिक और मेट्रिक गुणों को बनाए रखे।
• भावी अनुप्रयोग: यहाँ प्रयुक्त रचनात्मक विधि और विशिष्ट विरल अनुक्रम अन्य विकास दर समस्याओं (जैसे $\log \log n$ या विभिन्न सामान्यीकरण कारकों वाले स्तर सेट) के लिए अनुकूलनीय हैं, जो गतिशील प्रणालियों (dynamical systems) और संख्या सिद्धांत में भविष्य के अनुसंधान के लिए एक टेम्पलेट प्रदान करते हैं।