🔢 mathematics

Integers representable as a difference of two rational fourth powers

कोहेन द्वारा परिमेय चतुर्थ घातों के योगों की जांच से प्रेरित होकर, यह शोध पत्र 10,000 तक की उन धनात्मक पूर्णांकों की पूर्ण सूची निर्धारित करता है जिन्हें दो गैर-शून्य परिमेय चतुर्थ घातों के अंतर के रूप में व्यक्त किया जा सकता है।

मूल लेखक: Ashleigh Ratcliffe, Tho Nguyen Xuan

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

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

CC BY 4.0

मूल लेखक: Ashleigh Ratcliffe, Tho Nguyen Xuan

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

कल्पना कीजिए कि आपके पास बिल्डिंग ब्लॉक्स का एक विशाल डिब्बा है। कुछ ब्लॉक्स पूर्ण वर्ग (perfect squares) हैं (जैसे $2^2 = 4$ ), और कुछ पूर्ण घन (perfect cubes) हैं (जैसे $2^3 = 8$ )। इस शोधपत्र में, लेखक एक बहुत ही विशिष्ट, थोड़े कठिन प्रकार के ब्लॉक के साथ खेल रहे हैं: चौथी घात (fourth powers)। चौथी घात बस एक संख्या है जिसे स्वयं से चार बार गुणा किया गया है (जैसे $2^4 = 16$ )।

बड़ा सवाल जो लेखक पूछ रहे हैं वह यह है: क्या आप इन चौथी घात वाले ब्लॉक्स में से एक को लेकर और दूसरे को घटाकर कोई भी पूर्ण संख्या (जैसे 1, 2, 3... 10,000 तक) बना सकते हैं?

उदाहरण के लिए, क्या आप दो भिन्न (rational numbers) खोज सकते हैं जिन्हें चौथी घात तक बढ़ाने पर, उन्हें घटाने से आपको ठीक 5 प्राप्त हो?
$x^4 - y^4 = 5$

बड़ी चुनौती

लेखक केवल पूर्ण संख्या वाले ब्लॉक्स की तलाश नहीं कर रहे हैं; उन्हें भिन्नात्मक ब्लॉक्स (जैसे $3/2$ या $7/5$ ) का उपयोग करने की अनुमति है। यह पहेली को बहुत कठिन बनाता है क्योंकि जांचने के लिए अनंत भिन्न मौजूद हैं। आप उन्हें एक-एक करके नहीं आजमा सकते; आपको एक मानचित्र (map) की आवश्यकता है।

यह शोधपत्र मूल रूप से प्रत्येक संख्या के लिए एक विशाल "हाँ/नहीं" सूची है।

हाँ: "यहाँ विशिष्ट भिन्नों का एक जोड़ा है जो काम करता है।"
नहीं: "गणितीय रूप से इस संख्या को इस तरह से बनाना असंभव है।"

