🔢 mathematics

On the graph of the dimension function of the Lagrange and Markov spectra

यह शोध पत्र डायनेमिकल सिस्टम थ्योरी और कठोर संख्यात्मक विधियों को जोड़कर लाग्रेंज और मार्कोव स्पेक्ट्रा के लिए आयामी फलन $d(t)$ के ग्राफ की जांच करता है ताकि बारह गैर-तुच्छ पठारों (plateaux) की पहचान की जा सके और उनके बीच फलन के व्यवहार का अनुमान लगाया जा सके, और अंततः यह सिद्ध किया जा सके कि दस सबसे बड़े गैर-तुच्छ पठार 0.005 से अधिक लंबाई वाले अंतरालों के अनुरूप हैं।

मूल लेखक: Carlos Matheus, Carlos Gustavo Moreira, Polina Vytnova

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

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

CC BY 4.0

मूल लेखक: Carlos Matheus, Carlos Gustavo Moreira, Polina Vytnova

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

कल्पना कीजिए कि आप संख्याओं से बनी एक बहुत ही अजीब, ऊबड़-खाबड़ पर्वत श्रृंखला को देख रहे हैं। यह चट्टान और मिट्टी का पहाड़ नहीं है, बल्कि गणितीय संभावनाओं का एक परिदृश्य है जिसे लैग्रेंज और मार्कोव स्पेक्ट्रा (Lagrange and Markov Spectra) कहा जाता है।

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

यह शोध पत्र एक ऐसी टीम की तरह है जिन्होंने अंततः इस पर्वत श्रृंखला के सबसे समतल हिस्सों का एक विस्तृत और सटीक मानचित्र बनाने में सफलता प्राप्त की है।

यहाँ इस खोज का विवरण दिया गया है, जिसे सरल भाषा में समझाया गया है:

1. पर्वत की "ऊँचाई" (डायमेंशन फंक्शन)

इस गणितीय दुनिया में, मानचित्र के प्रत्येक बिंदु की एक "ऊँचाई" होती है, लेकिन मीटर में नहीं। इसके बजाय, ऊँचाई जटिलता (complexity) या "खुरदरेपन" को दर्शाती है।

कम ऊँचाई: क्षेत्र सरल है, जैसे एक चिकना मैदान।
उच्च ऊँचाई: क्षेत्र अविश्वसनीय रूप से जटिल है, जैसे एक घना, उलझा हुआ जंगल।

लेखक $d(t)$ नामक एक फलन (function) का अध्ययन करते हैं। $t$ को इस मानचित्र पर आपकी स्थिति (बाएँ से दाएँ चलते हुए) मान लें, और $d(t)$ उस स्थान पर भूभाग की ऊँचाई है।

2. "पठारों" का रहस्य

यदि आप इस पर्वत पर चलते हैं, तो आप उम्मीद करेंगे कि ज़मीन ऊपर-नीचे सुचारू रूप से जाएगी। लेकिन इस गणितीय दुनिया में, ज़मीन पठारों (plateaus) से भरी है।

एक पठार भूमि का वह सपाट हिस्सा है जहाँ "ऊँचाई" (जटिलता) एक लंबी दूरी तक बिल्कुल समान रहती है।

ऐसा क्यों होता है? यह पता चला है कि संख्या प्रणाली के कुछ अंतराल (gaps) में, नियम बदल जाते हैं। "जंगल" अधिक घना होना बंद हो जाता है, और जटिलता एक विशिष्ट स्तर पर जम जाती है।
लक्ष्य: लेखकों का लक्ष्य इस मानचित्र पर सबसे बड़े समतल स्थानों (सबसे लंबे पठारों) को खोजना था।

3. "वर्जित शब्द" (Forbidden Words) का खेल

इन समतल स्थानों को खोजने के लिए, लेखकों ने 1 और 2 के पैटर्न के साथ एक खेल खेला।
कल्पना कीजिए कि आप केवल "1" और "2" लेबल वाले ब्लॉकों का उपयोग करके एक मीनार बना रहे हैं।

