On an elementary method for solving $Ax^4-By^2=1$

यहाँ P.G. Walsh के शोध पत्र "On an Elementary Method for Solving $Ax^4 - By^2 = 1$" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र निम्नलिखित रूप के डायोफेंटाइन समीकरण (Diophantine equation) को संबोधित करता है:
$$Ax^4 - By^2 = 1$$
जहाँ $A$ और $B$ धनात्मक पूर्णांक हैं। लेखक विशेष रूप से उन समीकरणों की उप-श्रेणी पर ध्यान केंद्रित करते हैं जिन्हें इस रूप में बदला जा सकता है:
$$(t+1)X^4 - tY^2 = 1$$
यह न्यूनीकरण (reduction) पूर्व साहित्य में स्थापित जैकोबी प्रतीकों (Jacobi symbols) के तर्कों पर आधारित है। प्राथमिक लक्ष्य विशिष्ट $t$ के मानों के लिए सभी धनात्मक पूर्णांक समाधान $(X, Y)$ निर्धारित करना है।

संदर्भ:

• ऐतिहासिक रूप से, ल्युंगग्रेन (Ljunggren) ने इन समीकरणों पर मौलिक परिणाम दिए थे।
• रिचर्ड बम्मी (1967) ने $3x^4 - 2y^2 = 1$ (जहाँ $t=2$) के मामले को सफलतापूर्वक हल किया था, यह सिद्ध करते हुए कि एकमात्र धनात्मक पूर्णांक समाधान $(1,1)$ और $(3,11)$ हैं। बम्मी के प्रमाण में $\mathbb{Z}[\sqrt{-2}]$ रिंग का उपयोग किया गया था।
• हाल ही में लिन और लुओ (2026) ने $t=1$ ($2x^4 - y^2 = 1$) के मामले को हल करने के लिए एक "तत्वगणितीय" (elementary) विधि प्रदान की (जो जटिल बीजगणिक संख्या सिद्धांत से बचती है)।
• अंतराल (The Gap): यह स्पष्ट नहीं था कि क्या लिन और लुओ की तत्वगणितीय विधि अन्य $t$ के मानों, विशेष रूप से $t=2$ (बम्मी का समीकरण) और उससे आगे के लिए सामान्यीकृत की जा सकती है।

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

वॉल्श इस बात की जांच करते हैं कि लिन-लुओ विधि को सामान्य मामले में कैसे लागू किया जा सकता है। कार्यप्रणाली में दो अलग-अलग चरण शामिल हैं:

चरण 1: फैक्टर बेस और सर्वांगसमता उन्मूलन (The Factor Base and Congruence Elimination)

समस्या को अनुक्रम के एक विशिष्ट पद $P_n$ के लिए सूचकांक $n$ खोजने तक सीमित कर दिया जाता है, जहाँ $P_n$ एक पूर्ण वर्ग है।

1. अनुक्रम की परिभाषा: दिए गए $t$ के लिए, $\alpha = \sqrt{t+1} + \sqrt{t}$ को परिभाषित करें। $\alpha^k$ के विस्तार के माध्यम से अनुक्रमों $\{P_k\}$ और $\{Q_k\}$ को परिभाषित किया जाता है।
   • विषम $k$ के लिए: $P_k\sqrt{t+1} + Q_k\sqrt{t} = \alpha^k$।
2. मापांक चयन (Modulus Selection): एक प्राथमिक मापांक $m$ (आमतौर पर 840) और एक वर्किंग मापांक $M$ चुना जाता है।
3. फैक्टर बेस निर्माण: प्राइम्स (primes) का एक सेट (फैक्टर बेस) चुना जाता है ताकि प्रत्येक प्राइम के मॉड्यूलो $M$ में अनुक्रम $\{P_k\}$ का क्रम $M$ को विभाजित करे।
4. उन्मूलन (Elimination): $M$ के लिए सर्वांगसमता वर्गों (congruence classes) के एक बड़े सेट के लिए, लेखक फैक्टर बेस में एक प्राइम $p$ की पहचान करते हैं जहाँ लेजेंड्रे प्रतीक (Legendre symbol) $(\frac{P_k}{p}) = -1$ होता है। यह सिद्ध करता है कि उन सूचकांकों के लिए $P_k$ एक वर्ग नहीं हो सकता।
5. परिणाम: यह संभावित समाधानों को बहुत छोटे सर्वांगसमता वर्गों (आमतौर पर $k \equiv \pm 1, \pm 3 \pmod{840}$) तक सीमित कर देता है।

