Multivariable automatic arrays and transcendence

यहाँ "Multivariable Automatic Arrays and Transcendence" (बहुचर स्वचालित सरणियों और अपरिमेयता) नामक शोध पत्र का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और प्रेरणा

यह शोध पत्र अपरिमेयता सिद्धांत (transcendence theory) के एक मौलिक प्रश्न को संबोधित करता है जो बहुआयामी स्वचालित अनुक्रमों (multidimensional automatic sequences) द्वारा परिभाषित वास्तविक संख्याओं की अंकगणितीय प्रकृति से संबंधित है।

• संदर्भ: ऑटोमेटा सिद्धांत और डियोफेंटाइन सन्निकटन (Diophantine approximation) के बीच की अंतःक्रिया ने यह स्थापित किया है कि "कम कॉम्बिनेटोरियल जटिलता" वाले वास्तविक संख्याएँ (विशेष रूप से वे जो परिमित ऑटोमेटा द्वारा उत्पन्न होती हैं) अक्सर कठोर अंकगणितीय गुण प्रदर्शित करती हैं। एडमचेव्स्की और बुगेउड (2007) के एक महत्वपूर्ण परिणाम ने सिद्ध किया कि यदि पूर्णांक आधार $b \ge 2$ के लिए $(a_n)$ एक परिबद्ध (bounded) स्वचालित अनुक्रम है, तो वास्तविक संख्या $\alpha = \sum_{n \ge 0} a_n b^{-n}$ या तो परिमित (rational) होती है या अपरिमेय (transcendental) होती है।
• अंतराल (The Gap): जबकि एक-आयामी मामला अच्छी तरह से समझा गया है, बहुआयामी अनुरूप (analogue) खुला रह गया था। विशेष रूप से, दिए गए $r \ge 2$ गुणात्मक रूप से स्वतंत्र (multiplicatively independent) पूर्णांक $a_1, \dots, a_r$ और $r$ परिबद्ध स्वचालित अनुक्रमों $(p_n^{(i)})_{n \ge 0}$ के लिए, श्रेणी का स्वरूप क्या होगा:
  $$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})}{a_1^{n_1} \cdots a_r^{n_r}}$$
  जहाँ $f: \mathbb{Z}^r \to \mathbb{Z}$ एक फलन है?
• उद्देश्य: लेखक एडमचेव्स्की-बुगेउड के परिणाम को इस $r$-आयामी सेटिंग में विस्तारित करने का लक्ष्य रखते हैं, यह सिद्ध करते हुए कि ऐसे $\alpha$ भी या तो परिमेय होते हैं या अपरिमेय।

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

यह प्रमाण स्वचालित अनुक्रमों के कॉम्बिनेटोरियल गुणों को डियोफेंटाइन सन्निकटन के गहरे उपकरणों, विशेष रूप से श्मिट सबस्पेस प्रमेय (Schmidt Subspace Theorem) के साथ संश्लेषित करता है। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

अ. कॉम्बिनेटोरियल गुण: स्टैमरिंग अनुक्रम (Stammering Sequences)

लेखक स्टैमरिंग अनुक्रमों (ऐसे अनुक्रम जिनमें बड़े दोहराव वाले ब्लॉक वाले लंबे प्रीफिक्स होते हैं) की अवधारणा का उपयोग करते हैं।

• मुख्य लेम्मा: वे स्थापित करते हैं कि कोई भी $k$-स्वचालित अनुक्रम एक स्टैमरिंग अनुक्रम है (प्रस्ताव 2.9)। इसका अर्थ है कि किसी भी स्वचालित अनुक्रम के लिए, शब्दों के अनुक्रम $(U_n)$ और $(V_n)$ मौजूद हैं ताकि $U_n V_n^w$ उस अनुक्रम का एक प्रीफिक्स हो, जहाँ $w > 1$ है, और अनुपात $|U_n|/|V_n|$ परिबद्ध है और $|V_n|$ निरंतर बढ़ रहा है।
• बहुआयामी विस्तार: $r$ अनुक्रमों $(p_n^{(i)})$ के लिए, वे स्टैमरिंग स्थिति से प्राप्त पैरामीटर $r_n^{(i)}$ (प्रीपीरियड लंबाई) और $s_n^{(i)}$ (पीरियड लंबाई) की पहचान करते हैं, जो यह सुनिश्चित करते हैं कि अनुक्रमों को नियंत्रित त्रुटि के साथ अंततः आवधिक (eventually periodic) अनुक्रमों द्वारा अनुमानित किया जा सके।

