If a machine did it, it is probably transcendental (even $p$-adically)

तकनीकी सारांश: "यदि किसी मशीन ने इसे बनाया है, तो यह संभवतः अपरिमेय (transcendental) है (यहाँ तक कि p-adic रूप में भी)"

समस्या का विवरण
यह शोध पत्र उन $p$-adic संख्याओं की बीजगणितीय प्रकृति की जांच करता है जिनके सतत भिन्न (continued fraction) विस्तार विशिष्ट प्रकार के शब्दों (words) के अनुरूप होते हैं। जबकि वास्तविक क्षेत्र ($\mathbb{R}$) में सतत भिन्न, शब्दों की संयोजन संरचना (combinatorial structure) और संख्याओं के बीजगणितीय गुणों के बीच एक सुस्थापित सेतु प्रदान करते हैं (उदाहरण के लिए, आवधिक शब्दों को द्विघात अपरिमेय (quadratic irrationals) से जोड़ने वाला लैग्रेंज का प्रमेय), $p$-adic परिवेश ($\mathbb{Q}_p$) महत्वपूर्ण संरचनात्मक चुनौतियाँ प्रस्तुत करता है।

मुख्य प्रश्न यह है कि क्या "संरचित" शब्दों के परिवार (जो आवधिक, ऑटोमैटिक या पलिंड्रोमिक शब्दों के सामान्यीकरण हैं) $\mathbb{Q}_p$ में डिग्री 2 से अधिक वाली बीजगणितीय संख्याओं के अनुरूप होते हैं। वास्तविक मामले में, बुगेउड (Bugeaud) और एडमसेविक-बुगेउड (Adamczewski-Bugeaud) के परिणाम सुझाव देते हैं कि ऐसे संरचित शब्द आम तौर पर अपरिमेय संख्याएँ देते हैं, जहाँ एकमात्र बीजगणितीय अपवाद द्विघात (आवधिक) या परिमेय (सीमित) होते हैं। लेखक एक $p$-adic एनालॉग (अनुरूप) स्थापित करने का लक्ष्य रखते हैं, जो एक पूर्ण $p$-adic लैग्रेंज प्रमेय की अनुपस्थिति और एक मानक फ्लोर फंक्शन (floor function) के अभाव को दूर कर सके।

कार्यप्रणाली (Methodology)
लेखक बुगेउड द्वारा वास्तविक सेटिंग में उपयोग की गई रणनीति को अनुकूलित करते हैं, जिसमें मुख्य उपकरण के रूप में $p$-adic उपस्थान प्रमेय (Subspace Theorem) (विशेष रूप से श्लिकवे (Schlickewei) द्वारा विकसित संस्करण) का उपयोग किया जाता है। कार्यप्रणाली इस प्रकार है:

1. शब्द वर्ग (Word Classes): अध्ययन बुगेउड द्वारा परिभाषित आवधिक शब्दों के दो सामान्यीकरणों पर केंद्रित है:

   • $\spadesuit$-शब्द: वे शब्द जिनमें $W_n U_n V_n U_n$ के रूप में प्रीफिक्स (prefixes) होते हैं (पुनरावृत्ति वाले ब्लॉक)।
   • $\clubsuit$-शब्द: वे शब्द जिनमें $W_n U_n V_n \tilde{U}_n$ के रूप में प्रीफिक्स होते हैं (पलिंड्रोमिक ब्लॉक, जहाँ $\tilde{U}_n$, $U_n$ का प्रतिलोम/reversal है)।
     इन वर्गों में ऑटोमैटिक शब्द और कम जटिलता वाले शब्द शामिल हैं।

2. सन्निकटन रणनीति (Approximation Strategy): मुख्य विचार शब्द की पुनरावृत्ति या पलिंड्रोमिक संरचना का लाभ उठाने का है ताकि सन्निकटन संख्याओं ($\alpha_n$) का एक अनुक्रम बनाया जा सके जो या तो द्विघात या परिमेय हों।

   • $\spadesuit$-शब्दों के लिए, लेखक $\alpha_n$ का निर्माण करते हैं जिनका सतत भिन्न आवधिक होता है।
   • $\clubsuit$-शब्दों के लिए, लेखक $\alpha_n$ का निर्माण करते हैं जिनका सतत भिन्न पलिंड्रोमिक होता है।
     चूँकि मूल संख्या $\alpha$ और सन्निकटन $\alpha_n$ उनके सतत भिन्न विस्तारों में एक लंबा साझा प्रीफिक्स साझा करते हैं, इसलिए वे $p$-adic मीट्रिक में एक-दूसरे के अत्यंत निकट होते हैं।

3. उपस्थान प्रमेय का अनुप्रयोग: लेखक $\alpha$ और निरंतरकों (continuants - $A_n, B_n$) के involving विशिष्ट रैखिक रूपों (linear forms) को परिभाषित करते हैं। वे प्रदर्शित करते हैं कि यदि $\alpha$ डिग्री $\ge 3$ की बीजगणितीय संख्या होती, तो संरचित शब्दों द्वारा प्रदान की गई सन्निकटन की गुणवत्ता $p$-adic उपस्थान प्रमेय द्वारा निर्धारित सीमाओं का उल्लंघन करती। इससे एक विरोधाभास उत्पन्न होता है, जिससे यह सिद्ध होता है कि $\alpha$ की डिग्री 3 या उससे अधिक नहीं हो सकती।