चरण 2: मुख्य मामला और जैकोबी प्रतीक न्यूनीकरण (The Main Case and Jacobi Symbol Reduction)

शेष सर्वांगसमता वर्गों (विशेष रूप से $n \equiv 1 \pmod{840}$) को विभाज्यता और जैकोबी प्रतीकों से जुड़े एक रचनात्मक तर्क के माध्यम से संभाला जाता है।

1. सूचकांक $b$ का निर्माण: $n = 1 + 840t$ के लिए, $t$ के गुणों (विशेष रूप से 3-adic valuation और modulo 24 गुणों) के आधार पर एक विशिष्ट पूर्णांक $b$ का निर्माण किया जाता है।
2. विभाज्यता गुण: लेखक $P_n$ और $Q_n$ से संबंधित सर्वसमताओं (identities) का उपयोग करते हैं। विशेष रूप से, यह दिखाया गया है कि $P_n \equiv P_{8b-1} \pmod{Q_{6b}}$।
3. पॉलीनोमियल न्यूनीकरण: सर्वसमता $Q_{6k}/Q_{2k} = 3(4P_k^2-1)(12P_k^2-1)$ का उपयोग करते हुए, पद $P_{8b-1}$ को $Q_{6b}$ के एक भाजक (विशेष रूप से $2P_b + 1$) के मॉड्यूलो कम किया जाता है।
4. जैकोबी प्रतीक मूल्यांकन: प्रमाण का मुख्य भाग यह दिखाने में निहित है कि जैकोबी प्रतीक $(\frac{P_n}{2P_b+1}) = -1$ है। इसे $P_n$ और $Q_n$ के बहुपद विस्तारों का उपयोग करके प्राप्त किया जाता है, जो अंततः अभिव्यक्ति को $-1$ के रूप में मूल्यांकित करने वाले रूप में कम कर देता है।
5. निष्कर्ष: यदि जैकोबी प्रतीक $-1$है, तो$P_n$ एक पूर्ण वर्ग नहीं हो सकता, जिससे उस सर्वांगसमता वर्ग के अनंत समाधानों के परिवार को समाप्त कर दिया जाता है।

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

A. बम्मी का समीकरण ($t=2$) का समाधान

यह शोध पत्र $3x^4 - 2y^2 = 1$ को हल करने के लिए लिन-लुओ विधि को सफलतापूर्वक लागू करता है।

• मापांक: 27 प्राइम के फैक्टर बेस के साथ $M = 1680$।
• न्यूनीकरण: विधि सिद्ध करती है कि यदि $P_n = x^2$, तो $n \equiv \pm 1, \pm 3 \pmod{840}$।
• उन्मूलन:
  • $n \equiv 1 \pmod{840}$ के मामले को चरण 2.2 में वर्णित जैकोबी प्रतीक निर्माण का उपयोग करके समाप्त किया गया है।
  • $n \equiv 3, -1, -3$ के मामलों को वंश (descent) तर्कों और समरूपता ($P_n = P_{-n}$) के माध्यम से संभाला गया है।
• परिणाम: यह एक पूर्णतः तत्वगणितीय प्रमाण (जो केवल पूर्णांक अंकगणित और जैकोकी प्रतीकों पर निर्भर है, बीजगणिक संख्या सिद्धांत पर नहीं) प्रदान करता है कि एकमात्र धनात्मक पूर्णांक समाधान $(1,1)$ और $(3,11)$ हैं।

