🔢 mathematics

On Wagstaff primes in the $k$ -Lucas number sequence

यह शोधपत्र यह सिद्ध करता है कि $k$ -लुकास संख्या अनुक्रम में आने वाले एकमात्र वैगस्टाफ अभाज्य (Wagstaff primes) $L_5^{(2)}$ , $L_6^{(4)}$ , और सभी $k \ge 2$ के लिए $L_2^{(k)}$ हैं, जो इन परिणामों को स्थापित करने के लिए लघुगणक के रैखिक रूपों (linear forms in logarithms) और एलएलएल (LLL) रिडक्शन विधि का उपयोग करता है।

मूल लेखक: Herbert Batte

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

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

CC BY 4.0

मूल लेखक: Herbert Batte

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

कल्पना कीजिए कि आप एक जासूस हैं जो दो अलग-अलग, विशाल, बढ़ते हुए संख्या परिवारों के भीतर छिपे एक बहुत ही विशिष्ट प्रकार के "खजाने" को खोजने की कोशिश कर रहे हैं।

पात्र: संख्या परिवार

सबसे पहले, आइए k-Lucas संख्याओं से मिलें। इन्हें संख्या अनुक्रमों (number sequences) के रूप में सोचें।

"मानक" परिवार (जहाँ $k=2$ है) में, हर नई संख्या पिछली दो संख्याओं का योग होती है (प्रसिद्ध फाइबोनैची अनुक्रम की तरह, लेकिन 1 और 1 के बजाय 2 और 1 से शुरू होता है)। यह हमें देता है: 2, 1, 3, 4, 7, 11, 18...
"k-Lucas" परिवार एक सुपर-चार्ज्ड संस्करण है। यदि आप एक संख्या $k$ $k$ चुनते हैं, तो हर नई संख्या पिछली $k$ $k$ संख्याओं का योग होती है।
- यदि $k=3$ है, तो आप पिछली तीन संख्याओं को जोड़ते हैं।
- यदि $k=10$ है, तो आप पिछली दस संख्याओं को जोड़ते हैं।
- जैसे-जैसे $k$ बढ़ता है, ये संख्याएँ अविश्वसनीय रूप से तेज़ी से बढ़ती हैं, जैसे पहाड़ से नीचे लुढ़कती हुई बर्फ की गेंद।

खजाना: Wagstaff Primes (वैगस्टाफ अभाज्य संख्याएँ)

अब, आइए खजाने के बारे में बात करते हैं: Wagstaff Primes।
ये विशेष, दुर्लभ अभाज्य संख्याएँ हैं जो एक विशिष्ट रेसिपी का पालन करती हैं:
$\text{खजाना} = \frac{2^p + 1}{3}$
जहाँ $p$ एक अन्य अभाज्य संख्या है।

यदि $p=3$ है, तो खजाना $(8+1)/3 = 3$ है।
यदि $p=5$ है, तो खजाना $(32+1)/3 = 11$ है।
यदि $p=7$ है, तो खजाना $(128+1)/3 = 43$ है।

ये गणित की दुनिया के दुर्लभ रत्न हैं।

रहस्य

इस शोध पत्र के जासूस (हर्बर्ट बैट) ने एक सरल लेकिन कठिन प्रश्न पूछा:
"क्या ये दो दुनिया कभी आपस में टकराती हैं?"

दूसरे शब्दों में: यदि आप k-Lucas संख्या परिवारों को देखते हैं, तो क्या उनमें से कोई संख्या ठीक एक Wagstaff Prime के बराबर होती है?

ज्यादातर समय, उत्तर "नहीं" होता है। वे अलग-अलग गति से बढ़ते हैं और अलग-अलग नियमों का पालन करते हैं। लेकिन जासूस यह सिद्ध करना चाहता था कि वे ठीक कब मिलते हैं और फिर कभी नहीं मिलते।

जांच: उन्होंने इसे कैसे हल किया

यह शोध पत्र कुछ बहुत ही भारी-भरकम गणितीय उपकरणों का उपयोग करता है, लेकिन हम उन्हें जासूसी गैजेट्स के रूप में देख सकते हैं:

1. "गति सीमा" की जाँच (Bounding)
जासूस ने पहले महसूस किया कि यदि संख्याएँ बहुत बड़ी हो जाती हैं, तो वे इतनी तेज़ी से बढ़ती हैं कि वे कभी मेल नहीं खा सकतीं। यह एक चीते को पकड़ने की कोशिश करने जैसा है; अंततः, चीता बहुत आगे निकल जाएगा।
Linear Forms in Logarithms (जिसे एक अत्यंत सटीक रूलर मान सकते हैं जो दोनों संख्या परिवारों के विकास दर के बीच की "दूरी" को मापता है) नामक उपकरण का उपयोग करके, जासूस ने सिद्ध किया कि यदि कोई मेल मौजूद है, तो संख्याएँ एक निश्चित आकार से बड़ी नहीं हो सकतीं।