कुछ पैटर्न "वर्जित" (forbidden) हैं। यदि आपकी मीनार में "1-2-1" का पैटर्न है, तो वह ढह जाएगी।
यदि आप "1-2-1" को वर्जित करते हैं, तो एक बहुत ऊँची मीनार बनाने के तरीकों की संख्या कम हो जाती है। मीनार की "जटिलता" गिर जाती है।
लेखकों ने महसूस किया कि हर बार जब संख्या प्रणाली में एक नया "वर्जित पैटर्न" दिखाई देता है, तो पूरे पर्वत की जटिलता एक नए, निचले स्तर पर गिर जाती है, जिससे एक समतल पठार बनता है।

4. खोज: "शीर्ष 10" समतल स्थान

लेखकों ने इन पठारों की खोज के लिए शक्तिशाली कंप्यूटरों और चतुर गणितीय युक्तियों का उपयोग किया। उन्हें बारह महत्वपूर्ण समतल स्थान मिले।

उन्होंने एक विशिष्ट नियम सिद्ध किया:

इस पूरी गणितीय पर्वत श्रृंखला के दस सबसे बड़े समतल स्थान वही हैं जो 0.005 इकाइयों से अधिक लंबे हैं।

यह कहने जैसा है कि, "यदि आप इस पर्वत को देखते हैं, तो दस सबसे बड़े समतल मैदान वही हैं जो एक फुटबॉल के मैदान से बड़े हैं। बाकी सब या तो घास का एक छोटा सा टुकड़ा है या एक खड़ी ढलान।"

5. उन्होंने यह कैसे किया (उपकरण)

उन्होंने केवल अनुमान नहीं लगाया। उन्होंने दो मुख्य उपकरणों का उपयोग किया:

"मिटाने" की तकनीक (The "Erase" Trick): उन्होंने सिद्ध किया कि यदि आप एक जटिल, उलझे हुए जंगल (एक गणितीय सेट) में से केवल एक विशिष्ट प्रकार का पेड़ (एक वर्जित पैटर्न) निकाल देते हैं, तो जंगल कम जटिल हो जाता है। इसने उन्हें यह पहचानने में मदद की कि समतल स्थान कहाँ शुरू होते हैं और कहाँ समाप्त होते हैं।
सुपर-कंप्यूटर: उन्होंने लाखों इन "1 और 2" वाली मीनारों का अनुकरण करने के लिए कंप्यूटर कोड लिखा। यह जाँचकर कि कौन से पैटर्न अनुमत हैं और कौन से वर्जित, उन्होंने विभिन्न बिंदुओं पर भूभाग की सटीक "ऊँचाई" (डायमेंशन) की गणना की।

6. परिणाम: एक नया मानचित्र

शोध पत्र एक दृश्य मानचित्र (पेपर में चित्र 1) के साथ समाप्त होता है।

गुलाबी अंतराल (Pink Intervals): ये वे समतल पठार हैं जो उन्हें मिले।
वक्र (Curves): ये पठारों के बीच के ऊबड़-खाबड़, घुमावदार रास्ते हैं जहाँ जटिलता तेजी से बदल रही है।

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

आप पूछ सकते हैं, "संख्याओं के पहाड़ पर समतल स्थानों की परवाह कौन करता है?"

