🔢 mathematics

p-Adically convergent loci in varieties arising from periodic continued fractions

$p$ -adic सतत भिन्न (continued fractions) की वैकल्पिक परिभाषाओं से प्रेरित होकर, यह शोध पत्र उन आवर्ती सतत भिन्नों (periodic continued fractions) का अन्वेषण करता है जिनके आंशिक भाग (partial quotients) $\mathbb{Z}[1/p]$ में हैं और जो एक द्विघात समीकरण (quadratic equation) को संतुष्ट करते हैं, तथा उनके $p$ -adic अभिसारी लोकी (convergent loci) का अध्ययन करता है जो बीजगणितीय किस्मों (algebraic varieties) का प्रतिनिधित्व करते हैं, विशेष रूप से उनके शून्य और एक-आयामी मामलों का लक्षण वर्णन करता है।

मूल लेखक: Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

प्रकाशित 2026-07-13

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

CC BY 4.0

मूल लेखक: Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

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

कल्पना कीजिए कि आपके पास एक जादुई संख्या मशीन है जो संख्याओं की एक सूची लेती है और एक एकल, अनंत भिन्न (fraction) उगलती है। सामान्य गणित (एक "आर्किमिडीन" दुनिया) की दुनिया में, हम जानते हैं कि यह मशीन वास्तव में कैसे काम करती है: यदि आप इसे एक ऐसी सूची देते हैं जो बार-बार खुद को दोहराती है, तो यह आमतौर पर एक विशिष्ट संख्या पर स्थिर हो जाती है, जैसे कि एक पेंडुलम जो झूलते हुए रुक जाता है। यह निरंतर भिन्नों (continued fractions) की क्लासिक कहानी है, जो लैग्रेंज के समय से चली आ रही एक पुरानी कथा है।

लेकिन क्या होगा यदि हम अपने सामान्य पैमाने को बदलकर एक अजीब, p-adic पैमाना इस्तेमाल करें? इस p-adic दुनिया में, संख्याएँ इस तरह व्यवहार करती हैं जैसे वे एक अलग प्रकार की मिट्टी से बनी हों। यहाँ निकटता के नियम उलट गए हैं: दो संख्याएँ तब "निकट" होती हैं जब उनका अंतर $p$ की एक बड़ी घात (power) से विभाज्य होता है। इस अजीब ब्रह्मांड में, वही अनंत भिन्न मशीन हमेशा बेतहाशा घूम सकती है, और कभी भी एक निश्चित उत्तर पर नहीं टिक पाती।

यह शोध पत्र एक जासूसी कहानी है कि उन विशिष्ट "पतों" (गणितीय विविधताओं/varieties) को खोजने के बारेारे में है जहाँ ये p-adic भिन्न मशीनें वास्तव में घूमना बंद कर देती हैं और एक वास्तविक संख्या पर अभिसरित (converge) होती हैं। लेखिका लौरा कैपुआनो और उनकी टीम उन बीजगणितीय आकृतियों (varieties) के परिदृश्य का पता लगा रही हैं जहाँ प्रत्येक बिंदु एक दोहराने वाले भिन्न का प्रतिनिधित्व करता है। उनका मिशन? यह मानचित्रित करना कि कौन से बिंदु "अभिसारी" (convergent) हैं और कौन से अराजक अंत (chaotic dead ends) हैं।

अभिसरण का स्वर्णिम नियम (The Golden Rule of Convergence)

टीम ने एक सरल, सख्त नियम (प्रमेय 3.1) की खोज की है जो इन भिंजनों के लिए एक ट्रैफिक लाइट की तरह कार्य करता है। p-adic दुनिया में किसी दोहराने वाले भिन्न के स्थिर होने के लिए, दो चीजें होनी चाहिए:

