🔢 mathematics

Sharp Hausdorff Dimension Bounds for Sets with Bounded and Growing Digits in $N$ -expansions

यह शोध पत्र $N$ -विस्तार (expansions) में सीमित या बढ़ते अंकों वाले $(0,1)$ में अपरिमेय संख्याओं के समुच्चयों के लिए तीक्ष्ण हॉसडॉर्फ आयाम (Hausdorff dimension) सीमाएं स्थापित करता है, जो शास्त्रीय जार्निक-प्रकार के परिणामों को परिष्कृत करता है और गुड के प्रमेयों का विस्तार करते हुए यह दर्शाता है कि अनंत की ओर अग्रसर अंकों वाले समुच्चयों का आयाम $N$ के पैरामीटर पर स्पष्ट निर्भरता के साथ ठीक $1/2$ है।

मूल लेखक: Andreea Catalina Chitu, Gabriela Ileana Sebe, Dan Lascu

प्रकाशित 2026-03-31

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

CC BY 4.0

मूल लेखक: Andreea Catalina Chitu, Gabriela Ileana Sebe, Dan Lascu

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

कल्पना कीजिए कि आप एक संख्या का वर्णन करने की कोशिश कर रहे हैं, जैसे कि कोई गुप्त कोड, एक विशेष प्रकार की सीढ़ी का उपयोग करके। गणित में, हम आमतौर पर संख्याओं को कंटीन्यूड फ्रैक्शंस (Continued Fractions) का उपयोग करके वर्णित करते हैं। इसे एक सीढ़ी के रूप में सोचें जहाँ प्रत्येक पायदान एक पूर्ण संख्या है। अपने गुप्त नंबर के करीब पहुँचने के लिए, आप सीढ़ी पर चढ़ते हैं, एक-एक पायदान करके।

इन "पायदानों" को अंक (digits) कहा जाता है।

मानक सीढ़ी (Standard Ladder - Regular Continued Fractions) में, पायदानों का आकार कुछ भी हो सकता है: 1, 2, 3, 100, 1000...
इस शोध पत्र में, लेखक एक विशेष, संशोधित सीढ़ी का अध्ययन कर रहे हैं जिसे N-expansion कहा जाता है। यहाँ, नियम अधिक सख्त हैं: प्रत्येक पायदान का आकार कम से कम N होना चाहिए। यदि N 5 है, तो आप आकार 2 का पायदान नहीं रख सकते; सबसे छोटा पायदान 5 होगा।

लेखक इस विशेष प्रकार की सीढ़ियों के बारे में एक बहुत ही विशिष्ट प्रश्न पूछ रहे हैं: "उन संख्याओं के सेट कितने 'मोटे' या 'जटिल' हैं जो उनके पायदानों के बारे में विशिष्ट नियमों का पालन करते हैं?"

इन अजीब, ऊबड़-खाबड़ सेट्स की "मोटाई" को मापने के लिए, गणितज्ञ हौसडॉर्फ डायमेंशन (Hausdorff Dimension) नामक चीज़ का उपयोग करते हैं।

एक ठोस रेखा का डायमेंशन 1 होता है।
एक एकल बिंदु का डायमेंशन 0 होता है।
एक "फ्रैक्टल" (जैसे तटरेखा या स्नोफ्लेक) का डायमेंशन 0 और 1 के बीच कहीं होता है, जैसे कि 1.2 या 0.5। यह एक बिंदु से "मोटा" लेकिन एक पूरी रेखा से "पतला" होता है।

यह शोध पत्र N-expansion सीढ़ियों के लिए दो मुख्य परिदृश्यों की जांच करता है:

परिदृश्य 1: "कैप्ड" सीढ़ी (सीमित अंक/Bounded Digits)

कल्पना कीजिए कि आप एक सीढ़ी बना रहे हैं, लेकिन आपको बताया जाता है: "कोई भी पायदान आकार M से बड़ा नहीं हो सकता।"

यदि M छोटा है, तो आप छोटे पायदानों का उपयोग करने के लिए मजबूर हैं। सीढ़ी बहुत प्रतिबंधात्मक है।
यदि M बहुत बड़ा है, तो आपके पास अधिक स्वतंत्रता है।

खोज:
लेखकों ने पता लगाया कि इन प्रतिबंधित संख्याओं की "मोटाई" (डायमेंशन) तब कैसे बदलती है जब आप कैप (M) और न्यूनतम पायदान आकार (N) को बदलते हैं।

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

