🔢 mathematics

Explicit Prime Densities for Lucas Sequence Rank Divisibility

यह शोध पत्र उन अभाज्य संख्याओं $p$ के डिरिचलेट घनत्व (Dirichlet density) के लिए बंद-रूप सूत्र (closed-form formulas) व्युत्पन्न करता है जिनमें एक निश्चित पूर्णांक $d$ , एक लुकास अनुक्रम $U$ में $p$ के प्राकट्य रैंक (rank of appearance) को विभाजित करता है, जिससे सभी लुकास अनुक्रमों और सभी पूर्णांकों $d \geq 1$ को कवर करते हुए सन्ना (2022) के कार्य को पूर्णता प्रदान की गई है।

मूल लेखक: Joaquim Cera Da Conceição

प्रकाशित 2026-08-25

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

CC BY 4.0

मूल लेखक: Joaquim Cera Da Conceição

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

संख्या सिद्धांत के विशाल परिदृश्य में, गणितज्ञ उन संख्याओं के अनुक्रमों का अध्ययन करते हैं जो एक सरल, दोहराव वाले नियम के अनुसार बढ़ते हैं। एक ऐसी संख्याओं की रेखा की कल्पना करें जहाँ प्रत्येक नई प्रविष्टि को पिछली दो प्रविष्टियों को जोड़कर बनाया जाता है, ठीक वैसे ही जैसे एक वंशावली वृक्ष एक सामान्य पूर्वज से शाखाओं में विभाजित होता है। इन्हें लुकास अनुक्रम (Lucas sequences) के रूप में जाना जाता है। शोधकर्ताओं के लिए एक केंद्रीय प्रश्न यह समझना है कि ये अनुक्रम अभाज्य संख्याओं (prime numbers) के साथ कैसे परस्पर क्रिया करते—जो अंकगणित के अविभाज्य निर्माण खंड हैं। किसी दिए गए अभाज्य संख्या के लिए, अनुक्रम में एक विशिष्ट क्षण होता है जहाँ वह अभाज्य संख्या पहली बार एक गुणनखंड के रूप में प्रकट होती है। इसे उसका "उपस्थिति रैंक" (rank of appearance) कहा जाता है। यह उस विशिष्ट अनुक्रम के भीतर उस अभाज्य संख्या की एक अद्वितीय पहचान या 'फिंगरप्रिंट' है। बड़ा प्रश्न यह है कि यदि हम सभी अभाज्य संख्याओं को देखें, तो हमें कितनी बार ऐसे अभाज्य संख्याएँ मिलती हैं जिनका उपस्थिति रैंक एक विशिष्ट संख्या, जैसे कि तीन, पाँच, या सौ से विभाज्य हो। इस आवृत्ति को 'डिरिचलेट घनत्व' (Dirichlet density) कहा जाता है, जो यह मापने का एक तरीका है कि अभाज्य संख्याओं के अनंत समूह में एक निश्चित पैटर्न कितना सामान्य है।

दशकों तक, गणितज्ञ कई विशिष्ट मामलों के लिए इस आवृत्ति की गणना करने में सक्षम रहे हैं, लेकिन एक पूर्ण चित्र अभी भी मायावी बना रहा। पिछले कार्यों ने कुछ प्रकार के अनुक्रमों और विशिष्ट विभाजकों के लिए इस समस्या को हल किया था, लेकिन अंतराल बने रहे, विशेष रूप से जब अंतर्निहित गणितीय संरचना में तीन या ऋणात्मक एक के वर्गमूल से संबंधित जटिल समरूपताएँ शामिल थीं। ये अंतराल एक पहेली के लापता टुकड़ों की तरह थे जो पूर्ण समझ प्राप्त करने में बाधा डाल रहे थे। यह शोध पत्र उन अंतिम छेदों को भरने के लिए आया है। लेखक ने सटीक, क्लोज्ड-फॉर्म (closed-form) सूत्र व्युत्पन्न किए हैं जो किसी को भी किसी भी चुनी गई पूर्णांक के लिए उपस्थिति रैंक के विभाज्यता का सटीक घनत्व ज्ञात करने की अनुमति देते हैं, चाहे अध्ययन किया जा रहा लुकास अनुक्रम कोई भी हो। यह कार्य एक लंबे समय से चले आ रहे प्रयास को पूर्ण करता है, यह सुनिश्चित करते हुए कि इन पैटर्नों को नियंत्रित करने वाले नियम अब हर संभावित परिदृश्य के लिए ज्ञात हैं।