अराजकता (Chaos) को समझना: यह हमें समझने में मदद करता है कि संख्याओं के ब्रह्मांड में व्यवस्था (order) और अराजकता (chaos) कैसे परस्पर क्रिया करते हैं।
"फ्रीमैन का स्थिरांक" (Freiman's Constant): इस क्षेत्र में एक प्रसिद्ध सीमा (लगभग 4.52) है जहाँ नियम पूरी तरह से बदल जाते हैं। यह शोध पत्र इस सीमा तक पहुँचने वाले परिदृश्य को समझने में मदद करता है।
सटीकता: इससे पहले, हमारे पास केवल एक कच्चा स्केच था। अब, हमारे पास इसके सबसे महत्वपूर्ण लक्षणों का एक उच्च-परिभाषा वाला मानचित्र है।

निष्कर्ष (The Takeaway)

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

यहाँ कार्लोस मैथियस, कार्लोस गुस्तावो मोरैरा और पोलिना विटोवा के शोध पत्र "On the Graph of the Dimension Function of the Lagrange and Markov Spectra" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र शास्त्रीय लैग्रेंज स्पेक्ट्रम ( $L$ ) और मार्कोव स्पेक्ट्रम ( $M$ ) से जुड़े डायमेंशन फंक्शन (आयाम फलन) $d(t)$ की जांच करता है। ये स्पेक्ट्रा वास्तविक रेखा के वे उपसमुच्चय हैं जो अपरिमेय संख्याओं और अनिश्चित बाइनरी क्वाड्रेटिक फॉर्म्स के सर्वोत्तम स्थिरांकों (constants) से उत्पन्न होते हैं।

परिभाषाएँ:
- $L := \{ \limsup_{n\to\infty} \lambda_n(\alpha) : \alpha \in (\mathbb{N}^*)^\mathbb{Z} \}$
- $M := \{ \sup_{n\in\mathbb{Z}} \lambda_n(\alpha) : \alpha \in (\mathbb{N}^*)^\mathbb{Z} \}$
- जहाँ $\lambda_n(\alpha)$ निरंतर भिन्न विस्तार (continued fraction expansions) से संबंधित है।
फंक्शन: लेखक $d(t) := \dim_H(L \cap (-\infty, t)) = \dim_H(M \cap (-\infty, t))$ का अध्ययन करते हैं, जहाँ $\dim_H$ हॉसडॉर्फ डायमेंशन (Hausdorff dimension) को दर्शाता है।
मुख्य गुण: यह ज्ञात है कि $L \subset M$ बंद समुच्चय (closed sets) हैं। फलस्वरूप, उनके पूरक (complements) खुले अंतरालों (गैप्स/अंतरालों) के गणनीय संघ (countable unions) होते हैं। इन अंतराल पर, $d(t)$ स्थिर रहता है, जो प्लेटो (plateaux) बनाता है।
उद्देश्य: लक्ष्य $3 $और महत्वपूर्ण मान$ t_1 \approx 3.334384 $(जहाँ$ d(t)$, $1 $तक पहुँच जाता है) के बीच$ d(t)$ के ग्राफ को कठोरता से निर्धारित करना है। विशेष रूप से, लेखक बारह सबसे बड़े गैर-तुच्छ प्लेटो (non-trivial plateaux) की पहचान करने और उनके बीच फंक्शन के व्यवहार का अनुमान लगाने का लक्ष्य रखते हैं।

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

लेखक कठोर डायनेमिकल सिस्टम थ्योरी और उच्च-परिशुद्धता संख्यात्मक गणना (high-precision numerical computation) को संयोजित करने वाला एक हाइब्रिड दृष्टिकोण अपनाते हैं।

A. सैद्धांतिक ढांचा (Theoretical Framework)

गॉस-कैंटर सेट्स (Gauss-Cantor Sets): स्पेक्ट्रा का डायमेंशन, विशिष्ट डायनेमिकल कैंटर सेट्स (गॉस-कैंटर सेट्स) के हॉसडॉर्फ डायमेंशन से जुड़ा होता है, जो निरंतर भिन्नों में वर्जित अनुक्रमों (forbidden subsequences) द्वारा परिभाषित होते हैं।
डायमेंशन ड्रॉप पर लेम्मा (Lemma on Dimension Drop - Lemma 2.3): एक महत्वपूर्ण सैद्धांतिक उपकरण यह तथ्य है कि एक डायनेमिकल कैंटर सेट के मार्कोव विभाजन (Markov partition) से एक तत्व को हटाने से उसके हॉसडॉर्फ डायमेंशन में स्पष्ट कमी आती है। यह लेखकों को यह सिद्ध करने की अनुमति देता है कि विशिष्ट अंतराल वास्तव में प्लेटो हैं (जहाँ डायमेंशन स्थिर रहता है) यह दिखाकर कि वर्जित शब्दों (forbidden words) के सेट का विस्तार करने से डायमेंशन कम हो जाता है।
मार्कोव मानों पर लेम्मा (Lemma on Markov Values - Lemma 2.2): यह लेम्मा विशिष्ट पैटर्न वाले अनुक्रमों के न्यूनतम मार्कोव मान को निर्धारित करने में मदद करता है, जिससे लेखक स्पेक्ट्रम में गैप्स के सटीक एंडपॉइंट्स (endpoints) को सटीक रूप से चिह्नित कर पाते हैं।

B. संख्यात्मक विधियाँ (Numerical Methods)

वर्जित शब्दों का रिकर्सिव निर्माण (Recursive Construction of Forbidden Words): विशिष्ट बिंदुओं पर $d(t)$ $d (t)$ की गणना करने के लिए, लेखक "वर्जित" परिमित स्ट्रिंग्स (finite strings) के सेट बनाने के लिए एक रिकर्सिव एल्गोरिदम (एल्गोरिदम 1) का उपयोग करते हैं।
- एक दिए गए थ्रेशोल्ड $s$ के लिए, एल्गोरिदम स्ट्रिंग्स का एक ट्री (tree) बनाता है। यदि किसी स्ट्रिंग का निरंतरता (continuation) $s$ से अधिक मार्कोव मान की गारंटी देता है, तो उसे वर्जित (forbidden) चिह्नित किया जाता है।
- यह एक कैंटर सेट $K$ उत्पन्न करता है ताकि $M \cap (-\infty, s) \subset 2 + K + K$ हो।
डायमेंशन को बांधना (Bounding the Dimension):
- ऊपरी सीमा (Upper Bound): $d(s) \leq 2 \dim_H(K)$ ।
- निचली सीमा (Lower Bound): उन स्ट्रिंग्स के अधिकतम मार्कोव मान $s'$ को खोजकर जिनमें वर्जित सबस्ट्रिंग्स (forbidden substrings) नहीं हैं, वे $d(s') \geq \min\{2 \dim_H(K), 1\}$ स्थापित करते हैं।
कठोर सत्यापन (Rigorous Verification): संख्यात्मक गणनाएँ त्रुटि सीमाओं (इंटरवल अंकगणित अवधारणाओं का उपयोग करके) के साथ की जाती हैं ताकि यह सुनिश्चित हो सके कि परिणाम गणितीय रूप से वैध हैं, न कि केवल ह्यूरिस्टिक अनुमान।