परिदृश्य 2: "अनंत" सीढ़ी (बढ़ते हुए अंक/Growing Digits)

अब, एक अलग नियम की कल्पना करें: "पायदान अनंत काल तक बड़े होते जाएंगे।"

पहला पायदान 10 हो सकता है। अगला 100। अगला 1,000। वे बिना रुके बढ़ते रहेंगे।
या, एक नियम की कल्पना करें जहाँ "प्रत्येक एकल पायदान का आकार कम से कम Alpha होना चाहिए" (जहाँ Alpha एक बहुत बड़ी संख्या है)।

खोज:
यह सबसे आश्चर्यजनक हिस्सा है। मानक सीढ़ी (N=1) में, गणितज्ञ I.J. Good ने बहुत पहले सिद्ध किया था कि यदि पायदान अनंत रूप से बड़े होते हैं, तो उन संख्याओं का सेट जिसकी मोटाई ठीक 0.5 है। यह एक बिंदु और एक रेखा के बीच के एक आदर्श फ्रैक्टल जैसा है।

लेखकों ने पूछा: "क्या हमारे विशेष N-लadders के लिए भी यही सच है?"

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

यह क्यों महत्वपूर्ण है?

मान लीजिए कि पैरामीटर N संख्या प्रणाली के "गुरुत्वाकर्षण" के रूप में है।

मानक प्रणाली (N=1) में, गुरुत्वाकर्षण सामान्य है।
इस नई प्रणाली में, गुरुत्वाकर्षण अधिक शक्तिशाली है (N > 1)।

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

"कैसे" (उपकरण)

इन उत्तरों को खोजने के लिए, लेखकों ने दो मुख्य उपकरणों का उपयोग किया, जिनका वे वर्णन करते हैं:

कवरिंग (जाल/The Net): यह देखने के लिए कि वे कितनी जगह घेरते हैं, संख्याओं के सेट को छोटे अंतराल (intervals) के जाल में लपेटने की कोशिश करना (जो मोटाई की ऊपरी सीमा देता है)।
मास डिस्ट्रीब्यूशन (रेत/The Sand): यह देखने के लिए कि उन्हें कितनी सघनता से पैक किया जा सकता है, सेट पर "रेत" (गणितीय भार) डालना (जो मोटाई की निचली सीमा देता है)।

इन दोनों विधियों को संतुलित करके, उन्होंने सटीक उत्तर प्राप्त करने के लिए इसे सिकोड़ा।

संक्षेप में

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

यहाँ चिटु, सेबे और लास्कु के शोध पत्र "Sharp Hausdorff Dimension Bounds for Sets with Bounded and Growing Digits in N-expansions" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र $N$ -विस्तारों (N-expansions) में अंकों के प्रतिबंधों द्वारा परिभाषित अंतराल $(0, 1)$ में अपरिमेय संख्याओं के समुच्चय के मीट्रिक गुणों की जांच करता है।

$N$ -विस्तार (N-expansions): यह नियमित सतत भिन्नों (continued fractions, जहाँ $N=1$ ) का एक सामान्यीकरण है। एक पूर्णांक $N \ge 1$ के लिए, किसी भी अपरिमेय $x \in (0, 1)$ का एक अद्वितीय विस्तार होता है:
$x = \cfrac{N}{\varepsilon_1 + \cfrac{N}{\varepsilon_2 + \cfrac{N}{\varepsilon_3 + \dots}}} = [\varepsilon_1, \varepsilon_2, \dots]_N$
जहाँ अंक $\varepsilon_n$ समुच्चय $\mathbb{N}_N = \{N, N+1, N+2, \dots\}$ से संबंधित होते हैं।
मुख्य प्रश्न: लेखक दो विशिष्ट अपवाद समूहों (exceptional sets) के हौdorff आयाम ( $\dim_H$ $dim_{H}$ ) को निर्धारित करने का लक्ष्य रखते हैं:
1. सीमित अंक (Bounded Digits): वे समुच्चय जहाँ अंक एक परिमित सीमा $[N, M]$ के भीतर प्रतिबंधित होते हैं।
2. बढ़ते अंक (Growing Digits): वे समुच्चय जहाँ अंक अनंत की ओर बढ़ते हैं या समान रूप से बड़े ( $\ge \alpha$ ) होते हैं।

