🔢 mathematics

On generalized Thabit numbers $(p+1)p^\mathfrak{a}-1$ in the $k$ -Lucas sequence

यह शोध पत्र सभी समाधानों का निर्धारण करता है $L_n^{(k)}=(p+1)p^\mathfrak{a}-1$ के लिए, जहाँ $L_n^{(k)}$ $k$ -लुकास संख्याएँ (k-Lucas numbers) को दर्शाता है और $p$ एक मेर्सिन (Mersenne) या फर्माट (Fermat) अभाज्य संख्या है, धनात्मक पूर्णांकों $n, k, \mathfrak{a},$ और $\ell$ के लिए।

मूल लेखक: Herbert Batte, Florian Luca, Pantelimon Stănică

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

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

CC BY 4.0

मूल लेखक: Herbert Batte, Florian Luca, Pantelimon Stănică

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक बहुत ही विशिष्ट, उच्च-दांव वाले संख्या पहेली को सुलझाने की कोशिश कर रहे हैं। यह कागज़ एक केस फ़ाइल है जहाँ तीन गणितज्ञ (हर्बर्ट बैटे, फ्लोरियन लुका और पेंटेलिमोन स्टैनिका) इस खोज में लगे हैं कि दो बहुत अलग "परिवारों" के नंबर केवल किन समयों पर मिलते हैं।

यहाँ उनकी खोज की कहानी है, जिसे सरल अवधारणाओं में विभाजित किया गया है।

1. संख्याओं के दो परिवार

इस रहस्य को समझने के लिए, हमें इसमें शामिल दो परिवारों से मिलना होगा:

"k-लुकास" (k-Lucas) परिवार: इन्हें उन पड़ोसियों के रूप में सोचें जो एक सख्त नियम का पालन करते हैं। अगली संख्या का पता लगाने के लिए, आप पिछले $k$ पड़ोसियों को जोड़ देते हैं।
- यदि $k=2$ है, तो यह प्रसिद्ध लुकास अनुक्रम (2, 1, 3, 4, 7, 11...) है।
- यदि $k=3$ है, तो आप अगली संख्या प्राप्त करने के लिए पिछली तीन संख्याओं को जोड़ते हैं।
- यह शोध पत्र इस परिवार के सभी संस्करणों को देखता है, चाहे आप कितने भी पड़ोसियों ( $k$ ) की मदद लें।
"सामान्यीकृत थैबिट" (Generalized Thabit) परिवार: ये संख्याएँ अभाज्य संख्याओं (वे संख्याएँ जो केवल 1 और स्वयं से विभाज्य होती हैं, जैसे 2, 3, 5, 7) से जुड़ी एक विशेष रेसिपी से बनी हैं।
- रेसिपी है: $(p + 1) \times p^a - 1$ ।
- कल्पना करें कि $p$ एक विशेष "आधार" अभाज्य संख्या है (विशेष रूप से एक मेर्सन या फर्माट अभाज्य संख्या, जो दुर्लभ और विशेष प्रकार की अभाज्य संख्याएँ हैं)।
- आप उस अभाज्य संख्या को लेते हैं, उसे घात ( $a$ ) तक बढ़ाते हैं, उसे उसके पड़ोसी ( $p+1$ ) से गुणा करते हैं, और 1 घटा देते हैं।
- उदाहरण: यदि आपकी अभाज्य संख्या $p$ 3 है, और आप $a=1$ चुनते हैं, तो संख्या है $(3+1) \times 3^1 - 1 = 11$ ।

2. बड़ा सवाल

गणितज्ञों ने पूछा: क्या "k-लुकास" परिवार का कोई नंबर कभी "सामान्यीकृत थैबिट" परिवार के नंबर के बिल्कुल समान हो सकता है?

गणितीय भाषा में, वे इस समीकरण को हल कर रहे हैं:
$L(k)_n = (p + 1)p^a - 1$

यह पूछने जैसा है कि: "क्या कभी ऐसा समय होता है जब एक विशिष्ट प्रकार की फाइबोनैकी-शैली की संख्या भी एक विशिष्ट प्रकार की प्राइम-पावर संख्या होती है?"

