2025-11-10T02:51:50.582851

Ratios of two powers of van der Laan-Padovan numbers

Yamada
The van der Laan-Padovan sequence $P_n ~ (n=0, 1, \ldots)$ is defined by $P_0=1, P_1=P_2=0$, and $P_{n+3}=P_{n+1}+P_n$ for $n=0, 1, \ldots$. We determine all pairs $(P_m, P_n)$ satisfying $P_m^b=2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a$ for some integers $g_1, g_2, g_3, g_4$, $a$, and $b$. More generally, for a linear recurrence sequence $u_n$ satisfying the dominant root condition and a given set of primes $p_1, \ldots, p_k$, there exist only finitely many pairs $(u_m, u_n)$ satisfying $u_m^b=p_1^{g_1} \cdots p_k^{g_k} u_n^a$ for some integers $g_1, \ldots, g_k$, $a$, and $b$.
academic

van der Laan-Padovan संख्याओं की दो शक्तियों के अनुपात

मूल जानकारी

  • पेपर ID: 2510.06192
  • शीर्षक: van der Laan-Padovan संख्याओं की दो शक्तियों के अनुपात
  • लेखक: Tomohiro Yamada (ओसाका विश्वविद्यालय जापानी भाषा और संस्कृति केंद्र)
  • वर्गीकरण: math.NT (संख्या सिद्धांत)
  • प्रकाशन समय: 12 अक्टूबर 2025 (arXiv प्रीप्रिंट v2)
  • पेपर लिंक: https://arxiv.org/abs/2510.06192

सारांश

van der Laan-Padovan अनुक्रम PnP_n (n = 0, 1, ...) को P0=1P_0 = 1, P1=P2=0P_1 = P_2 = 0 और पुनरावृत्ति संबंध Pn+3=Pn+1+PnP_{n+3} = P_{n+1} + P_n (n ≥ 0) द्वारा परिभाषित किया गया है। यह पेपर सभी पूर्णांक युग्मों (Pm,Pn)(P_m, P_n) को निर्धारित करता है जो Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a को संतुष्ट करते हैं, जहाँ g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b पूर्णांक हैं। अधिक सामान्यतः, प्रमुख मूल शर्त को संतुष्ट करने वाले रैखिक पुनरावृत्ति अनुक्रम unu_n और दिए गए अभाज्य समुच्चय p1,,pkp_1, \ldots, p_k के लिए, umb=p1g1pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a को संतुष्ट करने वाले समाधान युग्म (um,un)(u_m, u_n) केवल सीमित संख्या में हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. रैखिक पुनरावृत्ति अनुक्रमों के अंकगणितीय गुण: रैखिक पुनरावृत्ति अनुक्रमों के अंकगणितीय गुण और डायोफेंटाइन समीकरण संख्या सिद्धांत अनुसंधान के महत्वपूर्ण क्षेत्र हैं। इनमें सबसे व्यापक रूप से अध्ययन किए गए Lucas अनुक्रम हैं, जिनके लिए कई गहन परिणाम उपलब्ध हैं।
  2. van der Laan-Padovan अनुक्रम: यह अनुक्रम मूलतः Dom Hans van der Laan द्वारा वास्तुकला अनुसंधान में प्रस्तुत किया गया था, और बाद में Richard Padovan द्वारा आगे विकसित किया गया। अनुक्रम है: 1, 0, 0, 1, 0, 1, 1, 1, 2, 2, 3, 4, 5, 7, 9, 12, 16, 21, 28, 37, 49, 65, 86, 114, 151, 200, ...
  3. वर्तमान सिद्धांत की सीमाएं: सामान्य रैखिक पुनरावृत्ति अनुक्रमों के लिए, Lucas अनुक्रमों की तुलना में, ज्ञात परिणाम कम हैं। विशेष रूप से, शक्ति संबंधों के अनुसंधान में, सभी समाधानों को निर्धारित करने के लिए प्रभावी विधियों की कमी है।

अनुसंधान की प्रेरणा

  1. सैद्धांतिक अंतराल को भरना: सामान्य रैखिक पुनरावृत्ति अनुक्रमों में शक्ति संबंध समस्या के लिए प्रभावी समाधान विधि प्रदान करना
  2. व्यावहारिक अनुप्रयोग: van der Laan-Padovan अनुक्रम वास्तुकला और ज्यामिति में महत्वपूर्ण अनुप्रयोग हैं
  3. पद्धति संबंधी योगदान: व्यापक रैखिक पुनरावृत्ति अनुक्रमों पर लागू होने वाली तकनीकें विकसित करना

