🔢 mathematics

Hausdorff dimension of double base expansions and binary shifts with a hole

यह शोध पत्र किन्हीं भी भिन्न वास्तविक आधारों $q_0, q_1 > 1$ के लिए यूनिवोक सेट (univoque set) के हाउस्डॉर्फ आयाम (Hausdorff dimension) और छेद वाले बाइनरी शिफ्ट्स (binary shifts with a hole) की एंट्रॉपी के स्पष्ट सूत्र व्युत्पन्न करता है और उनकी निरंतरता को सिद्ध करता है, जो समान आधारों पर पिछले परिणामों को द्वि-गुणात्मक मानचित्र (doubling map) सहित छेद वाले लोरेंत्ज़ मानचित्रों (Lorenz maps) जैसे सामान्य गतिशील प्रणालियों तक विस्तारित करता है।

मूल लेखक: Jian Lu, Wolfgang Steiner, Yuru Zou

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

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

CC BY 4.0

मूल लेखक: Jian Lu, Wolfgang Steiner, Yuru Zou

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

कल्पना कीजिए कि आप एक संख्या का वर्णन करने की कोशिश कर रहे हैं, जैसे कि 0.75, लेकिन आपको मानक दशमलव बिंदुओं (decimal points) का उपयोग करने की अनुमति नहीं है। इसके बजाय, आपको इसे दो अलग-अलग "आधारों" (bases) (सोचिए कि ये दो अलग-अलग प्रकार की मुद्रा या निर्माण खंड हैं) के एक विशेष नुस्खे (recipe) का उपयोग करके बनाना होगा।

यह शोध पत्र एक गणितीय पहेली के बारे में है: आप दो आधारों का उपयोग करके एक ही संख्या को बनाने के कितने अलग-अलग तरीके खोज सकते हैं, और उन संख्याओं के "आकार" का क्या होता है जिन्हें केवल एक ही तरीके से बनाया जा सकता है?

यहाँ सरल उपमाओं (analogies) का उपयोग करके इस शोध पत्र के विचारों का विवरण दिया गया है।

1. दो-आधार वाला नुस्खा (सेटअप)

आमतौर पर, जब हम संख्याएँ लिखते हैं, तो हम आधार 10 (अंक 0–9) का उपयोग करते हैं। यदि आप $0.5 $लिखते हैं, तो इसका अर्थ है$ 5 \times 10^{-1}$।
इस शोध पत्र में, लेखक दो आधारों का उपयोग करते हैं, जिन्हें हम आधार A और आधार B कह सकते हैं।

आपके पास 0 और 1 का एक अनुक्रम (sequence) है (जैसे एक बाइनरी कोड: 010110...)।
यदि अंक 0 है, तो आप आधार A द्वारा विभाजित करते हैं।
यदि अंक 1 है, तो आप आधार B द्वारा विभाजित करते हैं।
इस संख्या को बनाने के लिए आप इसे अनंत काल तक करते रहते हैं।

उपमा: कल्पना कीजिए कि आप ब्लॉकों का एक टॉवर बना रहे हैं।

एक "0" ब्लॉक टॉवर को आधार A के कारक (factor) से छोटा करता है।
एक "1" ब्लॉक टॉवर को आधार B के कारक से छोटा करता है।
ब्लॉकों के क्रम (0101 बनाम 1010) के आधार पर, आप बिल्कुल समान टॉवर की ऊँचाई (एक ही संख्या) प्राप्त कर सकते हैं।

2. "यूनिवोक" सेट (अद्वितीय वाले)

कभी-कभी, एक विशिष्ट टॉवर की ऊँचाई को कई अलग-अलग तरीकों से (कई ब्लॉक अनुक्रमों द्वारा) बनाया जा सकता है। कभी-कभी, इसे केवल एक तरीके से बनाया जा सकता है।

संख्याओं का वह सेट जिनके पास केवल एक अद्वितीय नुस्खा है, उसे यूनिवोक सेट (Univoque Set) कहा जाता है (लैटिन शब्द univocus से, जिसका अर्थ है "एक स्वर")।
यदि आधार एक-दूसरे के "बहुत करीब" हैं, तो लगभग हर संख्या के पास अनंत नुस्खे होंगे (अराजकता/chaos)।
यदि आधार "दूर" हैं, तो लगभग हर संख्या के पास केवल एक नुस्खा होगा (व्यवस्था/order)।
दिलचस्प हिस्सा मध्य मार्ग है: जहाँ कुछ संख्याओं के पास एक नुस्खा है, कुछ के पास दो, और कुछ के पास कई।

