🔢 mathematics

Measure theoretic properties of large products of consecutive partial quotients

यह शोध पत्र उन अपरिमेय संख्याओं के समुच्चयों के लेबेग माप (Lebesgue measure) और हॉसडॉर्फ आयाम (Hausdorff dimension) को निर्धारित करता है, जिनके नियमित सतत भिन्नों (regular continued fractions) में क्रमिक आंशिक भिन्नों (partial quotients) के बड़े गुणनफल प्रदर्शित होते हैं, जो पूर्ववर्ती परिणामों का सामान्यीकरण करता है और यह प्रदर्शित करता है कि अधिकतम ब्लॉक को हटाने के बाद भी ऐसे गुणनफलों के लिए एक प्रबल बड़े संख्याओं के नियम (strong law of large numbers) की असंभवता सिद्ध होती है।

मूल लेखक: Adam Brown-Sarre, Gerardo González Robert, Mumtaz Hussain

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

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

CC BY 4.0

मूल लेखक: Adam Brown-Sarre, Gerardo González Robert, Mumtaz Hussain

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

कल्पना कीजिए कि आपके पास एक जादुई संख्या मशीन है जो किसी भी अपरिमेय संख्या (जैसे $\pi$ या $\sqrt{2}$ ) को लेता है और उसे पूर्ण संख्याओं (whole numbers) के एक कभी न खत्म होने वाले क्रम में तोड़ देता है। इन संख्याओं को पार्शियल कोटिएंट्स (partial quotients) कहा जाता है। इन्हें आप इन संख्याओं के "सामग्री" या "अंकों" के रूप में सोच सकते हैं, लेकिन यहाँ ये सिर्फ 0-9 तक सीमित नहीं हैं, बल्कि ये कोई भी धनात्मक पूर्णांक (1, 2, 100, 1,000,000 आदि) हो सकते हैं।

उदाहरण के लिए, इस प्रणाली में $\pi$ का रूप कुछ ऐसा दिखता है:
$3, 7, 15, 1, 292, 1, 1, 1, 2, \dots$

ज्यादातर समय, ये सामग्रियाँ छोटी होती हैं। लेकिन कभी-कभी, मशीन एक विशाल (giant) संख्या बाहर निकालती है।

मुख्य प्रश्न: दिग्गज (Giants) कितनी बार दिखाई देते हैं?

गणितज्ञों ने लंबे समय से अध्ययन किया है कि ये विशाल संख्याएँ कितनी बार आती हैं।

पुराना नियम: यदि आप एकल विशाल संख्याओं (जैसे ऊपर दिए गए उदाहरण में केवल 292) को देखते हैं, तो उनके आने की आवृत्ति के लिए एक स्पष्ट नियम है।
नया मोड़: यह शोध पत्र कुछ अधिक जटिल चीज़ों पर केंद्रित है: समूहों (groups) के समूह। केवल एक विशाल संख्या को खोजने के बजाय, लेखक पूछते हैं: "हमें दो अलग-अलग समूहों के रूप में विशाल संख्याएँ कितनी बार मिलती हैं जो दोनों ही बहुत बड़ी हैं?"

कल्पना कीजिए कि आप लोगों की एक लंबी कतार देख रहे हैं।

परिदृश्य A: आपको 7 फीट लंबा एक व्यक्ति मिलता है।
परिदृश्य B: आपको अपने बगल में खड़े लोगों के दो अलग-अलग समूह मिलते हैं, जहाँ पहले समूह की कुल ऊँचाई बहुत अधिक है, और दूसरे समूह की कुल ऊँचाई भी बहुत अधिक है।

यह शोध पत्र परिदृश्य B पर ध्यान केंद्रित करता है। विशेष रूप से, यह $\ell$ (एक विशिष्ट संख्या) के समूहों को देखता है। यह पूछता है: "हमें ऐसे दो समूह कितनी बार मिलते हैं, जो एक निश्चित दूरी पर स्थित हों, और जिनमें से दोनों का 'कुल आकार' (संख्याओं का गुणनफल) एक निश्चित सीमा से अधिक हो?"

दो मुख्य खोजें

लेखकों ने "डबल जाइंट ग्रुप्स" (दोहरे विशाल समूहों) से जुड़े दो बड़े पहेलियों को हल किया।

1. "आवृत्ति" की पहेली (लेबेग माप - Lebesgue Measure)

वे जानना चाहते थे कि: यदि आप वास्तविक संख्या रेखा से एक यादृच्छिक (random) संख्या चुनते हैं, तो क्या संभावना है कि उसमें ये दोहरे विशाल समूह होंगे?

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

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

2. "आकार" की पहेली (हौdorff आयाम - Hausdorff Dimension)