3. मुख्य योगदान (Key Contributions)

प्लेटो की पहचान: शोध पत्र अंतराल $(3, t_1)$ में $d(t)$ के बारह गैर-तुच्छ प्लेटो ( $P_2$ से $P_{13}$ ) को स्पष्ट रूप से पहचानता है।
सटीक एंडपॉइंट्स: प्रत्येक प्लेटो के लिए, लेखक इसके बाएं और दाएं एंडपॉइंट्स के लिए सटीक बीजगणितीय व्यंजक (वर्गमूलों के रूप में) प्रदान करते हैं, जो मार्कोव स्पेक्ट्रम में गैप्स को परिभाषित करने वाले विशिष्ट वर्जित अनुक्रमों से प्राप्त होते हैं।
संरचनात्मक अंतर्दृष्टि: लेखक प्रकट करते हैं कि इन प्लेटो की संरचना जटिल है। एक एकल प्लेटो मार्कोव स्पेक्ट्रम में कई गैप्स के संघ (union) के अनुरूप हो सकता है, जो कभी-कभी लैग्रेंज स्पेक्ट्रम के पृथक बिंदुओं (isolated points) द्वारा अलग होते हैं।
- उदाहरण: सबसे बड़ा प्लेटो $P_2$ , सबसे बड़े गैप $G_1$ और दूसरे गैप $J_1$ के संघ का क्लोजर (closure) है, जहाँ जोड़ने वाला बिंदु $L$ का एक पृथक बिंदु है।
थ्रेशोल्ड प्रमाण: वे सिद्ध करते हैं कि दस सबसे बड़े गैर-तुच्छ प्लेटो वही हैं जिनकी लंबाई 0.005 से अधिक है।