योग बड़ा होना चाहिए: दोहराने वाली संख्याओं का एक विशिष्ट संयोजन p-adic अर्थ में "बड़ा" होना चाहिए (अर्थात, यह $p$ की एक उच्च घात से विभाज्य है)।
शून्य विभाजन नहीं होना चाहिए: मध्यवर्ती चरणों की एक श्रृंखला यह सुनिश्चित करनी चाहिए कि हम अनजाने में शून्य से विभाजित न हो जाएं या किसी दीवार से न टकरा जाएं।

यदि ये शर्तें पूरी नहीं होती हैं, तो वह भिन्न एक बेकार प्रयास है; यह कभी अभिसरित नहीं होगा। लेखक सिद्ध करते हैं कि यह केवल एक अनुमान नहीं है—यह एक कठोर गणितीय तथ्य है।

परिदृश्य का मानचित्रण: छोटे आयाम (Mapping the Landscape: Small Dimensions)

लेखक इस परिदृश्य की सबसे सरल आकृतियों पर ध्यान केंद्रित करते हैं, जहाँ दोहराने वाले पैटर्न छोटे होते हैं (लंबाई 1, 2, या 3)। वे मानचित्रकार की तरह कार्य करते हैं, उन सीमाओं को खींचते हैं जहाँ अभिसरण संभव है।

एक-चरण लूप (प्रकार 0,1): यहाँ, भिन्न बस एक संख्या को दोहराता है। शोध पत्र सिद्ध करता है कि इसके काम करने के लिए, संख्या को एक बहुत ही विशिष्ट परिमेय मान (rational value) होना चाहिए। यदि लूप को परिभाषित करने वाला बहुपद (polynomial) p-adic दुनिया में कोई मूल (roots) नहीं रखता है, तो मानचित्र खाली है। यहाँ कोई अपरिमेय वर्गमूल (irrational square roots) छिपे नहीं हैं; मशीन बस उन तक अभिसरित नहीं होगी।
दो-चरण लूप (प्रकार 0,2): जब पैटर्न दो संख्याओं को दोहराता है, तो लेखक पाते हैं कि अभिसरण अभी भी अत्यंत दुर्लभ है। वे दिखाते हैं कि यदि यह होता भी है, तो उन दो संख्याओं का गुणनफल एक बहुत ही विशिष्ट प्रकार का वर्ग (square) होना चाहिए। फिर से, अपरिमेय वर्गमूल यहाँ गंतव्य नहीं हो सकते।
तीन-चरण लूप (प्रकार 0,3): यहीं से चीजें रोमांचक हो जाती हैं। जब पैटर्न में तीन संख्याएँ होती हैं, तो परिदृश्य खुल जाता है, लेकिन यह अभी भी एक रेगिस्तान ही है। लेखक सिद्ध करते हैं कि एक विशिष्ट प्रकार की संख्या (शुद्ध मूल/pure radicals जैसे $\sqrt{d}$ ) के लिए, अभिसारी भिंजनों की संख्या परिमित (finite) है। वे केवल यह नहीं कहते कि "यह दुर्लभ है"; वे सिद्ध करते हैं कि समाधानों की संख्या सीमित है, जैसे कि एक जटिल ताले में फिट होने वाली कुछ विशिष्ट चाबियाँ ढूंढना।

पेल समीकरण का संबंध (The Pell Equation Connection)

वर्ग मूलों (जैसे $\sqrt{d}$ ) वाले तीन-चरण लूपों के लिए, लेखक पेल समीकरणों (Pell equations) के साथ एक छिपे हुए संबंध को उजागर करते हैं। ये प्राचीन डायोफेंटाइन पहेलियाँ (समीकरण जैसे $x^2 - dy^2 = n$ ) हैं जिनका अध्ययन सदियों से किया जा रहा है।

