🔢 mathematics

Quartic Rational Diophantine Quadruples and the Euler Surface

यह शोध पत्र शास्त्रीय यूलर सतह $X^4+Y^4=Z^4+W^4$ से उनके पैरामीटर स्थान (parameter space) तक एक परिमेय मानचित्र (rational map) स्थापित करके अनंत चतुर्थ घात परिमेय डिओफेंटाइन चतुष्टकों (quartic rational Diophantine quadruples) के अस्तित्व को सिद्ध करता है, जो एक ऐसी प्रक्रिया है जिसे फर्माट-यूलर सतह के माध्यम से किन्हीं भी स्वेच्छ घातांकों $k>1$ के लिए सामान्यीकृत किया जा सकता है।

मूल लेखक: Alen Andrašek, Matija Kazalicki, Domagoj Vlah

प्रकाशित 2026-04-22

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Alen Andrašek, Matija Kazalicki, Domagoj Vlah

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

मुख्य चित्र: एक गणितीय खजाने की खोज

कल्पना कीजिए कि आप चार बहुत ही विशिष्ट जादुई संख्याओं के एक विशेष सेट की तलाश में एक खजाना शिकारी हैं। इन संख्याओं के पास एक विशेष सुपरपावर है: यदि आप उनमें से किन्हीं दो को लेते हैं, उन्हें आपस में गुणा करते हैं, और परिणाम में 1 जोड़ते हैं, तो उत्तर कोई भी साधारण संख्या नहीं होता—उसे एक पूर्ण चतुर्थ घात (perfect fourth power) होना चाहिए।

गणित की भाषा में, "चतुर्थ घात" एक ऐसी संख्या है जिसे स्वयं से चार बार गुणा किया जाता है (जैसे $2^4 = 16$ , या $3^4 = 81$ )।

लंबे समय तक, गणितज्ञों को पता था कि वे ऐसी तीन संख्याओं के सेट कैसे खोज सकते हैं जो यह करती हैं। वे ऐसी चार संख्याओं के सेट भी जानते थे जहाँ परिणाम एक वर्ग (दूसरी घात/square) या घन (तीसरी घात/cube) होता था। लेकिन ऐसी चार संख्याएँ ढूँढना जो एक चतुर्थ घात बनाती हों? यह एक रहस्य था। किसी ने भी इसका एक भी उदाहरण नहीं पाया था, तो अनंत संख्या में मिलना तो दूर की बात थी।

यह शोध पत्र इस बारे में है कि कैसे लेखकों ने अंततः इस कोड को सुलझा लिया, और यह सिद्ध किया कि इन जादुई संख्याओं के सेट अनंत मात्रा में मौजूद हैं।

समस्या: "परफेक्ट मैच" की पहेली

आइए हमारी चार संख्याओं को A, B, C, और D कहें।
नियम यह है:

$A \times B + 1$ एक पूर्ण चतुर्थ घात होनी चाहिए।
$A \times C + 1$ एक पूर्ण चतुर्थ घात होनी चाहिए।
$A \times D + 1$ एक पूर्ण चतुर्थ घात होनी चाहिए।
...और इसी तरह हर संभावित जोड़ी के लिए।

यह चार चाबियाँ खोजने जैसा है जो सभी चार अलग-अलग तालों में फिट बैठती हैं, लेकिन ताले बहुत ही नखरे वाले हैं। यदि आप गलत चाबी चुनते हैं, तो ताला सिर्फ बंद नहीं रहता; वह पूरे सिस्टम को ही तोड़ देता है।

लेखकों ने एक विशाल कंप्यूटर खोज (computer search) से शुरुआत की। उन्होंने लाखों संयोजनों की जाँच की, इस उम्मीद में कि वे किसी "भाग्यशाली" सेट से टकरा जाएँगे। उन्हें कुछ "लगभग" मैच मिले—तीन संख्याओं के ऐसे सेट जो पूरी तरह से काम कर रहे थे, लेकिन चौथी संख्या बस थोड़ी सी गलत थी।

सफलता: "यूलर सरफेस" का मानचित्र

