🔢 mathematics

Decomposition of real numbers into sums of Lüroth sets

यह शोध पत्र विशिष्ट अंक बाधाओं द्वारा परिभाषित लूथ (Lüroth) समुच्चयों के योगों में वास्तविक संख्याओं के अपघटन की जांच करता है, जो 1 के मॉड्युलो (modulo) पर उनकी सर्वांगसमता (congruence) पर परिणाम स्थापित करता है और निरंतर भिन्नों (continued fractions) से शास्त्रीय निष्कर्षों का विस्तार करने के लिए इन समुच्चयों और उनके योगों के हॉर्सडॉर्फ आयाम (Hausdorff dimension) का विश्लेषण करता है।

मूल लेखक: Maiken Gravgaard, Ying Wai Lee

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

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

CC BY 4.0

मूल लेखक: Maiken Gravgaard, Ying Wai Lee

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

कल्पना कीजिए कि आपके पास संख्याओं का एक विशाल, अनंत पुस्तकालय है। इस पुस्तकालय में, प्रत्येक संख्या को मानक दशमलव (जैसे 3.14159...) के रूप में नहीं, बल्कि पूर्णांकों के एक विशेष क्रम से बने एक विशेष कोड के रूप में लिखा गया है। इसे ल्युथ एक्सपेंशन (Lüroth expansion) कहा जाता है। इसे ऐसे समझें जैसे कि यह 0 और 1 के बीच की प्रत्येक संख्या के लिए एक अद्वितीय बारकोड है।

यह शोध पत्र एक गणितीय जासूसी कहानी है कि क्या होता है जब आप इन "कोडेड" संख्याओं के दो समूहों को आपस में जोड़ते हैं।

यहाँ कहानी का विवरण दिया गया है, सरल उपमाओं का उपयोग करते हुए:

1. संख्याओं के दो प्रकार के क्लब

लेखक इन "कोडेड" संख्याओं के दो विशिष्ट "क्लबों" में रुचि रखते हैं (उनके बारकोड के नियमों के आधार पर):

"छोटा अंक" क्लब ( $L_{\le k}$ ): ये वे संख्याएँ हैं जिनके बारकोड में केवल छोटे पूर्णांक (जैसे 2, 3, 4, तक की सीमा $k$ ) होते हैं। कल्पना कीजिए कि एक ऐसा क्लब जहाँ आप केवल 2, 3 या 4 आकार के जूते ही पहन सकते हैं।
"बड़ा अंक" क्लब ( $L_{\ge k}$ ): ये वे संख्याएँ हैं जिनके बारकोड में केवल बड़े पूर्णांक (शुरुआत $k$ से और अनंत तक) होते हैं। कल्पना कीजिए कि एक ऐसा क्लब जहाँ आप केवल 10 या उससे ऊपर के आकार के जूते पहन सकते हैं।

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

2. बड़ा सवाल: क्या हम खाली जगहों को भर सकते हैं?

केंद्रीय प्रश्न यह है: यदि हम समूह A से एक संख्या लें और उसे समूह B की एक संख्या में जोड़ दें, तो क्या हमें सभी संभावित वास्तविक संख्याएँ प्राप्त होंगी?

इसे इस तरह सोचें:

आपके पास लाल रेत की एक बाल्टी (समूह A) है और नीली रेत की एक बाल्टी (समूह B) है। दोनों बाल्टियाँ ज्यादातर खाली स्थान हैं, जिनमें रेत के बस कुछ ही कण हैं।
यदि आप लाल रेत के एक कण को नीली रेत के एक कण के साथ मिलाते हैं, तो क्या आप अंत में पूरे फर्श को ढकने वाली नीली-लाल रेत की एक ठोस, निरंतर दीवार प्राप्त करेंगे? या फिर अभी भी अंतराल (गैप्स) रहेंगे?

मानक दशमलव की दुनिया में (जैसे प्रसिद्ध "कैंटर सेट"), गणितज्ञ पहले से ही जानते थे कि यदि आप दो विशिष्ट फ्रैक्टल सेटों को जोड़ते हैं, तो वे कभी-कभी पूरी संख्या रेखा को भर सकते हैं। यह शोध पत्र पूछता है: क्या ल्युथ एक्सपेंशन के साथ भी यही जादू होता है?