यह कार्य $N=1$ के मामले के लिए जार्निककी (Jarník - सीमित अंक) और गुड (Good - बढ़ते अंक) के शास्त्रीय परिणामों को सामान्य $N$ के लिए विस्तारित करता है, जो पैरामीटर $N$ पर स्पष्ट निर्भरता प्रदान करता है।

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

लेखक $N$ -विस्तारों के विशिष्ट पुनरावृत्ति संबंधों (recurrence relations) के अनुकूलित शास्त्रीय फ्रैक्टल ज्यामिति तकनीकों के संयोजन का उपयोग करते हैं।

A. प्रारंभिक विवरण और पुनरावृत्ति संबंध

विश्लेषण अभिलवों (convergents) $p_n/q_n$ के लिए मौलिक पुनरावृत्ति संबंधों पर आधारित है:
$q_n = \varepsilon_n q_{n-1} + N q_{n-2}$
हरों (denominators) $q_n$ के विकास और मौलिक अंतरालों (fundamental intervals) $I_n(\varepsilon_1, \dots, \varepsilon_n)$ की लंबाई के लिए मुख्य अनुमान स्थापित किए गए हैं, जो पहले $n$ अंकों को साझा करने वाले संख्याओं के सेट हैं। लंबाई का सूत्र इस प्रकार व्युत्पन्न किया गया है:
$|I_n| = \frac{N^n}{q_n(q_n + q_{n-1})}$
महत्वपूर्ण रूप से, लेखक क्रमिक अंतराल लंबाई के अनुपात पर सीमाएँ स्थापित करते हैं, जो $N$ और अंक मानों पर निर्भर करती हैं।

B. ऊपरी सीमाएँ (Covering Arguments)

हाdorff आयाम के लिए ऊपरी सीमाएँ स्थापित करने के लिए, लेखक एक कवरिंग तर्क (covering argument) का उपयोग करते हैं:

$n$ -वें क्रम के मौलिक अंतरालों का उपयोग करके सेट का एक कवर निर्मित करते हैं।
इन अंतरालों की लंबाई के $s$ -वें घातों के योग ( $\sum |I_n|^s$ ) का विश्लेषण करते हैं।
यह दिखाते हैं कि यदि $n \to \infty$ होने पर योग सीमित (या गैर-बढ़ता) रहता है, तो $s$ -आयामी हौdorff माप परिमित होता है, जिससे $\dim_H \le s$ सिद्ध होता है।
इसमें अंतराल लंबाई के टेलिस्कोपिंग योगों से प्राप्त असमानताओं को हल करना शामिल है।

C. निचली सीमाएँ (Mass Distribution Principle)

निचली सीमाएँ स्थापित करने के लिए, लेखक मास डिस्ट्रीब्यूशन सिद्धांत (Mass Distribution Principle) का उपयोग करते हैं:

रुचि के सेट पर समर्थित एक प्रायिकता माप $\mu$ का निर्माण करते हैं।
द्रव्य (mass) को मौलिक अंतरालों पर पुनरावर्ती रूप से इस प्रकार वितरित करते हैं कि वह $|I_n|^s$ के आनुपातिक हो।
यह सत्यापित करते हैं कि छोटे सेट्स $U$ के लिए $\mu(U) \le c|U|^s$ की स्थिति पूरी होती है।
इसके लिए यह सिद्ध करना आवश्यक है कि चाइल्ड (child) अंतरालों की लंबाई के $s$ -वें घातों का योग पैरेंट (parent) अंतराल की लंबाई के $s$ -वें घात से अधिक या उसके बराबर है।

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

परिणाम 1: सामान्यीकृत जार्निक-प्रकार का प्रमेय (सीमित अंक)

सेट $E_M = \{x : N \le \varepsilon_n \le M\}$ के लिए, लेखक सटीक सीमाएँ प्रदान करते हैं जो शास्त्रीय जार्निक अनुमानों को परिष्कृत करती हैं।

प्रमेय 1.1: $M > 2N + 1$ के लिए:
$1 - \frac{2(N+1)}{M+1}\frac{1}{\log(N+1)} \le \dim_H(E_M) \le 1 - \frac{N}{(M+1)\log\left(\frac{(M+1)^2}{N}\right)}$
महत्व: ये सीमाएँ स्पष्ट रूप से दिखाती हैं कि कैसे पैरामीटर $N$ आयाम को प्रभावित करता है। जैसे-जैसे $M \to \infty$ होता है, आयाम 1 की ओर बढ़ता है। निचली सीमा लघुगणकीय पद (logarithmic term) में $N$ -निर्भरता को शामिल करके शास्त्रीय अनुमानों में सुधार करती है।

