Quantitative longest-run laws for partial quotients

यहाँ यिंग वाई ली (Ying Wai Lee) के शोध पत्र "Quantitative Longest-Run Laws for Partial Quotients" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र निरंतर भिन्नों (continued fractions) के आंशिक भाग (partial quotients) के अनुक्रम में दीर्घतम रन (longest runs) के सांख्यिकीय व्यवहार की जांच करता है। एक अपरिमेय संख्या $x \in [0, 1)$ के लिए, यदि $(a_n)_{n \in \mathbb{N}}$ इसके आंशिक भागों का अनुक्रम है, तो लेखक दो प्राथमिक सांख्यिकी (statistics) को परिभाषित करते हैं:

1. निश्चित-प्रतीक दीर्घतम रन ($L_n(x, \lambda)$): पहले $n$ आंशिक भागों के भीतर एक विशिष्ट पूर्णांक मान $\lambda$ के निरंतर रन की अधिकतम लंबाई।
2. अधिकतमीकृत दीर्घतम रन ($R_n(x)$): पहले $n$ आंशिक भागों के भीतर किसी भी पूर्णांक मान के निरंतर रन की अधिकतम लंबाई।

संदर्भ और अंतराल (Context & Gap):

• सोंग और झोउ (2018) तथा वांग और वू के पिछले कार्यों ने इन सांख्यिकी के लिए प्रथम-क्रम लघुगणकीय नियम (first-order logarithmic laws) (सीमा प्रमेय) स्थापित किए थे। विशेष रूप से, उन्होंने दिखाया कि लगभग हर जगह (almost everywhere) $L_n(x, \lambda) \sim \frac{\log n}{2 \log \tau(\lambda)}$ और $R_n(x) \sim \frac{\log n}{2 \log \varphi}$, जहाँ $\tau(\lambda)$ और $\varphi$ विशिष्ट स्थिरांक हैं।
• अंतराल: ये पिछले परिणाम केवल योगात्मक अनुपात (asymptotic ratio/growth rate) का वर्णन करते थे। उन्होंने परिमाणात्मक त्रुटि सीमाएं (quantitative error bounds) या स्पष्ट अभिसरण दरें (convergence rates) प्रदान नहीं की थीं। यह शोध पत्र स्पष्ट दोहरे-लघुगणकीय त्रुटि पदों (double-logarithmic error terms) के साथ अंततः द्वि-पक्षीय योगात्मक सीमाओं (eventual two-sided additive bounds) को स्थापित करके इन नियमों को परिष्कृत करने का लक्ष्य रखता है।

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

लेखक एर्गोडिक थ्योरी (ergodic theory) और गतिक प्रणालियों (dynamical systems) के ढांचे के भीतर, विशेष रूप से गाउस मैप (Gauss map) और गाउस माप (Gauss measure) का उपयोग करते हुए, एक संभाव्यता दृष्टिकोण अपनाते हैं।

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

शोध पत्र पहले एक गणनीय वर्णमाला (countable alphabet) वाले शिफ्ट-इनवेरिएंट सिम्बोलिक प्रोसेस $(\Omega, \mathcal{F}, \mu, T)$ के लिए एक सामान्य प्रमेय (प्रमेय 1) स्थापित करता है। इसका प्रमाण तीन प्रमुख धारणाओं पर आधारित है:

1. परिमाणात्मक मिश्रण (Quantitative Mixing - धारणा 1): प्रणाली को एक अंतराल $g$ द्वारा अलग किए गए आयोजनों (events) के लिए घातांकीय क्षय दर ($\theta^g$) के साथ एक मजबूत मिश्रण स्थिति (mixing condition) को संतुष्ट करना चाहिए। यह अलग किए गए ब्लॉकों को लगभग स्वतंत्र मानने की अनुमति देता है।
2. घातांकीय सिलेंडर अनुमान (Exponential Cylinder Estimates - धारणा 2): एक निश्चित प्रतीक $m^*$ के लिए, उस सिलेंडर सेट का माप जहाँ प्रतीक $k$ बार दोहराया जाता है ($\Delta_k(m^*)$), $c \rho^{-2k}$ के रूप में घातांकीय रूप से कम होना चाहिए।
3. समान योगित सीमा (Uniform Summed Bound - धारणा 3): सभी प्रतीकों पर स्थिर-शब्द (constant-word) सिलेंडरों के मापों का योग भी घातांकीय रूप से कम होना चाहिए।