3. मुख्य खोजें

लेखकों ने पाया कि उत्तर पूरी तरह से इन क्लबों के "नियमों" पर निर्भर करता है।

मामला A: "छोटे अंक" वाले क्लब

उन्होंने देखा कि क्या होता है जब हम दो "छोटे अंक" वाले क्लबों को जोड़ते हैं।

परिणाम: यदि सीमा कम है (जैसे केवल अंक 2 और 3 की अनुमति है), तो इन दो सेटों को जोड़ने पर वे पूरी रेखा को नहीं भर पाते हैं। अंतराल अभी भी मौजूद रहते हैं। यह दो कप पानी से एक स्विमिंग पूल भरने की कोशिश करने जैसा है; यह पर्याप्त नहीं है।
आश्चर्य: हालाँकि, यदि आप थोड़े बड़े अंकों की अनुमति देते हैं (जैसे 2, 3, 4 और 5), या यदि आप तीन छोटे सेटों को जोड़ते हैं, तो अचानक अंतराल गायब हो जाते हैं! योग एक ठोस, निरंतर अंतराल बन जाता है। यह ऐसा है जैसे "जूते के आकार" में थोड़ी सी विविधता जोड़ने से रेत पूरी तरह से पैक हो जाती है।

मामला B: "बड़े अंक" वाले क्लब

उन्होंने उन क्लबों को देखा जहाँ अंक बहुत बड़े होने चाहिए (जैसे 100, 101, 102...)।

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

मामला C: छोटे और बड़े का मिश्रण

क्या होगा यदि हम एक "छोटा अंक" क्लब और एक "बड़ा अंक" क्लब मिलाते हैं?

परिणाम: लेखकों ने पाया कि यदि आप एक "छोटा अंक" क्लब (अंक $k+2$ तक) को एक "बड़ा अंक" क्लब (अंक $k$ से शुरू) के साथ जोड़ते हैं, तो वे पूरी संख्या रेखा को पूरी तरह से भर देते हैं। यह एक आदर्श साझेदारी है: छोटे अंक बड़े अंकों द्वारा छोड़े गए छेदों को भर देते हैं, और इसके विपरीत भी।

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

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

"फ्रैक्टल" कनेक्शन: यह गणित की दो अलग-अलग दुनियाओं को जोड़ता है: संख्या सिद्धांत (Number Theory) (संख्याएँ कैसे बनी हैं) और फ्रैक्टल ज्यामिति (Fractal Geometry) (अनंत रूप से जटिल आकार)।
"खराब अनुमान योग्य" (Badly Approximable) रहस्य: गणित में, कुछ संख्याएँ "अनुमान लगाने में कठिन" होती हैं (वे जिद्दी होती हैं और सरल भिन्नों की तरह नहीं दिखतीं), जबकि अन्य "अनुमान लगाने में आसान" होती हैं। यह शोध पत्र सुझाव देता है कि प्रत्येक वास्तविक संख्या को एक "जिद्दी" संख्या और एक "आसान" संख्या के योग के रूप में तोड़ा जा सकता है। यह हमें वास्तविक संख्या रेखा की मौलिक संरचना को समझने में मदद करता है।
योगों का "जादू": यह दिखाता है कि भले ही ये सेट धूल की तरह दिखते हों (इनकी लंबाई शून्य है), लेकिन जब आप इन्हें मिलाते हैं, तो ये ठोस ब्लॉकों में बदल सकते हैं। यह स्क्रीन पर पिक्सेल के समान है—व्यक्तिगत पिक्सेल केवल छोटे बिंदु होते हैं, लेकिन जब आप लाखों को मिलाते हैं, तो आप एक ठोस, चलती-फिरती तस्वीर प्राप्त करते हैं।

सारांश

