Gain Bounds for Diagonal Superelliptic Equations under the Strong ABC Conjecture

यहाँ कार्सटेन मुलर (फरवरी 2026) के शोध पत्र "Gain Bounds for Diagonal Superelliptic Equations under the Strong ABC Conjecture" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र सामान्यीकृत विकर्ण सुपरएलिप्टिक समीकरणों (generalized diagonal superelliptic equations) के समाधानों के लिए एकसमान सीमाएँ (uniform bounds) स्थापित करने की समस्या पर केंद्रित है, जो इस रूप में हैं:
$$By^n = Ax^n + k$$
जहाँ $x, y \geq 2$, $n \geq 2$, $A, B \geq 1$, $k \geq 1$, और $\gcd(Ax, By, k) = 1$ है।

मुख्य उद्देश्य संबद्ध सह-प्राभावी त्रिकों (coprime triples) $(Ax^n, k, By^n)$ की ABC-गुणवत्ता (ABC-quality, $q$) का विश्लेषण करना और दो विशिष्ट मापदंडों के लिए सैद्धांतिक सीमाएँ प्राप्त करना है:

• अनुमान लाभ (Approximation Gain, $G_a$): यह एक माप है कि लॉग-आकार (logarithmic size) के पद, गुणांकों और चरों के गुणनफल के लॉग-आकार का कितनी अच्छी तरह अनुमान लगाते हैं।
• शक्ति लाभ (Power Gain, $G_p$): यह गुणनफल के लॉग-आकार और उसके रेडिकल (radical) के लॉग-आकार के बीच के अनुपात का एक माप है।

यह शोध पत्र इस बात की जाँच करता है कि क्या स्ट्रॉन्ग ABC अनुमान (Strong ABC Conjecture) के तहत ये लाभ सीमित हैं, विशेष रूप से यह परीक्षण करते हुए कि गैर-तुच्छ (non-trivial) समाधानों के लिए $G_a < 1.5$ और $G_p < 3$ रहता है या नहीं।

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

लेखक स्ट्रॉन्ग ABC अनुमान के साथ एक संरचनात्मक विश्लेषण दृष्टिकोण (structural analysis approach) का उपयोग करते हैं। कार्यप्रणाली में शामिल हैं:

1. मापदंडों का पुनर्रचना (Redefinition of Metrics): शोध पत्र $G_a$ और $G_p$ के संशोधित परिभाषाएँ पेश करता है (जो डी वेगर के पिछले कार्यों से थोड़ी भिन्न हैं) ताकि यह सुनिश्चित किया जा सके कि सामान्यीकृत समीकरण के लिए सख्त असमानताएँ (strict inequalities) लागू हों।
   • $G_a = \frac{\ln(\max(Ax^n, By^n))}{\ln(xyABk)}$
   • $G_p = \frac{\ln(xyABk)}{\ln(\text{rad}(xyABk))}$
   • $q = G_a \cdot G_p$
2. संरचनात्मक व्युत्पत्ति (Structural Derivation): केवल अनुमानों पर निर्भर रहने के बजाय, लेखक समीकरण के मापदंडों ($n, A, B, y$) के आधार पर $G_a$ के लिए एक शुद्ध संरचनात्मक निचली सीमा (purely structural lower bound) व्युत्पन्न करते हैं। यह सीमा ABC अनुमान से स्वतंत्र है।
3. ABC अनुमान के साथ संश्लेषण (Synthesis with ABC Conjecture): $G_a$ की संरचनात्मक निचली सीमा को ABC गुणवत्ता ($q < q_{max}$) के अनुमानित ऊपरी आउंड के साथ जोड़कर, लेखक शक्ति लाभ ($G_p$) के लिए एक ऊपरी सीमा प्राप्त करते हैं।
   • तर्क: चूंकि $G_p = q / G_a$, यदि $q$ सीमित है और $G_a$ की एक संरचनात्मक न्यूनतम सीमा है, तो $G_p$ की एक संरचनात्मक अधिकतम सीमा होनी चाहिए।