भले ही "विशेष" संख्याएँ दुर्लभ हों (प्रायिकता 0), फिर भी वे एक जटिल, विस्तृत पैटर्न बना सकती हैं। गणितज्ञ इस सेट की "खुरदरापन" या "जटिलता" को मापने के लिए हौdorff आयाम (Hausdorff dimension) नामक अवधारणा का उपयोग करते हैं।

एक सीधी रेखा का आयाम 1 होता है।
एक एकल बिंदु का आयाम 0 होता है।
एक फ्रैक्टल (जैसे स्नोफ्लेक) का आयाम 1.5 हो सकता है।

लेखकों ने गणना की कि उन संख्याओं के सेट का सटीक "जटिलता स्कोर" (आयाम) क्या है जिनमें ये दोहरे विशाल समूह होते हैं।

परिणाम: उन्होंने एक विशिष्ट सूत्र पाया (जिसमें एक फलन शामिल है जिसे वे $g(s)$ कहते हैं) जो आपको बताता है कि यह सेट कितना "फ्रैक्टल" है।
आश्चर्य: 3 संख्याओं के समूहों ( $\ell=3$ ) के लिए, सूत्र काफी जटिल है, जिसमें एक विशिष्ट क्यूबिक समीकरण शामिल है। यह पहली बार है जब 3 के समूहों के लिए इस विशिष्ट जटिलता की गणना की गई है।

"सबसे बड़ा दिग्गज" आश्चर्य

इस शोध पत्र का एक सबसे दिलचस्प हिस्सा सांख्यिकी के एक प्रसिद्ध विचार से संबंधित है जिसे बड़ी संख्याओं का नियम (Law of Large Numbers) कहा जाता है। यह नियम आमतौर पर कहता है कि यदि हम यादृच्छिक संख्याओं के एक समूह का औसत निकालते हैं, तो परिणाम अनुमानित (predictable) हो जाता है।

हालाँकि, ये "पार्शियल कोटिएंट" संख्याएँ अनियंत्रित हैं। इनमें बहुत बड़े उछाल (spikes) आते हैं।

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

सरल भाषा में सारांश

यह शोध पत्र अपरिमेय संख्याओं की "अनियंत्रित प्रकृति" की एक गहरी पड़ताल है।

यह नियमों का मानचित्र बनाता है: यह हमें बताता है कि हम किसी यादृच्छिक संख्या के अनंत क्रम में दो विशाल, क्रमिक समूहों को कब और कैसे उम्मीद कर सकते हैं।
यह अराजकता को मापता है: यह उस सेट की सटीक ज्यामितीय जटिलता की गणना करता है जो इस तरह व्यवहार करते हैं।
यह एक नियम को तोड़ता है: यह सिद्ध करता है कि यदि आप सबसे बड़े आउटलायर (outlier) को भी हटा दें, तो भी इन संख्याओं का औसत व्यवहार अराजक और अप्रत्याशित बना रहता है।

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने इन "ओवरलैपिंग" मामलों को संभालने के लिए नए गणितीय उपकरण बनाए जिन्हें पिछले शोधकर्ता हल नहीं कर सके, जिससे किसी भी आकार के समूहों के लिए एक पूर्ण चित्र प्राप्त हुआ।

"Measure Theoretic Properties of Large Products of Consecutive Partial Quotients" का तकनीकी सारांश

समस्या विवरण (Problem Statement)
यह शोध पत्र उन अपरिमेय संख्याओं (irrational numbers) के समुच्चयों के मापन-सैद्धांतिक (measure-theoretic) और फ्रैक्टल गुणों की जांच करता है, जो उनके नियमित निरंतर भिन्न (continued fraction) विस्तारों में क्रमागत आंशिक भिन्नों (partial quotients) के गुणनफलों के व्यवहार द्वारा परिभाषित होते हैं। विशेष रूप से, एक गैर-घटते फलन $\phi: \mathbb{N} \to \mathbb{R}_{\ge 2}$ और एक निश्चित पूर्णांक $\ell \ge 1$ के लिए, लेखक $F_\ell(\phi)$ नामक समुच्चय का अध्ययन करते हैं, जिसमें वे अपरिमेय संख्याएँ $x \in [0,1)$ शामिल हैं जिनके लिए अनंत रूप से कई $n$ के लिए, दो भिन्न अनुक्रमों $1 \le j < k \le n$ का अस्तित्व होता है जहाँ $j$ से शुरू होने वाले $\ell$ क्रमागत आंशिक भिन्नों का गुणनफल और $k$ से शुरू होने वाले $\ell$ क्रमागत आंशिक भिन्नों का गुणनफल दोनों $\phi(n)$ से अधिक होते हैं:
$a_j(x)\cdots a_{j+\ell-1}(x) \ge \phi(n) \quad \text{तथा} \quad a_k(x)\cdots a_{k+\ell-1}(x) \ge \phi(n).$
यह समस्या एकल आंशिक भिन्नों ( $E_1(\phi)$ ) और दो क्रमागत भिन्नों के गुणनफल ( $E_2(\phi)$ ) पर आधारित पिछले कार्यों, साथ ही दो बड़े ब्लॉकों ( $F_1(\phi)$ और $F_2(\phi)$ ) के अस्तित्व से संबंधित हालिया परिणामों का विस्तार करती है। मुख्य चुनौती $\ell \ge 2$ के लिए $F_\ell(\phi)$ के लेबेग माप (Lebesgue measure) और हॉसडॉर्फ आयाम (Hausdorff dimension) को निर्धारित करना है, विशेष रूप से क्रमागत आंशिक भिन्नों के ओवरलैपिंग (overlapping) ब्लॉकों से उत्पन्न होने वाली जटिल अंतःक्रियाओं को संभालना है।