यह शोध पत्र एक मानचित्र है जो हमें दिखाता है कि विभिन्न "प्रकार" की संख्याओं को मिलाकर एक ठोस, अटूट रेखा कैसे बनाई जाए। यह बताता है कि:

बहुत कम नियम: अंतराल रह जाते हैं।
नियमों का बिल्कुल सही मिश्रण: एक ठोस रेखा मिलती है।
जादुई संख्या: एक विशिष्ट गणितीय दहलीज (threshold) है जहाँ "धूल" अचानक एक "ठोस दीवार" में बदल जाती है।

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने ठीक से यह सिद्ध करने के लिए कि ये संख्या सेट कब और क्यों ब्रह्मांड की वास्तविक संख्याओं को भरने के लिए विलीन होते हैं, एक गणितीय "निर्माण किट" (जिसे मोटाई (thickness) और अंतराल (gaps) कहा जाता है) का उपयोग किया।

यहाँ मैकेन ग्रेवगार्ड और यिंग वाई ली के शोध पत्र "Decomposition of real numbers into sums of Luroth sets" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र लुरोथ सेट्स (Luroth sets) की योगात्मक संरचना (additive structure) की जांच करता है, जो वास्तविक संख्याओं के वे उपसमुच्चय हैं जिन्हें उनके लुरोथ विस्तार (Luroth expansions) पर प्रतिबंधों द्वारा परिभाषित किया जाता है। विशेष रूप से, लेखक इन सेट्स के समसेट्स (sumsets) का अध्ययन करते हैं (जैसे, $L_A + L_B = \{a+b : a \in L_A, b \in L_B\}$ ) और यह निर्धारित करते हैं कि किन परिस्थितियों में ये समसेट्स पूरे वास्तविक रेखा को मोड्यूलो 1 के अंतर्गत कवर करते हैं (अर्थात, $L_A + L_B \equiv \mathbb{R} \pmod 1$ )।

यह कार्य कंटीन्यूड फ्रैक्शन (continued fraction) सिद्धांत के शास्त्रीय परिणामों का एक सीधा समानांतर (analogue) है। कंटिटीन्यूड फ्रैक्शन सेटिंग में, यह ज्ञात है कि सीमित आंशिक भाग (bounded partial quotients) वाले संख्याओं के सेट (जैसे, $F_{\le k}$ ) विशिष्ट स्थितियों के तहत $\mathbb{R} \pmod 1$ को कवर करते हैं (हॉल का प्रमेय, मुख्यका का विस्तार)। लेखक पूछते हैं: क्या लुरोथ विस्तारों के लिए भी इसी प्रकार के अपघटन प्रमेय लागू होते हैं, जो एक भिन्न गतिशील प्रणाली (लुरोथ मैप) द्वारा उत्पन्न होते हैं, लेकिन कंटिटीन्यूड फ्रैक्शंस के समान फ्रैक्टल गुणों को साझा करते हैं?

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

लेखक गतिशील प्रणालियों (dynamical systems), फ्रैक्टल ज्यामिति (fractal geometry), और योगात्मक संख्या सिद्धांत (additive number theory) के संयोजन का उपयोग करते हैं।