मूल योगदान

  1. सामान्य परिमितता प्रमेय स्थापित करना: प्रमुख मूल शर्त को संतुष्ट करने वाले रैखिक पुनरावृत्ति अनुक्रमों के लिए, umb=p1g1pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a के रूप के समाधान केवल सीमित संख्या में हैं, यह सिद्ध करना
  2. प्रभावी ऊपरी सीमा प्रदान करना: प्रमेय 4.1 में समाधान की प्रभावी गणनीय ऊपरी सीमा दी गई है, हालांकि सीमा बहुत बड़ी है लेकिन व्यावहारिक गणना में व्यवहार्य है
  3. van der Laan-Padovan अनुक्रम समस्या का पूर्ण समाधान: Pmb=2g13g25g37g4PnaP_m^b = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_n^a को संतुष्ट करने वाले सभी समाधानों को निर्धारित करना
  4. नई गणनात्मक तकनीकें विकसित करना: Baker विधि, जाली न्यूनीकरण तकनीक और कंप्यूटर सत्यापन को संयोजित करके, व्यावहारिक समाधान रणनीति प्रदान करना

विधि विवरण

कार्य परिभाषा

दिए गए रैखिक पुनरावृत्ति अनुक्रम unu_n और अभाज्य समुच्चय {p1,,pk}\{p_1, \ldots, p_k\} के लिए, निम्नलिखित समीकरण को संतुष्ट करने वाले सभी पूर्णांक युग्मों (m,n)(m,n) को खोजना: umb=p1g1pkgkunau_m^b = p_1^{g_1} \cdots p_k^{g_k} u_n^a जहाँ g1,,gk,a,bg_1, \ldots, g_k, a, b पूर्णांक हैं, a>0a > 0

सैद्धांतिक ढांचा

1. रैखिक पुनरावृत्ति अनुक्रमों का प्रतिनिधित्व

r-वें क्रम के रैखिक पुनरावृत्ति अनुक्रम के लिए, इसका सामान्य पद सूत्र है: un=i=1tqi(n)αinu_n = \sum_{i=1}^t q_i(n)\alpha_i^n जहाँ α1,,αt\alpha_1, \ldots, \alpha_t विशेषता बहुपद की मूलें हैं, qi(n)q_i(n) बहुपद हैं।

2. प्रमुख मूल शर्त

मान लीजिए α1>α2αt|\alpha_1| > |\alpha_2| \geq \cdots \geq |\alpha_t|, और κ10\kappa_1 \neq 0, जहाँ κ1\kappa_1 α1\alpha_1 के अनुरूप गुणांक है।

3. रैखिक लघुगणक रूप की निचली सीमा

मूल तकनीक Matveev की रैखिक लघुगणक रूप निचली सीमा प्रमेय है (लेम्मा 2.1):

बीजगणितीय संख्याओं α1,,αn\alpha_1, \ldots, \alpha_n और पूर्णांकों b1,,bnb_1, \ldots, b_n के लिए, रैखिक रूप Λ=b1logα1++bnlogαn\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n संतुष्ट करता है: Λ=0\Lambda = 0 या logΛ>C(n)Ωlog(c1B)\log |\Lambda| > -C(n)\Omega \log(c_1B)

एल्गोरिथ्म प्रवाह

पहला चरण: पूर्व-प्रसंस्करण और विशेष मामले

  1. Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4} के मामलों को संभालना (लेम्मा 5.1)
  2. प्रत्यक्ष गणना का उपयोग करके n{0,1,,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\} को निर्धारित करना

दूसरा चरण: सामान्य मामले की ऊपरी सीमा अनुमान

Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b के लिए:

  1. रैखिक लघुगणक रूप स्थापित करना: Λ=g1log2++g4log7+(ab)logκ1+(anbm)logα1\Lambda = g_1 \log 2 + \cdots + g_4 \log 7 + (a-b) \log \kappa_1 + (an-bm) \log \alpha_1
  2. Matveev प्रमेय लागू करना: m,nm, n की सैद्धांतिक ऊपरी सीमा प्राप्त करना
  3. जाली न्यूनीकरण सुधार: LLL एल्गोरिथ्म और लेम्मा 2.3 का उपयोग करके ऊपरी सीमा में सुधार करना

तीसरा चरण: कंप्यूटर सत्यापन

  1. प्रत्येक संभावित mm मान के लिए, संबंधित रैखिक लघुगणक रूप का निर्माण करना
  2. अधिक सटीक निचली सीमा प्राप्त करने के लिए जाली न्यूनीकरण तकनीक का उपयोग करना
  3. शेष मामलों को एक-एक करके सत्यापित करना

तकनीकी नवाचार बिंदु

  1. प्रभावशीलता: पिछले अप्रभावी परिणामों के विपरीत, यह पेपर प्रभावी गणनीय ऊपरी सीमा प्रदान करता है
  2. जाली न्यूनीकरण तकनीक: जाली न्यूनीकरण विधि को नवीनतापूर्वक संयोजित करके सैद्धांतिक ऊपरी सीमा में महत्वपूर्ण सुधार करना
  3. वर्गीकृत चर्चा: समस्या को विशेष मामलों और सामान्य मामलों में चतुराई से विभाजित करके, गणनात्मक जटिलता को बहुत कम करना