4. मामलों का सत्यापन (Case Validation): उच्च-गुणवत्ता वाले ऐतिहासिक ABC त्रिकों (रेसैट, डी वेगर, निटाज) के विरुद्ध सैद्धांतिक सीमाओं का परीक्षण किया गया है ताकि उनकी तीक्ष्णता (sharpness) और बाधाओं (विशेष रूप से $x \geq 2$) की आवश्यकता को सत्यापित किया जा सके।

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

A. अनुमान लाभ ($G_a$) के लिए संरचनात्मक निचली सीमा

शोध पत्र प्रमेय 1 (Theorem 1) स्थापित करता है, जो सिद्ध करता है कि किसी भी समाधान के लिए जहाँ $y \geq 2$ और $By^n > Ax^n$ हो:
$$G_a > \frac{1}{\frac{n+2}{n} + \frac{(n-1)\ln(AB)}{n(n \ln y + \ln B)}}$$
यह दर्शाता है कि सुपरएलिप्टिक समीकरण स्वाभाविक रूप से उच्च ABC गुणवत्ता के लिए "पूर्वनिर्धारित" होते हैं क्योंकि उनकी घातांकीय संरचना (exponential structure) $G_a$ को गैर-नगण्य होने के लिए मजबूर करती है।

B. शक्ति लाभ ($G_p$) के लिए एकसमान सीमाएँ

स्ट्रॉन्ग ABC अनुमान ($q < q_{max}$) की धारणा के तहत, शोध पत्र प्रमेय 2 (Theorem 2) व्युत्पन्न करता है, जो $G_p$ के लिए एक एकसमान ऊपरी आउंड प्रदान करता है:
$$G_p < \frac{q_{max}}{G_{a, \min}}$$
यह इस संख्यात्मक अवलोकन के लिए एक सैद्धांतिक आधार प्रदान करता है कि अल्ट्रा-स्ट्रॉन्ग अनुमान ($q < 1.5$) के तहत $n=2$ के लिए $G_p < 3$ है।

C. $k=1$ के लिए गैर-अस्तित्व परिणाम

शोध पत्र प्रमेय 4 (Theorem 4) सिद्ध करता है, जो दिखाता है कि समीकरण $y^n = x^n + 1$ (जहाँ $k=1$) के लिए, गुणवत्ता $q$ इस प्रकार संतुष्ट होती है: $q > n/2$।

• निहितार्थ: यदि स्ट्रॉन्ग ABC अनुमान $q < 2$ के साथ सत्य है, तो $n/2 < 2 \implies n < 4$।
• परिणाम: $q < 2$ के तहत $n \geq 4$ के लिए कोई समाधान मौजूद नहीं है। अल्ट्रा-स्ट्रॉन्ग अनुमान ($q < 1.5$) के तहत, $n \geq 3$ के लिए कोई समाधान मौजूद नहीं है।

D. गैर-तुच्छता ($x \geq 2$) की महत्वपूर्ण भूमिका

एक महत्वपूर्ण योगदान तुच्छ ($x=1$) और गैर-तुच्छ ($x \geq 2$) समाधानों के बीच का अंतर है।

• शोध पत्र निटाज त्रिक (Nitaj triple, 1993) का विश्लेषण करता है, जिसमें $x=1$ है। यह दिखाता है कि जब $x=1$ होता है, तो गुणांक $A$ लॉग-आयतन (logarithmic volume) को अवशोषित कर सकता है, जिससे $G_p$ की सीमा 3.0 से ऊपर जा सकती है (गणना की गई $G_p \approx 3.27$)।
• यह सिद्ध करता है कि $G_p < 3$ का अनुमान केवल गैर-तुच्छ समाधानों ($x \geq 2$) के लिए ही वैध है।

4. मुख्य परिणाम और सत्यापन (Key Results and Validation)

• रेसैट त्रिक (Reyssat Triple, 1987):
  • समीकरण: $2 + 3^{10} \cdot 10^9 = 23^5$ (इसे $n=5$ के रूप में व्याख्यायित किया गया है)।
  • परिणाम: $G_a \approx 1.46$ ($<1.5$ की सीमा को मान्य करता है) और $G_p \approx 1.11$ ($<3$ की सीमा के भीतर है)।