परिणाम 2: गुड-प्रकार का प्रमेय (बढ़ते अंक)

जहाँ अंक बिना किसी सीमा के बढ़ते हैं, वहाँ लेखक सामान्य $N$ के लिए गुड के शास्त्रीय प्रमेय ( $N=1$ ) का विस्तार करते हैं।

सेट $F_N$ : उन संख्याओं का सेट जहाँ $\varepsilon_n \to \infty$ ।
- परिणाम: $\dim_H(F_N) = 1/2$ ।
- विधि: $N$ -विस्तारों के अनुकूलित शास्त्रीय कवरिंग और मास डिस्ट्रीब्यूशन तकनीकों का उपयोग करके सिद्ध किया गया, जो हालिया इनफिनिट इटरेटेड फंक्शन सिस्टम (Infinite Iterated Function System - IFS) दृष्टिकोणों से अलग एक स्व-निहित प्रमाण प्रदान करता है।
सेट $F_{\alpha, N}$ : उन संख्याओं का सेट जहाँ सभी $n$ के लिए $\varepsilon_n \ge \alpha$ है।
- प्रमेय 1.2: पर्याप्त बड़े $\alpha$ (विशेष रूप से $\log(\alpha-1) > \exp(1+N)$ ) के लिए:
  $\frac{1}{2} + \frac{1}{2\log(\alpha+2)} \le \dim_H(F_{\alpha, N}) \le \frac{1}{2} + \frac{\log\log(\alpha-1)}{2\log(\alpha-1)}$
- महत्व: जैसे-जैसे $\alpha \to \infty$ होता है, आयाम $1/2$ की ओर अभिसरित (converge) होता है। सीमाएँ अभिसरण की सटीक स्पर्शोन्मुख दरें (asymptotic rates) प्रदान करती हैं। उल्लेखनीय रूप से, जबकि कवरिंग समीकरण का सटीक समाधान $N$ पर निर्भर करता है, बड़े $\alpha$ के लिए स्पर्शोन्मुख सीमाएँ $N$ से स्वतंत्र हो जाती हैं, हालांकि इन सीमाओं की वैधता सीमा $N$ पर निर्भर करती है।

4. महत्व और निहितार्थ

सिद्धांत का एकीकरण: यह शोध पत्र नियमित सतत भिन्नों ( $N=1$ ) के मीट्रिक सिद्धांत को $N$ -विस्तारों के व्यापक वर्ग के साथ सफलतापूर्वक एकीकृत करता है, यह प्रदर्शित करते हुए कि कैसे पैरामीटर $N$ विभिन्न गतिक प्रणालियों (dynamical regimes) के बीच एक निरंतर इंटरपोलेन्ट के रूप में कार्य करता है।
सीमाओं की सटीकता (Sharpness): शीर्षक में "शार्प" (sharp) शब्द उचित है क्योंकि ऊपरी और निचली सीमाएँ (बढ़ते अंकों के लिए $1/2$ और सीमित अंकों के लिए $1 $के रूप में)$ N$ से जुड़े स्पष्ट, इष्टतम त्रुटि पदों के साथ एक ही स्पर्शोन्मुख सीमा (asymptotic limit) की ओर अभिसरित होती हैं।
पद्धतिगत कठोरता: लेखक मौलिक कवरिंग और मास डिस्ट्रीब्यूशन तर्कों का उपयोग करके एक कठोर, स्व-निहित व्युत्पत्ति प्रदान करते हैं, जिससे अधिक अमूर्त IFS ढांचों पर निर्भरता से बचा जा सके, जिससे उनके परिणाम संख्या सिद्धांतकारों और फ्रैक्टल ज्यामिति विशेषज्ञों के लिए अधिक सुलभ हो जाते हैं।
भावी दिशाएँ: यह शोध पत्र भविष्य के शोध के लिए समृद्ध मार्ग सुझाते हुए, जिसमें अंक वृद्धि दरों (जहाँ $\varepsilon_n \sim \psi(n)$ ) का मल्टीफ्रैक्टल विश्लेषण और $N$ -विस्तारों के लिए डायोफैंटाइन सन्निकटन (Diophantine approximation) में अपवाद सेटों का आयाम शामिल है।