4. $p$-adic विशिष्टताओं का प्रबंधन: तकनीकी कार्य का एक महत्वपूर्ण हिस्सा गैर-मानक $p$-adic फ्लोर फंक्शन ($s: \mathbb{Q}_p \to \mathbb{Z}[1/p]$) को प्रबंधित करना है। लेखक आंशिक भाग (partial quotients) पर कुछ हल्की शर्तें लागू करते हैं (विशेष रूप से उनके $p$-adic और यूक्लिडियन मानों पर सीमाएँ) ताकि अभिसरण (convergence) और उपस्थान प्रमेय की प्रयोज्यता सुनिश्चित की जा सके।

मुख्य योगदान और परिणाम
शोध पत्र का मुख्य योगदान प्रमेय 1.4 (और इसके स्पष्ट संस्करण, प्रमेय 4.1 और 4.3) है, जो कहता है:

माना कि $p$ एक विषम अभाज्य संख्या है और $s$ एक $p$-adic फ्लोर फंक्शन है। यदि $\alpha = [0, a_1, a_2, \dots]_s$ एक $p$-adic संख्या है जिसका संबद्ध शब्द स्थिति $\spadesuit$ या $\clubsuit$ (निरंतरकों की वृद्धि और आंशिक भागों के आकार पर विशिष्ट सीमाओं के साथ) को संतुष्ट करता है, तो $\alpha$ या तो परिमेय, द्विघात, या अपरिमेय (transcendental) है।

विशिष्ट निष्कर्षों में शामिल हैं:

• वास्तविक परिणामों का सामान्यीकरण: यह बुगेउड के वास्तविक संख्याओं के लिए प्रमेय 1.3 का एक $p$-adic एनालॉग प्रदान करता है, जो "असंभावित अंतर्संबंधों" (unlikely intersections) के दर्शन को गैर-आर्किमिडियन सेटिंग में विस्तारित करता है।
• उपकोश (Corollary) 1.5: यह परिणाम रुबन (Ruban) और ब्राउकिन (Browkin) के शास्त्रीय $p$-adic सतत भिन्न एल्गोरिदम पर लागू होता, बशर्ते कि आंशिक भाग विशिष्ट निचली सीमाओं (जैसे, पुनरावृत्ति के लिए $|a_n|_p \ge p^4$) को संतुष्ट करें।
• उपकोश 1.6: यह परिणाम परिमित वर्णमाला (विशेष रूप से $\{n/p, m/p\}$) पर ऑटोमैटिक अनुक्रमों पर लागू होता है, यह दिखाते हुए कि पर्याप्त बड़े $p$ के लिए, परिणामी $p$-adic संख्याएँ या तो परिमेय, द्विघात, या अपरिमेय होती हैं।
• शर्तों का परिशोधन: लेखक स्पष्ट स्थिरांक ($C_\infty, C_p, k$) प्रदान करते हैं जो उन सटीक थ्रेशोल्ड्स को परिभाषित करते हैं जिनकी आवश्यकता अपरिमेयता (transcendence) की गारंटी देने के लिए आंशिक भागों को होती है।

महत्व और दावे
लेखक दावा करते हैं कि यह कार्य प्रश्न 1.1 (क्या संरचित शब्द डिग्री $>2$ वाली बीजगणितीय संख्याओं के अनुरूप हो सकते हैं) को $p$-adic सेटिंग में व्यापक वर्ग के शब्दों के लिए नकारात्मक रूप में हल करता है।

• संरचनात्मक कठिनाइयों पर विजय: शोध पत्र रेखांकित करता है कि $p$-adic मामला वास्तविक मामले की तुलना में अधिक जटिल है क्योंकि इसमें फ्लोर फंक्शन के अनंत विकल्प हैं और लैग्रेंज प्रमेय का कोई सार्वभौमिक एनालॉग नहीं है। लेखकों के परिणाम महत्वपूर्ण हैं क्योंकि वे किसी विशिष्ट निर्माण तक सीमित होने के बजाय, किसी भी $p$-adic फ्लोर फंक्शन के लिए मान्य हैं जो हल्की बाध्यकारी स्थितियों को पूरा करता है।
• क्षेत्रों को जोड़ना: यह कार्य शब्द संयोजन (word combinatorics) और संख्या सिद्धांत के बीच गहरे संबंध को पुष्ट करता है, यह प्रदर्शित करते हुए कि आवधिक शब्दों (बीजगणितीय डिग्री 2) और सामान्य शब्दों (अपरिमेय) के बीच का "अंतराल" $p$-adic क्षेत्र में भी बना रहता है, भले ही वास्तविक फ्लोर फंक्शन के कैनोनिकल गुणों का अभाव हो।
• विनम्रता: लेखक नोट करते हैं कि हालांकि उनके परिणाम $\spadesuit$ और $\clubsuit$ शब्दों को कवर करते हैं (जिनमें ऑटोमैटिक शब्द शामिल हैं), सामान्य रूप से यह प्रश्न अभी भी खुला है कि क्या सभी कम-जटिलता वाले शब्द अपरिमेय संख्याएँ देते हैं, क्योंकि $\clubsuit$ शब्दों के लिए कम जटिलता को $\spadesuit$ से जोड़ने वाला प्रत्यक्ष एनालॉग (प्रमेय 2.1 के समान) अभी तक स्थापित नहीं हुआ है।

संक्षेप में, यह शोध पत्र स्थापित करता है कि "मशीनें" (फाइनाइट स्टेट मशीनें जो ऑटोमैटिक शब्दों को उत्पन्न करती हैं) जो संरचित $p$-adic सतत भिन्न बनाती हैं, आम तौर पर अपरिमेय संख्याएँ बनाती हैं, जिसमें एकमात्र बीजगणितीय अपवाद डिग्री 2 या उससे कम के होते हैं।