• डी वेगर त्रिक (de Weger Triple, 1985):
  • समीकरण: $2^3 \cdot 128^3 = 3087 \cdot 25^3 + 121$ ($n=3$)।
  • परिणाम: $G_p \approx 2.21$।
  • सैद्धांतिक सीमा: $q < 2$ के तहत, सीमा $G_p < 4.17$ है। देखा गया मान पूरी तरह से इसके भीतर है, जो $n=3$ के लिए $G_a$ की संरचनात्मक कठोरता की पुष्टि करता है।
• निटाज त्रिक (Nitaj Triple, 1993):
  • समीकरण: $1 \cdot 2^{59} = A \cdot 1^{59} + k$।
  • परिणाम: $G_p \approx 3.27$।
  • महत्व: यह $G_p < 3$ के अनुमान का उल्लंघन करता है, लेकिन शोध पत्र इसका कारण $x=1$ की तुच्छता को बताता है। इस विशिष्ट मामले के लिए सैद्धांतिक सीमा $G_p < 3.44$ है, जो दर्शाता है कि यह त्रिक सैद्धांतिक सीमा के 95% पर स्थित है।

5. महत्व (Significance)

1. संख्यात्मक अवलोकनों के लिए सैद्धांतिक आधार: यह शोध पत्र केवल अनुभवजन्य अवलोकन से आगे बढ़कर यह सिद्ध करने के लिए एक कठोर ढांचा प्रदान करता है कि सुपरएलिप्टिक समीकरणों में उच्च-गुणवत्ता वाले ABC त्रिक संरचनात्मक रूप से सीमित होते हैं। यह स्पष्ट करता है कि $G_p$ गैर-तुच्छ समाधानों के लिए कम क्यों रहता है।
2. $x=1$ विसंगति का समाधान: यह स्पष्ट करता है कि कुछ उच्च-गुणवत्ता वाले त्रिक (जैसे निटाज का त्रिक) $G_p < 3$ के अनुमान का उल्लंघन क्यों करते हैं: वे तुच्छ समाधानों पर निर्भर करते जहाँ गुणांकों को मनमाने ढंग से बड़ा किया जा सकता है। यह अनुमान में $x \geq 2$ की आवश्यकता को मान्य करता है।
3. समाधानों का बहिष्करण: व्युत्पन्न सीमाएँ (derived bounds) स्ट्रॉन्ग ABC अनुमान को मानते हुए विशिष्ट घातांकों ($k=1$ के लिए $n \geq 4$) के लिए समाधानों के गैर-अस्तित्व को सिद्ध करने का एक नया तरीका प्रदान करती हैं, जो डायोफेंटाइन समीकरणों की व्यापक समझ में योगदान देती है।
4. संरचनात्मक कठोरता (Structural Rigidity): यह कार्य रेखांकित करता है कि "घातांकीय संरचना" ($y^n$) स्वाभाविक रूप से ABC गुणवत्ता को शून्य से दूर ले जाती है, जिससे ये समीकरण उच्च-गुणवत्ता वाले त्रिक खोजने के लिए उपजाऊ क्षेत्र बनते हैं, लेकिन साथ ही शक्ति लाभ ($G_p$) पर सख्त सीमाएं भी लागू करते हैं।

निष्कर्ष:
यद्यपि ABC अनुमान अभी भी अप्रमाणित है, मुलर का ढांचा सफलतापूर्वक प्रदर्शित करता है कि यदि स्ट्रॉन्ग ABC अनुमान सत्य है, तो गैर-तुच्छ विकर्ण सुपरएलिप्टिक समीकरणों के लिए शक्ति लाभ ($G_p$) सख्ती से सीमित है। यह शोध पत्र संरचनात्मक संख्या सिद्धांत और ABC अनुमान की संभाव्य प्रकृति के बीच के अंतर को प्रभावी ढंग से पाटता है।