शोध पत्र दिखाता है कि $\sqrt{d}$ के लिए एक अभिसारी p-adic भिन्न खोजना, एक विशिष्ट पेल समीकरण के समाधान खोजने के समान है। यह एक शक्तिशाली उपकरण है क्योंकि हम जानते हैं कि एक "मौलिक इकाई" (fundamental unit/मास्टर की) का उपयोग करके पेल समीकरणों के समाधानों के परिवारों को कैसे उत्पन्न किया जाता है। हालाँकि, लेखक इसका उपयोग एक नकारात्मक परिणाम सिद्ध करने के लिए करते हैं: भले ही पेल समीकरण के समाधानों के अनंत परिवार हों, उनमें से केवल एक परिमित संख्या ही सख्त p-adic अभिसरण नियमों को पूरा करेगी।

वे विशिष्ट उदाहरण भी निर्मित करते हैं। उदाहरण के लिए, वे दिखाते हैं कि विशिष्ट अभाज्य संख्याओं का उपयोग करके $\sqrt{10}$ या $\sqrt{5}$ के लिए अभिसारी भिन्न कैसे बनाए जाते हैं, लेकिन वे यह ध्यान रखने में सावधानी बरतते हैं कि ये सफलता के केवल अलग-थलग द्वीप हैं, कोई विशाल महाद्वीप नहीं।

वे क्या खारिज करते हैं (What They Rule Out)

यह समझना महत्वपूर्ण है कि यह शोध पत्र क्या काम नहीं करता है।

कोई जादुई एल्गोरिदम नहीं: लेखक स्पष्ट रूप से कहते हैं कि वे किसी निश्चित एल्गोरिदम (जैसे प्रसिद्ध ब्राउकिन या रूबन विधियाँ) को नहीं देख रहे हैं जो किसी भी संख्या के लिए भिन्न उत्पन्न करता है। इसके बजाय, वे किसी भी दोहराने वाले अनुक्रम को देखते हैं।
सरल लूपों में कोई अपरिमेय वर्गमूल नहीं: सबसे सरल लूपों (लंबाई 1 और 2) के लिए, शोध पत्र सिद्ध करता है कि एक अपरिमेय वर्गमूल पर अभिसरित होना असंभव है। यदि आप एक सरल दोहराने वाले भिन्न को p-adic दुनिया में $\sqrt{2}$ या $\sqrt{3}$ के बराबर बनाने की कोशिश करते हैं, तो ऐसा नहीं होगा।
सरल मामलों के लिए कोई अनंत समाधान नहीं: जबकि कुछ जटिल मामलों में अनंत परिवार हो सकते हैं, लेखक सिद्ध करते हैं कि "शुद्ध मूल" मामलों (जैसे $\sqrt{d}$ के साथ 3-चरण का लूप) के लिए, समाधानों की संख्या परिमित है।

निर्णय: परिमित और सटीक (The Verdict: Finite and Precise)

लेखक केवल यह सुझाव नहीं दे रहे हैं कि ये अभिसारी बिंदु मौजूद हैं; उन्होंने अध्ययन किए गए मामलों के लिए समाधान सेटों की परिमितता को सिद्ध किया है। उन्होंने केवल कंप्यूटर सिमुलेशन नहीं चलाया और यह नहीं कहा कि, "ऐसा लगता है कि कुछ हैं।" उन्होंने बीजगणितीय ज्यामिति और संख्या सिद्धांत के गहरे उपकरणों का उपयोग यह दिखाने के लिए किया कि अभिसारी बिंदुओं का सेट विशिष्ट निर्देशांकों का एक परिमित संग्रह है।

उदाहरण के लिए, $\sqrt{10}$ के मामले में 3-चरण के लूप के साथ, वे स्पष्ट रूप से उन कुछ विशिष्ट भिंजनों को सूचीबद्ध करते हैं जो काम करते हैं, जैसे कि $[13, 9/53, -4]$ । वे यह भी दिखाते हैं कि कुछ प्रकार की संख्याओं (जैसे कि 4 से विभाज्य या $-1 \pmod 4$ के अनुरूप अभाज्य) के लिए, समाधानों का सेट रिक्त (empty) है—वहाँ कोई अभिसारी भिन्न नहीं है।