3. डायनेमिकल सिस्टम में "छेद" (The Hole)

लेखक इसे "कीप अवे" (Keep Away) के खेल से जोड़ते हैं।
कल्पना कीजिए कि एक गेंद मेज पर उछल रही है। हर बार जब वह एक विशिष्ट स्थान (एक "छेद") से टकराती है, तो वह गायब हो जाती है।

"यूनिवोक सेट" उन शुरुआती स्थितियों के सेट की तरह है जहाँ से गेंद कभी भी छेद में नहीं गिरती।
यदि छेद छोटा है, तो कई गेंदें बच जाती हैं। यदि छेद बड़ा है, तो बहुत कम गेंदें बचती हैं।
शोध पत्र जीवित बचे लोगों के "आकार" का अध्ययन करता है।

4. मुख्य खोज: "धुंधलेपन" को मापना (Hausdorff Dimension)

गणितज्ञ चीजों को मापना पसंद करते हैं। लेकिन इन "अद्वितीय संख्याओं" के सेट अक्सर अजीब, टेढ़े-मेढ़े, फ्रैक्टल आकार (जैसे तटरेखा या स्नोफ्लेक) होते हैं। वे केवल रेखाएं (1D) या भरे हुए वर्ग (2D) नहीं हैं। वे 0 और 1 के बीच के एक "धुंधले" आयाम (dimension) में मौजूद होते हैं। इसे हौसडॉर्फ आयाम (Hausdorff Dimension) कहा जाता है।

शोध पत्र की बड़ी सफलता:
इस शोध पत्र से पहले, हम यह आयाम कैसे ज्ञात कर सकते थे यदि दोनों आधार एक समान हों (जैसे, आधार A = आधार B = 1.5)। लेकिन क्या होगा यदि वे अलग हों (आधार A = 1.2, आधार B = 1.8)?

लेखकों ने किसी भी जोड़े के आधारों के लिए इस आयाम की गणना करने के लिए सटीक सूत्र खोजे हैं।

सूत्र: उन्होंने पाया कि यह आयाम एक विशिष्ट "संतुलन बिंदु" द्वारा निर्धारित होता है। एक सी-सॉ (seesaw) की कल्पना करें जहाँ भार आधारों की घात (power) हैं। आयाम वह विशिष्ट घात है जो सी-सॉ को पूरी तरह से संतुलित करती है।
"छेद" का संबंध: उन्होंने सिद्ध किया कि अद्वितीय संख्याओं के सेट का "आकार" अंतर्निlying अनुक्रम (sequence) के "एन्ट्रॉपी" (अराजकता या यादृच्छिकता का माप) से सीधे जुड़ा हुआ है।

5. सुगमता और निरंतरता (Smoothness and Continuity)

गणित में एक बड़ी चिंता यह होती है: "यदि मैं आधारों को थोड़ा सा बदल दूँ, तो क्या आयाम नाटकीय रूप से बदल जाएगा, या यह सुचारू रूप से बदलेगा?"

परिणाम: लेखकों ने सिद्ध किया कि आयाम सुचारू रूप से (smoothly) बदलता है। यदि आप अपने आधारों को थोड़ा सा बदलते हैं, तो अद्वितीय सेट का "धुंधलापन" थोड़ा बदल जाता है, अचानक नहीं। यह एक लाइट स्विच को चालू/बंद करने के बजाय एक डिमर स्विच (dimmer switch) को घुमाने जैसा है।

6. यह क्यों मायने रखता है? (निष्कर्ष)

आप पूछ सकते हैं, "अद्वितीय संख्या के नुस्खोंों से किसे फर्क पड़ता है?"

फ्रैक्टल ज्योमेट्री: यह हमें प्रकृति में पाए जाने वाले जटिल, स्वयं-दोहराने वाले पैटर्न (जैसे फर्न, बादल या तटरेखा) के आकार को समझने में मदद करता है।
केओस थ्योरी (Chaos Theory): यह हमें उन प्रणालियों को समझने में मदद करता है जो परिवर्तन के प्रति संवेदनशील हैं (जैसे मौसम या 'लोरेंज़ अट्रैक्टर' जिसका उपयोग विक्षोभ/turbulence को मॉडल करने के लिए किया जाता है)।
सार्वभौमिक नियम: शोध पत्र दिखाता है कि कई अलग-अलग समस्याएं (संख्या सिद्धांत से लेकर डायनेमिकल सिस्टम तक) वास्तव में एक ही समस्या हैं जो अलग-अलग मुखौटे पहने हुए हैं। "डबल बेस एक्सपेंशन" के लिए इसे हल करके, उन्होंने अराजक प्रणालियों के एक पूरे परिवार को हल कर दिया है।

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

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

