On mixed $b$-concatenations of Fibonacci and Lucas numbers that are Lucas numbers

यहाँ हर्बर्ट बैटे और प्रॉस्पर कागवा के शोध पत्र "On mixed b-concatenations of Fibonacci and Lucas numbers that are Lucas numbers" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र दो प्रसिद्ध पूर्णांक अनुक्रमों (integer sequences): फाइबोनैकी अनुक्रम ($F_n$) और लुकास अनुक्रम ($L_n$) के पदों के संयोजन (concatenation) से संबंधित एक विशिष्ट डायोफेंटाइन समस्या की जांच करता है।

लेखक उन सभी लुकास संख्याओं ($L_n$) का निर्धारण करना चाहते हैं जिन्हें एक फाइबोनैकी संख्या और एक लुकास संख्या के मिश्रित आधार-$b$ संयोजन (mixed base-$b$ concatenation) के रूप में दर्शाया जा सकता है। गणितीय रूप से, यह गैर-ऋणात्मक पूर्णांकों $n, m, k$ और एक आधार $b$ (जहाँ $2 \le b \le 10$) के लिए दो विशिष्ट डायोफेंटाइन समीकरणों को हल करने के अनुरूप है:

1. समीकरण (1.1): $L_n = L_m \cdot b^d + F_k$
   • यहाँ एक लुकास संख्या $L_m$ को एक फाइबोनैकी संख्या $F_k$ के साथ संयोजित किया गया है।
2. समीकरण (1.2): $L_n = F_m \cdot b^d + L_k$
   • यहाँ एक फाइबोनैकी संख्या $F_m$ को एक लुकास संख्या $L_k$ के साथ संयोजित किया गया है।

दोनों ही मामलों में, $d$ दूसरे पद ($F_k$ या $L_k$) के आधार $b$ में अंकों की संख्या को दर्शाता है। लक्ष्य प्रत्येक आधार $b$ के लिए सभी पूर्णांक समाधान $(n, m, k)$ खोजना है।

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

लेखक इन समीकरणों को हल करने के लिए डायोफेंटाइन सन्निकटन (Diophantine approximation) तकनीकों और कम्प्यूटेशनल सत्यापन (computational verification) के संयोजन का उपयोग करते हैं। कार्यप्रणाली घातांकीय डायोफेंटाइन समीकरणों के लिए एक मानक तीन-चरणीय दृष्टिकोण का पालन करती है:

A. चरों की सीमाएँ स्थापित करना (Establishing Variable Bounds)

फाइबोनैकी और लुकास संख्याओं के बिनाट सूत्रों (Binet formulas) का उपयोग करते हुए:
$$F_n = \frac{\alpha^n - \beta^n}{\sqrt{5}}, \quad L_n = \alpha^n + \beta^n$$
जहाँ $\alpha = \frac{1+\sqrt{5}}{2}$ और $\beta = \frac{1-\sqrt{5}}{2}$ है, लेखक $n, m, k$ के सूचकांकों (indices) से संबंधित असमानताओं को व्युत्पन्न करते हैं।

• वे यह स्थापित करते हैं कि $d$ (अंकों की संख्या) पदों के लघुगणक (logarithm) द्वारा सीमित है।
• वे सिद्ध करते हैं कि $n$, लगभग $m+k$ के बराबर है (विशेष रूप से, $m+k-5 < n < m+k + C$)।
• ये असमानताएँ चरों को एक-दूसरे के सापेक्ष सीमित करने की अनुमति देती हैं, जिससे खोज का क्षेत्र (search space) कम हो जाता है।

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

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

