On Regular Higher Power Rational Diophantine Triples

यहाँ एलेन अंद्रासेक के शोध पत्र "On Regular Higher Power Rational Diophantine Triples" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र रैशनल डायोफेंटाइन $m$-टुपल्स (Rational Diophantine $m$-tuples) की जांच करता है, विशेष रूप से उस स्थिति पर ध्यान केंद्रित करता है जहाँ किन्हीं भी दो भिन्न तत्वों का गुणनफल और एक का योग एक पूर्ण $k$-घात (k-th power) होता है (केवल एक वर्ग (square) के बजाय, जो कि शास्त्रीय मामला है)।

• परिभाषा: भिन्न गैर-शून्य परिमेय संख्याओं का एक सेट $\{a_1, \dots, a_m\}$ एक $k$-घात डायोफेंटाइन $m$-टुपल है यदि $a_i a_j + 1 = t_{ij}^k$ किसी परिमेय $t_{ij}$ के लिए सत्य हो।
• केंद्र बिंदु: मुख्य ध्यान चतुर्थ घात (quartic case, $k=4$) पर है। यह शोध पत्र संक्षिप्त में षष्ठ घात (sextic, $k=6$) और अष्टम घात (octic, $k=8$) के मामलों को भी संबोधित करता है।
• लक्ष्य: ऐसे टुपल्स के अनंत परिवारों का निर्माण करना, विशेष रूप से $k=4$ के लिए धनात्मक तत्वों (positive elements) वाले अनंत टुपल्स के अस्तित्व को सिद्ध करना, और उच्च सम घातों के लिए इन विधियों को विस्तारित करने में आने वाली कठिनाइयों का विश्लेषण करना।

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

लेखक समाधानों का निर्माण करने के लिए बीजगणितीय ज्यामिति (algebraic geometry) और दीर्घवृत्त वक्रों (elliptic curves) के सिद्धांत का उपयोग करते हैं।

A. नियमितता की स्थिति (Regularity Condition)

उच्च घात वाले टुपल्स के लिए "नियमित" (regular) स्थिति का परिचय देना इस पद्धति का मुख्य नवाचार है, जो वर्गों ($k=2$) के लिए शास्त्रीय परिभाषा के समान है।

• चतुर्थ घात टुपल्स $\{a, b, c\}$ के लिए, जो $ab+1=r^4$, $ac+1=s^4$, और $bc+1=t^4$ को संतुष्ट करते हैं, टुपल नियमित है यदि:
  $$a = s^2 - r^2$$
  (तथागत रूप से, $c = a + b + 2r^2$)।
• इस स्थिति के तहत, समीकरण $bc+1=t^4$ $r$ और $s$ पर एक शर्त में बदल जाता है:
  $$\frac{s^2r^2 - 1}{s^2 - r^2} = t^2$$
  यह समस्या को एक ऐसे सतह (surface) पर परिमेय बिंदुओं को खोजने में बदल देता है जिसे एक पैरामीटर वाले दीर्घवृत्त वक्र (elliptic curve) के रूप में व्याख्यायित किया जा सकता है।

B. दीर्घवृत्त वक्रों के माध्यम से पैरामीट्रिक परिवार (Parametric Families via Elliptic Curves)

लेखक $r$ और $s$ पर अतिरिक्त प्रतिबंध लगाकर तीन अलग-अलग अनंत पैरामीट्रिक चतुर्थ घात टुपल परिवारों को व्युत्पन्न करते हैं:

1. परिवार 1 ($a$ एक वर्ग है):

   • यह मानता है कि $a = s^2 - r^2 = \ell^2$।
   • यह एक दीर्घवृत्त वक्र $y^2 = x^3 + 4(u^4-1)^2x$ की ओर ले जाता है।
   • इस वक्र पर अनंत क्रम (infinite order) के बिंदु खोजकर, लेखक $u$ के संदर्भ में $a, b, c$ के लिए स्पष्ट परिमेय सूत्र प्राप्त करते हैं।

