Multiplicative independence in the sequence of $k$-generalized Pell numbers

तकनीकी सारांश: k-सामान्यीकृत पेल अनुक्रम में गुणात्मक स्वतंत्रता (Multiplicative Independence)

समस्या विवरण
यह शोध पत्र $k$-सामान्यीकृत पेल अनुक्रम $(P^{(k)}_n)_{n \ge 2-k}$ के पदों के बीच गुणात्मक निर्भरता (multiplicative dependence) की जांच करता है। इस अनुक्रम को इस रैखिक पुनरावृत्ति (linear recurrence) द्वारा परिभाषित किया गया है:
$$P^{(k)}_n = 2P^{(k)}_{n-1} + P^{(k)}_{n-2} + \dots + P^{(k)}_{n-k}$$
जिसके प्रारंभिक मान $P^{(k)}_0 = \dots = P^{(k)}_{-(k-2)} = 0$ और $P^{(k)}_1 = 1$ हैं। $k=2$ के लिए, यह शास्त्रीय पेल अनुक्रम (classical Pell sequence) में बदल जाता है।

मुख्य उद्देश्य उन सभी सूचकांकों (indices) के युग्मों $(m, n)$ को निर्धारित करना है जहाँ $n > m \ge 0$ और पूर्णांक $k \ge 2$ है, ताकि $P^{(k)}_n$ और $P^{(k)}_m$ गुणात्मक रूप से निर्भर हों। दो गैर-शून्य पूर्णांक $a$ और $b$ गुणात्मक रूप से निर्भर होते हैं यदि गैर-शून्य पूर्णांक $x, y$ अस्तित्व में हों कि $a^x = b^y$। लेखक इस दिया गया समीकरण हल करने का लक्ष्य रखते हैं:
$$(P^{(k)}_n)^x = (P^{(k)}_m)^y$$
इसमें उन तुच्छ मामलों (trivial cases) को छोड़ दिया गया है जहाँ पद 1 के बराबर होते हैं या जहाँ निर्भरता केवल अनुक्रम के प्रारंभिक खंड से उत्पन्न होती है जहाँ पद दो की घातें (powers of two) होते हैं।

कार्यप्रणाली (Methodology)
प्रमाण की रणनीति $k$-सामान्यीकृत फाइबोनैकी और लुकास संख्याओं के लिए स्थापित ढांचे का अनुसरण करती है, जो विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) को कम्प्यूटेशनल सत्यापन के साथ जोड़ती है। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