प्रायोगिक सेटअप

गणितीय स्थिरांक

  • प्लास्टिक अनुपात: α1=1.324717\alpha_1 = 1.324717\ldots (समीकरण X3X1=0X^3 - X - 1 = 0 की वास्तविक मूल)
  • जटिल मूलें: α2,α3=0.662358±0.562279i\alpha_2, \alpha_3 = -0.662358\ldots \pm 0.562279\ldots i
  • गुणांक: κi=1/(2αi+3)\kappa_i = 1/(2\alpha_i + 3) for i=1,2,3i = 1, 2, 3
  • पैरामीटर: K=5.599815K = 5.599815\ldots, δ=1.524702\delta = 1.524702\ldots

गणना पैरामीटर

  • प्रारंभिक बिंदु: n1=27n_1 = 27
  • सटीकता पैरामीटर: μ=10\mu = 10
  • त्रुटि सीमा: ϵ<6.3413×105\epsilon < 6.3413 \times 10^{-5}

जाली न्यूनीकरण सेटअप

  • विभिन्न चरणों में विभिन्न जाली पैरामीटर (C,γ)(C, \gamma) का उपयोग
  • पहला चरण: (C,γ)=(10150,11)(C, \gamma) = (10^{150}, 11)
  • बाद के चरण आवश्यकतानुसार पैरामीटर समायोजित करते हैं

प्रायोगिक परिणाम

मुख्य परिणाम (प्रमेय 1.3)

यदि Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b कुछ पूर्णांकों g1,g2,g3,g4,a,bg_1, g_2, g_3, g_4, a, b के लिए सत्य है और a>0a > 0, तो आवश्यक रूप से:

  1. m,n{1,2,4}m, n \in \{1, 2, 4\}, या
  2. m,n{0,3,5,6,,18,20,25,36}m, n \in \{0, 3, 5, 6, \ldots, 18, 20, 25, 36\}, या
  3. m,n{21,27,49}m, n \in \{21, 27, 49\}

मध्यवर्ती परिणाम

लेम्मा 5.1

यदि Pn=2f13f25f37f4P_n = 2^{f_1} 3^{f_2} 5^{f_3} 7^{f_4}, तो n{0,1,,18,20,25,36}n \in \{0, 1, \ldots, 18, 20, 25, 36\}

लेम्मा 5.2

यदि Pna=2g13g25g37g4PmbP_n^a = 2^{g_1} 3^{g_2} 5^{g_3} 7^{g_4} P_m^b और gcd(a,b)=1\gcd(a,b) = 1, तो:

  • m988m \leq 988
  • bm3.850562×1029bm \leq 3.850562 \times 10^{29}
  • an<5.5553×1029an < 5.5553 \times 10^{29}

गणनात्मक सत्यापन

m988m \leq 988 के सभी मामलों को एक-एक करके जांचने के माध्यम से, केवल उपरोक्त तीन समाधान समुच्चय के अस्तित्व की पुष्टि की गई। सत्यापन प्रक्रिया में निम्नलिखित की खोज की गई:

  • Hm=Pm/(2e17e4)H_m = P_m/(2^{e_1} \cdots 7^{e_4}) के लिए, जब 0m10120 \leq m \leq 1012 और Hm{0,1}H_m \notin \{0,1\} हो, तो HmH_m पूर्ण शक्ति नहीं है
  • यह अधिकांश मामलों में a=1a = 1 सुनिश्चित करता है

संबंधित कार्य

शास्त्रीय परिणाम

  1. Lucas अनुक्रम: Bilu-Hanrot-Voutier प्रमेय Lucas अनुक्रमों के लिए शक्तिशाली उपकरण प्रदान करता है
  2. सामान्य रैखिक पुनरावृत्ति: van der Poorten-Schlickewei की वृद्धि शर्त, Evertse के अभाज्य कारक परिणाम
  3. प्रभावी परिणाम: Mignotte, Stewart, Pethö आदि की प्रभावी सीमाएं

हाल की प्रगति

  1. Odjoumani-Ziegler: रैखिक पुनरावृत्ति अनुक्रमों में अभाज्य शक्तियों के प्रकटीकरण पर अनुसंधान
  2. Bugeaud-Kaneko: पूर्ण शक्तियों पर प्रभावी सीमाएं
  3. Gómez Ruiz-Luca: विभिन्न पुनरावृत्ति अनुक्रमों के बीच गुणक संबंध

इस पेपर का योगदान