2. परिवार 2 ($s = \alpha r$):

   • यह मानता है कि $s = \alpha r$ के बीच एक रैखिक संबंध है।
   • यह समस्या को वक्र $y^2 = x^3 + 4\alpha^2(\alpha^2-1)^2x$ में बदल देता है।
   • बिंदु $2P$ (जहाँ $P$ अनंत क्रम का एक बिंदु है) का उपयोग करके, लेखक टुपल्स का एक अन्य परिवार निर्मित करते हैं।

3. पेल समीकरण संबंध (Pell Equation Connection):

   • लेखक उन पूर्णांक समाधानों की खोज करते हैं जहाँ संबंधित दीर्घवृत्त वक्र की रैंक (rank) उच्च हो।
   • यहाँ पेल समीकरण (Pell equation) $p^2 - 3r^2 = 1$ के साथ एक संबंध पाया गया है।
   • इस पेल समीकरण के समाधानों को पैरामीट्राइज़ करके, लेखक टुपल्स का तीसरा परिवार उत्पन्न करते हैं। यह परिवार विशेष रूप से विशिष्ट चिह्न गुणों (sign properties) वाले टुपल्स उत्पन्न करने के लिए उपयोगी है।

C. उच्च घातों ($2k$) के लिए सामान्यीकरण

सामान्य सम घात $2k$ के लिए, नियमितता की स्थिति इस प्रणाली की ओर ले जाती है:
$$x^k + y^k = z^k + 1$$
$$xyz = q^2$$
यह दो अलग-अलग तरीकों से दो $k$-घातों के योग के रूप में व्यक्त की जाने वाली संख्याएँ खोजने के समान है (सामान्यीकृत टैक्सिकैब संख्याएँ), जहाँ आधारों का गुणनफल एक वर्ग हो।

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

A. चतुर्थ घात टुपल्स ($k=4$)

• अनंत परिवार: शोध पत्र सफलतापूर्वक नियमित चतुर्थ घात डायोफेंटाइन टुपल्स के तीन गैर-तुच्छ अनंत पैरामीट्रिक परिवार का निर्माण करता है।
• धनात्मक तत्व: लेखक प्रमेय 1 (Theorem 1) सिद्ध करते हैं: ऐसे अनंत चतुर्थ घात डायोफेंटाइन टुपल्स मौजूद हैं जहाँ सभी तत्व धनात्मक हैं।
  • महत्व: पूर्व ज्ञात पैरामीट्रिज़ेशन (जैसे, बट्टा आदि द्वारा) में हमेशा कम से कम एक ऋणात्मक तत्व रहता था। यह कार्य $k=4$ के लिए केवल धनात्मक परिवारों के अस्तित्व को हल करता है।
• पूर्णांक समाधान: शोध पत्र उल्लेख करता है कि एकमात्र ज्ञात पूर्णांक चतुर्थ घात टुपल $\{1352, 9539880, 9768370\}$ नियमित है और व्युत्पन्न दीर्घवृत्त वक्र के एक विशिष्ट बिंदु के अनुरूप है।

B. षष्ठ घात टुपल्स ($k=6$)

• कठिनाई: यह समस्या एक जेनस 4 (genus 4) वक्र (या विशिष्ट उप-मामलों में एक हाइपरएलिप्टिक वक्र) पर परिमेय बिंदुओं को खोजने में बदल जाती है, जिसमें आम तौर पर केवल परिमित (finite) संख्या में परिमेय बिंदु होते हैं।
• ब्रूट फोर्स निष्कर्ष: सैद्धांतिक कठिनाई के बावजूद, लेखक ब्रूट-फोर्स खोज के माध्यम से षष्ठ घात टुपल्स के विशिष्ट संख्यात्मक उदाहरण खोजने में सफल रहे, जिसमें ऐसी पहचान शामिल है:
  $$243^3 + 1600^3 = 484^3 + 1587^3$$
  जहाँ आधारों का गुणनफल एक वर्ग है।