उपमा: उसने सिद्ध किया कि यदि खजाना छिपा हुआ है, तो वह एक विशिष्ट, सीमित पड़ोस के भीतर होना चाहिए, न कि पूरे ब्रह्मांड में बिखरा हुआ।

2. "द दबाब" (LLL Reduction)
एक विशिष्ट पड़ोस तक खोज को सीमित करने के बाद भी, क्षेत्र अभी भी बहुत बड़ा था (अरबों संभावनाएँ)। जासूस को खोज क्षेत्र को और छोटा करने के लिए एक तरीके की आवश्यकता थी।
उसने LLL Reduction का उपयोग किया (जो गणितज्ञों लेनस्ट्र, लेनस्ट्र और लोवास के नाम पर है)।

उपमा: कल्पना कीजिए कि आप समुद्र तट पर रेत का एक विशिष्ट कण ढूंढ रहे हैं। LLL विधि एक जादुई छलनी की तरह है जो तुरंत 99.9% रेत को हटा देती है, जिससे आपके पास केवल एक छोटा सा बाल्टी बचता है जहाँ वह कण होना चाहिए। इसने जासूस को खोज को अरबों संख्याओं से घटाकर केवल कुछ सौ तक कम करने में मदद की।

3. अंतिम घेराबंदी (Computer Search)
एक बार जब खोज क्षेत्र बहुत छोटा हो गया, तो जासूस को अब फैंसी गणित की आवश्यकता नहीं थी; उसे बस एक कंप्यूटर की आवश्यकता थी। उसने एक कंप्यूटर (SageMath जैसे सॉफ़्टवेयर का उपयोग करके) को बची हुई प्रत्येक संभावना की जाँच करने के लिए प्रोग्राम किया।

निर्णय

सारी मेहनत के बाद, जासूस को ठीक तीन स्थान मिले जहाँ k-Lucas संख्याएँ और Wagstaff Primes मिलते हैं:

"हमेशा वाला" मेल: जब लूकास संख्या अनुक्रम का तीसरा नंबर होती है (जो हमेशा 3 होता है), तो यह Wagstaff prime 3 से मेल खाती है। यह परिवार के हर संस्करण ( $k \ge 2$ ) के लिए होता है।
- समीकरण: $L^{(k)}_2 = 3$ .
"क्लासिक" मेल: मानक परिवार ( $k=2$ ) में, 5वाँ नंबर 11 है। यह Wagstaff prime 11 से मेल खाता है।
- समीकरण: $L^{(2)}_5 = 11$ .
"विशेष" मेल: उस परिवार में जहाँ आप पिछली 4 संख्याओं को जोड़ते हैं ( $k=4$ ), छठा नंबर 43 है। यह Wagстаफ prime 43 से मेल खाता है।
- समीकरण: $L^{(4)}_6 = 43$ .

निष्कर्ष

यह शोध पत्र सिद्ध करता है कि यही एकमात्र समय है जब ऐसा होता है।
चाहे आप नियमों को बदल दें (k बदलकर) या आप अनुक्रम में कितनी भी दूर चले जाएँ (n बदलकर), आपको पूरे संख्या ब्रह्मांड में कहीं और दूसरा Wagstaff Prime छिपा हुआ नहीं मिलेगा।

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

यहाँ हर्बर्ट बैट (Herbert Batte) के शोध पत्र "On Wagstaff primes in the k-Lucas number sequence" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र संख्या सिद्धांत (number theory) के दो अलग-अलग क्षेत्रों के मिलन बिंदु की जांच करता है: वैगस्टाफ अभाज्य संख्याएँ (Wagstaff primes) और $k$ -सामान्यीकृत लुकास संख्याएँ ( $k$ -generalized Lucas numbers)।

वैगस्टाफ अभाज्य संख्याएँ (Wagstaff Primes): एक अभाज्य संख्या $W$ को वैगस्टाफ अभाज्य तब कहा जाता है यदि वह $W = \frac{2^p + 1}{3}$ के रूप में हो, जहाँ $p$ एक विषम अभाज्य संख्या है।
$k$ -सामान्यीकृत लुकास संख्याएँ ( $L_n^{(k)}$ ): यह अनुक्रम शास्त्रीय लुकास संख्याओं का सामान्यीकरण है। एक पूर्णांक $k \ge 2$ के लिए, इस अनुक्रम को इस रैखिक पुनरावृत्ति (linear recurrence) द्वारा परिभाषित किया जाता है:
$L_n^{(k)} = L_{n-1}^{(k)} + L_{n-2}^{(k)} + \dots + L_{n-k}^{(k)}$
प्रारंभिक स्थितियों (initial conditions) के साथ: $L_0^{(k)} = 2$ , $L_1^{(k)} = 1$ , और $2-k \le j \le -1$ के लिए $L_j^{(k)} = 0$ ।
डायोफेंटाइन समीकरण (The Diophantine Equation): मुख्य समस्या समीकरण $L_n^{(k)} = \frac{2^p + 1}{3}$ के सभी गैर-ऋणात्मक पूर्णांक समाधान $(n, k, p)$ खोजना है, जहाँ $p$ एक विषम अभाज्य संख्या है और $k \ge 2$ है।