सामान्य कैंटर सेट निर्माण (General Cantor Set Construction): लेखक लुरोथ सेट्स ( $L_{\le k}, L_{\ge k}$ , आदि) को सामान्य कैंटर सेट्स (General Cantor Sets) के रूप में मॉडल करते हैं। वे खुले अंतराल को पुनरावृत्ति से हटाने के माध्यम से इन सेट्स को परिभाषित करने के लिए "स्टेपवाइज कम्प्लीट कंस्ट्रक्शन" (SCC) का उपयोग करते हैं। यह उन्हें कैंटर सेट्स के समसेट्स से संबंधित स्थापित प्रमेयों को लागू करने की अनुमति देता है।
थिकनेस (Thickness) और $\gamma$ -मान: एक केंद्रीय उपकरण 'थिकनेस' ( $\tau$ ) और एस्टेल्स द्वारा प्रतिपादित व्युत्पन्न मात्रा $\gamma = \tau / (1+\tau)$ है। लेखक उनके SCC में हटाए गए अंतरालों के अनुपात से बचे हुए अंतरालों के अनुपात का विश्लेषण करके लुरोथ सेट्स की सटीक थिकनेस की गणना करते हैं।
समसेट प्रमेय (Sumset Theorems): वे साहित्य (हॉल, मुख्यका, एस्टेल्स) के प्रमुख प्रस्तावों को लागू करते हैं जो कहते हैं कि यदि दो या अधिक कैंटर सेट्स के $\gamma$ -मानों का योग 1 से अधिक होता है, और अंतराल तथा आकार के संबंध में कुछ ज्यामितीय शर्तें पूरी होती हैं, तो समसेट एक अंतराल (या $\mathbb{R} \pmod 1$ को कवर करता है) को समाहित करता है।
हाउस्डॉर्फ आयाम विश्लेषण (Hausdorff Dimension Analysis): आयाम परिणामों के लिए, लेखक इटरेटेड फंक्शन सिस्टम (IFS) के सिद्धांत और पेरेस-शमिरिन प्रमेय का उपयोग करते हैं, जो मल्टीप्लिकेटिवली इंडिपेंडेंट कॉन्ट्रैक्शन रेश्यो वाले अंडरलिंग IFS के व्यक्तिगत आयामों के योग से समसेट के आयाम को जोड़ता है।

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

A. मोड्यूलो 1 के अंतर्गत सर्वांगसमता (Congruence Modulo 1 - Additive Decomposition)

यह शोध पत्र कई प्रमेय स्थापित करता है जो यह निर्धारित करते हैं कि कब लुरोथ सेट्स के योग $\mathbb{R} \pmod 1$ को कवर करते हैं:

ऊपरी रूप से सीमित अंक ( $L_{\le k}$ ):
- प्रमेय 2.1: सिद्ध करता है कि $L_{\le 3} + L_{\le 5} \equiv \mathbb{R} \pmod 1$ और $L_{\le 4} + L_{\le 4} \equiv \mathbb{R} \pmod 1$ ।
- यह यह भी सिद्ध करता है कि $L_{\le 3} + L_{\le 3} + L_{\le 3} \equiv \mathbb{R} \pmod 1$ ।
- इसके विपरीत, यह सिद्ध करता है कि $L_{\le 3} + L_{\le 3} \not\equiv \mathbb{R} \pmod 1$ (समसेट में अंतराल/गैप्स हैं)।
- अनुमान 2.2: लेखक अनुमान लगाते हैं कि $L_{\le 3} + L_{\le 4} \equiv \mathbb{R} \pmod 1$ , हालांकि यह अभी तक अप्रामाणित है।
निचले रूप से सीमित अंक ( $L_{\ge k}$ ):
- प्रमेय 2.3: $n$ सेट्स $L_{\ge k_i}$ के योग के लिए एक पर्याप्त स्थिति प्रदान करता है जो $\mathbb{R} \pmod 1$ को कवर करता है। इस शर्त में सेट्स के व्यास (diameters) का योग $\ge 1$ होना और बाउंड्स की अनुक्रमिक श्रृंखला $k_i$ का बहुत अधिक फैला हुआ न होना शामिल है।
- उपप्रमेय 2.4: कंटिटीन्यूड फ्रैक्शंस के कुसिक-ली (Cusick-Lee) परिणाम के समानांतर सिद्ध करता है: $k L_{\ge k} \equiv \mathbb{R} \pmod 1$ किसी भी $k \ge 2$ के लिए। इसका अर्थ है कि किसी भी वास्तविक संख्या को $k$ ऐसी संख्याओं के योग के रूप में लिखा जा सकता है जिनके लुरोथ अंक सभी $\ge k$ हैं।
मिश्रित सीमाएँ (Mixed Bounds):
- प्रमेय 2.5: सिद्ध करता है कि $L_{\le k+2} + L_{\ge k} \equiv \mathbb{R} \pmod 1$ ।
- अनुमान 2.6: अधिक मजबूत कथन का सुझाव देता है कि $L_{\le k} + L_{\ge k} \equiv \mathbb{R} \pmod 1$ ।