कंप्यूटर प्रयोगों ने लेखकों को एक सुराग दिया। उन्होंने देखा कि वे "लगभग" मैच एक छिपे हुए पैटर्न को साझा करते हैं। यह पता चला कि इन संख्याओं को खोजना केवल अनुमान लगाना नहीं था; यह एक विशिष्ट ज्यामितीय परिदृश्य (geometric landscape) में नेविगेट करने के बारे में था।

इस परिदृश्य को एक विशाल, अदृश्य 3D पर्वत श्रृंखला के रूप में सोचें जिसे यूलर सरफेस (Euler Surface) कहा जाता है।

सतह (The Surface): एक चिकनी, घुमावदार पहाड़ी की कल्पना करें जो समीकरण $X^4 + Y^4 = Z^4 + W^4$ द्वारा परिभाषित है।
संबंध (The Connection): लेखकों ने महसूस किया कि यदि वे इस सतह पर एक विशिष्ट "तर्कसंगत बिंदु" (rational point - जिसका अर्थ है साफ-सुथरी संख्याओं वाला निर्देशांक) चुनते हैं, तो वे एक गणितीय रेसिपी का उपयोग करके तुरंत अपनी चार जादुई संख्याएँ (A, B, C, D) उत्पन्न कर सकते हैं।

यह एक ऐसे मानचित्र की तरह है जहाँ आपके द्वारा चुना गया प्रत्येक बिंदु सीधे एक खजाना पेट की ओर ले जाता है। यदि मानचित्र (सतह) में अनंत बिंदु हैं, तो आपके पास अनंत खजाना पेट हैं।

समाधान: यूलर का पुराना मानचित्र

लेखकों को एक नया मानचित्र आविष्कार करने की आवश्यकता नहीं पड़ी। उन्होंने सदियों पहले प्रसिद्ध गणितज्ञ लियोनहार्ड यूलर द्वारा बनाए गए एक क्लासिक मानचित्र का उपयोग किया। यूलर ने पहले ही यह पता लगा लिया था कि इस "यूलर सरफेस" के आर-पार एक रेखा (वक्र) कैसे खींची जाती है जो अनंत तर्कसंगत बिंदुओं (rational points) से टकराती है।

इस यूलर रेखा का अनुसरण करते हुए, लेखक अपनी रेसिपी में नंबर डाल सकते थे और इन विशेष क्वाड्रुपल्स (quadruples) की एक अंतहीन धारा उत्पन्न कर सकते थे।

सरल शब्दों में रेसिपी:

एक संख्या $t$ चुनें (जैसे एक डायल सेटिंग)।
सतह पर चार निर्देशांक ( $X, Y, Z, W$ ) खोजने के लिए यूलर के सूत्र का उपयोग करें।
इन निर्देशांकों को एक विशिष्ट फॉर्मूले (जो पेपर में दिया गया है) का उपयोग करके आपस में मिलाएं।
जादू! आपको चार संख्याएँ ( $a, b, c, d$ ) प्राप्त होती हैं जो "चतुर्थ घात" के नियम को पूरा करती हैं।

यह क्यों मायने रखता है? ("सम बनाम विषम" का मोड़)

लेखकों ने केवल चतुर्थ घातों पर ही नहीं रुक गए। वे समझ गए कि उनकी विधि एक सार्वभौमिक कुंजी (universal key) है।

सम घातें (Even Powers - 4, 6, 8...): "यूलर सरफेस" पूरी तरह से काम करता है। आप किसी भी सम घात के लिए संख्याओं के अनंत सेट पा सकते हैं।
विषम घातें (Odd Powers - 3, 5, 7...): यह थोड़ा कठिन है। सतह अभी भी वहीं है, लेकिन आपको यह सुनिश्चित करना होगा कि आपकी रेसिपी में एक संख्या "पूर्ण वर्ग" (जैसे 4, 9, 16) हो। यदि आप ऐसा करते हैं, तो जादू घन (cubes) और पांचवीं घातों के लिए भी काम करता है।

यही कारण है कि गणितज्ञों ने पहले से ही क्यूब्स (तीसरी घात) के लिए समाधान खोज लिए थे लेकिन चौथी घातों के लिए संघर्ष कर रहे थे। "विषम" और "सम" घातें इस ज्यामितीय सतह पर थोड़ा अलग व्यवहार करती हैं, लेकिन एक ही अंतर्निहित मानचित्र दोनों के लिए काम करता है।