वर्तमान कार्य की तुलना में, यह पेपर पहली बार van der Laan-Padovan अनुक्रम शक्ति संबंधों का पूर्ण समाधान देता है, और सामान्य रैखिक पुनरावृत्ति अनुक्रमों पर लागू होने वाली प्रभावी विधि प्रदान करता है।

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. पूर्णता: van der Laan-Padovan अनुक्रम की शक्ति संबंध समस्या को पूरी तरह से हल करना
  2. सामान्यता: प्रमुख मूल शर्त को संतुष्ट करने वाले रैखिक पुनरावृत्ति अनुक्रमों पर लागू होने वाला सामान्य सिद्धांत स्थापित करना
  3. प्रभावशीलता: व्यावहारिक गणनीय ऊपरी सीमा और एल्गोरिथ्म प्रदान करना

सीमाएं

  1. अत्यधिक ऊपरी सीमा: सैद्धांतिक सीमा CΨlog(c2CΨ)C^{\prime\prime} \Psi \log(c_2 C^\prime \Psi^\prime) व्यावहारिक अनुप्रयोग में अत्यधिक बड़ी हो सकती है
  2. गणनात्मक जटिलता: बहुत बड़े पैरामीटर वाले मामलों के लिए, गणना की मात्रा अभी भी विशाल है
  3. विशिष्ट अभाज्य: वर्तमान परिणाम अभाज्य समुच्चय {2,3,5,7}\{2, 3, 5, 7\} तक सीमित हैं

भविष्य की दिशाएं

  1. सीमा में सुधार: अधिक सटीक सैद्धांतिक सीमाएं खोजना
  2. अभाज्य समुच्चय का विस्तार: बड़े अभाज्य समुच्चयों के मामलों का अनुसंधान
  3. अन्य पुनरावृत्ति अनुक्रम: विधि को अन्य महत्वपूर्ण पुनरावृत्ति अनुक्रमों पर लागू करना
  4. एल्गोरिथ्म अनुकूलन: अधिक कुशल गणना एल्गोरिथ्म विकसित करना

गहन मूल्यांकन

शक्तियां

  1. सैद्धांतिक योगदान: पहली बार एक विशिष्ट तीसरे क्रम के रैखिक पुनरावृत्ति अनुक्रम की शक्ति संबंध समस्या को पूरी तरह से हल करना
  2. विधि नवाचार: Baker विधि, जाली न्यूनीकरण तकनीक और कंप्यूटर सत्यापन को चतुराई से संयोजित करना
  3. व्यावहारिक मूल्य: निष्पादन योग्य PARI-GP कोड प्रदान करना, पुनरुत्पादनीयता को बढ़ाना
  4. स्पष्ट लेखन: पेपर संरचना स्पष्ट है, तकनीकी विवरण पर्याप्त हैं

कमियां

  1. सैद्धांतिक सीमाएं: प्रमुख मूल शर्त की आवश्यकता विधि की लागू क्षमता को सीमित करती है
  2. गणना पर निर्भरता: अंतिम परिणाम कंप्यूटर सत्यापन पर अत्यधिक निर्भर है, सैद्धांतिक विश्लेषण पर्याप्त गहरा नहीं है
  3. सामान्यीकरण: अन्य पुनरावृत्ति अनुक्रमों के लिए सामान्यीकरण सीधा नहीं है

प्रभाव

  1. शैक्षणिक मूल्य: रैखिक पुनरावृत्ति अनुक्रमों के डायोफेंटाइन समीकरण अनुसंधान के लिए नई तकनीकी पथ प्रदान करना
  2. व्यावहारिक महत्व: van der Laan-Padovan अनुक्रम के वास्तुकला में अनुप्रयोग परिणामों को अंतःविषय मूल्य देते हैं
  3. पद्धति संबंधी: संख्या सिद्धांत समस्याओं में जाली न्यूनीकरण तकनीक का अनुप्रयोग प्रदर्शनीय महत्व रखता है

लागू परिस्थितियां

  1. संख्या सिद्धांत अनुसंधान: रैखिक पुनरावृत्ति अनुक्रमों के अंकगणितीय गुणों का अनुसंधान
  2. कम्प्यूटेशनल गणित: डायोफेंटाइन समीकरणों को सटीक रूप से हल करने की आवश्यकता वाली परिस्थितियां
  3. अनुप्रयुक्त गणित: पुनरावृत्ति अनुक्रमों से संबंधित व्यावहारिक समस्याएं

संदर्भ

पेपर 37 महत्वपूर्ण संदर्भों का हवाला देता है, जो रैखिक पुनरावृत्ति अनुक्रम सिद्धांत, Baker विधि, जाली न्यूनीकरण तकनीक आदि कई क्षेत्रों के शास्त्रीय और अग्रणी कार्यों को शामिल करते हैं, जो अनुसंधान के लिए एक मजबूत सैद्धांतिक आधार प्रदान करते हैं।