Sums of three Fibonacci numbers as concatenations of three repdigits in base $b$

यहाँ पासिमज़ौ डैगू (Passimzouè Dagou) और अन्य द्वारा लिखित शोध पत्र "Sums of Three Fibonacci Numbers as Concatenations of Three Repdigits in Base $b$" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र एक विशिष्ट डायोफेंटाइन समीकरण (Diophantine equation) की जांच करता है जो पुनरावृत्ति अनुक्रमों (recurrence sequences) और पूर्णांकों के डिजिटल निरूपण के मिलन बिंदु पर आधारित है। मुख्य समस्या इस समीकरण के सभी समाधान खोजने की है:
$$F_{n_1} + F_{n_2} + F_{n_3} = \text{तीन } b\text{-repdigits का संयोजन (Concatenation)}$$
जहाँ:

• $\{F_n\}$ फाइबोनैकी अनुक्रम है ($F_0=0, F_1=1, F_{n+2}=F_{n+1}+F_n$)।
• एक $b$-repdigit आधार $b$ में एक एकल दोहराए गए अंक $d$ ($1 \le d \le b-1$) से बना एक पूर्णांक है, जो $m$ बार दोहराया गया है।
• तीन repdigits के अंकों $d_1, d_2, d_3$ और उनकी लंबाइयों $\ell_1, \ell_2, \ell_3$ का संयोजन (concatenation) आधार $b$ में एक संख्या $R$ बनाता है।
• समीकरण को $n_1 \ge n_2 \ge n_3 \ge 0$, $\ell_3 \ge \ell_2 \ge \ell_1 \ge 1$, और $d_1 > 0$ द्वारा सीमित किया गया है।

लेखक इन निरूपणों का लक्षण वर्णन करने, आधार $2 \le b \le 10$ के लिए परिमितता (finiteness) सिद्ध करने और ऐसे सभी योगों को स्पष्ट रूप से निर्धारित करने का लक्ष्य रखते हैं।

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

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