3. जांच (तरीके)

इसे हल करना केवल अनुमान लगाने और जाँचने के बारे में नहीं है। संख्याएँ बहुत विशाल हो जाती हैं, इसलिए लेखकों ने एक "जासूसी टूलकिट" के साथ तीन मुख्य रणनीतियों का उपयोग किया:

A. "आकार की जाँच" (बौंडिंग/Bounding)

सबसे पहले, उन्होंने महसूस किया कि यदि संख्याएँ बहुत बड़ी हो जाती हैं, तो दोनों परिवार अलग-अलग गति से बढ़ते हैं और फिर कभी नहीं मिल पाएंगे।

उपमा: कल्पना करें कि दो धावक हैं। एक स्थिर, अनुमानित गति से दौड़ता है (लुकास संख्याएँ)। दूसरा एक ऐसे ट्रैक पर दौड़ता है जो तेजी से घातीय (exponentially) रूप से तेज होता जाता है (थैबिट संख्याएँ)। जासूसों ने सिद्ध किया कि एक निश्चित बिंदु के बाद, तेज़ धावक धीमे धावक को इतना पीछे छोड़ देता है कि वे कभी भी एक-दूसरे को पार नहीं कर सकते।
उन्होंने एक "फिनिश लाइन" की गणना करने के लिए उन्नत गणित (लॉगों में रैखिक रूप/Linear Forms in Logarithms) का उपयोग किया, जिसके आगे कोई समाधान संभव नहीं है। इसने खोज को "अनंत" से एक प्रबंधनीय, हालांकि अभी भी विशाल, सीमा तक सीमित कर दिया।

B. "फिंगरप्रिंट की जाँच" (मॉड्यूलर अंकगणित/Modular Arithmetic)

इसके बाद, उन्होंने छोटी संख्याओं (जैसे 2) से विभाजित होने पर संख्याओं के "फिंगरप्रिंट" को देखा।

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

C. "सुपर-कंप्यूटर" (LLL एल्गोरिदम)

खोज को सीमित करने के बाद भी, संख्याएँ हाथ से जाँचने के लिए बहुत बड़ी थीं।

उपमा: कल्पना करें कि आपके पास दस लाख चाबियाँ और दस लाख ताले हैं। आप उन सभी को एक-एक करके नहीं आजमा सकते। इसके बजाय, आप एक मास्टर की मशीन (LLL एल्गोरिदम) का उपयोग करते हैं जो उनके आकार के आधार पर 99.9% गलत चाबियों को जल्दी से बाहर कर सकती है।
लेखकों ने इस एल्गोरिदम का उपयोग करके संभावित उम्मीदवारों की सूची को नाटकीय रूप से छोटा करने के लिए किया। उन्होंने समस्या को कुछ हज़ार विशिष्ट संयोजनों की जाँच करने तक कम कर दिया।

4. समाधान

भारी मेहनत के बाद, जासूसों को ठीक तीन बार मिलने के स्थान मिले। पूरे ब्रह्मांड में ये ही एकमात्र समाधान हैं:

मैच: $L(2)_5 = 11$ ।
- यहाँ, लुकास संख्या 11 है।
- थैबिट संख्या $(3+1) \times 3^1 - 1 = 11$ है।
- (अभाज्य $p=3$ , जो मेर्सन और फर्माट दोनों है)।
मैच: $L(2)_7 = 29$ ।
- यहाँ, लुकास संख्या 29 है।
- थैबिट संख्या $(5+1) \times 5^1 - 1 = 29$ है।
- (अभाज्य $p=5$ )।
मैच: $L(3)_6 = 35$ ।
- यहाँ, लुकास संख्या 35 है।
- थैबिट संख्या $(3+1) \times 3^2 - 1 = 35$ है।
- (अभाज्य $p=3$ )।

5. निष्कर्ष

यह शोध पत्र सिद्ध करता है कि कोई अन्य मिलान मौजूद नहीं है।

