Transcendence and measures via the refined Diophantine exponent

तकनीकी सारांश: परिष्कृत डायोफेंटाइन घातांक के माध्यम से पारगमन और माप (Transcendence and Measures via the Refined Diophantine Exponent)

समस्या विवरण
यह शोध पत्र उन वास्तविक संख्याओं $\xi = \sum_{i \ge 0} a_i \beta^{-i}$ के डायोफेंटाइन गुणों को संबोधित करता है, जहाँ गुणांक $a_i$ पूर्णांकों के एक परिमित सेट (या $S$-पूर्णांकों) पर एक अनंत शब्द (infinite word) बनाते हैं और $\beta$ एक बीजगणकीय संख्या (algebraic number) है जिसका $|\beta| > 1$ है। केंद्रीय समस्या यह निर्धारित करना है कि $\xi$ का पारगमन (transcendence) क्या है और मात्रात्मक पारगमन माप (algebraic संख्याओं द्वारा $\xi$ के निकटता की सीमाएँ) स्थापित करना है।

शास्त्रीय दृष्टिकोण, विशेष रूप से एडमचवेस्की और बुगेऑड (Adamczewski and Bugeaud) द्वारा, गुणांक शब्द की आवर्तता (periodicity) को मापने के लिए डायोफेंटाइन घातांक ($Dio(a)$) का उपयोग करते हैं। यदि$Dio(a)$, $\beta$ की ऊँचाई (height) के सापेक्ष पर्याप्त रूप से बड़ा है, तो $\xi$ या तो बीजगणकीय होता है (एक प्रतिबंधित रूप में) या पारगमन (transcendental) होता है। हालाँकि, शास्त्रीय घातांक को उप-शब्दों (subwords) की सटीक पुनरावृत्ति की आवश्यकता होती है। यह कठोरता उन शब्दों के अनुप्रयोग को सीमित करती है जहाँ पुनरावृत्ति "अस्पष्ट" (obscured) होती है या जहाँ पुनरावृत्ति केवल अनुमानित होती है (जैसे कि कुछ गतिशील प्रणालियों में या विशिष्ट संयोजन संरचनाओं जैसे कि लैक्यूनरी अनुक्रमों वाले शब्दों में)। जबकि पिछले कार्यों (कोर्वजा-ज़ैनियर, बेल-डिलर-जॉनसन, केबिस-लुका-ओक्वेनिन-स्कून्स-वोरल) ने उच्च-आयामी सबस्पेस प्रमेय (Subspace Theorem) के अनुप्रयोगों का उपयोग करके विशिष्ट मामलों को संबोधित किया है, "शोर" (noise) वाले पुनरावृत्ति को संभालने में सक्षम एक एकीकृत ढांचे की कमी थी जो शास्त्रीय द्वैत (dichotomy) की शक्ति को भी बनाए रख सके।

कार्यप्रणाली (Methodology)
लेखक एक नया संयोजन संबंधी अपरिवर्तनीय (combinatorial invariant) पेश करते हैं, जिसे परिष्कृत डायोफेंटाइन घातांक ($Rdio(a)$) कहा जाता है, जो शास्त्रीय$Dio(a)$ का सामान्यीकरण करता है।

1. $(\epsilon, \delta)$-सन्निकटता (closedness) की परिभाषा: दो उप-शब्दों के समान होने की आवश्यकता के बजाय, नई परिभाषा यह अनुमति देती है कि वे ऐसे सूचकांकों (indices) के सेट पर भिन्न हो सकते हैं जिन्हें $\delta$ अंतरालों द्वारा कवर किया जा सकता है जिनका कुल योग शब्द की लंबाई के $\epsilon$ के बराबर है। यह "शोर" या बेमेल (mismatch) को मॉडल करता है।
2. परिष्कृत घातांक: $Rdio(a)$, $\rho$ का सुप्रीमम (supremum) है जिससे शब्द $a$ में ऐसे उप-शब्द होते हैं जो इस अनुमानित पुनरावृत्ति की स्थिति को एक विकास दर $t_n \ge \rho s_n$ के साथ संतुष्ट करते हैं।
3. सबस्पेस प्रमेय का अनुप्रयोग:
   • गुणात्मक (प्रमेय A): प्रमाण $p$-adic सबस्पेस प्रमेय को अनुकूलित करता है। "बेमेल" (mismatches) को रैखिक रूपों (linear forms) में अतिरिक्त चरों के रूप में माना जाता है। $\xi$, इसके परिमेय सन्निकटन (rational approximations) और बेमेल पदों को शामिल करते हुए रैखिक रूपों का एक तंत्र बनाकर, लेखक दिखाते हैं कि यदि $\xi$ बीजगणकीय है, तो बेमेल पदों के गुणांक शून्य होने चाहिए, जो $\xi$ को एक प्रतिबंधित बीजगणकीय रूप में मजबूर करता है।
   • मात्रात्मक (प्रमेय B): पारगमन माप (transcendence measures) प्राप्त करने के लिए, लेखक एवर्टसे (Evertse) के मात्रात्मक सबस्पेस प्रमेय का उपयोग करते हैं। इसके लिए अनुक्रमों $(r_n, s_n, t_n)$ के विकास और सन्निकटन की ऊँचाई को नियंत्रित करने की आवश्यकता होती है। प्रमाण में सघन परिमेय सन्निकटन (dense rational approximations) का निर्माण और परिणामी असमानताओं के समाधानों की संख्या को सीमित करना शामिल है, जिससे $|\xi - \alpha|_v$ के लिए स्पष्ट निचली सीमाएँ प्राप्त होती हैं।