निष्कर्ष (The Takeaway)

इस शोध पत्र से पहले, "क्वाटिक रेशनल डायोफेंटाइन क्वाड्रुपल्स" का अस्तित्व एक पूर्ण रहस्य था। यह पूछने जैसा था कि, "क्या यूनिकॉर्न (एकसिंगा) मौजूद हैं?" और हमारे पास कोई प्रमाण नहीं था।

यह पेपर सिद्ध करता है कि:

हाँ, वे मौजूद हैं।
वे अनंत संख्या में हैं।
हमारे पास उन्हें खोजने के लिए एक मानचित्र (यूलर सरफेस) है।

लेखकों ने सुराग खोजने के लिए कंप्यूटर की 'ब्रूट फोर्स' शक्ति और पहेली को हल करने के लिए शास्त्रीय ज्यामिति (classical geometry) के मिश्रण का उपयोग करके यह दिखाया कि इन विशेष संख्याओं का ब्रह्मांड पहले की तुलना में बहुत अधिक समृद्ध और आबादी वाला है। उन्होंने गणित के एक डेड-एंड (बंद गली) को अनंत निकासों वाले हाईवे में बदल दिया।

यहाँ एंड्रासेक, काज़ालिकी और व्लाह के शोध पत्र "Quartic Rational Diophantine Quadruples and the Euler Surface" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र $k$ -th power rational Diophantine $m$ -tuples के अस्तित्व को संबोधित करता है।

परिभाषा: $m$ अलग-अलग गैर-शून्य परिमेय संख्याओं $\{a_1, \dots, a_m\}$ का एक सेट $k$ -th power rational Diophantine $m$ -tuple कहलाता है यदि प्रत्येक जोड़ी $i < j$ के लिए, गुणनफल $a_i a_j + 1$ $\mathbb{Q}$ में एक पूर्ण $k$ -th power है।
संदर्भ:
- $k=2$ (शास्त्रीय मामला) के लिए, सिद्धांत अच्छी तरह से विकसित है: यूलर ने अनंत रूप से कई परिमेय डायोफेंटाइन क्विंटुपल्स (quintuples) के अस्तित्व को सिद्ध किया, और सेक्सटुपल्स (sextuples) भी ज्ञात हैं।
- $k \ge 3$ (उच्च घातों) के लिए, स्थिति विरल (sparse) है। जबकि किसी भी $k$ के लिए अनंत ट्रिपल्स (triples) के परिवार मौजूद हैं, और हाल ही में बट्टा, सिज़काई और टेनेली द्वारा क्यूबिक ( $k=3$ ) क्वाड्रुपल्स के अनंत परिवारों को खोजा गया था, इस कार्य से पहले चतुर्थ घात ( $k=4$ ) के किसी भी परिमेय डायोफेंटाइन क्वाड्रुपल का उदाहरण ज्ञात नहीं था।
लक्ष्य: अनंत रूप से कई चतुर्थ घात (quartic) परिमेय डायोफेंटाइन क्वाड्रुपल्स के अस्तित्व को सिद्ध करना और इस निर्माण को किसी भी घातांक $k \ge 2$ के लिए सामान्यीकृत करना।

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

लेखक अपने परिणामों को प्राप्त करने के लिए कम्प्यूटेशनल प्रयोगों (computational experimentation) और बीजगणितीय ज्यामिति (algebraic geometry) के संयोजन का उपयोग करते हैं।

A. कम्प्यूटेशनल खोज (Computational Search)

लेखकों ने "लगभग क्वाड्रुपल्स" (ऐसे ट्रिपल्स जो संभावित रूप से विस्तारित किए जा सकते हैं) के लिए एक ऊंचाई सीमा $B = 100,000$ के साथ ब्रूट-फोर्स खोज की।
उन्होंने 219 मिलियन से अधिक जोड़ों $(a, b)$ का परीक्षण किया जहाँ $ab+1$ एक चतुर्थ घात (fourth power) है।
मुख्य अवलोकन: खोज ने कई "लगभग क्वाड्रुपल्स" दिए जहाँ पैरामीटर एक विशिष्ट संरचनात्मक संबंध को संतुष्ट करते थे: $v=0$ (जहाँ $bd+1=v^4$ ) और $ru = tw $(जहाँ$ r, s, t, u, v, w$ युग्मवार उत्पादों प्लस एक के चतुर्थ मूल हैं)।
इस अवलोकन ने यह सुझाव दिया कि समस्या को एक विशिष्ट लोकस (locus) तक सीमित किया जाए जहाँ ये संबंध लागू होते हैं, जिससे समीकरणों की प्रणाली सरल हो जाती है।