B. प्रमाण तकनीकें (Proof Techniques)

• ऊपरी सीमाएँ (Upper Bounds): बोरेल-कैन्टेली लेम्मा (Borel-Cantelli Lemma) का उपयोग करके स्थापित की जाती हैं। यह अनुमान लगाकर कि लंबाई $k$ के रन की प्रायिकता क्या है और समय के ऊपर उसका योग करके, लेखक दिखाते हैं कि एक निश्चित सीमा से अधिक लंबे रन केवल परिमित बार (finitely often) होते हैं।
• निम्नतम सीमाएँ (Lower Bounds): पृथक परीक्षणों (separated trials) और मिश्रण धारणा (mixing assumption) के माध्यम से स्थापित की जाती हैं। लेखक मिश्रण स्थिति को संतुष्ट करने के लिए पर्याप्त अंतराल से अलग किए गए स्वतंत्र (या लगभग स्वतंत्र) परीक्षणों का निर्माण करते हैं, जिससे यह सुनिश्चित होता है कि एक निश्चित न्यूनतम लंबाई के रन अनंत बार होते हैं।
• स्केलिंग (Scaling): प्रमाण विविक्त चरणों (discrete steps) के बीच अंतर करने और सभी $n$ के लिए सीमाएं प्राप्त करने के लिए एक डायडिक उप-अनुक्रम ($n_j = 2^j$) का उपयोग करता है।

C. निरंतर भिन्नों के लिए अनुप्रयोग (Application to Continued Fractions)

सामान्य प्रमेय को गाउस प्रणाली (वह गतिक प्रणाली जो निरंतर भिन्न उत्पन्न करती है) पर लागू किया जाता है:

• मिश्रण (Mixing): गाउस मैप ज्ञात रूप से घातांकीय $\psi$-मिक्सिंग है (लेम्मा 1)।
• सिलेंडर अनुमान (Cylinder Estimates): लेखक उन सिलेंडरों के माप के लिए स्पष्ट सीमाएं प्राप्त करते हैं जहाँ एक विशिष्ट अंक $\lambda$, $k$ बार दोहराया जाता है। इसमें अभिसरणों (convergents) के हरों का विश्लेषण और निरंतर भिन्न अंतरालों की ज्यामिति शामिल है (लेम्मा 2 और 3)।
  • एक निश्चित $\lambda$ के लिए, क्षय दर $\tau(\lambda) = \frac{\lambda + \sqrt{\lambda^2+4}}{2}$ द्वारा नियंत्रित होती है।
  • अधिकतमीकृत रन के लिए, क्षय दर $\varphi = \frac{1+\sqrt{5}}{2}$ द्वारा नियंत्रित होती है, जो सबसे संभावित अंक ($\lambda=1$) के अनुरूप है।

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

1. सीमा नियमों का परिमाणात्मक परिशोधन (Quantitative Refinement of Limit Laws): यह शोध पत्र केवल योगात्मक अनुपातों से आगे बढ़कर स्पष्ट द्वि-पक्षीय योगात्मक सीमाओं को प्रदान करता है। यह सिद्ध करता है कि लगभग हर $x$ के लिए, दीर्घतम रन की लंबाई $O(\log \log n)$ के त्रुटि क्रम के साथ लघुगणकीय पद के आसपास केंद्रित होती है।
2. स्पष्ट स्थिरांक (Explicit Constants): यह शोध पत्र सोंग-झोउ और वांग-वू के परिणामों को तीक्ष्ण बनाते हुए स्पष्ट सेंट्रिंग स्थिरांक और $\log \log n$ वाले त्रुटि गुणांक प्राप्त करता है।
3. गणनीय वर्णमाला के लिए सामान्य प्रमेय (General Theorem for Countable Alphabets): प्रमेय 1 मिश्रण स्थितियों के तहत गणनीय वर्णमाला वाले सिस्टम में दीर्घतम रन के विश्लेषण के लिए एक मजबूत टेम्पलेट प्रदान करता है, जो कि अनंत वर्णमाला के मामले में अधिक जटिल है क्योंकि इसमें 'अधिकतमीकृत' सांख्यिकी के लिए समान योगित सीमाओं (धारणा 3) की आवश्यकता होती है।
4. गाउस माप के लिए सत्यापन (Verification for Gauss Measure): शोध पत्र कठोरता से सत्यापित करता है कि गाउस प्रणाली आवश्यक मिश्रण और घातांकीय क्षय स्थितियों को संतुष्ट करती है, जो अमूर्त संभाव्यता सिद्धांत को मीट्रिक संख्या सिद्धांत के साथ जोड़ती है।

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