• वे समीकरणों को $|\Lambda| < C \cdot \alpha^{-n}$ के रूप में पुनर्गठित करते हैं, जहाँ $\Lambda$ लघुगणकों का एक रैखिक संयोजन है (जैसे, $d \log b - (n-m) \log \alpha$)।
• वे $|\Lambda|$ के लिए निचली सीमा (lower bound) प्रदान करने के लिए मैटवीव के प्रमेय (Matveev's Theorem - जो बेकर की विधि का एक परिष्कृत रूप है) को लागू करते हैं।
• मैटवीव से प्राप्त निचली सीमा की तुलना समीकरण की संरचना से प्राप्त ऊपरी सीमा से करके, वे $n$ के लिए एक स्पष्ट, हालांकि बहुत बड़ी, ऊपरी सीमा प्राप्त करते हैं। उदाहरण के लिए, समीकरण (1.1) में, वे दिखाते हैं कि $n < 4.4 \cdot 10^{27} (\log b)^4$।

C. न्यूनीकरण विधियाँ (Reduction Methods - Baker-Davenport & Continued Fractions)

मैटवीव के प्रमेय से प्राप्त सीमाएँ सीधे कम्प्यूटेशनल खोज के लिए बहुत बड़ी हैं। इन सीमाओं को प्रबंधनीय आकार तक कम करने के लिए, लेखक बेकर-डेवनपोर्ट न्यूनीकरण विधि (Baker-Davenport reduction method) का उपयोग करते हैं, जिसे डुजेला और पेथो द्वारा परिष्कृत किया गया है।

• इसमें अपरिमेय संख्या $\tau = \frac{\log b}{\log \alpha}$ के कंटीन्यूड फ्रैक्शन (continued fraction) विस्तार का विश्लेषण शामिल है।
• लेजेंड्रे के प्रमेय (Legendre's Theorem) और अभिसारियों (convergents) के गुणों का उपयोग करते हुए, वे सिद्ध करते हैं कि यदि कोई समाधान मौजूद है, तो चरों को बहुत सख्त बाधाओं को संतुष्ट करना होगा।
• यह न्यूनीकरण प्रक्रिया $n$ के लिए ऊपरी सीमा को $\approx 10^{27}$ से घटाकर एक छोटा पूर्णांक (विशेष रूप से समीकरण (1.1) के लिए $n \le 229$ और समीकरण (1.2) के लिए $n \le 214$) कर देता है।

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

एक बार जब सीमाएँ छोटे पूर्णांकों तक कम हो गईं, तो लेखकों ने कम किए गए क्षेत्रों के भीतर $n, m, k$ के सभी संभावित मानों की जाँच करने के लिए SageMath (1000-अंकों की सटीकता के साथ) का उपयोग करके एक व्यापक कंप्यूटर खोज की।

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

सैद्धांतिक योगदान (Theoretical Contribution)

यह शोध पत्र एकल अनुक्रमों (जैसे, अन्य फाइबोनैकी संख्याओं द्वारा निर्मित फाइबोनैकी संख्याएँ) के भीतर संयोजनों के पिछले कार्यों को मिश्रित अनुक्रमों (फाइबोनैकी और लुकास) और विभिन्न आधारों ($2 \le b \le 10$) तक विस्तारित करता है। यह सिद्ध करता है कि इस सीमा में किसी भी निश्चित आधार के लिए, ऐसे केवल सीमित संख्या में लुकास नंबर मौजूद हैं।

विशिष्ट परिणाम (Specific Results)

लेखकों ने आधार $b \in [2, 10]$ के लिए सभी समाधानों को पूरी तरह से निर्धारित किया है।

समीकरण (1.1) के लिए ($L_n = L_m \cdot b^d + F_k$):

• आधार 10 (दशमलव): एकमात्र समाधान हैं:
  • $L_5 = 11$ (जो $L_1$ और $F_1$ या $F_2$ द्वारा निर्मित है)
  • $L_6 = 18$ (जो $L_1$ और $F_6$ द्वारा निर्मित है)
• अन्य आधार: शोध पत्र आधार 2 से 9 तक के लिए विशिष्ट टुपल्स $(n, m, k)$ सूचीबद्ध करता है। उदाहरण के लिए, आधार 2 में 12 समाधान हैं, जबकि आधार 7 में केवल 3 हैं।

समीकरण (1.2) के लिए ($L_n = F_m \cdot b^d + L_k$):

• आधार 10 (दशमलव): एकमात्र समाधान है:
  • $L_5 = 11$ (जो $F_1$ और $L_1$ द्वारा निर्मित है)
• अन्य आधार: शोध पत्र आधार 2 से 9 तक के लिए विशिष्ट टुपल्स सूचीबद्ध करता है। उदाहरण के लिए, आधार 2 में 8 समाधान हैं, और आधार 8 में 5 समाधान हैं।

उल्लेखनीय अवलोकन:
संख्या 11 ($L_5$) दशमलव आधार के लिए दोनों समीकरणों में एक समाधान के रूप में दिखाई देती है, जो $L_1$ और $F_1$ (या $F_2$) के संयोजन का प्रतिनिधित्व करती है।

4. महत्व (Significance)

• परिमितता प्रमाण (Finiteness Proof): यह कार्य कठोरता से पुष्टि करता है कि इन विशिष्ट पुनरावृत्ति अनुक्रमों (recurrence sequences) के मिश्रित संयोजन केवल समाधानों का एक सीमित सेट प्रदान करते हैं, जो इस व्यापक धारणा का समर्थन करता है कि ऐसे "स्व-संदर्भित" या "मिश्रित-संदर्भित" संयोजन दुर्लभ हैं।
• कार्यप्रणाली का अनुप्रयोग (Methodological Application): यह मिश्रित रैखिक पुनरावृत्ति अनुक्रमों से जुड़ी एक समस्या के लिए आधुनिक डायोफेंटाइन सन्निकटन उपकरणों (मैटवीव की सीमाएं + बेकर-डेवनपोर्ट न्यूनीकरण) के प्रभावी अनुप्रयोग को प्रदर्शित करता है।
• पूर्णता (Completeness): कुछ पिछले अध्ययनों के विपरीत, जो आंशिक समाधान पा सकते थे, यह शोध पत्र आधार 2 से 10 तक के सभी मामलों के लिए एक पूर्ण वर्गीकरण प्रदान करता है, जिससे इन विशिष्ट मामलों में कोई अस्पष्टता नहीं रहती।
• भावी दिशाएँ (Future Directions): लेखक सुझाव देते हैं कि इन तकनीकों को सामान्यीकृत रैखिक पुनरावृत्ति अनुक्रमों (जैसे, पेले संख्याएँ) या उच्च-क्रम के संयोजनों तक बढ़ाया जा सकता है, जो संख्या सिद्धांत में आगे के अनुसंधान के मार्ग खोलता है।

संक्षेप में, यह शोध पत्र सफलतापूर्वक आधार 2 से 10 तक के आधारों में फाइबोनैकी और लुकास संख्याओं को संयोजित करके निर्मित लुकास संख्याओं की एक निश्चित सूची प्रदान करते हुए, गहरे सैद्धांतिक संख्या सिद्धांत को उच्च-परिशुद्धता गणना के साथ सफलतापूर्वक जोड़ता है।