🔢 mathematics

Irrationality of finite logarithms in a congruence-class adèle ring

यह शोध पत्र "पुअर मैन के एडेल रिंग" (poor man's adèle ring) में परिमित लघुगणकों (finite logarithms) की अपरिमेयता पर पिछले परिणामों को विशिष्ट अंकगणितीय प्रगति (arithmetic progressions) तक प्रतिबंधित अभाज्य संख्याओं (primes) तक विस्तारित करता है और यह प्रदर्शित करता है कि $abc$-अनुमान (abc-conjecture) के अधीन, ये लघुगणक द्विघाती अपरिमेय (quadratic irrational) नहीं हो सकते।

मूल लेखक: Daniel Evans

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

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

CC BY 4.0

मूल लेखक: Daniel Evans

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

संख्याओं की दुनिया की कल्पना केवल ऋणात्मक अनंत से धनात्मक अनंत तक फैली एक सीधी रेखा के रूप में न करें, बल्कि एक विशाल, बहु-आयामी शहर के रूप में करें। इस शहर में, परिचित परिमेय संख्याएँ (जैसे 1/2, 3, या -7/4) वे मुख्य सड़कें हैं जिन्हें हर कोई जानता है। लेकिन गणितज्ञों ने एक विशेष, थोड़ा अराजक पड़ोस बनाया है जिसे "पुअर मैन'स एडेल रिंग" (poor man's adèle ring) कहा जाता है। इस पड़ोस को एक विशाल पुस्तकालय के रूप में सोचें जहाँ प्रत्येक पुस्तक एक अलग अभाज्य संख्या (2, 3, 5, 7, 11, इत्यादि) का प्रतिनिधित्व करती है। इस पड़ोस में रहने के लिए, एक संख्या के पास प्रत्येक अभाज्य संख्या के लिए एक "पासपोर्ट" होना चाहिए, जो यह दिखाए कि उस अभाज्य संख्या से विभाजित करने पर वह कैसी दिखती है। यह एक ऐसी जगह है जहाँ हम अध्ययन कर सकते हैं कि संख्याएँ अभाज्य संख्याओं के सूक्ष्म, अद्वितीय फिल्टरों के माध्यम से गुजरने पर कैसा व्यवहार करती हैं।

इस अजीब पड़ोस में, गणितज्ञों ने "परिमित लघुगणक" (finite logarithm) नामक एक उपकरण का आविष्कार किया है। सामान्य दुनिया में, एक लघुगणक (logarithm) बताता है कि किसी परिणाम को प्राप्त करने के लिए आपको एक आधार संख्या को कितनी बार गुणा करना होगा (जैसे कि 2 को खुद से 3 बार गुणा करने पर 8 मिलता है)। इस अभाज्य-संख्या पुस्तकालय में, परिमित लघुगणक एक विशेष कोड है जो "फर्मेट कोशेंट" (Fermat quotient) नामक प्रक्रिया द्वारा उत्पन्न होता है। यह एक संख्या लेने, उसे एक विशिष्ट अभाज्य संख्या के आधार पर एक विशाल घात तक बढ़ाने, एक घटाने और फिर उस अभाज्य संख्या से विभाजित करने पर जो शेष बचता है, उसे देखने जैसा है। बड़ा सवाल जो गणितज्ञों ने पूछा है वह है: "ये कोड अंततः किस तरह की संख्याएँ बनते हैं?" क्या वे केवल सरल, उबाऊ भिन्न (परिमेय संख्याएँ) हैं, या वे जंगली, अप्रत्याशित और अपरिमेय हैं? यह समझना महत्वपूर्ण है क्योंकि ये कोड हमें यह समझने में मदद करते हैं कि संख्याएँ पूरे अभाज्य ब्रह्मांड में एक-दूसरे से कैसे संबंधित हैं।

इस शोध पत्र में, डैनियल इवांस इन परिमित लघुगणकों पर अधिक बारीकी से नज़र डालते हैं, लेकिन एक मोड़ के साथ। सभी अभाज्य संख्याओं को देखने के बजाय, वे केवल उन अभाjes पर ध्यान केंद्रित करते हैं जो एक विशिष्ट मार्चिंग ऑर्डर (कतारबद्ध क्रम) का पालन करते हैं: वे जो एक निश्चित संख्या $m$ द्वारा विभाजित होने पर 1 का शेषफल छोड़ते हैं (जैसे कि वे अभाज्य संख्याएँ जो 3 के गुणज से 1 अधिक हैं, या 5 के गुणज से 1 अधिक हैं)। वे इसे एक "योगसम वर्ग" (congruence class) कहते हैं।

इवांस इन प्रतिबंधित कोडों के बारे में दो प्रमुख बातें सिद्ध करते हैं। पहला, वे दिखाते हैं कि लगभग किसी भी शुरुआती संख्या के लिए जिसे आप चुनते हैं (जब तक कि वह 1 या -1 न हो), परिणामी परिमित लघुगणक कोड कभी भी एक सरल, गैर-शून्य परिमेय संख्या नहीं होता है। यह 3/4 या 5/2 जैसे साधारण भिन्न के रूप में नहीं है; यह बहुत अधिक जटिल है जिसे इस विशेष पुस्तकालय में एक एकल, सुव्यवस्थित भिन्न के रूप में नहीं लिखा जा सकता है। दूसरा, वे दिखाते हैं कि ये कोड कभी भी शून्य नहीं होते हैं, बशर्ते हम गणित में एक प्रसिद्ध, अप्रमाणित अनुमान को स्वीकार करें जिसे "abc-अनुमान" (abc-conjecture) कहा जाता है। यदि यह अनुमान सत्य है, तो कोड कभी भी शून्य में विलीन नहीं होता।

यह शोध पत्र एक अधिक जटिल विचार को भी संबोधित करता है: क्या ये कोड "द्विघाती अपरिमेय" (quadratic irrational) हो सकते हैं? संख्याओं की दुनिया में, एक द्विघाती अपरिमेय वह संख्या है जिसमें एक गैर-वर्ग संख्या के वर्गमूल (जैसे $\sqrt{2}$ या $\sqrt{3}$ ) का समावेश होता है, जिसे एक सरल भिन्न के रूप में नहीं लिखा जा सकता लेकिन वह एक विशिष्ट, पूर्वानुमेय पैटर्न का पालन करता है। मानकर कि abc-अनुमान सत्य है, इवांस यह भी प्रदर्शित करते हैं कि ये परिमित लघुगणक द्विघाती अपरिमेय भी नहीं हैं। वे साधारण भिन्न की तुलना में और भी अधिक अराजक और अप्रत्याशित हैं।

इन निष्कर्षों तक पहुँचने के लिए, इवांस "साइक्लोटोमिक पॉलिनोमियल" (cyclotomic polynomials) का उपयोग करके एक चतुर गणितीय युक्ति का प्रयोग करते हैं। आप इन्हें विशेष, बहु-स्तरीय फिल्टर के रूप में सोच सकते हैं जो संख्याओं को 'रूट्स ऑफ यूनिटी' (इमेजिनरी नंबर्स जो 1 की ओर वापस घूमते हैं) के साथ उनके संबंध के आधार पर छाँटते हैं। फर्मेट कोशिएंट्स पर लागू किए जाने पर ये फिल्टर कैसे व्यवहार करते हैं, इसका विश्लेषण करके, इवांस पाते हैं कि यदि लघुगणक एक सरल परिमेय संख्या या द्विघाती अपरिमेय होता, तो यह एक गणितीय विरोधाभास पैदा करता—जैसे कि एक पहेली का टुकड़ा जो बस उस छेद के आकार में फिट नहीं बैठता जिसके लिए उसे बनाया गया है।

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

तकनीकी सारांश: एक सर्वांगसमता-वर्ग एडेल रिंग में परिमित लघुगणक की अपरिमेयता

समस्या विवरण
यह शोध पत्र "गरीब आदमी के एडेल रिंग" (poor man's adèle ring) $\mathcal{A}$ में "परिमित लघुगणक" (finite logarithms) के अंकगणितीय गुणों की जांच करता है, जिसे सभी अभाज्य संख्याओं $p$ पर $\mathbb{Z}/p\mathbb{Z}$ के प्रतिबंधित उत्पाद (restricted product) के रूप में परिभाषित किया गया है। इस रिंग के तत्व $(t_p)_{p \in \mathbb{P}}$ अनुक्रम हैं जहाँ $t_p \in \mathbb{Q}$ है और पर्याप्त बड़े अभाज्य $p$ के लिए इन्हें modulo $p$ के रूप में पहचाना जाता है। परिमित लघुगणक फलन $\log_{\mathcal{A}}: \mathbb{Q}^\times \to \mathcal{A}$ को फर्मा कोटिएंट्स (Fermat quotients) के माध्यम से परिभाषित किया गया है:
$\log_{\mathcal{A}}(\alpha) = (q_p(\alpha) \pmod p)_{p \in \mathbb{P}}, \quad \text{जहाँ } q_p(\alpha) = \frac{\alpha^{p-1}-1}{p}.$
मत्सुसाका और सेकी के पिछले कार्यों ने स्थापित किया था कि $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ के लिए, $\log_{\mathcal{A}}(\alpha)$ $\mathcal{A}$ में कभी भी एक गैर-शून्य परिमेय तत्व नहीं होता है। इसके अतिरिक्त, सिल्वरमैन ने यह दिखाया (abc-अनुमान पर आधारित) कि $\log_{\mathcal{A}}(\alpha) \neq 0$ है।

यह शोध पत्र मुख्य रूप से जिस समस्या का समाधान करता है, वह है इन अपरिमेयता और गैर-शून्यता परिणामों को अभाज्य संख्याओं के प्रतिबंधित सेटों तक विस्तारित करना: विशेष रूप से वे अभाज्य संख्याएँ जो एक निश्चित पूर्णांक $m \ge 1$ के लिए $p \equiv 1 \pmod m$ के रूप में अंकगणितीय प्रगति (arithmetic progressions) में आती हैं। लक्ष्य यह निर्धारित करना है कि क्या $\log_{\mathcal{A}}(\alpha)$ प्रतिबंधित रिंग $\mathcal{A}(m)$ के भीतर परिमेय मान ले सकता है या शून्य हो सकता है, और $\mathcal{A}(m)$ में इन लघुगणकों की "पुनरावृत्ति डिग्री" (recurrence degree) का विश्लेषण करना है, विशेष रूप से यह कि क्या वे द्विघातीय अपरिमेय (quadratic irrational) तत्व हो सकते हैं।

कार्यप्रणाली
यह शोध पत्र साइक्लोटोमिक बहुपद सिद्धांत (cyclotomic polynomial theory) और शास्त्रीय अपरिमेयता प्रमाण तकनीकों के संयोजन का उपयोग करता है जिन्हें एडेल सेटिंग के अनुकूल बनाया गया है।

साइक्लोटोमिक निर्माण (Cyclotomic Constructions): लेखक फर्मा कोटिएंट्स को साइक्लोटोमिक बहुपदों $\Phi_n(u, v)$ और उनके आंशिक अवकलजों (partial derivatives) के मानों से संबंधित करते हैं। उपयोग की गई एक प्रमुख पहचान होमोजेनाइज्ड रूप $\Phi_n(X^p, Y^p) = \Phi_n(X, Y)\Phi_{np}(X, Y)$ है।
सर्वांगसमता विश्लेषण (Congruence Analysis): $\Phi_n(u, v)$ के अभाज्य गुणनखंडों का विश्लेषण करके, यह शोध पत्र स्थापित करता है कि यदि कोई अभाज्य $p$ , $\Phi_n(u, v)$ को विभाजित करता है (जहाँ $p \nmid n$ ), तो $p \equiv 1 \pmod n$ होता है। यह गुण विश्लेषण को $p \equiv 1 \pmod m$ की सर्वांगसमता श्रेणी तक सीमित करने के लिए महत्वपूर्ण है।
शून्य अनुक्रमों के माध्यम से विरोधाभास (Contradiction via Vanishing Sequences): अपरिमेयता (प्रमेय 1.2(i)) को सिद्ध करने के लिए, लेखक यह मान लेते हैं कि $\log_{\mathcal{A}(m)}(\alpha)$ एक परिमेय संख्या है। यह धारणा $\Phi_{m\ell}(u, v)$ और उनके अवकलजों के मानों से प्राप्त गैर-शून्य पूर्णांकों के एक अनुक्रम के निर्माण की अनुमति देती है। प्रमाण यह प्रदर्शित करता है कि यह अनुक्रम, जब सामान्यीकृत (normalized) किया जाता है, तो जैसे-जैसे सहायक अभाज्य $\ell \to \infty$ होता है, शून्य की ओर बढ़ता है, जिससे एक विरोधाभास उत्पन्न होता है।
abc-अनुमान का अनुप्रयोग (Application of the $abc$-Conjecture): गैर-शून्यता (प्रमेय 1.2(ii)) को सिद्ध करने के लिए, यह सिल्वरमैन की पद्धति को अनुकूलित करता है। यह $u^n - v^n$ के "शक्तिशाली भाग" (powerful part) को सीमित करने के लिए $abc$-अनुमान का उपयोग करता है। यह दिखाकर कि साइक्लोटोमिक मान बहुत तेजी से बढ़ते हैं और यदि लघुगणक शून्य होने की धारणा के तहत "शक्तिशाली" (square-full) नहीं हैं, तो एक विरोधाभास तक पहुँचा जाता है।
पुनरावृत्ति डिग्री वर्गीकरण (Recurrence Degree Classification): शोध पत्र पुनरावृत्ति डिग्री $\deg_{\mathcal{A}}(t)$ को एक रैखिक पुनरावृत्ति (linear recurrence) के न्यूनतम क्रम के रूप में परिभाषित करता है जिसके परिमेय गुणांकों द्वारा अनुक्रम $t \in \mathcal{A}$ को संतुष्ट किया जाता है। यह द्विघातीय दिया-डायरेक्ट चरित्र (quadratic Dirichlet characters) का उपयोग करके डिग्री $\le 2$ वाले तत्वों को वर्गीकृत करता है।

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

सर्वांगसमता वर्गों तक विस्तार (प्रमेय 1.2): यह शोध पत्र सिद्ध करता है कि किसी भी $\alpha \in \mathbb{Q}^\times \setminus \{\pm 1\}$ और $m \ge 1$ के लिए:
- (i) $\log_{\mathcal{A}(m)}(\alpha)$ प्रतिबंधित रिंग $\mathcal{A}(m)$ में एक गैर-शून्य परिमेय संख्या नहीं है।
- (ii) $abc $-अनुमान को मानते हुए,$ \mathcal{A}(m) $में$ \log_{\mathcal{A}(m)}(\alpha) \neq 0$ है।
- नोट: $p \equiv 1 \pmod m$ की प्रतिबंधात्मकता उपयोग किए गए साइक्लोटोमिक पद्धति के लिए आंतरिक है; लेखक नोट करते हैं कि अन्य अवशेष वर्गों $p \equiv b \pmod m$ (जहाँ $b \not\equiv 1$ ) को मजबूर करना इस विशिष्ट दृष्टिकोण के अनुकूल नहीं है।
द्विघातीय अपरिमेयता (प्रमेय 1.3): शोध पत्र इस बात की जांच करता है कि क्या परिमित लघुगणक "द्विघातीय" हो सकते हैं, इस अर्थ में कि उनकी पुनरावृत्ति डिग्री $\le 2$ हो।
- यह दिखाया गया है कि यदि $\deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) \le 2$ , तो $\log_{\mathcal{A}}(\alpha)$ को किसी $r \in \mathbb{Q}$ और वर्ग-मुक्त पूर्णांक $D$ के लिए विशिष्ट रूप $r(1 - (\frac{D}{p}))_p$ लेना चाहिए।
- महत्वपूर्ण रूप से, $abc $-अनुमान को मानते हुए, शोध पत्र सिद्ध करता है कि$ \deg_{\mathcal{A}}(\log_{\mathcal{A}}(\alpha)) > 2 $है। इसका तात्पर्य है कि परिमित लघुगणक$ \mathcal{A}$ में द्विघातीय अपरिमेय तत्व नहीं हो सकते।
एबेलियन विस्तारों तक सामान्यीकरण (टिप्पणी 4.2): तर्क को यह सुझाव देने के लिए विस्तारित किया गया है कि यदि किसी पुनरावृत्ति के अभिलक्षणिक बहुपद (characteristic polynomial) का स्प्लिटिंग फील्ड (splitting field) एबेलियन है, तो लघुगणक उस पुनरावृत्ति के प्रतिबिंब (image) में नहीं हो सकता (फिर से, $abc$-अनुमान को मानते हुए)।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह पूर्ण एडेल रिंग से विशिष्ट अंकगणितीय प्रगति के लिए प्रतिबंधित रिंगों तक मत्सुसाका, सेकी और सिल्वरमैन के ज्ञात अपरिमेयता परिणामों का विस्तार करता है। यह महत्वपूर्ण है क्योंकि यह दर्शाता है कि परिमित लघुगणकों की अपरिमेयता कितनी सुदृढ़ है, भले ही अंतर्निहित अभाज्य सेट को घनत्व $1/\phi(m)$ तक कम कर दिया गया हो।

इसके अलावा, यह कार्य फर्मा कोटिएंट्स के अंकगणित को रोसेन (Rosen) के अर्थ में "परिमित बीजगणिक संख्याओं" के सिद्धांत से जोड़ता है। यह सिद्ध करके कि $\log_{\mathcal{A}}(\alpha)$ एक द्विघातीय तत्व नहीं हो सकता है (और अधिक व्यापक रूप से, पुनरावृत्ति के एबेलियन स्प्लिटिंग फील्ड्स के प्रतिबिंब में नहीं हो सकता है), यह शोध पत्र इस व्यापक अनुमान का समर्थन करता है कि परिमित लघुगणक "सहज रूप से अपरिमेय" (naively transcendental) होते हैं (अर्थात, वे रैखिक पुनरावृत्तियों को संतुष्ट करने वाले बीजगणिक अर्थ में नहीं होते हैं)। लेखक विनम्रतापूर्वक नोट करते हैं कि गैर-एबेलियन मामला (non-abelian case) गैर-तत्काल अवशेष वर्गों के लिए प्रत्यक्ष साइक्लोमोटमिक दृष्टिकोण की कमी के कारण खुला बना हुआ है।

इसी तरह के और पेपर