• गैर-नियमितता (Non-Regularity): पाए गए कई षष्ठ घात टुपल्स नियमित नहीं हैं, जो यह सुझाव देते हैं कि $k=6$ के लिए नियमितता एक बहुत ही कड़ा प्रतिबंध है।

C. अष्टम घात टुपल्स ($k=8$)

• वर्तमान विधियों की असंभवता: यह समस्या $X^4 + Y^4 = Z^4 + W^4$ को हल करने में बदल जाती है जहाँ $XYZW = \square$।
• जेनस 2 बाधा: चतुर्थ घातों के योग के लिए यूलर के पैरामीट्रिक परिवार का उपयोग करते हुए, यह शर्त कि गुणनफल एक वर्ग है, एक जेनस 2 वक्र की ओर ले जाती है। फल्टिंग्स के प्रमेय (Faltings' Theorem) के अनुसार, ऐसे वक्रों में केवल परिमित संख्या में ही परिमेय बिंदु होते हैं।
• निष्कर्ष: लेखक को कोई भी नियमित अष्टम घात टुपल नहीं मिला और वे तर्क देते हैं कि $k=8$ के लिए अनंत परिवारों को उत्पन्न करने के लिए वर्तमान विधि का उपयोग करना संभवतः अपर्याप्त है।

4. महत्व और योगदान (Significance and Contributions)

1. नियमितता का विस्तार: शोध पत्र सफलतापूर्वक वर्गों ($k=2$) से चतुर्थ घातों ($k=4$) तक "नियमित" डायोफेंटाइन टुपल्स की अवधारणा का विस्तार करता है, जो समाधानों के निर्माण के लिए एक मजबूत बीजगणितीय ढांचा प्रदान करता है।
2. धनात्मकता का समाधान: यह इस खुले प्रश्न को हल करता है कि क्या अनंत धनात्मक चतुर्थ घात डायोफेंटाइन टुपल्स मौजूद हैं, और यह सिद्ध करता है कि वे मौजूद हैं।
3. संरचनात्मक अंतर्दृष्टि: यह रेखांकित करता है कि जैसे-जैसे $k$ बढ़ता है, कठिनाई का स्तर कैसे बदलता है। जबकि $k=4$ दीर्घवृत्त वक्र (rank $\ge 1$) देता है, $k=6$ और $k=8$ उच्च जेनस (higher genus) वाले वक्रों की ओर ले जाते हैं, जिससे अनंत परिवारों का अस्तित्व सिद्ध करना बहुत कठिन हो जाता है।
4. संगणनात्मक संख्या सिद्धांत (Computational Number Theory): शोध पत्र रैंक को सत्यापित करने, टॉर्शन पॉइंट्स (torsion points) खोजने और ब्रूट-फोर्स खोज करने के लिए आधुनिक कम्प्यूटेशनल उपकरणों (PARI/GP, MAGMA) का उपयोग करता है, जो सैद्धांतिक प्रमाणों को ठोस उदाहरणों के साथ जोड़ता है।

5. निष्कर्ष (Conclusion)

शोध पत्र स्थापित करता है कि जबकि नियमित चतुर्थ घात डायोफेंटाइन टुपल्स प्रचुर मात्रा में हैं और उन्हें सभी धनात्मक तत्वों के साथ बनाया जा सकता है, उच्च सम घातों ($k=6, 8$) के लिए विस्तार महत्वपूर्ण बीजगणितीय बाधाओं (उच्च जेनस वक्रों) का सामना करता है। लेखक का निष्कर्ष है कि जबकि $k=4$ के लिए अनंत परिवार अच्छी तरह से समझे गए हैं, $k \ge 6$ के लिए अनंत परिवारों का अस्तित्व एक खुला और कठिन प्रश्न बना हुआ है, जिसके लिए संभवतः "नियमितता" धारणा से परे विधियों की आवश्यकता होगी।