🔢 mathematics

Asymptotic statistics for finite continued fractions with restricted digits

यह शोध पत्र परिमित निरंतर भिन्नों (finite continued fractions) से जुड़े सीमित-प्रकार के फ्रैक्टल समुच्चयों के $\epsilon$ -मोटाई (thickness) के आकार के लिए स्पर्शोन्मुख अनुमान (asymptotic estimates) प्रस्तुत करता है, जो ज़रेम्बा की परिकल्पना (Zaremba's conjecture) पर एक औसत परिप्रेक्ष्य प्रदान करता है और इन परिणामों को काल्पनिक द्विघातीय क्षेत्रों (imaginary quadratic fields) पर जटिल निरंतर भिन्नों तक विस्तारित करता है।

मूल लेखक: Jungwon Lee

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

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

CC BY 4.0

मूल लेखक: Jungwon Lee

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

मुख्य चित्र: "ज़रेम्बा" (Zaremba) की पहेली

कल्पना कीजिए कि आपके पास एक विशाल मशीन है जो किसी भी भिन्न (जैसे $3/7$ या $12/19$ ) को एक विशेष कोड में बदल देती है जिसे कंटीन्यूड फ्रैक्शन (Continued Fraction) कहा जाता है।

एक सामान्य भिन्न $3/7$ जैसा दिखता है।
इसका कंटिन्यूड फ्रैक्शन कोड एक रेसिपी की तरह दिखता है: $[0; 2, 3, 3]$ ।
इस रेसिपी के नंबरों ($2, 3, 3$) को "डिजिट्स" (digits) या "सामग्री" (ingredients) कहा जाता है।

रहस्य (ज़रेम्बा का अनुमान - Zaremba's Conjecture):
1971 में, एक गणितज्ञ ने ज़रेम्बा ने एक सरल लेकिन जिद्दी सवाल पूछा था:

"यदि मैं एक बहुत बड़ी संख्या $N$ (भिन्न का निचला हिस्सा) चुनता हूँ, तो क्या मैं हमेशा एक ऊपरी संख्या $a$ ढूंढ सकता हूँ ताकि $a/N$ की रेसिपी में केवल छोटी सामग्री का उपयोग हो?"

उदाहरण के लिए, क्या हम हमेशा एक ऐसा भिन्न ढूंढ सकते हैं जिसका हर (denominator) $N$ हो, जहाँ की रेसिपी में केवल 1, 2, 3, 4 और 5 का उपयोग किया गया हो? ज़रेम्बा ने अनुमान लगाया कि यह हाँ है, और एक सार्वभौमिक "छोटी सीमा" (जैसे 5) है जो हर संख्या $N$ के लिए काम करती है।

समस्या:
प्रत्येक संख्या $N$ के लिए इसे सिद्ध करना अविश्वसनीय रूप से कठिन है। यह एक विशाल शहर में हर एक घर के लाल दरवाज़े होने को सिद्ध करने जैसा है। आप बस एक अजीब से घर पर अटक सकते हैं।

लेखक का दृष्टिकोण: "धुंधला लेंस" (The Foggy Lens)

हर घर में लाल दरवाज़ा है या नहीं, यह सिद्ध करने के बजाय, जंगवोन ली (Jungwon Lee) ने एक "धुंधले लेंस" के माध्यम से शहर को देखने का निर्णय लिया।

गणित में, इसे "औसत अर्थ" (averaging sense) कहा जाता है।

पुराना तरीका: "क्या घर #1 में लाल दरवाज़ा है? क्या घर #2 में है? क्या घर #3 में है?" (बहुत धीमा, बहुत कठिन)।
ली का तरीका: "यदि मैं घरों के एक पूरे पड़ोस को देखता हूँ, तो लाल दरवाज़ों की औसत संख्या क्या है?"

ली का पेपर यह सिद्ध नहीं करता कि हर संख्या के लिए क्या होता है। इसके बजाय, वह सिद्ध करता है कि यदि आप एक "मोटा किया गया" (thickened) पड़ोस देखते हैं (संख्याओं का एक समूह जो एक-दूसरे के करीब है), तो गणित पूरी तरह से काम करता है। यह कहने जैसा है कि, "हम यह गारंटी नहीं दे सकते कि हर घर में लाल दरवाज़ा है, लेकिन यदि आप एक पूरे ब्लॉक को देखते हैं, तो लाल दरवाज़े हर जगह मौजूद हैं।"

उपकरण: "जादुई मशीन" (Transfer Operators)

यह करने के लिए, ली एक परिष्कृत गणितीय उपकरण का उपयोग करते हैं जिसे ट्रांसफर ऑपरेटर (Transfer Operator) कहा जाता है। आइए इसे एक जादुई मशीन के रूप में कल्पना करें जो भिन्नों को तोड़ने की प्रक्रिया का अनुकरण (simulate) करती है।

फ्रैक्टल गार्डन (The Fractal Garden):
एक गार्डन की कल्पना करें जहाँ हर पौधा एक विशिष्ट प्रकार की रेसिपी (केवल छोटी सामग्री का उपयोग करने वाले) वाले नंबर का प्रतिनिधित्व करता है। यह गार्डन एक फ्रैक्टल (fractal) है—एक ऐसा आकार जो वैसा ही दिखता है चाहे आप कितना भी ज़ूम इन करें।

इस गार्डन के आकार को हौसडॉर्फ आयाम (Hausdorff Dimension) (जिसे हम "गार्डन का आकार" कह सकते हैं) द्वारा मापा जाता है।
यदि गार्डन का आकार पर्याप्त बड़ा है, तो इसका मतलब है कि छोटी सामग्री वाले नंबरों की संख्या बहुत अधिक है।

मशीन का काम:
ट्रांसफर ऑपरेटर एक ऐसी मशीन है जो यह गिनती है कि जैसे-जैसे आप ज़ूम आउट करते हैं, गार्डन में कितने पौधे हैं। यह इन नंबरों के पैटर्न को पकड़ने के लिए एक विशेष "आवृत्ति" (frequency) (जैसे रेडियो डायल) का उपयोग करती है।

ली इस मशीन को "स्पेक्ट्रल गैप" (spectral gap) को देखने के लिए ट्यून करते हैं। इसे मशीन की "सिग्नल" (वे नंबर जिन्हें हम चाहते हैं) और "शोर" (रैंडम कचरा) के बीच अंतर करने की क्षमता के रूप में समझें।
पेपर सिद्ध करता है कि इस मशीन में एक बहुत मजबूत सिग्नल है, जिसका अर्थ है कि "गार्डन" घना है और उन नंबरों से भरा है जिन्हें हम खोज रहे हैं।

जटिल मोड़: "3D गार्डन"

पेपर एक कठिन संस्करण को भी संबोधित करता है: कॉम्प्लेक्स कंटिन्यूड फ्रैक्शंस (Complex Continued Fractions)।

वास्तविक संख्याएँ (Real Numbers): एक सीधी रेखा पर चलने जैसा (1D)।
जटिल संख्याएँ (Complex Numbers): एक कागज़ की शीट पर चलने जैसा (2D)।

ज़रेम्बा का प्रश्न यहाँ भी लागू होता है: "क्या हम छोटी सामग्री वाले जटिल भिन्न ढूंढ सकते हैं?"
ली दिखाते हैं कि वही "जादुई मशीन" इस 2D दुनिया में भी काम करती है। गार्डन बड़ा है (क्योंकि यह 2D है), लेकिन तर्क वही रहता है। मशीन सिद्ध करती है कि इस जटिल, 3D जैसी दुनिया में भी, जब आप औसत देखते हैं, तो "लाल दरवाज़े" (छोटी सामग्री) प्रचुर मात्रा में हैं।

"स्मूथिंग" (Smoothing) की ट्रिक

शीर्षक में "प्रोबेबिलिस्टिक स्मूथिंग" (Probabilistic Smoothing) का उल्लेख है। यहाँ सबसे अच्छा उदाहरण है:

कल्पना कीजिए कि आप एक शहर में नीली टोपी पहनने वाले लोगों की संख्या गिनने की कोशिश कर रहे हैं।

कठिन तरीका: आप हर व्यक्ति को रोकते हैं और पूछते हैं, "क्या आपने नीली टोपी पहनी है?" (यह सटीक है, लेकिन धीमा है और एक व्यक्ति को भी चूक सकता है)।
स्मूथिंग वाला तरीका: आप पूरे शहर की एक वाइड-एंगल फोटो लेते हैं। आप हर एक टोपी को पूरी तरह से नहीं गिन सकते, लेकिन आप नीले रंग का एक धुंधलापन (blur) देख सकते हैं।
- ली नंबरों के चारों ओर एक "धुंध" (एक सहायक प्रायिकता स्थान/auxiliary probability space) बनाते हैं।
- वह सिद्ध करते हैं कि इस धुंध के भीतर, गणित एकदम सटीक है।
- क्योंकि यह धुंध बहुत ही सूक्ष्म (पेपर में उल्लेखित "एप्सिलॉन" या $\epsilon$ ) है, इसलिए धुंध का परिणाम सटीक नंबरों के परिणाम के लगभग समान ही होता है।

निष्कर्ष: हमने क्या सीखा?

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

संक्षेप में: जंगवोन ली ने हर घास के ढेर में सुई नहीं ढूंढी। इसके बजाय, उन्होंने सिद्ध किया कि यदि आप घास के ढेरों के एक पूरे खेत को देखते हैं, तो सुइयाँ इतनी अधिक और इतनी अच्छी तरह से वितरित हैं कि आप उन्हें मिस नहीं कर सकते। यह इस बात का पुख्ता प्रमाण देता है कि ज़रेम्बा का मूल अनुमान संभवतः सही था।

यहाँ जंगवोन ली (Jungwon Lee) के शोध पत्र "Asymptotic Statistics for Finite Continued Fractions with Restricted Digits" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र ज़ारेम्बा के अनुमान (Zaremba's Conjecture) को संबोधित करता है, जो डायोफेंटाइन सन्निकटन (Diophantine approximation) की एक केंद्रीय समस्या है। यह अनुमान लगाता है कि किसी भी पूर्णांक $N$ के लिए, एक पूर्णांक $a$ मौजूद होता है जो $N$ के साथ सह-अभाज्य (coprime) है, ताकि परिमेय संख्या $a/N$ के सतत भिन्न (continued fraction) विस्तार के सभी आंशिक भाग (अंक) एक पूर्ण स्थिरांक $A$ द्वारा सीमित हों।

मुख्य चुनौती: हालांकि यह अनुमान कथन में सरल है, लेकिन विशिष्ट $N$ के लिए इसे सिद्ध करना कठिन है। पिछले प्रगति (जैसे बोर्गेन-कोंटोरोविच) ने भारी विश्लेषणात्मक यंत्रों (circle method, thin group orbits) का उपयोग करके "लगभग प्रत्येक" $N$ के लिए $A=50$ हेतु इस अनुमान को स्थापित किया।
पुनर्गठन: लेखक इस समस्या को वास्तविक संख्याओं के उस फ्रैक्टल सेट $E_A$ $E_{A}$ के हाउस्फडॉर्फ आयाम ( $\delta_A$ $δ_{A}$ ) का उपयोग करके पुनर्गठित करता है जिनके सतत भिन्न अंक सभी $\le A$ $\leq A$ हैं।
- मान लीजिए $\Sigma_{N,A}$ सीमित अंकों वाले परिमेय $a/N$ का सेट है।
- मान लीजिए $\Omega_{N,A}$ उन परिमेय $a/n$ का सेट है जहाँ $n \le N$ और अंक सीमित हैं।
- अनुमान 1.3 सुझाव देता है कि $|\Sigma_{N,A}| \sim N^{2\delta_A - 1}$ (प्राइम $N$ के लिए)।
अंतराल (The Gap): मौजूदा सीमाएँ (जैसे मोशकोविटिन-मर्फी-शक््रेडोव) अनुमानित $2\delta_A - 1$ से थोड़े बड़े घातांक प्रदान करती हैं। यह शोध पत्र गतिशील प्रणालियों (dynamical systems) के तरीकों का उपयोग करके इन स्पर्शोन्मुख अनुमानों (asymptotic estimates) को परिष्कृत करने का लक्ष्य रखता है।

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

लेखक ट्रांसफर ऑपरेटर्स (Transfer Operators) और स्पेक्ट्रल सिद्धांत (Spectral Theory) पर आधारित एक गतिक दृष्टिकोण (dynamical approach) का उपयोग करता है, जो बालाडी-वैली और ली-सन के ढांचे का विस्तार करता है। कार्यप्रणाली के चार मुख्य स्तंभ हैं:

A. प्रतिबंधित ट्रांसफर ऑपरेटर्स (Constrained Transfer Operators)

यह अध्ययन गॉस मैप $T(x) = \{1/x\}$ (और इसके जटिल एनालॉग) का उपयोग करता है। लेखक $\le A$ वाले अंकों के अनुरूप व्युत्क्रम शाखाओं (inverse branches) के एक परिमित सेट तक सीमित $\mathcal{L}_{s,w,A}$ ट्रांसफर ऑपरेटर्स को परिभाषित करता है।

स्पेक्ट्रल गुण: ये ऑपरेटर्स $C^1$ $C^{1}$ फलन स्थानों (function spaces) पर कार्य करते हैं। प्रमुख गुणों में शामिल हैं:
- क्वासी-कॉम्पैक्टनेस (Quasi-compactness): एक अद्वितीय सरल प्रभावी आइगेनवैल्यू $\lambda_{s,w,A}$ का अस्तित्व।
- विश्लेषिकता (Analyticity): आइगेनवैल्यू और आइगेनफंक्शन, हाउस्फडॉर्फ आयाम $\delta_A$ के पास के मापदंडों पर विश्लेषणात्मक रूप से निर्भर करते हैं।
- डोलोग्पट अनुमान (Dolgopyat Estimates): स्पेक्ट्रल पैरामीटर के बड़े काल्पनिक भागों के लिए रिजॉलवेंट नॉर्म $\|(I - \mathcal{L})^{-1}\|$ का एकसमान बहुपद क्षय। यह त्रुटि पदों (error terms) को नियंत्रित करने के लिए अत्यंत महत्वपूर्ण है।

B. जटिल फलन विश्लेषण (Tauberian Theorems)

लेखक एक डिरिचलेट श्रेणी $L(s,w) = \sum d_n(w) n^{-s}$ का निर्माण करता है, जहाँ $d_n(w)$ विशिष्ट गुणों वाले परिमेय संख्याओं की गणना करता है।

इम्प्लिसिट फंक्शन थ्योरम का उपयोग करते हुए, एक पोल (pole) $s_0(w)$ की पहचान की जाती है जहाँ प्रभावी आइगेनवैल्यू $\lambda_{s_0(w), w, A} = 1$ होता है।
पेरॉन का सूत्र (Perron's Formula): डिरिचलेट श्रेणी को उलटने के लिए एक ट्रंकेटेड पेरॉन सूत्र (त्रुटि अनुमानों के साथ) लागू किया जाता है। यह $L(s,w)$ के विश्लेषणात्मक गुणों (विशेष रूप से पोल $s_0(w)$ के स्थान) को गणना फलन $\sum_{n \le N} d_n(w)$ के लिए स्पर्शोन्मुख सांख्यिकी में परिवर्तित करता है।

C. संभाव्य स्मूथिंग प्रक्रिया (Probabilistic Smoothing Process)

एक महत्वपूर्ण तकनीकी बाधा यह है कि पेरॉन के सूत्र के माध्यम से प्राप्त स्पर्शोन्मुख सूत्र संचयी योग $\Omega_{N,A}$ (सभी $n \le N$ ) पर लागू होता है, न कि सटीक सेट $\Sigma_{N,A}$ (जहाँ $n=N$ ) पर।

इस अंतर को पाटने के लिए, लेखक एक सहायक संभाव्यता स्थान (auxiliary probability space) $\Sigma_{N,A}(\epsilon)$ पेश करता है, जो $\Sigma_{N,A}$ का एक " $\epsilon$ -थिकनिंग" (thickening) है।
इस सेट में वे परिमेय संख्याएँ शामिल हैं जिनके हर (denominators) $[N - \lfloor N\epsilon \rfloor, N]$ की सीमा में हैं।
$\Psi_w(N) - \Psi_w(N - \lfloor N\epsilon \rfloor)$ का विश्लेषण करके, लेखक इस "थिकन्ड" सेट के लिए स्पर्शोन्मुख व्यवहार प्राप्त करता है।

D. जटिल सतत भिन्नों का सामान्यीकरण (Generalization to Complex Continued Fractions)

इस कार्यप्रणाली को काल्पनिक द्विघाती क्षेत्रों (imaginary quadratic fields) $\mathbb{Q}(\sqrt{-d})$ के लिए, जहाँ $d \in \{1, 2, 3, 7, 11\}$ , विस्तारित किया गया है।

गॉस मैप को हर्ट्ज़ के एल्गोरिदम का उपयोग करके जटिल डोमेन में सामान्यीकृत किया गया है।
जटिल अंकों की गैर-तुच्छ स्वीकार्यता शर्तों को संभालने के लिए मार्कोव विभाजन (Markov partition) पर ट्रांसफर ऑपरेटर्स को परिभाषित किया गया है।
स्पेक्ट्रल गैप और डोलोग्पट अनुमानों को इस उच्च-आयामी सेटिंग में अनुकूलित किया गया है।

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

वास्तविक सतत भिन्नों के लिए मुख्य प्रमेय (Theorem 1.4)

लेखक एक सहायक सेट $\Sigma_{N,A}(\epsilon)$ के अस्तित्व को सिद्ध करता है कि:
$\Sigma_{N,A} \subset \Sigma_{N,A}(\epsilon) \subset \Omega_{N,A}$
और इस सेट का आकार निम्नलिखित स्पर्शोन्मुख अनुमान को संतुष्ट करता है:
$|\Sigma_{N,A}(\epsilon)| \sim N^{2\delta_A - \eta}$
जहाँ $0 < \eta < 1$ है।

महत्व: यह घातांक को सामान्यतम सीमा से हटाकर अनुमानित $2\delta_A - 1$ की ओर ले जाता है। यह ज़ारेम्बा के अनुमान के लिए एक औसत अर्थ (averaging sense) में मजबूत प्रमाण प्रदान करता है।

जटिल सतत भिन्नों के लिए मुख्य प्रमेय (Theorem 1.6)

काल्पनिक द्विघाती क्षेत्रों पर जटिल सतत भिन्नों के लिए समान परिणाम स्थापित किए गए हैं:
$|\Sigma_{N,A}(\epsilon)| \sim N^{2\delta_A - \theta}$
जहाँ $0 < \theta < 2$ है।

नोट: वास्तविक मामले ( $0 < \eta < 1$ ) की तुलना में यहाँ घातांक सीमा थोड़ी कमजोर ( $0 < \theta < 2$ ) है क्योंकि जटिल मामले में हाउस्फडॉर्फ आयाम $\delta_A$ का परास 0 से 2 तक होता है। लेखक का सुझाव है कि $\epsilon(N)$ के अधिक सूक्ष्म चयन के साथ $\theta$ को संभावित रूप से $1 < \theta < 2$ में सुधारा जा सकता है।

तकनीकी परिशोधन (Technical Refinements)

स्मूथिंग (Smoothing): शोध पत्र सफलतापूर्वक "थिकन्ड" हर सीमा के योगदान को अलग करता है, यह दिखाते हुए कि स्पर्शोन्मुख व्यवहार हर के छोटे परिवर्तनों के तहत स्थिर रहता है।
स्पेक्ट्रल गैप अनुप्रयोग: यह कार्य सरल स्पेक्ट्रल रेडियस तर्कों से आगे बढ़कर, संख्या-सिद्धांत संबंधी गणना समस्याओं में स्पेक्ट्रल गैप अनुमानों (Dolgopyat) के उपयोग की शक्ति को प्रदर्शित करता है।

4. महत्व और निहितार्थ

औसत अर्थ में सत्यापन: हालांकि यह शोध पत्र प्रत्येक $N$ के लिए ज़ारेम्बा के अनुमान को सिद्ध नहीं करता है, लेकिन यह कठोर स्पर्शोन्मुख प्रमाण प्रदान करता है कि "अच्छे" परिमेय संख्याओं का सेट इतना बड़ा है कि वह औसत रूप में अनुमान को संतुष्ट करता है। यह पुष्टि करता है कि ऐसे नंबरों का घनत्व (density) संबंधित फ्रैक्टल सेट के आयाम द्वारा निर्देशित पूर्वानुमानित पावर लॉ का अनुसरण करता है।
वास्तविक और जटिल मामलों का एकीकरण: यह शोध पत्र वास्तविक सतत भिन्नों से जटिल सतत भिन्नों (काल्पनिक द्विघाती क्षेत्रों पर) तक गतिशील दृष्टिकोण को सफलतापूर्वक सामान्य करता है, जो सरल क्रम (ordering) की कमी और अधिक जटिल स्वीकार्यता नियमों के कारण एक गैर-तुच्छ विस्तार है।
पद्धतिगत प्रगति: यह पेरॉन के सूत्र को ट्रांसफर ऑपरेटर स्पेक्ट्रल विश्लेषण के साथ मिलाने के अनुप्रयोग को परिष्कृत करता है। स्मूथिंग प्रक्रिया पेश करके, लेखक संचयी स्पेक्ट्रल डेटा से बिंदुवार (pointwise) सांख्यिकी निकालने की कठिनाई को दूर करता है।
फ्रैक्टल ज्यामिति से संबंध: परिणाम परिमेय संख्याओं (ज़ारेम्बा के अनुमान) के अंकगणितीय गुणों और अंतर्निहित फ्रैक्टल सेट्स (हाउस्फडॉर्फ आयाम) के ज्यामितीय गुणों के बीच गहरे संबंध को सुदृढ़ करते हैं।

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