शोध पत्र निम्नलिखित परिमाणात्मक नियम (प्रमेय 2) सिद्ध करता है:

निश्चित प्रतीक $\lambda$ के लिए:
किसी भी $c > 1/2$ और लगभग हर $x$ के लिए, एक $n_{c,x}$ मौजूद है ताकि सभी $n \geq n_{c,x}$ के लिए:
$$\left| L_n(x, \lambda) - \frac{\log n}{2 \log \tau(\lambda)} \right| \leq c \frac{\log \log n}{\log \tau(\lambda)}$$

अधिकतमीकृत रन के लिए:
किसी भी $c > 1/2$ और लगभग हर $x$ के लिए, एक $n_{c,x}$ मौजूद है ताकि सभी $n \geq n_{c,x}$ के लिए:
$$\left| R_n(x) - \frac{\log n}{2 \log \varphi} \right| \leq c \frac{\log \log n}{\log \varphi}$$

जहाँ:

• $\tau(\lambda) = \frac{\lambda + \sqrt{\lambda^2+4}}{2}$
• $\varphi = \frac{1+\sqrt{5}}{2}$ (स्वर्ण अनुपात/golden ratio)
• त्रुटि पद दोहरे-लघुगणकीय ($\log \log n$) है, जो पिछले गैर-परिमाणात्मक परिणामों की तुलना में काफी अधिक तीक्ष्ण है।

5. महत्व (Significance)

• मीट्रिक संख्या सिद्धांत (Metric Number Theory): ये परिणाम निरंतर भिन्न विस्तारों में अंकों के "निरंतरता" (persistence) की गहरी समझ प्रदान करते हैं। जबकि परिमाण-आधारित सांख्यिकी (जैसे आंशिक भागों की वृद्धि दर) अच्छी तरह से अध्ययन की गई हैं, यह कार्य अंकों के निरंतर दोहराव को परिमाणित करता है।
• गतिक प्रणालियाँ (Dynamical Systems): यह दर्शाता है कि कैसे मात्रात्मक मिश्रण गुण निर्भर, अनंत-वर्णमाला प्रक्रियाओं के लिए सटीक सांख्यिकीय नियमों में परिवर्तित होते हैं।
• पद्धतिगत प्रगति (Methodological Advance): गणनीय वर्णमाला वाले सिस्टम के लिए दोहरे-लघुगणकीय त्रुटि सीमाओं का व्युत्पन्न एक तकनीकी उपलब्धि है, क्योंकि वर्णमाला की अनंत प्रकृति के लिए यह सुनिश्चित करने हेतु सावधानीपूर्वक हैंडलिंग की आवश्यकता होती है कि प्रायिकताओं का योग उचित रूप से अभिसरित हो।
• सार्वभौमिकता (Universality): यह ढांचा सुझाव देता है कि मिश्रण और सिलेंडर अनुमान स्थितियों को संतुष्ट करने वाली अन्य गतिक प्रणालियों के लिए समान परिमाणात्मक नियम निकाले जा सकते हैं, जिससे एर्डोस-रेनी (Erdős–Rényi) प्रकार के नियमों की प्रयोज्यता का विस्तार होता है।