लेखक नोट करते हैं कि जबकि रेज़ाइगुइया (Rezaiguia) आदि ने $k$ -सामान्यीकृत फाइबोनैकी संख्याओं के लिए इसका अध्ययन किया था (केवल एक तुच्छ समाधान पाते हुए), $k$ -लुकास अनुक्रम भिन्न प्रारंभिक मानों के साथ शुरू होता है, जिससे यह निर्धारित करने के लिए एक नए अन्वेषण की आवश्यकता होती है कि क्या इसमें अतिरिक्त वैगस्टाफ अभाज्य संख्याएँ मौजूद हैं।

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

प्रमाण विश्लेषणात्मक संख्या सिद्धांत (analytic number theory), बीजगणितीय संख्या सिद्धांत (algebraic number theory), और कम्प्यूटेशनल लैटिस रिडक्शन (computational lattice reduction) तकनीकों के संयोजन का उपयोग करता है। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

A. प्रारंभिक सीमाएँ और बाइनेट सूत्र (Preliminary Bounds and Binet Formulas)

वृद्धि अनुमान (Growth Estimates): लेखक $L_n^{(k)}$ के लिए सीमाएँ स्थापित करते हैं। $2 \le n \le k$ के लिए, $L_n^{(k)} = 3 \cdot 2^{n-2}$ । $n > k$ के लिए, अनुक्रम $L_n^{(k)} < 3 \cdot 2^{n-2}$ द्वारा सीमित है।
बाइनेट सूत्र (Binet Formula): अनुक्रम का विश्लेषण इसके अभिलक्षण बहुपद (characteristic polynomial) $\Psi_k(x) = x^k - x^{k-1} - \dots - 1$ का उपयोग करके किया जाता है। इस बहुपद का एक अद्वितीय वास्तविक मूल $\alpha > 1$ (प्रमुख मूल) और इकाई वृत्त के भीतर $k-1$ सम्मिश्र मूल होते हैं।
सन्निकटन (Approximation): एक बाइनेट-समान सूत्र का उपयोग किया जाता है:
$L_n^{(k)} = f_k(\alpha)(2\alpha - 1)\alpha^{n-1} + e_k(n)$
जहाँ $|e_k(n)| < 1.5$ । यह डायोफेंटाइन समीकरण को लघुगणक (logarithms) के एक रैखिक रूप में बदलने की अनुमति देता है।