A. सैद्धांतिक सीमाएँ (Baker's Method)

लेखक फाइबोनैकी संख्याओं के सूचकांकों ($n_1$) के लिए एक स्पष्ट ऊपरी सीमा स्थापित करने के लिए लॉगारिदम के लघु रूपों (linear forms in logarithms) का उपयोग करते हैं।

• उपकरण: बीजगणिक संख्याओं के लघुगणक के गैर-शून्य लघु रूपों के निचले स्तरों के संबंध में बेकर और वुस्टहोल्ज़ (Baker and Wüstholz) का प्रमेय।
• प्रक्रिया:
  1. डायोफेंटाइन समीकरण को एक लघु रूप $\Gamma = b_1 \log \eta_1 + b_2 \log \eta_2 + b_3 \log \eta_3$ से संबंधित असमानता में परिवर्तित किया जाता है।
  2. लेखक प्रारंभिक सीमाएँ प्राप्त करते हैं जो दर्शाती हैं कि यदि कोई समाधान मौजूद है, तो चरों को विशिष्ट असमानताओं को संतुष्ट करना चाहिए (जैसे, $\min\{\ell_1 \log b, (n_1-n_2)\log \alpha\} < C \cdot \log^k b \cdot \log^j n_1$)।
  3. केस-दर-केस विश्लेषण (इस आधार पर विभाजन कि कौन सा पद न्यूनतम है) के माध्यम से, वे एक विशाल सैद्धांतिक ऊपरी सीमा प्राप्त करते हैं:
     $$n_1 < 3.09 \times 10^{82} \log^{11} b$$
  4. यह सीमा प्रत्यक्ष कम्प्यूटेशनल सत्यापन के लिए बहुत बड़ी है।

B. सीमा न्यूनीकरण (Reduction Method)

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

• उपकरण: लेम्मा 2 (कंटीन्यूड फ्रैक्शंस पर आधारित)।
• प्रक्रिया:
  1. लेखक निरंतर भिन्न विस्तार (continued fraction expansion) के अभिसरणों (convergents) का उपयोग करके $\tau = \frac{\log b}{\log \alpha}$ के लिए असमानताओं का विश्लेषण करके सीमाओं को पुनरावृitively कम करते हैं।
  2. इस प्रक्रिया के माध्यम से, वे $n_1, n_2, n_3$ और लंबाइयों $\ell_i$ के लिए ऊपरी सीमाओं को व्यवस्थित रूप से $n_1 \le 74$ तक कम कर देते हैं।

C. कम्प्यूटेशनल सत्यापन (GPU Acceleration)

एक बार जब सीमाएँ घटकर $n_1 \le 74$ हो गईं, तो सभी समाधान खोजने के लिए एक 'ब्रूट-फोर्स सर्च' की आवश्यकता थी।

• चुनौती: खोज स्थान में सात नेस्टेड लूप (अंक, लंबाई, सूचकांक) शामिल हैं, जिससे पुनरावृत्तियों का घातीय विस्फोट (exponential explosion) होता है। आधार $b=10$ के लिए, एक अनुक्रमिक CPU निष्पादन का अनुमान लगभग 248 वर्षों का था।
• समाधान: लेखकों ने एल्गोरिदम को CUDA फ्रेमवर्क का उपयोग करके NVIDIA RTX A2000 GPU पर पोर्ट किया।
• परिणाम: इस समानांतरकरण (parallelization) ने 20,000 गुना गति-वृद्धि (speed-up) प्राप्त की। उदाहरण के लिए, $b=3$ का मामला (CPU पर अनुमानित 5 वर्ष) GPU पर लगभग 50 मिनट में हल हो गया।

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

1. पिछले कार्य का सामान्यीकरण: फाइबोनैकी संख्याओं को तीन repdigits के संयोजन के रूप में अध्ययन करने के कार्य का विस्तार करना (जो पहले केवल एकल संख्याओं या दो संख्याओं के योग तक सीमित था) को तीन फाइबोनैकी संख्याओं के योग तक ले जाना।
2. परिमितता प्रमाण: यह सिद्ध करना कि किसी भी पूर्णांक आधार $2 \le b \le 10$ के लिए, ऐसे केवल परिमित योग होते हैं।
3. स्पष्ट वर्गीकरण: आधार 2 से 10 तक के सभी 2,665 विशिष्ट समाधानों की एक पूर्ण सूची प्रदान करना।
4. कम्प्यूटेशनल नवाचार: उन जटिल डायोफेंटाइन समस्याओं को हल करने के लिए मासिव पैरेललिज्म (GPUs) के उपयोग की आवश्यकता और प्रभावकारिता को प्रदर्शित करना, जहाँ कॉम्बिनेटोरियल खोज स्थान सैद्धांतिक रूप से हल करने योग्य तो हैं लेकिन मानक आर्किटेक्चर पर कम्प्यूटेशनल रूप से अव्यवहार्य हैं।

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

शोध पत्र निम्नलिखित विशिष्ट निष्कर्ष प्रस्तुत करता है:

• कुल समाधान: आधार $b=2$ से $10$ तक तीन repdigits के संयोजन के रूप में तीन फाइबोनैकी संख्याओं के कुल 2,665 विशिष्ट योग हैं।
• सबसे बड़ा समाधान: सबसे बड़ा योग आधार 4 में आता है:
  $$F_{42} + F_{29} + F_{20} = 268,435,290$$
  आधार 4 में, इसे तीन repdigits के संयोजन के रूप में दर्शाया गया है: 333333333311224।
• उप-परिणाम (Corollaries):
  • दो फाइबोनैकी योग: $n_3=0$ निर्धारित करके, लेखकों ने तीन repdigits के संयोजन के रूप में दो फाइबोनैकी संख्याओं के सभी योगों की पहचान की (शोध पत्र में तालिका 2)।
  • एकल फाइबोनैकी संख्याएँ: $n_2=n_3=0$ निर्धारित करके, उन्होंने उन सभी फाइबोनैकी संख्याओं की पहचान की जो स्वयं तीन repdigits के संयोजन हैं (तालिका 3)। उदाहरण के लिए, आधार 10 में, $F_{22} = 17711$ ऐसी सबसे बड़ी संख्या है।

5. महत्व (Significance)

• संख्या सिद्धांत (Number Theory): यह कार्य रैखिक पुनरावृत्ति अनुक्रमों के भीतर विशेष डिजिटल पैटर्न (repdigits) के वितरण की समझ में योगदान देता है। यह इस बात पर बल देता है कि ऐसे संयोग अत्यंत दुर्लभ हैं, जो इस विचार को पुख्ता करता है कि फाइबोनैकी संख्याएँ कठोर डिजिटल संरचनाओं के साथ शायद ही कभी संरेखित होती हैं।
• एल्गोरिद्मिक दक्षता: यह शोध पत्र उन "कठिन" डायोफेंटाइन समीकरणों को हल करने के लिए एक केस स्टडी के रूप में कार्य करता जहाँ सैद्धांतिक सीमाएँ तो मौजूद हैं लेकिन वे प्रत्यक्ष गणना के लिए बहुत बड़ी हैं। यह कॉम्बिनेटोरियल नंबर थ्योरी में "डायमेंशनलिटी के अभिशाप" (curse of dimensionality) को दूर करने के लिए मासिव पैरेललिज्म (GPUs) के उपयोग को प्रमाणित करता है।
• इन्फ्रास्ट्रक्चर: यह शोध Togo Data Lab द्वारा प्रदान किए गए उच्च-प्रदर्शन कंप्यूटिंग इंफ्रास्ट्रक्चर द्वारा संभव हुआ, जो उन्नत कम्प्यूटेशनल गणित में अफ्रीकी अनुसंधान संस्थानों की बढ़ती भूमिका को प्रदर्शित करता है।

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