बड़ी तस्वीर (The Big Picture)

यह शोध पत्र गणितीय ब्रह्मांड के एक छोटे, पेचीदा कोने का एक कठोर मानचित्र है। यह हमें बताता है कि हालांकि p-adic दुनिया दोहराने वाले पैटर्न से भरी हुई है, लेकिन वे जो वास्तव में एक संख्या पर स्थिर होते हैं, वे अविश्वसनीय रूप से चयनात्मक हैं। उन्हें बीजगणितीय स्थितियों के एक पूर्ण संरेखण की आवश्यकता होती है। लेखकों ने सीमाओं को खींचा है, सिद्ध किया है कि सीमाएँ परिमित हैं, और हमें दिखाया है कि "सुरक्षित क्षेत्र" कहाँ हैं। उन्होंने हर संख्या को अभिसरित करने का तरीका नहीं खोजा है, बल्कि उन्होंने सफलतापूर्वक उन दुर्लभ, विशेष मामलों की पहचान की है जहाँ p-adic मशीन अंततः घूमना बंद कर देती है और हमें एक स्पष्ट उत्तर देती है।

तकनीकी सारांश: आवर्ती सतत भिन्नों (Periodic Continued Fractions) से उत्पन्न होने वाले रूपांतरों में p-adic रूप से अभिसारी लोकी (Loci)

समस्या विवरण
यह शोध पत्र $S$ -पूर्णांकों $\mathbb{Z}[1/p]$ में आंशिक भागों (partial quotients) वाले आवर्ती सतत भिन्नों (periodic continued fractions - PCFs) के $p$ -adic अभिसरण की जांच करता है, जहाँ $p$ एक विषम अभाज्य संख्या है। शास्त्रीय (आर्किमिडियन) सतत भिन्न सिद्धांत—जो लैग्रेंज के प्रमेय के माध्यम से आवर्तकता को द्विघात अपरिमेय संख्याओं से जोड़ता है—सुस्थापित है, जबकि $p$ -adic परिवेश विशिष्ट चुनौतियां प्रस्तुत करता है। शास्त्रीय मामले के विपरीत, $p$ -adic सतत भिन्नों को उत्पन्न करने के लिए कोई एकल मानक एल्गोरिदम (जैसे कि रुबन, ब्रौकिन, श्नाइडर एल्गोरिदम मौजूद हैं, लेकिन वे अद्वितीय नहीं हैं) उपलब्ध नहीं है। फलस्वरूप, लेखक किसी विशिष्ट एल्गोरिदम द्वारा उत्पन्न विस्तारों तक अपने अध्ययन को सीमित नहीं करते हैं। इसके बजाय, वे एक ज्यामितीय परिप्रेक्ष्य अपनाते हैं जो ब्रॉक, एल्कीस और जॉर्डन (BEJ21) से प्रेरित है, जिन्होंने उन बीजगणितीय रूपांतरों (varieties) को परिभाषित किया जिनके बिंदु एक दिए गए द्विघात समीकरण को संतुष्ट करने वाले औपचारिक आवर्ती सतत भिन्नों का प्रतिनिधित्व करते हैं। केंद्रीय समस्या इन रूपांतरों के $p$ -adic अभिसारी लोकी (convergent locus) का लक्षण वर्णन करना है: उन बिंदुओं का उपसमुच्चय जो आर्किमिडियन मान के बजाय $p$ -adic मान के सापेक्ष अभिसरण करने वाले सतत भिन्नों के अनुरूप होते हैं।

कार्यप्रणाली
लेखक बीजगणितीय ज्यामिति, अंकगणित और रैखिक पुनरावृत्ति (linear recurrences) तथा पेल समीकरणों (Pell equations) के सिद्धांत के संश्लेषण का उपयोग करते हैं।

