🔢 mathematics

Bounds on the exceptional set in the $abc$ conjecture

यह शोध पत्र ज्यामितीय संख्या सिद्धांत और फूरियर विश्लेषण के संयोजन का उपयोग करते हुए, उच्च-आयामी विविधताओं (varieties) पर पूर्णांक बिंदुओं के घनत्व का अनुमान लगाकर, उन सह-अभाज्य त्रिकों $(a,b,c)$ के अपवाद सेट के आकार पर एक पावर-सेविंग बाउंड स्थापित करता है जो $a+b=c$ को संतुष्ट करते हैं और $abc$ अनुमान का उल्लंघन करते हैं।

मूल लेखक: Christian Bernert, Tim Browning, Jared Duker Lichtman, Joni Teräväinen

प्रकाशित 2026-05-12

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

CC BY 4.0

मूल लेखक: Christian Bernert, Tim Browning, Jared Duker Lichtman, Joni Teräväinen

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

कल्पना कीजिए कि आप एक जासूस हैं जो तीन संख्याओं: a, b, और c से जुड़ी एक बहुत ही विशिष्ट, प्राचीन पहेली को सुलझाने की कोशिश कर रहे हैं।

पहेली सरल है: a + b = c।
लेकिन इसमें एक पेच है। ये संख्याएँ "सह-अभाज्य" (coprime) होनी चाहिए, जिसका अर्थ है कि उनके पास 1 के अलावा कोई भी सामान्य निर्माण खंड (factors) नहीं हैं। इन्हें ऐसे सोचें जैसे तीन अनूठी लेगो टावर (Lego towers) जो पूरी तरह से अलग सेट के ईंटों से बने हैं।

बड़ी गुत्थी: "abc" अनुमान (The "abc" Conjecture)

गणितज्ञों के पास एक प्रसिद्ध सिद्धांत है जिसे abc अनुमान कहा जाता है। यह सुझाव देता है कि यदि आप दो संख्याओं को जोड़कर तीसरी संख्या प्राप्त करते हैं, तो परिणाम के "निर्माण खंड" (अभाज्य गुणनखंड/prime factors) आमतौर पर बहुत "समृद्ध" और जटिल होते हैं।

इस जटिलता को मापने के लिए, गणितज्ञ "रेडिकल" (radical) नामक चीज़ का उपयोग करते हैं। कल्पना कीजिए कि रेडिकल एक "अनूठा सामग्री सूची" (unique ingredient list) है।

यदि आपके पास संख्या 12 है, तो इसकी सामग्रियाँ 2 और 3 हैं (क्योंकि $12 = 2 \times 2 \times 3$ )। रेडिकल $2 \times 3 = 6$ है।
यदि आपके पास 30 है, तो इसकी सामग्रियाँ 2, 3 और 5 हैं। रेडिकल 30 है।

abc अनुमान कहता है: "आमतौर पर, योग ( $c$ ) और उसके हिस्सों ( $a$ और $b$ ) की अनूठी सामग्री सूची बहुत बड़ी होती है—लगभग $c$ के आकार जितनी ही।"

हालाँकि, कुछ अपवाद भी होते हैं। कभी-कभी, आपको एक ऐसा त्रिक (trio) मिलता जहाँ सामग्री सूची संख्याओं के आकार की तुलना में आश्चर्यजनक रूप से छोटी होती है। ये "खराब सेब" (bad apples) या अपवादों का समूह हैं। यह अनुमान दावा करता है कि ये खराब सेब दुर्लभ हैं।

समस्या: वे कितने दुर्लभ हैं?

लंबे समय तक, गणितज्ञों को पता था कि ये खराब सेब दुर्लभ हैं, लेकिन उनके पास यह गिनने का कोई अच्छा तरीका नहीं था कि संख्याएँ बड़ी होने पर वे वास्तव में कितने दुर्लभ होते जाते हैं।

एक शहर में कितने लोग एक विशिष्ट, अजीब टोपी पहने हुए हैं, इसे गिनने की कोशिश करने जैसा है।