उन्होंने इसे कैसे हल किया: जासूसी किट (The Detective's Toolkit)

इसे हल करने के लिए, लेखकों ने उच्च-तकनीकी गणितीय उपकरणों और चतुर जासूसी कार्य का मिश्रण उपयोग किया। इसे तीन-चरणीय जांच की तरह समझें:

1. "आसान खोज" (छोटे सुरागों की तलाश)
सबसे पहले, उन्होंने "छोटे" समाधानों को खोजने के लिए एक कंप्यूटर का उपयोग किया। कल्पना कीजिए कि आप एक खोई हुई चाबी को कमरे में ढूंढ रहे हैं। यदि चाबी फर्श पर है, तो आप उसे जल्दी पा लेंगे। कंप्यूटर ने सरल भिन्नों के संयोजनों को स्कैन किया। यदि उसे कोई मेल मिला, तो उस संख्या को "हल करने योग्य" (Solvable) के रूप में चिह्नित किया गया।

2. "रूप बदलने वाला" (समस्या को एक वक्र में बदलना)
यदि कंप्यूटर को कोई सरल उत्तर नहीं मिला, तो लेखकों को यह सिद्ध करना था कि कोई उत्तर मौजूद नहीं है। उन्होंने समीकरण $x^4 - y^4 = n$ को एक अलग आकार में बदलने के लिए एक गणितीय चाल का उपयोग किया: एक एलिप्टिक कर्व (Elliptic Curve)।

उपमा: कल्पना करें कि मूल समीकरण एक उलझी हुई गांठ है। लेखकों ने इसे सुलझाने और एक चिकने, घुमावदार वक्र के रूप में बिछाने का तरीका खोज लिया।
यदि इस वक्र का "रैंक" (rank) शून्य है, तो इसका मतलब है कि वक्र बहुत छोटा है या टूटा हुआ है ताकि इसमें कोई समाधान समा सके। यह एक ऐसी सड़क की तरह है जो किसी खाई में समाप्त होती है; आप कहीं भी गाड़ी नहीं चला सकते। इसने कई संख्याओं को असंभव साबित कर दिया।

3. "मॉर्डेल-वील सीव" (अंतिम फिल्टर)
उन जिद्दी संख्याओं के लिए जहाँ वक्र आशाजनक लग रहा था (इसका "सकारात्मक रैंक" था, जिसका अर्थ है कि इसमें समाधान होने की संभावना थी), उन्होंने मॉर्डेल-वील सीव (Mordell-Weil sieve) नामक एक परिष्कृत फिल्टर का उपयोग किया।

उपमा: कल्पना कीजिए कि आप एक विशाल भीड़ में एक विशिष्ट व्यक्ति को खोजने की कोशिश कर रहे हैं। आप जानते हैं कि उसने लाल टोपी पहनी है। फिर आप भीड़ में हर किसी से पूछते हैं, "क्या आपके पास लाल टोपी है?" फिर आप पूछते हैं, "क्या आपके पास नीली शर्ट है?"
सीव (Sieve) संख्याओं को विभिन्न "मॉडुली" (जैसे 5, 7, या 11 से विभाजित करने पर शेषफल की जाँच करना) के विरुद्ध जाँचता है। यदि गणित कहता है, "एक समाधान के अस्तित्व के लिए, संख्याओं को 5 से विभाज्य होना चाहिए," लेकिन दूसरा नियम कहता है, "उन्हें 5 से विभाज्य नहीं होना चाहिए," तो यह एक विरोधाभास है। वह व्यक्ति (समाधान) मौजूद नहीं हो सकता। सीव ने शेष कठिन संख्याओं के लिए इन विरोधाभासों को खोज निकाला।

4. "पाइथागोरस ट्रिक" (पुराने दोस्तों का उपयोग)
कुछ विशिष्ट मामलों के लिए, उन्होंने पाइथागोरियन ट्रिपल्स (प्रसिद्ध $a^2 + b^2 = c^2$ त्रिभुज) से संबंधित एक विधि का उपयोग किया। उन्होंने महसूस किया कि यदि कोई समाधान मौजूद था, तो उसे इन प्राचीन त्रिभुजों के पैटर्न में फिट होना होगा। इन त्रिभुज नियमों के साथ संख्याओं के मेल को जाँचकर, वे अधिक संभावनाओं को खारिज कर सके।

अंतिम परिणाम

प्रत्येक संख्या के लिए इन परीक्षणों को चलाने के बाद, लेखकों ने तालिका 3 (Table 3) तैयार की।

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

यह क्यों महत्वपूर्ण है (शोधपत्र के अनुसार)

यह शोधपत्र यह दावा नहीं करता कि यह पुल बनाने या बीमारियों के इलाज में मदद करेगा। इसके बजाय, यह एक पहेली को पूरा करता है जिस पर गणितज्ञ लंबे समय से काम कर रहे हैं।

यह उन गणितज्ञों (जैसे कोहेन, ग्रेचुक और थो) द्वारा शुरू किए गए कार्य को पूरा करता है जिन्होंने घातों के योग या छोटी श्रेणियों के लिए समान समस्याओं को हल किया था।
यह चौथी घात के अंतर के लिए एक निश्चित "मानचित्र" प्रदान करता है जो 10,000 तक है, उन अंतरालों को भरता है जिन्हें पिछली विधियाँ हल नहीं कर सकी थीं।

संक्षेप में, लेखकों ने कुशल मानचित्रकारों (cartographers) की तरह कार्य किया, जिसने उन संख्याओं के बीच की पूर्ण सीमा रेखा खींची जो चौथी घात के भिन्नों से बनाई जा सकती हैं और जो नहीं बनाई जा सकतीं।

यहाँ ऐशले राटक्लिफ और न्गुयेन ज़ुआन थो के शोध पत्र "Integers Representable as a Difference of Two Rational Fourth Powers" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र इस डायोफेंटाइन समीकरण (Diophantine equation) की समाधान क्षमता को संबोधित करता है:
$n = x^4 - y^4$
जहाँ $n$ एक धनात्मक पूर्णांक है और $x, y$ गैर-शून्य परिमेय संख्याएँ (nonzero rational numbers) हैं।

यह समस्या घातांक $n=4$ के लिए फर्मा के अंतिम प्रमेय (Fermat's Last Theorem) से प्रेरित है, जो यह दर्शाता है कि $1 $को दो गैर-शून्य परिमेय चतुर्थ घातों के अंतर के रूप में नहीं लिखा जा सकता है। जबकि दो परिमेय चतुर्थ घातों के *योग* ($ x^4 + y^4 = n $) के मामले को कोहेन, ब्रेमर और थों द्वारा$ n \le 10,000 $के लिए काफी हद तक हल कर लिया गया था, *अंतर* वाला मामला कुछ मानों के लिए अधूरा रह गया था। लेखक$ n \le 10,000$ के उन सभी धनात्मक पूर्णांकों की एक पूर्ण सूची प्रदान करने का लक्ष्य रखते हैं जिन्हें इस रूप में दर्शाया जा सकता है।

गणितीय रूप से, यह समस्या समरूप समीकरण (homogeneous equation):
$x^4 - y^4 = nz^4$
के लिए पूर्णांक समाधान $(x, y, z)$ खोजने के समान है जहाँ $xyz \neq 0$ हो।
चतुर्थ घातों के गुणों के कारण, $n$ के उन मानों का विश्लेषण करना पर्याप्त है जो चतुर्थ-घात मुक्त (fourth-power free) हैं।

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

लेखक एक बहु-स्तरीय कम्प्यूटेशनल और सैद्धांतिक दृष्टिकोण अपनाते हैं, जो एलिप्टिक कर्व्स (elliptic curves), स्थानीय बाधाओं (local obstructions), और गॉसियन पूर्णांकों (Gaussian integers) में गुणनखंड विधि को जोड़ता है। कार्यप्रवाह तीन मुख्य चरणों में विभाजित है:

A. सरल न्यूनीकरण और एलिप्टिक कर्व्स (अनुभाग 2.1 और 2.2)

पहला चरण समस्या को विशिष्ट एलिप्टिक कर्व्स पर परिमेय बिंदुओं को खोजने में बदलने से संबंधित है।

रूपांतरण: $x^4 - y^4 = nz^4$ $x^{4} - y^{4} = n z^{4}$ के किसी भी गैर-तुच्छ पूर्णांक समाधान का अर्थ है कि तीन संबद्ध एलिप्टिक कर्व्स में से एक पर परिमेय बिंदुओं का अस्तित्व है:
1. $Y^2 = X^3 + nX$
2. $Y^2 = X^3 - nX$
3. $Y^2 = X^3 - n^2X$
रैंक 0 जाँच (Rank 0 Check): यदि इनमें से किसी भी वक्र की रैंक 0 है, तो परिमेय बिंदुओं का सेट सीमित है (केवल टोरशन पॉइंट्स)। लेखक रैंक और टोरशन पॉइंट्स की गणना करने के लिए Magma कंप्यूटर अलजेब्रा सिस्टम का उपयोग करते हैं। यदि टोरशन पॉइंट्स एक वैध समाधान (जहाँ $xyz \neq 0$ ) नहीं देते हैं, तो समीकरण को असाध्य (insoluble) सिद्ध कर दिया जाता है।
ऑक्टिक समीकरणों में न्यूनीकरण: उन मामलों के लिए जहाँ वक्रों की रैंक धनात्मक है, समस्या को ऑक्टिक समीकरण के रूप में हल करने के लिए (प्रमेय 2 के माध्यम से) कम किया जाता है:
$a^2u^8 + b^2v^8 = cw^4$
जहाँ $a, b, c$ परस्पर सह-अभाज्य (pairwise coprime) पूर्णांक हैं ताकि $abc \in \{n/8, 2n\}$ हो।
स्थानीय बाधाएं और मोर्डेल-वील सीव (Local Obstructions & Mordell-Weil Sieve):
- स्थानीय बाधाएं: लेखक $p^k$ मोड्यूलो $p^k$ पर समाधानों की जाँच करते हैं। यदि किसी अभाज्य (prime) के मोड्यूलो सह-अभाज्य समाधान मौजूद नहीं हैं, तो वैश्विक समीकरण का कोई समाधान नहीं होता है।
- मोर्डेल-वील सीव: उन समीकरणों के लिए जहाँ स्थानीय बाधाएं समाधानों को खारिज करने में विफल रहती हैं, लेखक समस्या को ऑक्टिक समीकरण से प्राप्त एलिप्टिक कर्व्स पर बिंदु खोजने में मैप करते हैं। वे यह जाँचने के लिए मोर्डेल-वील सीव का उपयोग करते हैं कि क्या अभाज्य $p$ के मोड्यूलो बिंदुओं का समूह संभावित स्थानीय समाधानों के सेट से अलग है, जिससे असाध्यता सिद्ध होती है।

B. पाइथागोरस ट्रिपल विधि (अनुभाग 2.3)

विशिष्ट मामलों के लिए जहाँ ऑक्टिक समीकरण $a^2u^8 + b^2v^8 = cw^4$ में गुणांक $c$ एक पूर्ण वर्ग ( $c=k^2$ ) है, समीकरण को पाइथागोरस ट्रिपल्स (Pythagorean triples) से जुड़े एक तंत्र में बदला जा सकता है:
$x^2 + y^2 = z^2$
प्रिमिटिव पाइथागोरस ट्रिपल्स के मानक पैरामीट्राइजेशन का उपयोग करते हुए, लेखक समस्या को चतुर्थ घातों से जुड़े समीकरणों के सिस्टम को हल करने में बदल देते हैं (जैसे, $d^2U^8 - e^2V^8 = bv^4$ )। यह विधि उन कई मामलों को सफलतापूर्वक हल करती है जिन्हें सीव विधि हल नहीं कर सकी।

C. $\mathbb{Z}[i]$ में गुणनखंड (अनुभाग 3 और परिशिष्ट B)

शेष कठिन मामलों (जो शोध पत्र की तालिका 2 में सूचीबद्ध हैं) के लिए, लेखक गॉसियन पूर्णांकों $\mathbb{Z}[i]$ के रिंग में गुणनखंड विधि का उपयोग करते हैं।

गुणनखंड: समीकरण $a^2u^8 + b^2v^8 = cw^4$ को इस प्रकार लिखा जाता है:
$(au^4 + bv^4i)(au^4 - bv^4i) = cw^4$
गॉसियन पूर्णांक: $\mathbb{Z}[i]$ में gcd और $c$ के अभाज्य गुणनखंडन का विश्लेषण करके, लेखक निष्कर्ष निकालते हैं कि:
$au^4 + bv^4i = \alpha(s + ti)^4$
जहाँ $\alpha$ , $\mathbb{Z}[i]$ में $c$ का एक भाजक है।
स्कीम की स्थानीय असाध्यता (Local Insolubility of Schemes): वास्तविक और काल्पनिक भागों की तुलना करने से $s, t, u, v$ चरों के दो समरूप चतुर्थ घात समीकरणों का एक सिस्टम प्राप्त होता है। यह $\mathbb{P}^3(\mathbb{Q})$ में एक स्कीम (scheme) को परिभाषित करता है। लेखक यह जाँचने के लिए Magma का उपयोग करते हैं कि क्या यह स्कीम एक विशिष्ट अभाज्य (आमतौर पर 2, 3, 5, या 17) पर स्थानीय रूप से असाध्य (locally insoluble) है। यदि स्कीम के मोड्यूलो $p$ में कोई समाधान नहीं है, तो मूल डायोफेंटाइन समीकरण के कोई पूर्णांक समाधान नहीं होते हैं।

3. प्रमुख योगदान (Key Contributions)

पूर्ण वर्गीकरण: यह शोध पत्र $n \le 10,000$ के उन सभी धनात्मक पूर्णांकों की पूर्ण सूची प्रदान करता है जिन्हें दो गैर-शून्य परिमेय चतुर्थ घातों के अंतर के रूप में दर्शाया जा सकता है।
खुले मामलों का समाधान: लेखक पिछले कार्य (ग्रेचक और थों) द्वारा छोड़े गए विशिष्ट मामलों को हल करते हैं, जिसमें $n = 219, 463, 514$ और $n=10,000$ तक के अन्य मान शामिल हैं।
एल्गोरिद्मिक ढांचा: शोध पत्र एक मजबूत कम्प्यूटेशनल पाइपलाइन का विवरण देता जो एलिप्टिक कर्व रैंक, मोर्डेल-वील सीव, पाइथागोरस पैरामीट्राइजेशन और गॉसियन पूर्णांक गुणनखंड को जोड़ता है। यह ढांचा उच्च घात वाले समान डायोफेंटाइन समस्याओं के लिए भी लागू किया जा सकता है।
OEIS अनुक्रम: परिणामों को OEIS अनुक्रमों के रूप में सूचीबद्ध किया गया है: A393616 (गैर-शून्य परिमेय चतुर्थ घात) और A393617 (शून्य की अनुमति के साथ)।

4. परिणाम (Results)

समाधान योग्य पूर्णांक: शोध पत्र की तालिका 3 उन 136 पूर्णांकों को सूचीबद्ध करती है जिन्हें $x^4 - y^4$ के रूप में दर्शाया जा सकता है। प्रत्येक के लिए एक विशिष्ट परिमेय प्रतिनिधित्व प्रदान किया गया है (उदाहरण के लिए, $5 = (3/2)^4 - (1/2)^4$ )।
असाध्य पूर्णांक: शोध पत्र सिद्ध करता है कि $1 \le n \le 10,000$ की सीमा में शेष पूर्णांकों के पास कोई गैर-शून्य परिमेय समाधान नहीं है।
विशिष्ट मामले: परिशिष्ट उन 33 "कठिन" मामलों के लिए विस्तृत प्रमाण प्रदान करते हैं जिन्हें गुणनखंड विधि ( $\mathbb{Z}[i]$ ) की आवश्यकता थी। उदाहरण के लिए, $n=463$ के लिए, यह दिखाया गया है कि समीकरण $214369u^8 + v^8 = 2w^4$ का कोई समाधान नहीं है क्योंकि संबंधित स्कीम $p=2$ और $p=3$ पर स्थानीय रूप से असाध्य है।

5. महत्व (Significance)

सर्वेक्षण को पूर्ण करना: यह कार्य कोहेन के चतुर्थ घातों के योग के सर्वेक्षण के समानांतर है, जो $10,000$ तक के अंतर के मामले को पूर्ण करता है।
पद्धतिगत प्रगति: यह शास्त्रीय संख्या सिद्धांत (गॉसियन पूर्णांक, पाइथागोरस ट्रिपल्स) को आधुनिक कम्प्यूटेशनल उपकरणों (Magma, मोर्डेल-वील सीव) के साथ जोड़ने की शक्ति को प्रदर्शित करता है।
भविष्य के अनुसंधान का आधार: कठिन मामलों के लिए उपयोग की गई विस्तृत पद्धतियां और विशिष्ट तकनीकें उच्च घातों (जैसे छठी घात या उससे अधिक) के योग या अंतर जैसी समस्याओं को हल करने के लिए एक ब्लूप्रिंट प्रदान करती हैं।

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