B. यूलर सतह तक बीजगणितीय न्यूनीकरण (Algebraic Reduction to the Euler Surface)

$v=0$ और $ru=tw$ की शर्तों को लागू करके, जटिल डायोफेंटाइन समीकरणों का तंत्र एक एकल ज्यामितीय स्थिति में सिमट जाता है।

मान लीजिए $r = \kappa w$ और $t = \kappa u$ । संगतता स्थितियाँ (compatibility conditions) इस समीकरण में ढह जाती हैं:
$u^4 + w^4 = 1 + \frac{1}{\kappa^4}$
इस समीकरण को होमोजेनाइज (homogenize) करने पर यूलर सतह (Euler Surface) प्राप्त होती है:
$X^4 + Y^4 = Z^4 + W^4$
लेखक $E$ पर परिमेय बिंदुओं से क्वाड्रिपल के पैरामीटर स्पेस तक एक परिमेय मानचित्र (rational map) स्थापित करते हैं। विशेष रूप से, $E$ पर एक परिमेय बिंदु $(X:Y:Z:W)$ स्पष्ट परिमेय फलनों के माध्यम से एक क्वाड्रपल $\{a, b, c, d\}$ उत्पन्न करता है।

C. किसी भी घातांक के लिए सामान्यीकरण (Generalization to Arbitrary Exponents)

लेखक किसी भी पूर्णांक $k \ge 2$ के लिए तर्क को विस्तारित करते हैं, जिसमें यूलर सतह के स्थान पर फर्मा-यूलर सतह (Fermat–Euler surface) का उपयोग किया जाता है:
$E_k: X^k + Y^k = Z^k + W^k$

सम $k$ (Even $k$ ): $E_k$ पर परिमेय बिंदु सीधे $k$ -th power डायोफेंटाइन क्वाड्रपल्स प्रदान करते हैं।
विषम $k$ (Odd $k$ ): परिमेय बिंदु केवल तभी ऐसे क्वाड्रपल्स प्रदान करते हैं जब अनुपात $W/Z$ $\mathbb{Q}$ में एक वर्ग (square) हो (निर्माण के लिए आवश्यक वर्ग शर्त को पूरा करने के लिए)।

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

A. अस्तित्व का प्रथम प्रमाण (Theorem 1.2)

यह शोध पत्र सिद्ध करता है कि अनंत रूप से कई चतुर्थ घात (quartic) परिमेय डायोफेंटाइन क्वाड्रपल्स मौजूद हैं। यह एक लंबे समय से खुले प्रश्न को हल करता है, क्योंकि इससे पहले साहित्य में ऐसे कोई उदाहरण ज्ञात नहीं थे।

B. स्पष्ट पैरामेट्रिक परिवार (Explicit Parametric Family)

सतह $X^4 + Y^4 = Z^4 + W^4$ के यूलर के शास्त्रीय पैरामीट्राइजेशन का उपयोग करते हुए, लेखक ऐसे क्वाड्रपल्स का एक स्पष्ट अनंत परिवार निर्मित करते हैं।

$(\alpha, \beta) = (1, t)$ के लिए यूलर के मापदंडों को विशिष्ट (specialize) करके, वे परिमेय फलन $a(t), b(t), c(t), d(t)$ प्राप्त करते हैं ताकि लगभग सभी $t \in \mathbb{Q}$ के लिए, सेट $\{a(t), b(t), c(t), d(t)\}$ एक चतुर्थ घात डायोफेंटाइन क्वाड्रपल हो।
यह समस्या को एक शास्त्रीय K3 सतह (यूलर सतह) के ज्यामिति के भीतर रखता है, जिसका पिक्कार्ड नंबर (Picard number) 20 है और इसमें 48 रेखाएँ हैं।

C. $k$ -th Powers के लिए सामान्यीकरण (Theorem 3.1)