ज्यामितीय ढांचा: वे रूपांतरों $V(F)_{N,k}$ का उपयोग करते हैं, जहाँ $F(x) = Ax^2 + Bx + C$ एक द्विघात बहुपद है, और $(N, k)$ प्री-पीरियड (pre-period) और पीरियड (period) की लंबाई को दर्शाता है। इन रूपांतरों के बिंदु $(b_1, \dots, b_N, a_1, \dots, a_k)$ के टुपल्स (tuples) के अनुरूप होते हैं जो $[b_1, \dots, b_N, \overline{a_1, \dots, a_k}]$ को दर्शाते हैं।
अभिसरण मानदंड: एक महत्वपूर्ण उपकरण प्रमेय 3.1 है, जो एक शुद्ध आवर्ती (purely periodic) सतत भिन्न $P = [a_1, \dots, a_k]$ के $p$ -adic अभिसरण के लिए एक आवश्यक और पर्याप्त मानदंड प्रदान करता है। यह मानदंड आवर्त (period) से जुड़े मैट्रिक्स $M(a_1, \dots, a_k)$ के आइजनमानों (eigenvalues) पर निर्भर करता है। अभिसरण के लिए यह आवश्यक है कि इस मैट्रिक्स का ट्रेस (trace) $p$ -adic मान 1 से अधिक हो, और मैट्रिक्स की घातों के विशिष्ट प्रविष्टियाँ सख्त $p$ -adic मूल्यांकन असमानताओं (valuation inequalities) को संतुष्ट करें।
मामला-दर-मामला विश्लेषण: लेखक कम आयाम वाले रूपांतरों (जहाँ $N+k \leq 3$ $N + k \leq 3$ ) का विश्लेषण करते हैं। प्रत्येक प्रकार $(N, k)$ $(N, k)$ के लिए, वे:
- $V(F)_{N,k}$ पर $\mathbb{Z}[1/p]$ -परिवर्तनीय बिंदुओं का लक्षण वर्णन करते हैं।
- $p$ -adic अभिसरण के लिए इन बिंदुओं को फ़िल्टर करने हेतु प्रमेय 3.1 लागू करते हैं।
- जहाँ संभव हो, अभिसारी बिंदुओं को $F$ के गुणांकों के रूप में स्पष्ट रूप से व्यक्त करते हैं।
Diophantine संबंध: "शुद्ध मूलों" (pure radicals, $F(x) = x^2 - d$ ) के मामले के लिए, प्रकार $(0, 3)$ के रूपांतर के परिभाषित समीकरण सामान्य पेल समीकरणों में बदल जाते हैं। लेखक रैखिक पुनरावृत्ति अनुक्रमों के सिद्धांत और पेल समाधानों पर यूनिट ग्रुप एक्शन का लाभ उठाते हुए, परिमितता (finiteness) के परिणाम प्राप्त करते हैं और स्पष्ट परिवारों का निर्माण करते हैं।

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