यदि आप इन संख्याओं को अनंत काल तक उत्पन्न करते रहेंगे, तो आपको कभी भी दूसरा जोड़ा समान नहीं मिलेगा। ऊपर सूचीबद्ध तीन समाधान ही इन संख्या परिवारों के इतिहास में एकमात्र "मिलन" हैं।

यह क्यों मायने रखता है?
हालाँकि यह एक बहुत ही सूक्ष्म पहेली लग सकती है, लेकिन इन समीकरणों को हल करना गणितज्ञों को संख्याओं की गहरी, छिपी हुई संरचनाओं को समझने में मदद करता है। यह दुनिया के एकमात्र तीन स्थानों को खोजने जैसा है जहाँ दो विशिष्ट नदियाँ आपस में मिलती हैं; इन स्थानों को जानने से हमें गणित के संपूर्ण परिदृश्य को समझने में मदद मिलती है।

यहाँ हर्बर्ट बैटे, फ्लोरियन लुका और पेंटेलिमोन स्टैनिका के शोध पत्र "On generalized Thabit numbers $(p + 1)p^a - 1$ in the $k$ -Lucas sequence" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र इस डायोफेंटाइन समीकरण (Diophantine equation) की जांच करता है:
$L_n^{(k)} = (p + 1)p^a - 1$
जहाँ:

$L_n^{(k)}$ $k$ -लुकास संख्याएँ (k-Lucas numbers) हैं, जो शास्त्रीय लुकास अनुक्रम का एक उच्च-क्रम सामान्यीकरण है, जिसे पुनरावृत्ति $L_n^{(k)} = \sum_{i=1}^k L_{n-i}^{(k)}$ द्वारा परिभाषित किया गया है, जिसके प्रारंभिक मान $L_{2-k}^{(k)} = \dots = L_{-1}^{(k)} = 0$ , $L_0^{(k)} = 2$ , और $L_1^{(k)} = 1$ हैं।
$p$ एक मर्सन अभाज्य (Mersenne prime) ( $p = 2^\ell - 1$ ) या एक फर्मेट अभाज्य (Fermat prime) ( $p = 2^\ell + 1$ ) है।
$n, k, a, \ell$ धनात्मक पूर्णांक हैं जहाँ $n \ge 2, k \ge 2, a \ge 1, \ell \ge 1$ ।

पद $(p + 1)p^a - 1$ को एक "सामान्यीकृत थबिट संख्या" (generalized Thabit number) के रूप में पहचाना गया है, जो शास्त्रीय थबिट संख्याओं $3 \cdot 2^a - 1$ (जो $p=2$ के मामले के अनुरूप हैं) का एक अभाज्य-आधारित (prime-base) एनालॉग है। लेखक उन सभी पूर्णांक समाधानों की खोज कर रहे हैं जहाँ $k$ -लुकास अनुक्रम का एक पद इस विशिष्ट घातीय रूप (exponential form) के बराबर होता है।

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

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

A. प्रारंभिक सीमाएँ और गुण (Preliminary Bounds and Properties)

पुनरावृत्ति संबंध (Recurrence Relations): लेखक $k$ -लुकास और $k$ -फाइबोनैसी संख्याओं के बीच संबंध का उपयोग करते हैं: $L_n^{(k)} = 2F_{n+1}^{(k)} - F_n^{(k)}$ ।
वृद्धि अनुमान (Growth Estimates): वे विशेषता बहुपद (characteristic polynomial) $g_k(X) = X^k - X^{k-1} - \dots - 1$ के प्रमुख वास्तविक मूल (dominant real root) $\alpha$ का उपयोग करके $L_n^{(k)}$ के लिए सीमाएँ स्थापित करते हैं। विशेष रूप से, $\alpha^{n-1} \le L_n^{(k)} \le 2\alpha^n$ ।
2-एडिक मूल्यांकन (2-adic Valuation): 2 के मॉड्यूल में अनुक्रम का विश्लेषण करना एक महत्वपूर्ण चरण है। लेखक सिद्ध करते हैं कि $L_n^{(k)}$ , 2 के मॉड्यूल में $k+1$ के आवर्त (period) के साथ आवर्ती (periodic) है। यह समीकरण के दाहिने पक्ष की सम-विषमता (parity) के आधार पर $n$ के $k+1$ के मॉड्यूल में संभावित अवशेषों (residues) को प्रतिबंधित करता है।

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