B. लघुगणकों के रैखिक रूप (Linear Forms in Logarithms - Baker's Method)

$n$ और $k$ के लिए सीमाओं को बांधने के लिए, लेखक बीजगणकीय संख्याओं के लघुगणक के गैर-शून्य रैखिक रूपों के निचले स्तर के अनुमानों पर मैटवेव के प्रमेय (Matveev's theorem) का उपयोग करते हैं।

समीकरण को रूप $|\Gamma| = |e^\Lambda - 1|$ में परिवर्तित किया जाता है, जहाँ $\Lambda$ बीजगणकीय संख्याओं ( $\log 2$ , $\log \alpha$ , और $\log(3(2\alpha-1)f_k(\alpha))$ ) के लघुगणकों का एक रैखिक संयोजन है।
मैटवेव के निचले स्तर के सीमा प्रमेय को लागू करके, लेखक $k$ के संदर्भ में $n$ के लिए एक ऊपरी सीमा प्राप्त करते हैं:
$n < 2.0 \cdot 10^{15} k^4 (\log k)^3$
यह अनंत खोज स्थान को एक परिमित, हालांकि बड़े, रेंज में बदल देता है।

C. LLL रिडक्शन और केस विश्लेषण (LLL Reduction and Case Analysis)

$n$ की प्रारंभिक सीमा सीधे गणना के लिए बहुत बड़ी है। लेखक इस सीमा को नाटकीय रूप से कम करने के लिए LLL (Lenstra–Lenstra–Lovász) लैटिस रिडक्शन एल्गोरिदम का उपयोग करते हैं।

केस 1: $k > 190$ : $n < 2^{k/2}$ के लिए एक परिष्कृत असमानता का उपयोग करते हुए, लेखक दिखाते हैं कि बड़े $k$ के लिए, लुकास संख्या और वैगस्टाफ रूप के बीच का अंतर समीकरण को संतुष्ट करने के लिए बहुत अधिक हो जाता है। इससे एक विरोधाभास उत्पन्न होता है, जो सिद्ध करता है कि $k > 190$ के लिए कोई समाधान मौजूद नहीं है।
केस 2: $k \le 190$ : छोटे $k$ के लिए, बाइनेट सूत्र से प्राप्त रैखिक रूप पर LLL एल्गोरिदम लागू किया जाता है। एक विशिष्ट लैटिस का निर्माण करके और सबसे छोटा वेक्टर (shortest vector) की गणना करके, लेखक $n$ की ऊपरी सीमा को $\approx 10^{29}$ से घटाकर $n \le 141$ कर देते हैं।
कम्प्यूटेशनल खोज (Computational Search): $k \in [2, 190]$ और $n \in [k+1, 141]$ के लिए, लेखक सभी पूर्णांक समाधान खोजने के लिए SageMath 10.6 का उपयोग करके एक व्यापक कम्प्यूटेशनल खोज करते हैं।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

यह शोध पत्र $k$ -लुकास अनुक्रम के भीतर वैगस्टाफ अभाज्य संख्याओं का पूर्ण वर्गीकरण प्रदान करता है।

मुख्य प्रमेय (Theorem 1.1):
$n \ge 0, k \ge 2$ , और अभाज्य $p \ge 3$ के लिए $L_n^{(k)} = \frac{2^p + 1}{3}$ के एकमात्र पूर्णांक समाधान $(n, k, p)$ हैं:

अनंत परिवार (The Infinite Family): $(n, k, p) = (2, k, 3)$ $(n, k, p) = (2, k, 3)$ सभी $k \ge 2$ $k \geq 2$ के लिए।
- सत्यापन: $L_2^{(k)} = 3 = \frac{2^3+1}{3}$ ।
पृथक समाधान (The Isolated Solutions):
- $(n, k, p) = (5, 2, 5)$ : $L_5^{(2)} = 11 = \frac{2^5+1}{3}$ ।
- $(n, k, p) = (6, 4, 7)$ : $L_6^{(4)} = 43 = \frac{2^7+1}{3}$ ।

विशिष्ट मान:

$L_2^{(k)} = 3$ ( $p=3$ के लिए वैगस्टाफ अभाज्य)
$L_5^{(2)} = 11$ ( $p=5$ के लिए वैगस्टाफ अभाज्य)
$L_6^{(4)} = 43$ ( $p=7$ के लिए वैगस्टाफ अभाज्य)

4. महत्व (Significance)

पिछले कार्य का विस्तार: यह शोध पत्र रेज़ाइगुइया आदि के कार्य (जिन्होंने $k$ -फाइबोनैकी संख्याओं का अध्ययन किया था) को $k$ -लुकास अनुक्रम तक विस्तारित करता है। यह दर्शाता है कि जबकि वृद्धि दर समान है, लुकास अनुक्रम के विभिन्न प्रारंभिक मान (विशेष रूप से $p=5$ और $p=7$ के मामले) फाइबोनैकी मामले की तुलना में समाधानों का एक समृद्ध सेट (richer set of solutions) प्रदान करते हैं।
पद्धतिगत कठोरता (Methodological Rigor): यह शोध पत्र आधुनिक डायोफेंटाइन विश्लेषण तकनीकों को लागू करने के एक मजबूत उदाहरण के रूप में कार्य करता है। यह प्रभावी ढंग से आधुनिक सीमा निर्धारण (मैटवेव का प्रमेय) को कम्प्यूटेशनल संख्या सिद्धांत (LLL रिडक्शन) के साथ जोड़ता है ताकि एक ऐसी समस्या को हल किया जा सके जो अनुक्रमों की घातीय वृद्धि के कारण अन्यथा अगम्य (intractable) होती।
पूर्णता (Completeness): परिणाम निर्णायक है; यह सिद्ध करता है कि इस अनुक्रम में अन्य कोई वैगस्टाफ अभाज्य संख्या मौजूद नहीं है, जिससे $k$ -लुकास संख्याओं के भीतर इस विशिष्ट वर्ग के अभाज्य संख्याओं की खोज समाप्त होती है।

संक्षेप में, बैट ने इन दो संख्यात्मक संरचनाओं के मिलन का सफलतापूर्वक चित्रण किया है, यह सिद्ध करते हुए कि 3 वाले तुच्छ मामले को छोड़कर, $k$ -लुकास अनुक्रम में केवल दो विशिष्ट उदाहरण ही वैगस्टाफ अभाज्य के रूप में दिखाई देते हैं।