सामान्य अभिसरण मानदंड: यह शोध पत्र आवर्ती भिन्नों के लिए एक तीक्ष्ण अभिसरण मानदंड के रूप में प्रमेय 3.1 स्थापित करता है। यह परिणाम दिखाया गया है कि यह पिछले पर्याप्त मानदंडों (जैसे ब्रौकिन द्वारा) से भिन्न है और यह रेखांकित करता है कि अभिसरण केवल प्री-पीरियड पर नहीं, बल्कि आवर्ती भाग के मैट्रिक्स गुणों पर निर्भर करता है।
लघु आयामों के लिए स्पष्ट गणना:
- प्रकार (0,1), (1,1), (0,2): लेखक अभिसारी लोकी का पूर्ण लक्षण वर्णन प्रदान करते हैं। उदाहरण के लिए, प्रकार (0,1) के लिए, अभिसरण तभी होता है जब अद्वितीय परिमेय बिंदु $F$ के गुणांकों से संबंधित एक विशिष्ट $p$ -adic असमानता को संतुष्ट करता है।
- प्रकार (2,1), (0,3): लेखक इन प्रकारों के लिए $p$ -adic अभिसारी लोकी की परिमितता (finiteness) को सिद्ध करते हैं। प्रकार (0,3) के लिए $F(x) = x^2 - d$ के साथ, किसी भी निश्चित $d$ के लिए अभिसारी बिंदुओं का सेट परिमित है।
- प्रकार (1,2): अभिसारी लोकी को परिमित दिखाया गया है, और शोध पत्र उन स्थितियों का विवरण देता है जिनमें यह गैर-रिक्त (non-empty) होता है, जो $F$ की अपरिमेयता (reducibility) और विशिष्ट $p$ -adic मूल्यांकनों से संबंधित है।
स्पष्ट परिवारों का निर्माण:
- $F(x) = x^2 - d$ के लिए जहाँ $d = a^2 + 1$ , लेखक विशिष्ट रैखिक पुनरावृत्ति अनुक्रमों (चेबिशेव बहुपदों से संबंधित) के भीतर अभाज्य घातों की पहचान करके प्रकार (0,3) के अनंत $p$ -adic अभिसारी PCFs का निर्माण करते हैं।
- वे कई पूर्णांकों के वर्गमूलों के लिए स्पष्ट अभिसारी आवर्ती विस्तारों का निर्माण करते हैं, जिनमें $\sqrt{p^2+1}$ और $\sqrt{a^2+1}$ जैसे रूप शामिल हैं।
- प्रकार (1,3) के मामले में, वे द्विघात अपरिमेयों के लिए स्पष्ट अभिसारी विस्तारों के परिवारों को प्रदान करते हैं, जिसमें $\sqrt{10}$ और $\sqrt{p^2+1}$ जैसे उदाहरण शामिल हैं।
गैर-अस्तित्व परिणाम: शोध पत्र यह प्रदर्शित करता है कि कुछ प्रकारों (जैसे (0,1) और (0,2)) के लिए, अपरिमेय वर्गमूल अभिसारी PCFs के सीमा (limit) नहीं हो सकते, जो ब्रौकिन सतत भिन्नों के ज्ञात परिणामों के अनुरूप है। यह उन स्थितियों (जैसे $d \leq 0$ या विशिष्ट मॉड्यूलर बाधाएं) की भी पहचान करता है जिनके तहत $\sqrt{d}$ के लिए कोई भी अभिसारी PCF प्रकार (0,3) मौजूद नहीं है।

महत्व और दावे
शोध पत्र का दावा है कि यह किसी निश्चित पीढ़ी एल्गोरिदम पर निर्भर किए बिना आवर्ती सतत भिन्नों के $p$ -adic अभिसरण का पहला व्यवस्थित ज्यामितीय अध्ययन प्रदान करता है। विभिन्न $p$ -adic विस्तारों के उपचार को एक एकल बीजगणितीय ढांचे के तहत एकीकृत करके, वे:

विभिन्न $p$ -adic विस्तारों के उपचार को एक ही बीजगणितीय ढांचे के तहत एकीकृत करते हैं।
निम्न-आयामी मामलों में दिए गए द्विघात अपरिमेय के लिए अभिसारी विस्तारों की संख्या के संबंध में प्रभावी परिमितता परिणाम प्राप्त करते हैं।
पूर्णांकों के वर्गमूलों के लिए स्पष्ट, गैर-तुच्छ अभिसारी परिवारों का निर्माण करते हैं, यह प्रदर्शित करते हुए कि ऐसे विस्तार अनंत पूर्णांकों और अभाज्य संख्याओं के लिए मौजूद हैं, भले ही वे मानक "फ्लोर फंक्शन" एल्गोरिदम से उत्पन्न न होते हों।

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