1. विश्लेषणात्मक सन्निकटन और लघुगणक के रैखिक रूप (Analytic Approximation and Linear Forms in Logarithms):
   लेखक $P^{(k)}_n$ के लिए बाइनेट-प्रकार के सूत्र (Binet-type formula) का उपयोग करते हैं, जो पद को $P^{(k)}_n = g_k(\alpha)\alpha^n + e_n$ के रूप में व्यक्त करता है, जहाँ $\alpha$ विशेषता बहुपद $\Psi_k(x) = x^k - 2x^{k-1} - \dots - 1$ का प्रमुख मूल (dominant root) है, और $g_k(\alpha)$ एक विशिष्ट बीजगणितीय फलन है।
   इसे गुणात्मक निर्भरता समीकरण में प्रतिस्थापित करके, समस्या को लघुगणक के रैखिक रूप के सीमांकन (bounding a linear form in logarithms) में बदल दिया जाता है:
   $$\Lambda = (y-x)\log g_k(\alpha) + (nx - my)\log \alpha$$
   लघुगणक के रैधीय रूपों के निचले स्तर के अनुमानों (lower bounds) के लिए मात्वेव के प्रमेय (Matveev's theorem) का उपयोग करते हुए, लेखक $k$ के संदर्भ में सूचकांक $n$ के लिए एक बहुपद ऊपरी सीमा (polynomial upper bound) प्राप्त करते हैं। विशेष रूप से, $k \ge 3$ और $n > m \ge k+1$ के लिए, वे स्थापित करते हैं:
   $$n < 6.2 \times 10^{33} k^8 (\log k)^6$$

2. बेकर-डेवनपोर्ट एल्गोरिदम द्वारा न्यूनीकरण (Reduction via Baker-Davenport Algorithm):
   मात्वेव के प्रमेय से प्राप्त प्रारंभिक सीमा प्रत्यक्ष गणना के लिए बहुत बड़ी है। इसे कम करने के लिए, लेखक बेकर-डेवनपोर्ट न्यूनीकरण पद्धति (विशेष रूप से डुजेला और पेथो द्वारा विकसित संस्करण) का उपयोग करते हैं। इसमें अनुपात $\tau_k = \frac{\log g_k(\alpha)}{\log \alpha}$ के निरंतर भिन्न विस्तार (continued fraction expansion) का विश्लेषण करना शामिल है।
   अभिसरणों (convergents) के गुणों और डुजेला-पेथो लेम्मा का उपयोग करके, लेखक $k \le 850$ की सीमा के लिए $n$ के ऊपरी मान को $k$ से स्वतंत्र एक प्रबंधनीय स्थिरांक तक कम करते हैं। विशेष रूप से, सीमा को $n \le 218$ (सुरक्षा के लिए रूढ़िवादी रूप से $n < 300$ लिया गया है) तक कम किया गया है।

3. मामलों का पृथक्करण और अनंतस्पर्शी विश्लेषण (Case Separation and Asymptotic Analysis):
   समस्या को $k$ के मान के आधार पर दो श्रेणियों में विभाजित किया गया है:

• छोटा $k$ ($k \le 850$): कम किए गए $n < 300$ के मान के साथ, लेखक सभी वैध संयोजनों $k, m, n, x, y$ के लिए एक व्यापक कंप्यूटर खोज (exhaustive computer search) करते हैं।
• बड़ा $k$ ($k > 850$): इस सीमा के लिए, लेखक एक अनंतस्पर्शी तर्क (asymptotic argument) का उपयोग करते हैं। वे इस तथ्य का लाभ उठाते है कि बड़े $k$ के लिए, प्रमुख मूल $\alpha$, 2 के अत्यंत निकट होता है, और $P^{(k)}_n \approx 2^{n-1}$ होता है। कूपर-हावर्ड विस्तार (Cooper-Howard expansion) का उपयोग करके दूसरे क्रम तक पदों का विस्तार करके, वे दिखाते हैं कि समीकरण $(P^{(k)}_n)^x = (P^{(k)}_m)^y$ यह दर्शाता है कि $x=y$ और तत्पश्चात $n=m$, जो $n > m$ की धारणा का खंडन करता है। अतः, $k > 850$ के लिए कोई समाधान मौजूद नहीं है।

मुख्य योगदान और परिणाम
यह शोध पत्र $k$-सामान्यीकृत पेल अनुक्रम में गुणात्मक रूप से निर्भर युग्मों का पूर्ण वर्गीकरण प्रदान करता है। मुख्य परिणाम, प्रमेय 1.1, बताता है कि $k \ge 2$ और $n > m \ge 2$ के लिए, $P^{(k)}_n$ और $P^{(k)}_m$ गुणात्मक रूप से निर्भर हैं यदि और केवल यदि:

1. तुच्छ मामला (Trivial Case): $m=1$ (चूंकि $P^{(k)}_1 = 1$)।
2. पावर-ऑफ-टू फैमिली (Power-of-Two Families): $2 \le m < n \le k+1$। इस प्रारंभिक खंड में, $P^{(k)}_n = 2^{n-1}$ और $P^{(k)}_m = 2^{m-1}$ है, जिससे $(2^{n-1})^x = (2^{m-1})^y$ के रूप में निर्भरता उत्पन्न होती है।
3. अपवाद शास्त्रीय मामला (Exceptional Classical Case): $(k, n, m) = (2, 3, 0)$। यहाँ, $P^{(2)}_3 = 2$ और $P^{(2)}_0 = 0$ है। (नोट: सार में $P^{(k)}_0=0$ को समीकरण के संदर्भ में एक तुच्छ मामले के रूप में उल्लेख किया गया है, हालांकि तकनीकी रूप से $0^x=0$ के लिए सावधानीपूर्वक हैंडलिंग की आवश्यकता है; शोध पत्र इसे शास्त्रीय पेल अनुक्रम के बाहर के एकमात्र गैर-तुच्छ समाधान के रूप में सूचीबद्ध करता है)।

लेखक स्पष्ट रूप से कहते हैं कि अन्य कोई गुणात्मक रूप से निर्भर युग्म मौजूद नहीं हैं। $k \ge 3$ के लिए, एकमात्र गैर-तुच्छ निर्भरताएं सख्ती से प्रारंभिक खंड के भीतर होती हैं जहाँ पद सटीक रूप से दो की घातें होते हैं।

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