4. मुख्य परिणाम (Key Results)

मुख्य प्रमेय (Theorem 3.1) कहता है कि $d(t)$ के दस सबसे बड़े प्लेटो वे ही हैं जिनकी लंबाई $> 0.005$ है। लेखक इन प्लेटो को उनकी लंबाई के घटते क्रम में सूचीबद्ध करते हैं:

प्लेटो (Plateau)	लंबाई (Length)	संबद्ध वर्जित अनुक्रम (प्रथम उपस्थिति)
P2	~0.0367	121 की प्रथम उपस्थिति
P3	~0.0326	212 की प्रथम उपस्थिति
P4	~0.0246	21222 की प्रथम उपस्थिति
P5	~0.0193	12111 की प्रथम उपस्थिति
P6	~0.0153	1212 की प्रथम उपस्थिति
P7	~0.0096	111222 की प्रथम उपस्थिति
P8	~0.0071	211121112 की प्रथम उपस्थिति
P9	~0.0067	111212 की प्रथम उपस्थिति
P10	~0.0054	1112111 की प्रथम उपस्थिति
P11	~0.0053	21112 की प्रथम उपस्थिति

सहायक प्लेटो (Auxiliary Plateaux): दो अतिरिक्त प्लेटो ( $P_{12}$ और $P_{13}$ ) की पहचान की गई जिनकी लंबाई क्रमशः ~0.0042 और ~0.0040 है।
क्रम (Ordering): प्लेटो उनकी लंबाई के क्रम में वास्तविक रेखा पर दिखाई नहीं देते हैं। उदाहरण के लिए, $P_2$ (सबसे लंबा) $t$ -मानों के संदर्भ में $P_3$ और $P_4$ के बाद आता है।
ग्राफ सन्निकटन (Graph Approximation): शोध पत्र इन प्लेटो के बीच के अंतरालों में $d(t)$ के लिए कठोर निचली और ऊपरी सीमाएँ प्रदान करता है, जो प्रभावी रूप से इसके "सीढ़ीनुमा" (staircase) स्वभाव का खाका खींचता है।

5. महत्व (Significance)

एक लंबे समय से चले आ रहे प्रश्न का समाधान: यह शोध पत्र $3 $और$ t_1 $के बीच के महत्वपूर्ण क्षेत्र में लैग्रेंज और मार्कोव स्पेक्ट्रा के डायमेंशन फंक्शन$ d(t)$ का पहला कठोर और विस्तृत दृश्य (visualization) प्रदान करता है।
पद्धतिगत प्रगति: यह डायनेमिकल सिस्टम (कैंटर सेट्स, मार्कोव पार्टिशन) और कठोर संख्यात्मक गणना के बीच के अंतर को सफलतापूर्वक पाटता है। "वर्जित शब्दों" का उपयोग करके डायमेंशन को बांधना एक शक्तिशाली तकनीक है जिसे यहाँ परिष्कृत किया गया है।
फ्रैक्टल संरचना की समझ: यह कार्य मार्कोव स्पेक्ट्रम में गैप्स और डायमेंशन फंक्शन के प्लेटो के बीच जटिल संबंध को स्पष्ट करता है। यह प्रदर्शित करता है कि डायमेंशन फंक्शन के "चरण" (steps) केवल साधारण एकल गैप नहीं हैं, बल्कि अक्सर गैप्स और पृथक बिंदुओं के जटिल संघ होते हैं।
डेटा उपलब्धता: लेखक इन गणनाओं के लिए उपयोग किया गया कोड (GitHub पर होस्ट किया गया) प्रदान करते हैं, जिससे पुनरुत्पादकता (reproducibility) और स्पेक्ट्रा के और अधिक अन्वेषण की अनुमति मिलती है।