4. माहलर का वर्गीकरण (Mahler's Classification): परिणामों की व्याख्या माहलर के वर्गीकरण (पारगमन संख्याओं के $A, S, T, U$-संख्याओं के रूप में) के भीतर की जाती है, जो सीमित या अनंत सन्निकटन घातांक वाली संख्याओं के बीच अंतर करती है।

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

• प्रमेय A (पारगमन द्वैत): यदि $Rdio(a) > \frac{\log H(\beta)}{\log |\beta|_v}$, तो $\xi$ या तो संख्या क्षेत्र $K$ में है (और एक बहुत ही प्रतिबंधित रूप में है) या पारगमन (transcendental) है। यह एडमचवेस्की-बुगेऑड, कोर्वजा-ज़ैनियर और अन्य के पिछले परिणामों को एकीकृत और विस्तारित करता है, यह दिखाते हुए कि पुनरावृत्ति में "शोर" पारगमन का पता लगाने में बाधा नहीं डालता है।
• प्रमेय B (पारगमन माप): मजबूत स्पर्शोन्मुखी स्थितियों (Condition $(**)_\rho$) के तहत, लेख $\xi$ के लिए $|\xi - \alpha|_v$ के लिए एक मात्रात्मक निचली सीमा स्थापित करता है। विशेष रूप से, $K \notin K$ के लिए बीजगणकीय $\alpha$ के लिए, जिसकी डिग्री $d$ और ऊँचाई $H(\alpha)$ है, $|\xi - \alpha|_v \ge H(\alpha)^{-(2d)^c (\log 4d)(\log \log 4d)}$। यह दर्शाता है कि $\xi$ या तो एक $U_d$-संख्या है (छोटे $d$ के लिए) या एक $S$- या $T$-संख्या है।
• प्रमेय C (लैक्यूनरी संख्याएँ): लैक्यूनरी श्रृंखला $\xi = \sum a_i \beta^{-u_i}$ के लिए, यह अंतराल $u_{i+1}/u_i$ के विकास के आधार पर एक द्वैत प्रदान करता है। यदि अंतराल सुपर-एक्सपोनेंशियल रूप से बढ़ते हैं, तो $\xi$ एक $U_d$-संख्या है; अन्यथा, यह एक $S$- या $T$-संख्या है। यह गुणांकों के $S$-पूर्णांक होने की आवश्यकता को हटाकर पिछले अनुमानों में सुधार करता है।
• प्रमेय D (स्टर्मियन और $k$-bonacci शब्द): $\beta$ के लिए, जो अधिकतम 2 की डिग्री वाला एक पिसोट (Pisot) नंबर है, यह सिद्ध करता है कि स्टर्मियन शब्दों (सीमित आंशिक भागफल के साथ) और $k$-bonacci शब्दों द्वारा उत्पन्न संख्याएँ $S$- या $T$-संख्याएँ हैं। यह इन शब्दों के गुणों के माध्यम से निर्मित सघन परिमेय सन्निकटन और परिष्कृत घातांक परिणामों को मिलाकर प्राप्त किया गया है।

महत्व और दावे
शोध पत्र का दावा है कि यह विभिन्न प्रकार के अनंत शब्दों (लैक्यूनरी, स्टटरिंग, इकोइंग, और बीजगणकीय गतिशीलता से संबंधित) के लिए मौजूदा पारगमन परिणामों को पुनः प्राप्त करने और विस्तारित करने के लिए एक एकीकृत ढांचा प्रदान करता है।

• मजबूती (Robustness): प्राथमिक महत्व "शोरयुक्त" पुनरावृत्ति को संभालने की क्षमता है। परिष्कृत घातांक $Rdio(a)$, आवर्तता का पता लगाता है भले ही उप-शब्द समान न हों, एक ऐसी स्थिति जहाँ शास्त्रीय$Dio(a)$विफल हो सकता है (उदाहरण के लिए, जहाँ$Dio(a)=1$जबकि$Rdio(a)=\infty$)।
• मात्रात्मक परिशोधन: कार्य गुणात्मक पारगमन से आगे बढ़कर स्पष्ट पारगमन माप प्रदान करता है, जिससे परिणामी संख्याओं को माहलर के पदानुक्रम के भीतर वर्गीकृत किया जाता है।
• गतिशीलता से संबंध: कार्य की कार्यप्रणाली बीजगणकीय गतिशीलता (algebraic dynamics) में हालिया सफलताओं (बेल, डिलर, जॉनसन) द्वारा प्रेरित है, विशेष रूप से गतिशील डिग्री (dynamical degrees) की पारगमनता के संबंध में।
• सीमाएँ: लेखक विनम्रतापूर्वक नोट करते हैं कि हालांकि यह विधि शास्त्रीय पैडे अनुमानक (Padé approximant) दृष्टिकोण की तुलना में कमजोर परिणाम देती है (जिसके लिए कार्यात्मक समीकरणों की आवश्यकता होती है), यह कार्यों के अनगिनत परिवारों पर लागू होती है और विक्षोभ (perturbations) के प्रति सुदृढ़ है। इसके अलावा, जबकि यह विधि स्थापित करती है कि संख्याएँ कुछ मामलों में $U_1$ या $U_2$ नहीं हैं, जब शास्त्रीय डायोफेंटाइन घातांक परिमित होता है, तब उच्च $d$ के लिए $U_d$ का निर्धारण करना कठिन बना हुआ है।

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