पुराना अनुमान (The "Trivial Bound"): पिछले गणित ने कहा, "खैर, यदि शहर में 10 लाख लोग हैं, तो शायद 1,00,000 लोग वह टोपी पहन सकते हैं।" यह बहुत सारे टोपी हैं! यह एक बहुत ही ढीला अनुमान है।
नई खोज: बर्नर्ट, ब्राउनिंग, लिचमैन और टेरेवेन द्वारा लिखित यह शोध पत्र कहता है, "रुको, हम बेहतर कर सकते हैं। हम यह साबित कर सकते हैं कि वह टोपी पहनने वाले लोगों की संख्या 1,00,000 से बहुत, बहुत कम है। यह कुछ सौ के करीब है।"

उन्होंने यह कैसे किया: "एनाटॉमिक" विच्छेदन (The "Anatomic" Dissection)

लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने एक चतुर रणनीति का उपयोग किया जिसे वे "एनाटॉमिक रिडक्शन" कहते हैं।

कल्पना कीजिए कि आपके पास एक विशाल, जटिल मशीन (समीकरण $a+b=c$ ) है। पूरी मशीन का एक साथ अध्ययन करने के बजाय, उन्होंने इसे छोटे-छोटे व्यक्तिगत गियर और स्प्रिंग्स में तोड़ दिया।

विभाजन: उन्होंने महसूस किया कि किसी भी संख्या को एक "कोर" भाग और कई "परतदार" भागों में विभाजित किया जा सकता है।
नुस्खा: उन्होंने इन खराब संख्या त्रिकों को गिनने की समस्या को एक बहुत ही विशिष्ट, उच्च-आयामी नुस्खे (high-dimensional recipe) के समाधानों को गिनने की समस्या में बदल दिया।

उनके टूलबॉक्स में दो उपकरण

इन समाधानों को गिनने के लिए, उन्होंने गणित की विभिन्न शाखाओं से दो शक्तिशाली उपकरणों का उपयोग किया:

फूरियर विश्लेषण (The "Sound Wave" Tool):
कल्पना कीजिए कि आप शोर भरी भीड़ में एक विशिष्ट पैटर्न खोजने की कोशिश कर रहे हैं। फूरियर विश्लेषण एक विशेष माइक्रोफ़ोन की तरह है जो शोर को फ़िल्टर करता है और उस विशिष्ट लय को अलग करता है जिसे आप खोज रहे हैं। लेखकों ने इसका उपयोग यह दिखाने के लिए किया कि "खराब" संख्या संयोजन उतने सामान्य नहीं हैं जितने वे लग सकते हैं क्योंकि उनके पैटर्न एक-दूसरे को रद्द कर देते हैं।
संख्याओं का ज्यामिति (The "Grid" Tool):
कल्पना कीजिए कि आप सभी संभावित संख्या संयोजनों को एक विशाल, बहु-आयामी ग्रिड पर प्लॉट कर रहे हैं। "संख्याओं की ज्यामिति" (Geometry of Numbers) आपको यह देखने में मदद करती है कि बिना ओवरलैप हुए एक विशिष्ट आकार के भीतर कितने बिंदु (समाधान) फिट हो सकते हैं। उन्होंने इसका उपयोग यह सिद्ध करने के लिए किया कि "खराब" त्रिक ग्रिड के एक बहुत ही छोटे, तंग कोने में सिमटे हुए हैं, जिसका अर्थ है कि वहाँ बहुत से होने के लिए पर्याप्त जगह नहीं है।

परिणाम: एक बारीक जाल

इन उपकरणों को मिलाकर, लेखकों ने "खराब सेबों" को पकड़ने के लिए एक बहुत ही बारीक जाल बनाया।