शोधकर्ताओं ने इस समस्या को संख्याओं के विस्तारित गणितीय संसारों में संख्याओं के व्यवहार के रूप में अनुवाद करके इस दृष्टिकोण को अपनाया। अनुक्रम को सीधे देखने के बजाय, उन्होंने देखा कि अनुक्रम के मूलों (roots) का एक विशिष्ट अनुपात एक अभाज्य संख्या के मॉड्युलो (modulo) में कैसे व्यवहार करता है। यह अनुपात एक 'जेनरेटर' (generator) की तरह कार्य करता है, और एक विशिष्ट समूह में इसका क्रम (order) उपस्थिति रैंक को निर्धारित करता है। चुनौती यह थी कि इस जेनरेटर का व्यवहार अभाज्य संख्या और अनुक्रम के गुणों के आधार पर बदल जाता है। लेखक को विभिन्न परिदृश्यों को ध्यान में रखना पड़ा, जैसे कि जब अनुक्रम का परिभाषित बहुपद ऋणात्मक तीन के वर्गमूल वाले क्षेत्र में विभाजित होता है, या जब इसमें ऋणात्मक एक का वर्गमूल शामिल होता है। इन विशेष मामलों में, मानक गणना विधियाँ विफल हो जाती हैं क्योंकि सामान्य समरूपताएँ इन विशिष्ट मूलों की उपस्थिति से बाधित हो जाती हैं।

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

यह शोध पत्र पुष्टि करता है कि इन अभाज्य संख्याओं का घनत्व न केवल एक सैद्धांतिक संभावना है, बल्कि एक ठोस, गणनीय मान भी है। लेखक ने केवल यह सुझाव नहीं दिया कि ये मान अस्तित्व में हैं; उन्होंने उनके अस्तित्व को सिद्ध किया और उन्हें खोजने का सटीक नुस्खा भी प्रदान किया। उन्होंने विभाजक के सम (even) होने पर "रैंक" से संबंधित एक सूक्ष्म मुद्दे को भी संबोधित किया, यह दिखाते हुए कि संख्याओं की विशिष्ट समता (parity) को ध्यान में रखने के लिए गणना को कैसे समायोजित किया जाए। उनके परिणाम अन्य गणितज्ञों के पिछले कार्यों का निर्माण और परिशोधन करते हैं, जिससे वे प्रतिबंध हट जाते हैं जो पहले इसके दायरे को सीमित करते थे। उदाहरण के लिए, पिछले अध्ययनों को कुछ क्षेत्रों में विभाजक के दो या तीन के गुणज होने के मामलों को बाहर करना पड़ता था, लेकिन यह नया कार्य उन बहिष्करणों को पूरी तरह से हटा देता है।

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

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

तकनीकी सारांश: लुकास अनुक्रम रैंक विभाज्यता के लिए स्पष्ट अभाज्य घनत्व

समस्या विवरण
यह शोध पत्र उन अभाज्य संख्याओं $p$ के डिरिचलेट घनत्व (Dirichlet density) को निर्धारित करने की समस्या को संबोधित करता है जिनके लिए एक लुकास अनुक्रम $U = (U_n)_{n \ge 0}$ में रैंक उपस्थिति (rank of appearance) $\rho_U(p)$ एक निश्चित पूर्णांक $d \ge 1$ से विभाज्य है। रैंक उपस्थिति को उस न्यूनतम धनात्मक पूर्णांक $n$ के रूप में परिभाषित किया गया है जिसके लिए $p \mid U_n$ होता है।