ब. सहायक परिमेय सन्निकटन का निर्माण (Construction of Auxiliary Rational Approximations)

डियोफेंटाइन उपकरणों को लागू करने के लिए, लेखक $\alpha$ का सन्निकटन करने वाले परिमेय संख्याओं $\alpha_n$ का निर्माण करते हैं।

• सन्निकटन: वे प्रत्येक स्वचालित अनुक्रम $(p_k^{(i)})$ को एक अंततः आवधिक अनुक्रम $(p_k^{(i, n)})$ से बदल देते हैं जो मूल अनुक्रम से एक निश्चित बिंदु तक मेल खाता है और फिर दोहराता है।
• परिमेयता: क्योंकि सन्निकटन अनुक्रम अंततः आवधिक हैं, इसलिए परिणामी श्रेणी $\alpha_n = \sum \frac{c_{n_1, \dots, n_r}^{(n)}}{a_1^{n_1} \cdots a_r^{n_r}}$ को स्पष्ट रूप से एक परिमेय संख्या के रूप में व्यक्त किया जा सकता है।
• स्पष्ट रूप: प्रस्ताव 4.1 दिखाता है कि $\alpha_n$ का रूप निम्नलिखित है:
  $$\alpha_n = \frac{P_n(a_1, \dots, a_r)}{\prod_{i=1}^r a_i^{r_n^{(i)}} (a_i^{s_n^{(i)}} - 1)}$$
  जहाँ $P_n$ पूर्णांक गुणांकों और परिबद्ध गुणांकों वाला एक बहुपद है।

स. डियोफेंटाइन सन्निकटन: श्मिट सबस्पेस प्रमेय

प्रमाण का मुख्य भाग यह दिखाने में शामिल है कि यदि $\alpha$ एक अपरिमेय बीजगणिक (irrational algebraic) संख्या होती, तो वह श्मिट सबस्पेस प्रमेय का उल्लंघन करती।

• सेटअप: वे $\alpha_n$ के हरों (denominators) और बहुपद $P_n$ को शामिल करते हुए एक वेक्टर $x_n \in \mathbb{Q}^{2r+1}$ को परिभाषित करते हैं।
• रैखिक रूप (Linear Forms): वे एक संख्या क्षेत्र $K$ (जिसमें आधार $a_i$ को विभाजित करने वाले अभाज्य शामिल हैं) पर रैखिक रूप $L_{v,i}$ का निर्माण करते हैं ताकि $x_n$ पर इन रूपों का गुणनफल अत्यंत छोटा हो।
• अनुमान (Estimation):
  • "त्रुटि" पद $L_{\infty, 2r+1}(x_n)$ का मान $\alpha - \alpha_n$ के बराबर है। स्टैमरिंग गुण (घातांक $w > 1$) के कारण, यह त्रुटि $x_n$ के हाइट (height) से कहीं अधिक तेजी से घटती है जो एक बीजगणिक अपरिमेय के लिए संभव होती।
  • विशेष रूप से, वे दिखाते हैं कि $\prod |L_{v,i}(x_n)|_v \ll H(x_n)^{-(2r+1+\epsilon)}$।
• प्रमेय का अनुप्रयोग: श्मिट सबस्पेस प्रमेय द्वारा, अनंत रूप से कई $x_n$ एक उचित रैखिक उपसमष्टि (proper linear subspace) में होने चाहिए। इसका तात्पर्य $x_n$ के घटकों के बीच परिमेय गुणांकों के साथ एक रैखिक संबंध से है।

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