चरों $n$ और $k$ को सीमित करने के लिए, लेखक डायोफेंटाइन समीकरण को बीजगणितीय संख्याओं के लघुगणकों के लघुगणक के रैखिक रूप के रूप में फिर से लिखते हैं।

वे एक मात्रा $\Gamma = e^\Lambda - 1$ को परिभाषित करते हैं जहाँ $\Lambda$ , $p, \alpha$ और समीकरण से प्राप्त गुणांकों वाले लघुगणकों का एक रैखिक संयोजन है।
माटेव का प्रमेय (Matveev's Theorem): वे लघुगणकों के गैर-शून्य रैखिक रूपों के लिए माटेव के स्पष्ट निम्नतम सीमा (explicit lower bound) को लागू करते हैं ताकि $\Lambda$ के रूप में एक असमानता स्थापित की जा सके: $|\Lambda| > \exp(-C \cdot k^4 (\log k)^2 (\log p)^2 \log n)$ ।
$\alpha$ की घातों द्वारा $L_n^{(k)}$ के सन्निकटन से प्राप्त ऊपरी सीमा के साथ इस निम्नतम सीमा की तुलना करने पर, $n$ के लिए एक विशाल प्रारंभिक ऊपरी सीमा प्राप्त होती है (जैसे, $n < 10^{15} \dots$ )।

C. न्यूनीकरण विधियाँ (Reduction Methods - LLL Algorithm)

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

वे रैखिक रूप $\Lambda$ पर आधारित एक लैटिस (lattice) का निर्माण करते हैं।
लेम्मा 4.5 (ड्यूजेला और पेथो से एक न्यूनीकरण लेम्मा) का उपयोग करते हुए, वे लैटिस के निर्धारक (determinant) और सैद्धांतिक निम्नतम सीमा की तुलना करके $n$ और $k$ के लिए काफी सख्त सीमाएँ प्राप्त करते हैं।
यह प्रक्रिया पुनरावृत्ति (iterative) है: $n$ पर सीमा को कम करने से $k$ पर सीमा को कम करने में मदद मिलती है, और इसके विपरीत भी।

D. मामला विश्लेषण (Case Analysis)

प्रमाण को जटिलता को संभालने के लिए अलग-अलग मामलों में विभाजित किया गया है:

लघु $n$ ( $2 \le n \le k+1$ ): सम-विषमता तर्क (parity arguments - सम बनाम विषम) के माध्यम से सिद्ध किया गया है कि इसमें कोई समाधान नहीं है।
लघु $n$ ( $n \ge k+2$ ):
- मामला $p < n^{10}$ : लेखक ने $k$ ( $k \le 600$ और $k > 600$ ) के आधार पर इसे उप-मामलों में विभाजित किया है। छोटे $k$ के लिए, वे $n \le 466$ तक सीमा निर्धारित करने के लिए LLL का उपयोग करते हैं और ब्रूट-फोर्स सर्च करते हैं। बड़े $k$ के लिए, वे $k > 600$ की धारणा के विरुद्ध एक विरोधाभास ( $k \le 592$ ) निकालते हैं।
- मामला $p > n^{10}$ : इसके लिए अभाज्य संरचना ( $2^\ell \pm 1$ ) के अधिक परिष्कृत विश्लेषण की आवश्यकता है। वे समान LLL तकनीकों का उपयोग करके $\ell$ (अभाज्य का घातांक) और $n$ पर सीमाएँ प्राप्त करते हैं, अंततः $n$ को $\le 1202$ और $\ell$ को $\le 1760$ तक कम कर देते हैं।

E. कम्प्यूटेशनल सत्यापन (Computational Verification)

एक बार जब चर प्रबंधनीय श्रेणियों तक सीमित हो जाते हैं ( $n \le 1202, k \le 2438$ , और 19 संभावित अभाज्य संख्याओं का एक सीमित सेट), तो लेखकों ने समाधानों के लिए व्यापक खोज (exhaustive search) करने के लिए SageMath का उपयोग किया।

3. मुख्य योगदान (Key Contributions)

सामान्यीकरण (Generalization): थबिट संख्याओं (जहाँ $p=2$ ) के पिछले परिणामों को मर्सन और फर्मेट अभाज्य पर आधारित व्यापक श्रेणी के सामान्यीकृत थबिट संख्याओं तक विस्तारित करता है।
कठोर सीमाएँ (Rigorous Bounds): उच्च-क्रम पुनरावृत्ति समीकरणों में शामिल घातीय पदों वाले व्यापक डायोफेंटाइन समीकरणों को हल करने के लिए उन्नत डायोफेंटाइन तकनीकों (माटेव के प्रमेय के साथ LLL न्यूनीकरण) को सफलतापूर्वक लागू करता है।
एल्गोरिद्मिक दक्षता (Algorithmic Efficiency): सैद्धांतिक सीमाओं को कम्प्यूटेशनल रूप से व्यवहार्य सीमाओं तक पुनरावृत्ति से कम करके "बड़े" डायोफेंटाइन समीकरणों को संभालने के लिए एक मजबूत वर्कफ़्लो प्रदर्शित करता है।

4. मुख्य परिणाम (Main Results)

यह शोध पत्र प्रमेय 1.1 (Theorem 1.1) को सिद्ध करता है, जो बताता है कि दिए गए प्रतिबंधों के तहत डायोफेंटाइन समीकरण $L_n^{(k)} = (p + 1)p^a - 1$ के ठीक तीन समाधान हैं:

$n$	$k$	$p$	$a$	$\ell$	अभाज्य प्रकार (Prime Type)	$L_n^{(k)}$ का मान
5	2	3	1	2	मर्सन/फर्मेट	11
6	3	3	2	2	मर्सन/फर्मेट	35
7	2	5	1	2	फर्मेट	29

समाधान 1: $L_5^{(2)} = 11 = (3+1)3^1 - 1$ ।
समाधान 2: $L_6^{(3)} = 35 = (3+1)3^2 - 1$ ।
समाधान 3: $L_7^{(2)} = 29 = (5+1)5^1 - 1$ ।

परीक्षित श्रेणियों के भीतर $p = 2^\ell \pm 1$ के लिए अन्य कोई समाधान मौजूद नहीं हैं।

5. महत्व (Significance)

संख्या सिद्धांत (Number Theory): यह कार्य रैखिक पुनरावृत्ति अनुक्रमों (linear recurrence sequences) और घातीय डायोफेंटाइन समीकरणों के बीच के मिलन बिंदु की समझ में योगदान देता है। यह पुष्टि करता है कि ऐसे प्रतिच्छेदन अत्यंत दुर्लभ हैं, भले ही घातीय पद के आधार का सामान्यीकरण किया गया हो।
कार्यप्रणाली बेंचमार्क (Methodological Benchmark): यह पत्र $k$ -सामान्यीकृत अनुक्रमों से संबंधित समान समस्याओं को हल करने के लिए एक टेम्पलेट के रूप में कार्य करता है। यह हाइलाइट करता है कि उच्च-क्रम पुनरावृत्तियों में डायोफेंटाइन समीकरणों को हल करने के लिए सैद्धांतिक सीमाओं (Baker's method) को कम्प्यूटेशनल न्यूनीकरण (LLL reduction) के साथ संयोजित करने की आवश्यकता क्यों होती है।
कम्प्यूटेशनल संख्या सिद्धांत (Computational Number Theory): डायोफेंटाइन विश्लेषण में $10^{100}$ के पैमाने से $10^3$ के पैमाने तक सीमाओं को कम करने के लिए LLL के सफल अनुप्रयोग का उपयोग डायोफेंटाइन विश्लेषण में आधुनिक लैटिस रिडक्शन तकनीकों की शक्ति को प्रदर्शित करता है।

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