यह शोध पत्र $k$ -th power डायोफेंटाइन क्वाड्रपल्स के लिए एक एकीकृत ढांचा प्रदान करता है:

सम $k$ (Even $k$ ): $E_k$ के बिंदु समाधान उत्पन्न करते हैं।
विषम $k$ (Odd $k$ ): $E_k$ के वे बिंदु जहाँ $W/Z$ एक वर्ग है, समाधान उत्पन्न करते हैं।
ज्ञात परिणामों की प्राप्ति: $k=3$ के लिए, यह निर्माण बट्टा, सिज़काई और टेनेली द्वारा खोजे गए क्यूबिक परिवार को पुनः प्राप्त करता है, जो विधि की व्यापकता को प्रदर्शित करता है।

D. गैर-अपभ्रंश स्थितियाँ (Non-Degeneracy Conditions)

लेखक सटीक बीजगणितीय स्थितियाँ (प्रपोजिशन 1.3 और थ्योरम 3.1) प्रदान करते हैं जिनके तहत उत्पन्न संख्याएँ परस्पर भिन्न और गैर-शून्य होती हैं। ये स्थितियाँ आम तौर पर यह आवश्यक बनाती हैं कि सतह के निर्देशांक शून्य न हों और वे विशिष्ट समानताओं (जैसे $X^k \neq Y^k$ ) को संतुष्ट न करें।

4. महत्व और भविष्य की दिशाएँ (Significance and Future Directions)

एक अंतराल का समाधान: यह कार्य उच्च-घात डायोफेंटाइन टुपल्स के सिद्धांत में एक महत्वपूर्ण अंतर को भरता है, जो ट्रिपल्स के अस्तित्व से चतुर्थ घात ( $k=4$ ) के क्वाड्रपल्स के अस्तित्व तक ले जाता है।
ज्यामितीय अंतर्दृष्टि: यह दर्शाता है कि डायोफेंटाइन टुपल्स का अंकगणित विशिष्ट बीजगणितीय सतहों (यूलर और फर्मा-यूलर सतहों) पर परिमेय बिंदुओं से गहराई से जुड़ा हुआ है।
उच्च $k$ के लिए बाधाएँ: लेखक $k > 4$ के लिए इसे विस्तारित करने की कठिनाई पर चर्चा करते हैं। चूंकि $k \ge 5$ के लिए $E_k$ एक 'जनरल टाइप' (general type) की सतह है, इसलिए बोम्बिएरी-लैंग अनुमान (Bombieri–Lang conjecture) यह सुझाव देता है कि परिमेय बिंदु ज़ारिस्की घने (Zariski dense) नहीं हैं। इसका अर्थ है कि $k > 4$ के लिए अनंत परिवारों को खोजना काफी कठिन होगा और इसके लिए संभवतः इन सतहों पर विशिष्ट परिमेय या एलिप्टिक वक्रों को खोजना आवश्यक होगा।
कम्प्यूटेशनल साक्ष्य: शोध पत्र नोट करता है कि $k=6$ के लिए, $a^6+b^6=c^6+d^6$ के लिए कोई गैर-तुच्छ पूर्णांक समाधान $7.25 \times 10^{24}$ से नीचे नहीं पाए गए हैं, जो यह सुझाव देता है कि $E_6$ पर परिमेय बिंदु दुर्लभ हो सकते हैं, जिससे $k=6$ के लिए अनंत परिवारों का अस्तित्व एक खुला और कठिन प्रश्न बन जाता है।

निष्कर्ष (Conclusion)

एंड्रासेक, काज़ालिकी और व्लाह सफलतापूर्वक यूलर सतह के अंकगणित से समस्या को जोड़कर अनंत रूप से कई चतुर्थ घात (quartic) परिमेय डायोफेंटाइन क्वाड्रपल्स के अस्तित्व को सिद्ध करते हैं। उनकी विधि समाधानों का एक रचनात्मक, पैरामेट्रिक परिवार प्रदान करती है और $k$ -th power टुपल्स के लिए एक सामान्य ढांचा पेश करती है, जो ज्ञात क्यूबिक परिणामों को पुनः प्राप्त करती है और यह भी दर्शाती है कि जैसे-जैसे घातांक $k$ बढ़ता है, समस्या की अंकगणितीय कठोरता कैसे बढ़ती जाती है।