संदर्भ और पूर्व कार्य
यह अध्ययन हासे (Hasse) के आधारभूत कार्य पर आधारित है, जिन्होंने विशिष्ट वर्ग-मुक्त मापदंडों और अभाज्य $d$ का उपचार किया था, और विर्टेलैक (Wiertelak) के कार्य पर आधारित है, जिन्होंने उस मामले को हल किया जहाँ अभिलक्षण बहुपद (characteristic polynomial) अपरिमेय (reducible) है। लैगारियास (Lagarias), क्युब्रे (Cubre), रूस (Rouse) और बैलोट (Ballot) द्वारा विशिष्ट अनुक्रमों और $d$ के छोटे मानों के लिए महत्वपूर्ण प्रगति की गई थी। हाल ही में, सन्ना (Sanna, 2022) ने एक सामान्य ढांचा और विषम $d$ के लिए स्पष्ट सूत्र प्रदान किए जो 3 से विभाज्य नहीं हैं, बशर्ते कि अभिलक्षण बहुपद का स्प्लिटिंग फील्ड $\mathbb{Q}(\sqrt{-3})$ न हो। हालांकि, सन्ना के परिणामों ने उन मामलों को खुला छोड़ दिया जहाँ स्प्लिटिंग फील्ड चक्रीय (cyclotomic) है (विशेष रूप से $\mathbb{Q}(i)$ या $\mathbb{Q}(\sqrt{-3})$ ) और उन मामलों को भी जहाँ इन क्षेत्रों में $d$ , 2 या 3 से विभाज्य है।

कार्यप्रणाली
लेखक लुकास अनुक्रम में रैंक $\rho_U(p)$ की विभाज्यता को द्विघात क्षेत्र $K = \mathbb{Q}(a)$ में रूट कोशेंट (root quotient) $\gamma = a/b$ की गुणात्मक कोटि (multiplicative order) की स्थिति में अनुवादित करके इस समस्या को हल करते हैं। विशेष रूप से, $\rho_U(p)$ , $d$ से विभाज्य है यदि और केवल यदि $\gamma$ की $\pi$ के मॉड्युलो (modulo) कोटि $d$ से विभाज्य है।

मुख्य कार्यप्रणाली चक्रीय-कुमर विस्तारों (Cyclotomic-Kummer extensions) के अध्ययन पर केंद्रित है जो $K_{n,d} = K(\zeta_n, \gamma^{1/d})$ के रूप में होते हैं, जहाँ $\zeta_n$ एक प्रिमिटिव $n$ -वें मूल इकाई है। डिरिचलेट घनत्व को $d$ के विभाजकों के ऊपर इन क्षेत्र विस्तारों के डिग्री और उनके गैलवा समूहों (Galois groups) में विशिष्ट ऑटोमोर्फिज्म (automorphisms) की उपस्थिति को शामिल करते हुए एक योग के रूप में व्यक्त किया जाता है।

प्रमुख तकनीकी चरण शामिल हैं:

क्षेत्र की डिग्री की गणना: $\Delta_K$ और $\gamma$ के नॉर्म (norm) पर निर्भर करते हुए, यह विश्लेषण करने के लिए कि क्या $\gamma$ चक्रीय विस्तारों में एक घात (power) है, प्रमेय 2 और प्रमेय 3 (मानक साहित्य से) का उपयोग करके $[K_{n,d} : \mathbb{Q}]$ का निर्धारण करना।
ऑटोमोर्फिज्म की उपस्थिति: गैलवा समूह में विशिष्ट शर्तों को संतुष्ट करने वाले ऑटोमोर्फिज्म $\sigma_{u,v}$ की उपस्थिति का निर्धारण करना (जो $\sqrt{\Delta} \to -\sqrt{\Delta}$ , $\zeta \to \zeta^{-1}$ , और $\gamma^{1/uv} \to \gamma^{-1/uv}$ को मैप करते हैं)।
$h$ के आधार पर मामला विश्लेषण: लेखक $h = \max_{\zeta \in \mu(K)} h(\zeta)$ $h = max_{ζ \in μ (K)} h (ζ)$ को परिभाषित करते हैं, जहाँ $h(\zeta)$ $h (ζ)$ वह सबसे बड़ा पूर्णांक है कि $\zeta\gamma$ $ζ γ$ , $K$ $K$ में एक $h(\zeta)$ $h (ζ)$ -घात है। शोध पत्र को दो मुख्य विश्लेषणात्मक चरणों में विभाजित किया गया है:
- मामला $h = h(1)$ : अधिकतम मान $\zeta = 1$ पर प्राप्त होता है। लेखक घनत्व को $S_{d,e,h}(\nu)$ के योग में विघटित करके और लेम्मा 11 का उपयोग करके मूल्यांकन करके बंद-रूप (closed-form) सूत्र व्युत्पन्न करते हैं। यह खंड डिस्क्रिमिनेन्ट $\Delta_K \notin \{-4, -3\}$ , $\Delta_K = -4$ , और $\Delta_K = -3$ को अलग-अलग संभालते हुए, चक्रीय क्षेत्रों में वर्ग और घन मूलों को संभालने के लिए लेम्मा 4, 5 और 6 का उपयोग करता है।
- मामला $h \neq h(1)$ : अधिकतम मान एक गैर-तुच्छ मूल इकाई $\zeta \neq 1$ पर प्राप्त होता है। लेखक $\gamma$ के घनत्व को $-\gamma$ (या $\zeta\gamma$ ) के घनत्व से जोड़ने के लिए एक स्विचिंग फॉर्मूला (प्रमेय 20) का उपयोग करते हैं, जिससे इन मामलों को $h=h(1)$ परिदृश्य या पहले से हल किए गए मामलों में बदलना संभव हो जाता है।

प्रमुख योगदान और परिणाम
इस शोध पत्र का प्राथमिक योगदान सभी लुकास अनुक्रमों $U$ और सभी पूर्णांकों $d \ge 1$ के लिए डिरिचलेट घनत्व $\delta_\gamma(d)$ के लिए बंद-रूप सूत्र (closed-form formulas) का व्युत्पन्न है। यह सन्ना (2022) द्वारा शुरू किए गए कार्य को पूर्ण करता है।

विशिष्ट परिणाम शामिल हैं:

सामान्य सूत्र: घनत्व को मोबियस फलन (Möbius function), यूलर टोटिएंट फलन (Euler totient function), और सहायक क्षेत्रों ( $K_1, K_2$ ) के डिस्क्रिमिनेन्ट्स तथा कंडक्टर ( $f(L)$ ) पर विशिष्ट अंकगणितीय स्थितियों वाले पदों के एक रैखिक संयोजन के रूप में व्यक्त किया गया है।
चक्रीय मामलों का समाधान: यह शोध पत्र उन कठिन मामलों को स्पष्ट रूप से हल करता है जहाँ स्प्लिटिंग फील्ड $\mathbb{Q}(i)$ ( $\Delta_K = -4$ ) या $\mathbb{Q}(\sqrt{-3})$ ( $\Delta_K = -3$ ) है, जिसमें $d$ के सम होने या 3 से विभाज्य होने के परिदृश्य भी शामिल हैं।
$h \neq h(1)$ का प्रबंधन: प्रमेय 20 एक तंत्र प्रदान करता है जो गैर-तुच्छ मूल इकाई द्वारा प्राप्त की गई अधिकतम घात की स्थिति को संभालता है, जिससे यह सुनिश्चित होता है कि समाधान व्यापक है।
संख्यात्मक सत्यापन: खंड 6 विभिन्न अनुक्रमों और $d$ के मानों के लिए SageMath के माध्यम से गणना की गई प्रायोगिक घनत्वों के साथ व्युत्पन्न बंद-रूप मानों की तुलना करने के लिए संख्यात्मक डेटा प्रदान करता है, जो $10^7$ तक के अभाज्य संख्याओं के लिए 6 दशमलव स्थानों तक सहमति दिखाता है।

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

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