यहाँ जियान लू, वोल्फगैंग स्टाइनर और युरु ज़ौ के शोध पत्र "Hausdorff Dimension of Double Base Expansions and Binary Shifts with a Hole" का विस्तृत तकनीकी सारांश दिया गया है।

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

मुख्य समस्या:
यह शोध पत्र यूनिवोक सेट (univoque set) $U_{q_0, q_1}$ के हाउज़डॉर्फ आयाम (Hausdorff dimension) की जांच करता है, जो उन वास्तविक संख्याओं का समूह है जिनका एक अद्वितीय (unique) $(q_0, q_1)$ -विस्तार होता है।

डबल बेस एक्सपेंशन (Double Base Expansions): दो वास्तविक आधारों $q_0, q_1 > 1$ के लिए, एक अनुक्रम $i_1 i_2 \dots \in \{0, 1\}^\infty$ एक संख्या $x$ को इस श्रेणी के माध्यम से दर्शाता है:
$x = \pi_{q_0, q_1}(i_1 i_2 \dots) = \sum_{k=1}^\infty \frac{i_k}{q_{i_1} q_{i_2} \dots q_{i_k}}$
यूनिवोक सेट (The Univoque Set): $U_{q_0, q_1} = \{ x \in J_{q_0, q_1} : \#\pi_{q_0, q_1}^{-1}(x) = 1 \}$ ।
अंतराल (The Gap): जबकि एकल आधार ( $q_0 = q_1 = q$ ) के लिए यूनिवोक सेट के गुण अच्छी तरह से अध्ययन किए गए हैं (जैसे कोमनिक, कोंग, ली और अलाार्ट द्वारा), भिन्न आधारों ( $q_0 \neq q_1$ ) का मामला महत्वपूर्ण जटिलता प्रस्तुत करता है। लेखक $U_{q_0, q_1}$ के हाउज़डॉर्फ आयाम के लिए स्पष्ट सूत्र प्राप्त करने और जोड़ी $(q_0, q_1)$ के फलन के रूप में इस आयाम की निरंतरता (continuity) को सिद्ध करने का लक्ष्य रखते हैं।

गतिक प्रणाली (Dynamical Systems) से संबंध:
इस समस्या को ओपन डायनेमिकल सिस्टम्स (एक "छेद" या "hole" के साथ गतिक प्रणालियाँ) के संदर्भ में फ्रेम किया गया है। अद्वितीय विस्तारों का सेट बाइनरी शिफ्ट के सर्वाइवर सेट (survivor set) के अनुरूप है, जहाँ वे अनुक्रम जो एक विशिष्ट "छेद" (लेक्सिकोग्राफिक सीमाओं द्वारा परिभाषित) में गिरते हैं, उन्हें हटा दिया जाता है। यह समस्या लोरेंज मैप्स (Lorenz maps) और छेद के साथ डब्लिंग मैप (doubling map) से जुड़ती है।

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

लेखक प्रतीकात्मक गतिकी (symbolic dynamics), इटरेटेड फंक्शन सिस्टम्स (IFS), और थर्मोडायनामिक फॉर्मलिज्म (thermodynamic formalism) के संयोजन का उपयोग करते हैं।

प्रतीकात्मक लक्षण वर्णन (Symbolic Characterization):
यूनिवोक विस्तारों के सेट का प्रतीकात्मक रूप से लक्षण वर्णन किया गया है। मान लीजिए कि $a_{q_0, q_1}$ $1/q_1$ का क्वासी-ग्रीडी विस्तार है और $b_{q_0, q_1}$ $1/(q_0(q_1-1))$ का क्वासी-लेज़ी विस्तार है। अद्वितीय विस्तारों का सेट (एक गणनीय सेट तक) इस सबशिफ्ट के अनुरूप है:
$\Omega_{a, b} = \{ i_1 i_2 \dots \in \{0, 1\}^\infty : i_n i_{n+1} \dots \notin ]a, b[ \text{ सभी } n \ge 1 \text{ के लिए} \}$
जहाँ $]a, b[$ लेक्सिकोग्राफिक क्रम में खुला अंतराल है।
सामान्यीकृत मोरान निर्माण (Generalized Moran Construction):
लेखक $\pi_{q_0, q_1}(\Omega_{a, b})$ के प्रोजेक्शन का विश्लेषण करते हैं। वे इसे एक सामान्यीकृत मोरान निर्माण के रूप में देखते हैं। हाउज़डॉर्फ आयाम $n$ लंबाई के स्वीकार्य शब्दों की संख्या के विकास दर द्वारा निर्धारित होता है, जिसे IFS मानचित्रों $f_0(x) = x/q_0$ और $f_1(x) = (x+1)/q_1$ के संकुचन दरों (contraction rates) द्वारा भारित (weighted) किया जाता है।
नीडिंग इनवेरियंट्स (Kneading Invariants) और पावर सीरीज़:
एक महत्वपूर्ण तकनीकी उपकरण नीडिंग इनवेरियंट $K_{a,b}(z_0, z_1)$ है, जिसे सीमाओं $a$ और $b$ से संबंधित औपचारिक पावर सीरीज़ के माध्यम से परिभाषित किया गया है। लेखक सबशिफ्ट की टोपोलॉजिकल एंट्रॉपी और समीकरण के मूल (root) के बीच संबंध स्थापित करते हैं:
$\pi_{\beta, \beta}(a) = \pi_{\beta, \beta}(b)$
इसी प्रकार, हाउज़डॉर्फ आयाम समीकरण के मूल $s$ से जुड़ा हुआ है:
$\pi_{q_0^s, q_1^s}(a) = \pi_{q_0^s, q_1^s}(b)$
निरंतरता प्रमाण (Continuity Proofs):
निरंतरता को सिद्ध करने के लिए, लेखक आधारों के छोटे विचलन (perturbations) के तहत "छेद" की सीमाओं ( $a$ और $b$ ) की स्थिरता का विश्लेषण करते हैं। वे प्रतिस्थापन मानचित्रों (substitution maps) का उपयोग करते हैं और यह दिखाते हैं कि डायमेंशन फंक्शन स्थानीय रूप से स्थिर है या क्रिटिकल पॉइंट्स के पास क्रिटिकल इनवेरियंट्स के व्यवहार का विश्लेषण करके निरंतर रूप से बदलता है।

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

A. हाउज़डॉर्फ आयाम के लिए स्पष्ट सूत्र

यह शोध पत्र $q_0$ और $q_1$ के बीच संबंध के आधार पर हाउज़डॉर्फ आयाम $s = \dim_H U_{q_0, q_1}$ का पूर्ण वर्गीकरण प्रदान करता है:

तुच्छ/गणनीय मामला (Trivial/Countable Case): यदि $q_1 \le K(q_0)$ (जहाँ $K(q_0)$ सामान्यीकृत कोमनिक-लोरेटी स्थिरांक है), तो $s = 0$ ।
मध्यवर्ती मामला (Intermediate Case) ( $K(q_0) < q_1 < \frac{q_0}{q_0-1}$ ):
आयाम $s$ $s$ समीकरण का अधिकतम मूल (maximal root) है:
$\pi_{q_0^s, q_1^s}(\ell) = \pi_{q_0^s, q_1^s}(r)$
जहाँ $\ell = \ell(a_{q_0, q_1}, b_{q_0, q_1})$ $ℓ = ℓ (a_{q_{0}, q_{1}}, b_{q_{0}, q_{1}})$ और $r = r(a_{q_0, q_1}, b_{q_0, q_1})$ $r = r (a_{q_{0}, q_{1}}, b_{q_{0}, q_{1}})$ सबशिफ्ट $\Omega_{a, b}$ $Ω_{a, b}$ के चरम तत्व (extremal elements) हैं।
- विशेष उप-मामला: यदि सीमाएँ स्वयं सबशिफ्ट में हैं, तो समीकरण सरल होकर $\pi_{q_0^s, q_1^s}(a) = \pi_{q_0^s, q_1^s}(b)$ हो जाता है।
पूर्ण आयाम मामला (Full Dimension Case): यदि $q_1 = \frac{q_0}{q_0-1}$ , तो $s = 1$ ।
सुपर-क्रिटिकल मामला (Super-Critical Case) ( $q_1 > \frac{q_0}{q_0-1}$ ):
आयाम $s$ सरल समीकरण का अधिकतम मूल है:
$q_0^{-s} + q_1^{-s} = 1$
(यह उस मामले के अनुरूप है जहाँ छेद खाली है, और सेट संपूर्ण अंतराल है)।

B. निरंतरता परिणाम (Continuity Results)

थ्योरम 1.5: फलन $(q_0, q_1) \mapsto \dim_H U_{q_0, q_1}$ $(q_{0}, q_{1}) \mapsto dim_{H} U_{q_{0}, q_{1}}$ सभी $q_0, q_1 > 1$ $q_{0}, q_{1} > 1$ के लिए सतत (continuous) है।
- यह अलाार्ट और कोंग (2019) के एकल-आधार ( $q_0=q_1$ ) के पिछले परिणामों को सामान्य डबल-बेस मामले तक विस्तारित करता है।
थ्योरम 1.4: डायमेंशन फलन $d_{q_0, q_1}(a, b) = \dim_H \pi_{q_0, q_1}(\Omega_{a, b})$ प्रतीकात्मक सीमाओं $(a, b)$ के संबंध में सतत है।

C. प्रतीकात्मक गतिकी और एंट्रॉपी (Symbolic Dynamics and Entropy)

लेखक टोपोलॉजिकल एंट्रॉपी $h(\Omega_{a, b})$ और हाउज़डॉर्फ आयाम के बीच सीधा संबंध स्थापित करते हैं।
थ्योरम 1.6: वे सिद्ध करते हैं कि कुछ आवधिक अनुक्रमों (periodic sequences) $u, v$ के लिए, हाउज़डॉर्फ आयाम सीमाओं के विशिष्ट रूपांतरणों के तहत अपरिवर्तित रहता है (उदाहरण के लिए, $d_{q_0, q_1}(u^\infty, v^\infty) = d_{q_0, q_1}(uv^\infty, vu^\infty)$ ), बशर्ते कि एंट्रॉपी धनात्मक हो। यह पिछले साहित्य में आवश्यक तकनीकी शर्तों को हटा देता है।

4. महत्व और प्रभाव

सिद्धांत का एकीकरण: यह शोध पत्र एकल और डबल आधारों के लिए अद्वितीय विस्तारों के अध्ययन को एकीकृत करता है, जिससे एक व्यापक ढांचा मिलता है जो भिन्न आधारों की विषमता (asymmetry) को संभाल सकता है।
स्पष्ट गणना योग्यता (Explicit Computability): कई फ्रैक्टल डायमेंशन समस्याओं के विपरीत, जहाँ केवल सीमाएँ या संख्यात्मक सन्निकटन उपलब्ध होते हैं, यह कार्य सटीक आयाम की गणना करने के लिए स्पष्ट बीजगणितीय समीकरण (जो आधारों की पावर सीरीज़ शामिल करते हैं) प्रदान करता है।
गतिक प्रणाली अनुप्रयोग (Dynamical Systems Applications): इसके परिणाम ओपन डायनेमिकल सिस्टम्स पर व्यापक रूप से लागू होते हैं, जिनमें शामिल हैं:
- छेद के साथ डब्लिंग मैप।
- (रैखिक) लोरेंज मैप्स।
- गैर-समान रूप से विस्तार करने वाली प्रणालियों (non-uniformly expanding systems) में सर्वाइवर सेट्स का अध्ययन।
पैरामीटर स्पेस में निरंतरता: फ्रैक्टल ज्योमेट्री में डायमेंशन फलन के लिए निरंतरता को सिद्ध करना एक गैर-तुच्छ परिणाम है, क्योंकि डायमेंशन फलन अक्सर फेज ट्रांजिशन या विच्छेदन (discontinuities) प्रदर्शित करते हैं। यह पेपर दर्शाता है कि डबल बेस एक्सपेंशन के लिए, आयाम पैरामीटर्स के साथ सुचारू रूप से बदलता है।
पद्धतिगत प्रगति (Methodological Advancement): नीडिंग इनवेरियंट्स का उपयोग और शब्दों को "कोर" और "बाउंड्री" भागों में विभाजित करने की तकनीक (लेम्मा 2.3 के माध्यम से) छेद वाले सबशिफ्ट का विश्लेषण करने के लिए एक मजबूत तकनीक प्रदान करती है, जिसे अन्य प्रतीकात्मक गतिक प्रणालियों में भी अपनाया जा सकता है।

संक्षेप में, यह शोध पत्र डबल बेस यूनिवोक सेट्स के हाउज़डॉर्फ आयाम की गणना को हल करता है, उनकी निरंतरता स्थापित करता है, और इन फ्रैक्टल सेट्स को नियंत्रित करने वाली प्रतीकात्मक गतिकी की समझ को गहरा करता है।