सामान्य मामले के लिए: उन्होंने सिद्ध किया कि अपवादों की संख्या पहले की तुलना में बहुत धीमी गति से बढ़ती है। यदि पुराना गणित कहता था कि गणना $X^{0.66}$ (लगभग) के समानुपाती है, तो उन्होंने सिद्ध किया कि यह वास्तव में $X^{0.65}$ या उससे भी कम के करीब है।
सबसे दिलचस्प मामले के लिए (जहाँ संख्याएँ छोटी हैं): वे एक और भी मजबूत परिणाम सिद्ध करने में सफल रहे, जिससे दिखाया गया कि गणना $X^{0.6}$ द्वारा सीमित है।

यह क्यों मायने रखता है?

गणित की दुनिया में, एक "पावर-सेविंग" सुधार (जैसे 0.66 से 0.60 तक जाना) एक बहुत बड़ी बात है। यह एक सुरक्षा प्रणाली को 90% चोरों को पकड़ने से बढ़ाकर 99% पकड़ने में अपग्रेड करने जैसा है।

यह शोध पत्र पूरे abc अनुमान को हल नहीं करता है (जिसके लिए कुछ शर्तों के लिए शून्य अपवादों को सिद्ध करना आवश्यक होगा), लेकिन यह खोज क्षेत्र को काफी कम कर देता है। यह हमें बताता है कि "अपवाद" केवल दुर्लभ ही नहीं हैं; वे अत्यंत दुर्लभ हैं, और अब हमारे पास यह देखने के लिए (या यूँ कहें कि न देखने के लिए) एक बहुत बेहतर मानचित्र है कि वे कहाँ स्थित हैं।

संक्षेप में: लेखकों ने एक अव्यवस्थित, कठिन-से-गिनने वाली समस्या को लिया, उसे छोटे टुकड़ों में तोड़ा, शोर को फ़िल्टर करने के लिए साउंड-वेव मैथ और ग्रिड-ज्यामिति मैथ का उपयोग किया, और यह सिद्ध किया कि "खराब" संख्या संयोजन उम्मीद से कहीं अधिक कम हैं।

तकनीकी सारांश: abc अनुमान (abc Conjecture) में अपवादजनक समुच्चय (Exceptional Set) की सीमाएँ

समस्या विवरण
यह शोध पत्र $a + b = c$ समीकरण के समाधानों के वितरण की जांच करता है, जहाँ $a, b, c$ सह-अभाज्य (coprime) प्राकृतिक संख्याएँ हैं। विशेष रूप से, यह उन "abc ट्रिपल" की संख्या $N_\lambda(X)$ को गिनने पर ध्यान केंद्रित करता है जिनका ऊँचाई (height) $X$ तक है (अर्थात $a, b, c \le X$ ) और जो इस स्थिति को संतुष्ट करते हैं कि $\text{rad}(abc) < c^\lambda$ , जहाँ $\text{rad}(n)$ $n$ के विशिष्ट अभाज्य गुणनखंडों का गुणनफल है।

मासेर और ओस्टरले (Masser and Oesterlé) का प्रसिद्ध abc अनुमान यह दावा करता है कि किसी भी $\lambda < 1$ के लिए, ऐसे ट्रिपल का सेट परिमित (finite) है। जबकि सबसे अच्छा अनकंडीशनल (unconditional) परिणाम (स्टुअर्ट और यू द्वारा) $\text{rad}(abc) < (\log c)^{3-\varepsilon}$ के लिए परिमितता स्थापित करता है, यह शोध पत्र $X \to \infty$ होने पर अपवादजनक समुच्चय $N_\lambda(X)$ के आकार पर मात्रात्मक सीमाएँ (quantitative bounds) प्रदान करने का लक्ष्य रखता है। इस कार्य से पूर्व, $\lambda < 1$ के लिए एकमात्र सामान्य अनुमान "तुच्छ सीमा" (trivial bound) था, जो छोटे रेडिकल्स वाले पूर्णांकों के घनत्व पर डी ब्रुइन (de Bruijn) के परिणाम से प्राप्त किया गया था, जिससे $N_\lambda(X) \ll_\varepsilon X^{2\lambda/3 + \varepsilon}$ प्राप्त होता है। लेखक इस घातांक (exponent) में सुधार करना चाहते हैं, विशेष रूप से $\lambda \in (0, 2]$ के लिए।