कार्यप्रणाली (Methodology)
लेखक एर्गोडिक थ्योरी (ergodic theory), निरंतर भिन्न गतिकी (continued fraction dynamics) और विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) के संयोजन का उपयोग करते हैं।

लेबेग माप विश्लेषण (Lebesgue Measure Analysis):
- अभिसरण मामला (Convergence Case): यह सिद्ध करने के लिए कि जब एक विशिष्ट श्रेणी अभिसरित होती है तो $m(F_\ell(\phi)) = 0$ होता है, लेखक बोरेल-कैंटीली लेम्मा (Borel-Cantelli Lemma) का उपयोग करते हैं। वे चरण $n$ पर स्थिति के सत्य होने वाले समुच्चयों के माप का अनुमान लगाने के लिए समस्या को $\ell$ लंबाई के दो ब्लॉकों के बीच की दूरी के आधार पर विभाजित करते हैं।
- अपसरण मामला (Divergence Case): यह सिद्ध करने के लिए कि जब श्रेणी अपसरित होती है तो $m(F_\ell(\phi)) = 1$ होता है, वे लिमसप (limsup) समुच्चय के माप के लिए निचली सीमा स्थापित करने हेतु चुंग-एर्दोस असमानता (Chung-Erdős inequality) का उपयोग करते हैं। एक महत्वपूर्ण चरण यह दिखाना है कि यह समुच्चय प्रत्येक मौलिक अंतराल (fundamental interval) के एक बड़े भाग को प्रतिच्छेद करता है, जिससे नॉप्स लेम्मा (Knopp's Lemma) का अनुप्रयोग संभव हो पाता है।
- मुख्य तकनीकी उपकरण: प्रमाण मुख्य रूप से ओवरलैपिंग ब्लॉकों के उत्पादों वाले श्रेणियों के लिए नए अनुमानों पर निर्भर करता है। प्रमेय 3.4 उत्पाद बाधाओं के अधीन $\sum \frac{1}{a_1^2 \cdots a_r^2 b_1^2 \cdots b_j^2 c_1^2 \cdots c_r^2}$ के रूप में योगों के लिए विषम (asymptotic) सीमाओं को प्रदान करता है, जो $0 $से$ \ell-1$ तक की ओवरलैप लंबाई की संयोजी जटिलता (combinatorial complexity) को ध्यान में रखता है।
हॉसडॉर्फ आयाम विश्लेषण (Hausdorff Dimension Analysis):
- लेखक गॉस मैप $T$ के थर्मोडायनामिक फॉर्मलिज्म (thermodynamic formalism) का उपयोग करते हैं। आयाम को दबाव फलन (pressure function) $P(T, \psi)$ के माध्यम से अभिलक्षित किया जाता है, जहाँ विभव (potential) $\psi$ , $\phi$ की वृद्धि दर (जिसे $B_\phi$ द्वारा दर्शाया गया है) और आयाम पैरामीटर $s$ पर निर्भर करता है।
- निचली सीमा (Lower Bound): आंशिक भिन्नों पर विशिष्ट प्रतिबंधों के साथ $F_\ell(\phi)$ के भीतर एक कैंटर-जैसे (Cantor-like) उपसमुच्चय $S_\ell$ को परिभाषित करके इसका निर्माण किया जाता है। मास डिस्ट्रीब्यूशन प्रिंसिपल (Mass Distribution Principle) को लागू किया जाता है, और आयाम को ब्लॉकों के बीच वृद्धि दरों के वितरण का प्रतिनिधित्व करने वाले मापदंडों $(x,y)$ के एक परिवार पर अधिकतम किया जाता है।
- ऊपरी सीमा (Upper Bound): $F_\ell(\phi)$ के कुशल आवरण (covers) का निर्माण करके इसे स्थापित किया जाता है। सेट को दो बड़े गुणनफल ब्लॉकों के बीच ओवरलैप की लंबाई (जैसे, कोई ओवरलैप नहीं, लंबाई 1 का ओवरलैप, आदि) के आधार पर विभाजित किया जाता है। प्रत्येक उपसमुच्चय के लिए, लेखक लेम्मा 3.9 और लेम्मा 3.10 से प्राप्त अनुमानों का उपयोग करते हुए, $s$ -आयामी हॉसडॉर्फ माप के ऊपरी बंधों को प्राप्त करते हैं।

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

लेबेग माप परिणामों का सामान्यीकरण (प्रमेय 1.5):
यह शोध पत्र किसी भी $\ell \ge 2$ के लिए $F_\ell(\phi)$ के लेबेग माप को निर्धारित करता है। माप 0 या 1 होता है, जो इस श्रेणी के अभिसरण या अपसरण पर निर्भर करता है:
$\sum_{n=1}^\infty \left( \frac{n \log^{2(\ell-1)} \phi(n)}{\phi^2(n)} + \frac{\log^{\ell-2} \phi(n)}{\phi(n)} \right).$
पहला पद गैर-ओवरलैपिंग ब्लॉकों के अनुरूप है, जबकि दूसरा पद ओवरलैपिंग ब्लॉकों के प्रभाव को दर्शाता है। यह प्रमेय 1.3 ( $\ell=1$ ) और प्रमेय 1.4 ( $\ell=2$ ) का सामान्यीकरण है।
$\ell=3$ के लिए हॉसडॉर्फ आयाम की गणना (प्रमेय 1.10):
लेखक $F_3(\phi)$ के हॉसडॉर्फ आयाम की स्पष्ट गणना करते हैं। $1 < B_\phi < \infty$ के लिए, आयाम दिया गया है:
$\dim_H F_3(\phi) = \inf \{ s \ge 0 : P(T, -g(s)\log B_\phi - s \log |T'|) \le 0 \},$
जहाँ $g(s) = \frac{3s^3 - 5s^2 + 4s - 1}{s^2 - s + 1}$ है। यह परिणाम $\ell=1$ और $\ell=2$ के ज्ञात सूत्रों का विस्तार करता है।
सांख्यिकीय नियमों (Strong Laws of Large Numbers) के निहितार्थ:
माप परिणाम का एक परिणाम यह है कि यदि सबसे बड़े उत्पाद वाले ब्लॉक को हटा भी दिया जाए, तो भी क्रमागत $\ell$ आंशिक भिन्नों के गुणनफलों के लिए सांख्यिकीय नियम विफल हो जाता है। विशेष रूप से, लगभग सभी $x$ के लिए, सामान्यीकृत योग (अधिकतम पद को घटाकर) का लिमिट सुपीरियर (limit superior) अनंत होता है।

महत्व और दावे (Significance and Claims)
शोध पत्र का दावा है कि प्रमेय 1.5 किसी भी $\ell$ के लिए आंशिक भिन्नों के गुणनफलों के योगों के लिए बड़े नियमों (laws of large numbers) के विस्तार की दिशा में एक "महत्वपूर्ण कदम" है। लेखक अनुमान लगाते हैं कि इन मापन-सैद्धांतिक उपकरणों के साथ, वे यह सिद्ध कर सकते हैं कि लगभग सभी $x$ के लिए:
$\lim_{n \to \infty} \frac{1}{n \log^\ell n} \left( \sum_{j=1}^n a_j(x)\cdots a_{j+\ell-1}(x) - \max_{1 \le k \le n} a_k(x)\cdots a_{k+\ell-1}(x) \right) = \frac{1}{\ell \log 2}.$
लेखक यह भी नोट करते हैं कि प्रमेय 1.10 के लिए प्रमाण तकनीकें $\ell \ge 4$ के लिए $\dim_H F_\ell(\phi)$ की गणना करने के लिए अनुकूलनीय प्रतीत होती हैं, हालांकि वे इस शोध पत्र में विभव (potential) के लिए स्पष्ट पुनरावर्ती सूत्र (recursive formula) प्रदान नहीं करते हैं। यह कार्य निरंतर भिन्नों में बड़े गुणनफलों के सांख्यिकीय व्यवहार को समझने के लिए एक आधारभूत कदम के रूप में प्रस्तुत किया गया है, जो हॉसडॉर्फ आयाम के माध्यम से शून्य समुच्चयों (null sets) के बीच अंतर करता है और कुछ सांख्यिकीय नियमों की असंभवता को स्थापित करता है।