B. सामान्य $t$ के लिए गणनात्मक जांच

लेखक इस विधि को $t \le 1000$ के लिए गणनात्मक रूप से विस्तारित करते हैं।

• सफलता दर: फैक्टर बेस उन्मूलन (चरण 1) लगभग सभी $t$ के लिए विश्वसनीय रूप से काम करता है, जिससे खोज क्षेत्र अपेक्षित सर्वांगसमता वर्गों तक सीमित हो जाता है।
• सीमा (चरण 2): दूसरा चरण (जैकोबी प्रतीक न्यूनीकरण) $t$ के विशिष्ट रूप के प्रति अत्यधिक संवेदनशील है। विधि केवल $t$ के एक बहुत ही पतले सेट के लिए सुसंगत $-1$ जैकोबी प्रतीक उत्पन्न करने में सफल होती है।

C. अनुमान (The Conjecture)

गणनात्मक साक्ष्यों के आधार पर, लेखक अनुमान 3.1 (Conjecture 3.1) प्रस्तावित करते हैं:
यह तत्वगणितीय विधि उन समीकरणों के एक अनंत परिवार के लिए काम करती है जहाँ $t = du^2 - 1$ है, जिसमें $d \in \{2, 3, 4, 6\}$।

• विशेष रूप से, $d=3$ ($t = 3i^2 - 1$) के लिए, लेखक का अनुमान है कि विशिष्ट बहुपद $p(x)$ और इनपुट $b$ हमेशा $(\frac{P_n}{p(b)}) = -1$ देंगे।
• महत्व: यदि सिद्ध हो जाता है, तो यह समान प्रकार के चतुर्थ घात डायोफेंटाइन समीकरणों के एक अनंत परिवार के समाधान को विस्तृत करेगा, जो लिन-लुओ और बम्मी के परिणामों को सामान्य बनाता है।

4. महत्व (Significance)

• तत्वगणितीय प्रमाण: यह शोध पत्र प्रदर्शित करता है कि डायोफेंटाइन समीकरणों के गहरे परिणाम, जिन्हें पहले उन्नत उपकरणों (जैसे हाइपरजियोमेट्रिक विधियों या बीजगणिक संख्या सिद्धांत) की आवश्यकता थी, संभावित रूप से "तत्वगणितीय" संख्या सिद्धांत (सर्वांगसमता, फैक्टर बेस और जैकोबी प्रतीक) का उपयोग करके हल किए जा सकते हैं।
• सामान्यीकरण: यह $t=1$ (लिन-लुओ) और $t=2$ (बम्मी) के अलग-थलग मामलों से आगे बढ़कर समीकरणों के एक व्यापक वर्ग को हल करने के लिए एक ढांचा प्रस्तावित करता है।
• नया टूलकिट: यह विधि $Ax^4 - By^2 = 1$ को हल करने के लिए Magma और Pari जैसे मौजूदा सॉफ्टवेयर के पूरक के रूप में, एक नया, गणनात्मक रूप से सुलभ उपकरण जोड़ती है।
• खुली समस्या: यह शोध पत्र जैकोबी प्रतीक न्यूनीकरण के लिए आवश्यक बहुपद पहचान (polynomial identities) को सिद्ध करने की कठिनाई को उजागर करता है, जो भविष्य के अनुसंधान के लिए एक स्पष्ट मार्ग छोड़ता है ताकि अनुमान 3.1 को हल किया जा सके।

संक्षेप में, वॉल्श बम्मी के समीकरण के लिए एक कठोर तत्वगणितीय प्रमाण प्रदान करते हैं और एक गणनात्मक ढांचा स्थापित करते हैं जो सुझाव देता है कि यह विधि जैकोबी प्रतीकों के संबंध में एक विशिष्ट अनुमान के समाधान पर निर्भर करते हुए, समान समीकरणों के एक विशिष्ट, अनंत परिवार के लिए लागू की जा सकती है।