प्रमेय A (मुख्य परिणाम):
मान लीजिए $r \ge 2$, और $a_1, \dots, a_r \ge 2$ गुणात्मक रूप से स्वतंत्र पूर्णांक हैं (अर्थात, $\log a_1, \dots, \log a_r, \mathbb{Q}$ पर रैखिक रूप से स्वतंत्र हैं)। यदि $(p_n^{(i)})$ परिबद्ध $k_i$-स्वचालित अनुक्रम हैं और $f: \mathbb{Z}^r \to \mathbb{Z}$ है, तो वास्तविक संख्या
$$\alpha = \sum_{n_1, \dots, n_r \ge 0} \frac{f(p_{n_1}^{(1)}, \dots, p_{n_r}^{(r)})}{a_1^{n_1} \cdots a_r^{n_r}}$$
या तो परिमेय (rational) है या अपरिमेय (transcendental) है।

तकनीकी बारीकियां:

• परिमेयता की स्थिति: प्रमाण यह प्रदर्शित करता है कि यदि $\alpha$ बीजगणिक है, तो सबस्पेस प्रमेय से प्राप्त रैखिक निर्भरता $\alpha$ को परिमेय होने के लिए मजबूर करती है।
• अपरिमेयता के लिए विरोधाभास: यदि यह माना जाए कि $\alpha$ एक अपरिमेय बीजगणिक संख्या है, तो रैखिक निर्भरता $\sum c_I \prod a_i^{s_n^{(i)}} = 0$ के रूप में एक संबंध की ओर ले जाती है। $a_i$ के आधारों की गुणात्मक स्वतंत्रता और $s_n^{(i)}$ के रूप में बढ़ते हुए अवधियों के कारण, यह एक विरोधाभास (पूर्णांक गुणांकों के साथ $a_i$ के लघुगणकों के बीच एक गैर-तुच्छ रैखिक संबंध, जो असंभव है) की ओर ले जाता है।

4. महत्व

1. एडमचेव्स्की-बुगेइड का सामान्यीकरण: यह कार्य 1-आयामी मामले से ऐतिहासिक 2007 के परिणाम को मनमाने $r \ge 2$ आयामों तक सफलतापूर्वक ले जाता है। यह पुष्टि करता है कि स्वचालित अनुक्रमों की "कठोरता" (जो संख्याओं को परिमेय या अपरिमेय होने के लिए मजबूर करती है) जटिल, बहुआयामी सेटिंग्स में भी बनी रहती है।
2. अंतर्विषयी संश्लेषण (Interdisciplinary Synthesis): यह शोध पत्र एक मजबूत ढांचा प्रदान करता है जो जोड़ता है:
   • ऑटोमेटा सिद्धांत: "स्टैमरिंग" स्थिति स्थापित करने के लिए $k$-kernel और मॉर्फिज्म गुणों का उपयोग करना।
   • शब्दों पर कॉम्बिनेटोरिक्स (Combinatorics on Words): प्रीफिक्स और पुनरावृत्तियों की संरचना का विश्लेषण करना।
   • डियोफेंटाइन सन्निकटन: अंकगणितीय बाधाओं को संभालने के लिए श्मिट सबस्पेस प्रमेय और $S$-यूनिट थ्योरम का उपयोग करना।
3. बहुआयामी स्वचालित सरणियाँ: यह स्वतंत्र अनुक्रमों द्वारा उत्पन्न सरणियों के बजाय किसी भी $[k_1, \dots, k_r]$-स्वचालित सरणी के रूप में बहुआयामी स्वचालित डेटा को एक एकल वस्तु के रूप में औपचारिक रूप से मानता है, जो बहुआयामी श्रेणियों को संभालने के लिए आवश्यक है।
4. भावी दिशाएँ: लेखक यह प्रश्न उठाते हैं कि क्या यह परिणाम किसी भी परिबद्ध $[k_1, \dots, k_r]$-स्वचालित सरणी के लिए मान्य है (न कि केवल स्वतंत्र अनुक्रमों द्वारा उत्पन्न), जो सामान्य बहुआयामी स्वचालित श्रेणियों की अंकगणितीय प्रकृति में आगे के शोध का मार्ग प्रशस्त करता है।

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