B. हाउस्डॉर्फ आयाम (Hausdorff Dimension)

यह शोध पत्र इन सेट्स और उनके योग के फ्रैक्टल आयाम का विश्लेषण करता है:

प्रमेय 2.9: अंकों के परिमित सेट्स $A$ और $B$ के लिए, समसेट का हाउस्डॉर्फ आयाम $\dim(L_A + L_B) = \min\{1, \dim L_A + \dim L_B\}$ है। यह अंडरलिंग IFS के कॉन्ट्रैक्शन फैक्टर्स के लॉगरिदमिक रेश्यो की इरैशनैलिटी (irrationality) पर निर्भर करता है।
प्रमेय 2.10: $L_{\ge k}$ के लिए आयाम का निचला स्तर (lower bound) स्थापित करता है:
$\dim L_{\ge k} > \frac{1}{2} + \frac{1}{2 \log(\max\{16, k\})}$
प्रमेय 2.11: सिद्ध करता है कि किसी भी $k$ के लिए, दो ऐसे सेट्स का योग पूर्ण आयाम रखता है: $\dim(L_{\ge k} + L_{\ge k}) = 1$ ।
अनुमान 2.12: प्रस्तावित करता है कि $L_{\ge k} + L_{\ge k}$ वास्तव में धनात्मक लंबाई के एक अंतराल को समाहित करता है (केवल पूर्ण आयाम ही नहीं)।

4. महत्व और प्रभाव (Significance and Impact)

संख्या सिद्धांत और फ्रैक्टल ज्यामिति का मिलन: यह शोध पत्र कंटिटीन्यूड फ्रैक्शंस (एक गैर-रैखिक गतिशील प्रणाली) से लुरोथ विस्तार (एक पीसवाइज लीनियर लेकिन अनंत-खंड वाली गतिशील प्रणाली) तक शास्त्रीय परिणामों को सफलतापूर्वक विस्तारित करता है। यह प्रदर्शित करता है कि कंटिटीन्यूड फ्रैक्शंस में देखी गई समृद्ध योगात्मक संरचना एक अधिक सामान्य घटना है जो विभिन्न अंक-प्रतिबंध प्रणालियों (digit-restriction systems) पर लागू होती है।
फ्रैक्टल सुम्स के लिए नए उपकरण: लुरोथ सेट्स के लिए सटीक थिकनेस ( $\tau$ ) और $\gamma$ -मानों की गणना गैर-समान गैप संरचनाओं वाले सामान्य कैंटर सेट्स के समसेट्स का विश्लेषण करने के लिए एक ठोस ढांचा प्रदान करती है।
वास्तविक संख्याओं का अपघटन: परिणाम पुष्टि करते हैं कि वास्तविक संख्याओं को "प्रतिबंधित" लुरोथ संख्याओं (जैसे, बड़े अंकों या सीमित अंकों वाली संख्याएँ) के योग में विभाजित किया जा सकता है, जो कंटिटीन्यूड फ्रैक्शंस के संदर्भ में बैडली एप्रोक्सिमेबल (badly approximable) या लिओविल (Liouville) संख्याओं के अपघटन के समान है।
खुली समस्याएँ (Open Problems): यह शोध पत्र वर्तमान ज्ञान के विशिष्ट अंतराल (जैसे, $L_{\le 3} + L_{\le 4}$ का मामला) की पहचान करता है और ऐसे अनुमान प्रस्तुत करता है जो फ्रैक्टल सेट्स की योगात्मक कॉम्बिनेटरिक्स (additive combinatorics) में भविष्य के अनुसंधान का मार्गदर्शन करते हैं।

संक्षेप में, यह कार्य लुरोथ सेट्स के योगात्मक गुणों को समझने के लिए एक कठोर आधार प्रदान करता है, जो डायोफेंटाइन सन्निकटन (Diophantine approximation) और संख्या सिद्धांत की समस्याओं को हल करने के लिए फ्रैक्टल ज्यामिति की उन्नत तकनीकों का उपयोग करता है।