कार्यप्रणाली (Methodology)
लेखक समाधानों की संख्या को सीमित करने के लिए विश्लेषणािक संख्या सिद्धांत (analytic number theory) के उपकरणों, विशेष रूप से फूरियर विश्लेषण (Fourier analysis) और संख्या के ज्यामिति (geometry of numbers) के संयोजन का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

शारीरिक न्यूनीकरण (Anatomic Reduction): लेखक एक लेम्मा (Lemma 2.2) का उपयोग करके चरों $a, b, c$ को विघटित करते हैं जो किसी भी पूर्णांक $n$ को एक छोटे "कोर" $n_0$ और परस्पर सह-अभाज्य पूर्णांकों $n_j^j$ के घातों के गुणनफल में विभाजित करता है। यह $N_\lambda(X)$ को सीमित करने की समस्या को मोनोमियल डायोफेंटाइन समीकरणों (monomial Diophantine equations) के रूप में $a_0 \prod_{i=1}^d a_i^i + b_0 \prod_{i=1}^d b_i^i = c_0 \prod_{i=1}^d c_i^i$ के समाधानों की संख्या गिनने में बदल देता है, जो विशिष्ट आकार प्रतिबंधों के अधीन हैं। यह न्यूनीकरण मूल गणना समस्या को डायैडिक रेंज (dyadic ranges) के भीतर समाधानों को गिनने वाली मात्रा $B_d(a_0, b_0, c_0, A, B, C)$ का अनुमान लगाने में परिवर्तित कर देता है।
फूरियर विश्लेषण (Fourier Analysis): $B_d$ को सीमित करने के लिए, लेखक घातांकीय योगों (exponential sums) और अभिलक्षणों की ऑर्थोगोनैलिटी (orthogonality of characters) का उपयोग करते हैं। घातांकीय योगों के मोमेंट्स (विशेष रूप से दूसरे और चौथे मोमेंट्स) को लागू करके और अनुमान लगाकर, वे होल्डर की असमानता (Hölder's inequality) का उपयोग करते हैं, जिससे वे प्राप्त सीमाएँ प्राप्त करते हैं जो चरों के वितरण पर निर्भर करती हैं। यह दृष्टिकोण तुच्छ सीमा को पुनः प्राप्त करता है लेकिन अन्य विधियों के साथ संयोजन के लिए आवश्यक संरचना प्रदान करता है।
संख्या की ज्यामिति (Geometry of Numbers): लेखक घटाए गए समीकरण को एक उपसमुच्चय के चरों को स्थिर करके और एक रैखिक रूप (linear form) के मौलिक समाधानों के लिए एक शास्त्रीय सीमा (हीथ-ब्राउन का संदर्भ देते हुए) लागू करके एक रैखिक समीकरण के रूप में उपचार करते हैं। यह स्थिर किए गए चरों के गुणनफल के व्युत्क्रमानुपाती सीमा प्रदान करता है, जो मापदंडों पर फूरियर पद्धति की तुलना में भिन्न निर्भरता प्रदान करता है।
रैखिक प्रोग्रामिंग के माध्यम से अनुकूलन (Optimization via Linear Programming): $\lambda < 1$ के मामले के लिए, लेखक फूरियर विश्लेषण और संख्या की ज्यामिति से प्राप्त सीमाओं को मिलाते हैं। वे घातांकों को अनुकूलित करने के लिए एक मिश्रित-पूर्णांक रैखिक प्रोग्रामिंग समस्या (परिशिष्ट में दिए गए पायथन कोड का उपयोग करके हल की गई) तैयार करते हैं। यह अनुकूलन विभिन्न घटाए गए चरों के विभिन्न उपसमुच्चयों में विभिन्न बाउंडिंग तकनीकों के बीच सर्वोत्तम संभव तालमेल (trade-off) निर्धारित करता है।

मुख्य योगदान और परिणाम

मुख्य प्रमेय (Theorem 1.2): $\lambda \in (0, 2]$ के लिए, लेखक तुच्छ सीमा पर एक पावर-सेविंग सुधार स्थापित करते हैं। वे सिद्ध करते हैं:
$N_\lambda(X) \ll_\varepsilon X^{\frac{23\lambda + 3}{40} + \varepsilon}$
यह परिणाम गैर-तुच्छ (non-trivial) है (अर्थात $X^{2\lambda/3}$ में सुधार करता है) $\lambda \in (9/11, 2]$ के लिए। विशेष रूप से, $\lambda \in (0, 1)$ के लिए, यह लगभग $0.65$ का घातांक देता है।
$\lambda < 1$ के लिए परिष्कृत परिणाम (Theorem 1.3): संयोजित सीमाओं का उपयोग करके प्राप्त अधिक जटिल अनुकूलन का उपयोग करते हुए, लेखक $\lambda \in (0, 1)$ की सीमा के लिए घातांक में सुधार करते हैं। वे दिखाते हैं:
$N_\lambda(X) \ll_{\varepsilon, \lambda} X^{0.6 + \varepsilon}$
यह सुधार $\lambda \in (9/10, 1)$ के लिए गैर-तुच्छ है।
पद्धतिगत संश्लेषण (Methodological Synthesis): यह शोध पत्र पिछले कार्य (जिसमें अंतिम तीन लेखकों ने डिटर्मिनेंट विधि और थ्यू समीकरणों का उपयोग किया था) के तकनीकों को पहले लेखक के एक नए दृष्टिकोण के साथ जोड़ता है। महत्वपूर्ण रूप से, वर्तमान सीमाएँ डिटर्मिनेंट विधि पर निर्भर किए बिना प्राप्त की गई हैं, जो यह सुझाव देती है कि संख्या की ज्यामिति और फूरियर विश्लेषण अकेले महत्वपूर्ण सुधार दे सकते हैं।

महत्व और दावे
लेखक कहते हैं कि उनका प्राथमिक लक्ष्य $\lambda \in (0, 2)$ के मानों के लिए सरल सीमा $X^{2\lambda/3}$ पर पहला पावर-सेविंग सुधार प्रदान करना है। इस कार्य का महत्व निम्नलिखित में निहित है:

मात्रात्मक प्रगति (Quantitative Progress): abc अनुमान के गुणात्मक परिमितता परिणामों से आगे बढ़कर, अपवादजनक ट्रिपल की संख्या पर स्पष्ट, सुधारे गए ऊपरी बाउंड प्रदान करना।
तकनीक प्रदर्शन (Technique Demonstration): यह प्रदर्शित करना कि संख्या की ज्यामिति और फूरियर विश्लेषण का संयोजन, जिसे रैखिक प्रोग्रामिंग के माध्यम से अनुकूलित किया गया है, पिछले सुधारों में उपयोग की जाने वाली अधिक जटिल डिटर्मिनेंट विधि या थ्यू समीकरण सिद्धांत की आवश्यकता के बिना प्रभावी ढंग से अपवादजनक समुच्चय को सीमित कर सकता है।
भविष्य के सुधारों पर विनम्रता (Modesty on Future Improvements): लेखक नोट करते हैं कि हालांकि उनकी सीमाएँ डिटर्मिनेंट विधि का उपयोग नहीं करती हैं (जो आगे के सुधार की संभावना को दर्शाती है), वे उम्मीद करते हैं कि "एक गंभीर संख्यात्मक सुधार के लिए नए विचारों की आवश्यकता होगी।" वे स्वीकार करते हैं कि उनके कार्य के परे, $\lambda < 1$ के लिए $N_\lambda(X)$ के लिए कोई सामान्य अनुमान पहले से ज्ञात तुच्छ सीमा के अलावा नहीं था।

शोध पत्र निष्कर्ष के रूप में उस पायथन कोड को प्रदान करता है जिसका उपयोग $0.6$ घातांक प्राप्त करने वाले रैखिक प्रोग्राम को हल करने के लिए किया गया था, जिससे अनुकूलन चरण की पुनरुत्पादकता (reproducibility) सुनिश्चित होती है।