🔢 mathematics

The exceptional set of Goldbach problem and Linnik's constant

यह शोध पत्र यह स्थापित करता है कि $X$ तक उन सम पूर्णांकों की संख्या जिन्हें दो अभाज्य संख्याओं के योग के रूप में व्यक्त नहीं किया जा सकता, $O(X^{7/10})$ द्वारा सीमित है और साथ ही यह सिद्ध करता है कि $q$ के अंकगणितीय प्रगति (arithmetic progression) में न्यूनतम अभाज्य संख्या $O(q^5)$ द्वारा सीमित है, जिसमें दोनों परिणामों के लिए एक एकीकृत पद्धति का उपयोग किया गया है।

मूल लेखक: Genheng Zhao

प्रकाशित 2026-01-26

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

CC BY 4.0

मूल लेखक: Genheng Zhao

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

यहाँ जेनहेंग झाओ (Genheng Zhao) के शोध पत्र "The Exceptional Set of Goldbach Problem and Linnik's Constant" का सरल भाषा और उपमाओं (analogies) के साथ अनुवाद दिया गया है।

मुख्य चित्र: एक खोया हुआ पहेली का टुकड़ा

एक विशाल पहेली की कल्पना करें जिसे गोल्डबैक अनुमान (Goldbach Conjecture) कहा जाता है। इस पहेली का नियम सरल है: "2 से बड़ी किसी भी सम संख्या (जैसे 4, 6, 100, 1,000,000) को लें, और आप इसे ठीक दो अभाज्य संख्याओं (primes) को जोड़कर बना सकते हैं।" (अभाज्य संख्याएँ 2, 3, 5, 7, 11 जैसी संख्याएँ हैं जिन्हें किसी और से विभाजित नहीं किया जा सकता)।

गणितज्ञ सदियों से इस पहेली को सुलझाने की कोशिश कर रहे हैं। उन्हें पूरा यकीन है कि यह सच है, लेकिन वे अभी तक इसे हर एक संख्या के लिए सिद्ध नहीं कर पाए हैं।

इसलिए, हर किसी के लिए इसे सिद्ध करने के बजाय, वे पूछते हैं: "कितने लोग नियमों को तोड़ रहे हैं?"
इस शोध पत्र में, लेखक इन "नियम तोड़ने वालों" की गिनती कर रहे हैं। ये वे सम संख्याएँ हैं जिन्हें दो अभाज्य संख्याओं को जोड़कर नहीं बनाया जा सकता। आइए इस समूह को अपवाद सेट (Exceptional Set) (यानी "खराब सेब") कहें।

इस शोध पत्र का लक्ष्य यह सिद्ध करना है कि यह "खराब सेब" वाला समूह वास्तव में काफी छोटा है। विशेष रूप से, लेखक सिद्ध करते हैं कि यदि आप एक बहुत बड़ी संख्या $X$ तक की सभी सम संख्याओं को देखें, तो "खराब सेबों" की संख्या लगभग $X^{0.7}$ से कम है। (तुलना के लिए, यदि नियम तोड़ने वाले संख्याओं के समान ही आम होते, तो गिनती $X^1$ होती। यदि वे वर्गों (squares) की तरह दुर्लभ होते, तो यह $X^{0.5}$ होती। यह परिणाम "खराब सेबों" को इनके बीच में रखता है, लेकिन "दुर्लभ" पक्ष के बहुत करीब है)।

उपकरण: "प्राइम डिटेक्टिव" (L-functions)

आप इन गायब संख्याओं की गिनती कैसे करते हैं? आप उन्हें एक-एक करके जाँच नहीं सकते; वे बहुत अधिक हैं। इसके बजाय, गणितज्ञ L-functions नामक एक परिष्कृत उपकरण का उपयोग करते हैं।

एक L-function को अभाज्य संख्याओं (prime numbers) के लिए एक अति-संवेदनशील मेटल डिटेक्टर के रूप में सोचें।

जब मेटल डिटेक्टर पूरी तरह से काम कर रहा होता है, तो यह हर अभाज्य संख्या के लिए ज़ोर से बीप करता है।
हालाँकि, कभी-कभी डिटेक्टर में "ग्लिच" (खराबी) आ सकती है। यह किसी अभाज्य संख्या को मिस कर सकता है या गलत संकेत दे सकता है। गणित की भाषा में, इन ग्लिच को शून्य (Zeroes) कहा जाता है।

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

रणनीति: ग्लिच को पकड़ना

यह शोध पत्र गणितीय ग्लिच के साथ "Whac-A-Mole" (एक खेल जहाँ छेद से निकलते जीवों को मारना होता है) के एक उच्च-दांव वाले खेल जैसा है। लेखक पिंट्ज़ (Pintz) नामक गणितज्ञ द्वारा विकसित एक विधि के परिष्कृत संस्करण का उपयोग करते हैं।

यहाँ उपमा है:
कल्प la कि ग्लिच (Zeroes) एक बगीचे में अचानक निकलने वाले 'मोल्स' (छछूंदर जैसे जीव) हैं।

पुरानी विधि: पिछले गणितज्ञ यह सिद्ध कर सकते थे कि मोल्स कुछ हद तक दुर्लभ थे, लेकिन उन्हें बगीचे में थोड़ा सा स्थान छोड़ना पड़ता था जहाँ मोल्स छिप सकते थे।
नई विधि: झाओ उस "वार" (गणितीय गणना) को और सटीक बनाते हैं। वह उन नियमों को सख्त करते हैं जहाँ मोल्स छिप सकते हैं। वह सिद्ध करते हैं कि भले ही एक मोल प्रकट हो जाए, वह विरोधाभास पैदा किए बिना बगीचे के केंद्र के बहुत करीब नहीं हो सकता।

इन "ग्लिच" के अस्तित्व में होने की जगह को सिकोड़कर, लेखक "खराब सेबों" (गोल्डबैक के अपवादों) की संख्या को काफी कम कर देते हैं।

दूसरी उपलब्धि: "सबसे तेज़ प्राइम" (Linnik's Constant)

यह शोध पत्र लिन्निक के स्थिरांक (Linnik's Constant) नामक एक संबंधित समस्या पर भी काम करता है।

कल्पना करें कि आपके पास 1, 2, 3... से लेकर $q$ तक नंबर वाले मेलबॉक्सों की एक पंक्ति है। आप वह पहला मेलबॉक्स ढूँढना चाहते हैं जिसमें एक "प्राइम लेटर" (अभाज्य पत्र) है।

समस्या: आपको पंक्ति में कितनी दूर तक जाना होगा जिससे यह गारंटी मिल सके कि आपको एक प्राइम मिल जाएगा?
स्थिरांक ( $L$ ): गणितज्ञों के पास एक संख्या $L$ है जो कहती है, "आपको निश्चित रूप से मेलबॉक्स नंबर $q^L$ तक एक प्राइम मिल जाएगा।"

लंबे समय तक, ज्ञात सर्वोत्तम मान 5.2 था। इसका मतलब था कि आपको $q^{5.2}$ मेलबॉक्सों तक जाँच करनी पड़ सकती थी।

बड़ी सफलता: उसी परिष्कृत "मेटल डिटेक्टर" तर्क का उपयोग करते हुए, लेखक दिखाते हैं कि आपको केवल $q^5$ तक ही जाँच करने की आवश्यकता है।
रूपक (Metaphor): यह खोई हुई चाबी के लिए खोज क्षेत्र को छोटा करने जैसा है। पहले, आपको एक पूरे शहर के ब्लॉक ( $q^{5.2}$ ) की तलाशी लेनी पड़ती थी। अब, लेखक सिद्ध करते हैं कि आपको केवल एक शहर के वर्ग ( $q^5$ ) की तलाश करने की आवश्यकता है। यह एक छोटा सा संख्यात्मक परिवर्तन है, लेकिन अभाज्य संख्याओं की दुनिया में, यह एक बड़ी छलांग है।

परिणामों का सारांश

गोल्डबैक अपवाद (Goldbach Exceptions): लेखक सिद्ध करते हैं कि गोल्डबैक नियम में विफल होने वाली सम संख्याओं की संख्या बहुत कम है (विशेष रूप से, $X^{0.7}$ द्वारा सीमित है)। यह पहले ज्ञात सीमा की तुलना में एक बेहतर और सख्त सीमा है।
लिन्निक का स्थिरांक (Linnik's Constant): लेखक पहली अभाज्य संख्या खोजने की गारंटी में सुधार करते हैं, जिससे घातांक (exponent) को 5.2 से घटाकर 5 कर दिया गया है।

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

यह शोध पत्र गोल्डबैक अनुमान (Goldbach Conjecture) को हल करने का दावा नहीं करता है (हमें अभी भी नहीं पता कि क्या हर सम संख्या काम करती है)। यह सीधे तौर पर क्रिप्टोग्राफी या कंप्यूटर सुरक्षा में मदद करने का दावा भी नहीं करता है।

इसके बजाय, यह एक शुद्ध गणितीय विजय है। यह दिखाता है कि अभाज्य संख्याओं के लिए हमारे "मेटल डिटेक्टर" अधिक सटीक होते जा रहे हैं। गणितीय नियमों को और अधिक कसकर बांधकर, लेखक ने अपवादों के लिए "लचीलेपन की जगह" (wiggle room) को कम कर दिया है और प्राइम के वितरण के बारे में हमारी समझ में सुधार किया है। यह एक सर्वेक्षक द्वारा मानचित्र को और अधिक सटीक बनाने जैसा है: क्षेत्र बदला नहीं है, लेकिन अब हमारे माप अधिक सटीक हैं।

तकनीकी सारांश: गोल्डबैक समस्या का अपवाद समुच्चय और लिनिक का स्थिरांक (Linnik's Constant)

समस्या विवरण
यह शोध पत्र विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) की दो मौलिक समस्याओं को संबोधित करता है: गोल्डबैक अनुमान में अपवाद समुच्चय (exceptional set) का आकार और लिनिक के स्थिरांक का मान।

गोल्डबैक का अपवाद समुच्चय: मान लीजिए $E(X)$ उन सम पूर्णांकों $m \le X$ की संख्या है जिन्हें दो विषम अभाजों के योग के रूप में व्यक्त नहीं किया जा सकता है। लक्ष्य $E(X)$ के लिए एक सुदृढ़ ऊपरी सीमा (upper bound) स्थापित करना है।
लिनिक का स्थिरांक: मान लीजिए $P(q)$ अंकगणितीय प्रगतिक्रम $\{a, a+q, a+2q, \dots\}$ में न्यूनतम अभाज है जहाँ $(a,q)=1$ । लक्ष्य लिनिक के स्थिरांक $L$ के लिए सबसे छोटा स्वीकार्य मान निर्धारित करना है ताकि $P(q) = O(q^L)$ हो सके।

ऐतिहासिक रूप से, $E(X)$ के लिए सीमाएँ सामान्यीकृत रीमान परिकल्पना (Generalized Riemann Hypothesis) के अधीन सशर्त परिणामों से लेकर सीगल शून्य (Siegel zero) से जुड़े बिना शर्त (unconditional) सीमाओं तक विकसित हुई हैं। मोंटगोमरी और वॉन (Montgomery and Vaughan) द्वारा स्थापित क्रांतिकारी कार्य ने यह स्थापित किया कि $E(X) = O(X^{1-\delta})$ जहाँ $\delta > 0$ है, जो $P(q) = O(q^L)$ को बांधने के लिए लिनिक की विधि से गहराई से जुड़ा हुआ है। इस कार्य से पूर्व, सर्वोत्तम ज्ञात स्वीकार्य मान $\delta = 0.28$ (पिंट्ज़) और $L = 5.2$ (ज़ाइलोरिस) थे।

कार्यप्रणाली (Methodology)
यह शोध पत्र पिंट्ज़ की विधि का एक परिष्कृत रूप उपयोग करता है, जो डिरिचलेट $L$ -फंक्शन्स के $\sigma = 1$ रेखा के निकट शून्य (zeros) के वितरण पर निर्भर करती है। तर्क का मुख्य भाग $\sigma \in [1 - H(\log q)^{-1}, 1]$ और $|t| \le H$ वाले क्षेत्र में शून्यों $\varrho = \beta + i\gamma$ का विश्लेषण करने पर आधारित है।

कार्यप्रणाली निम्नलिखित तकनीकी चरणों के माध्यम से आगे बढ़ती है:

शून्य योगों में न्यूनीकरण (Reduction to Zero Sums): पिंट्ज़ के न्यूनीकरण का अनुसरण करते हुए, समस्या को एकल मोडुलस $q$ के लिए $L$ -फंक्शन्स के शून्यों के योगों के अनुमान में कम कर दिया गया है। शोध पत्र शून्यों के एक बहु-समुच्चय (multi-set) $Z(\chi, H)$ को परिभाषित करता है और इन शून्यों के वर्गित भारित योगों (squared weighted sums) को बांधने का प्रयास करता है।
भारित योग और लाप्लास रूपांतरण (Weighted Sums and Laplace Transforms): लेखक हीथ-ब्राउन के कार्य से प्राप्त विशिष्ट परीक्षण फलनों (test functions) का उपयोग करते हैं, विशेष रूप से फलन $f_1(t)$ और इसके लाप्लास रूपांतरण $F_1(z)$ , तथा एक संबंधित फलन $F_2(z)$ का। इनका उपयोग शून्यों के योगों के वास्तविक भागों से संबंधित असमानताओं के निर्माण के लिए किया जाता है।
शून्य घनत्व अनुमान (Zero Density Estimates): शोध पत्र एक सामान्यीकृत शून्य घनत्व अनुमान (पिंट्ज़ द्वारा हीथ-ब्राउन के कार्य के सामान्यीकरण के रूप में आरोपित) का उपयोग करता है जो केवल उन $L$ -फंक्शन्स के बजाय जो उस क्षेत्र में कम से कम एक शून्य रखते हैं, उस क्षेत्र में सभी शून्यों की गणना करता है। यह पूर्व विधियों में पाए जाने वाले उप-इष्टतम (suboptimal) फलनों के उपयोग से बचने में मदद करता है।
मामला विश्लेषण (Case Analysis): मुख्य प्रमेय का प्रमाण शून्यों के न्यूनतम वास्तविक भाग, जिसे $\lambda_{1,1} = \min \text{Re}(1-\varrho)$ द्वारा दर्शाया गया है, के परिमाण के आधार पर कई मामलों में विभाजित है। लेखक $\lambda_{1,1}$ के मान के आधार पर विशिष्ट क्षेत्रों में शून्यों की संख्या $N(\Lambda)$ स्थापित करने के लिए लेम्मा 2.4 का उपयोग करते हैं।
पैरामीटर अनुकूलन (Optimization of Parameters): लेखक $\sum e^{-k \max\{\lambda_j, \Lambda\}}$ जैसे भारित योगों पर सीमाओं को अनुकूलित करने के लिए पैरामीटर $x, y, z, \Lambda, \lambda_0$ पेश करते हैं। इन पैरामीटर्स का सावधानीपूर्वक चयन करने और ड्यूरिंग-हीलब्रोन घटना (Deuring-Heilbronn phenomenon) का उपयोग करने (जो अपवादजनक शून्यों की संख्या को सीमित करती है) द्वारा, लेखक एक्सपोनेंशियल के योगों के लिए कड़े असमानता प्राप्त करते हैं।

प्रमुख योगदान और परिणाम
शोध पत्र का प्राथमिक योगदान पिंट्ज़ की विधि के परिष्कृत विश्लेषण के माध्यम से गोल्डबैक अपवाद समुच्चय और लिनिक के स्थिरांक दोनों के लिए स्वीकार्य स्थिरांकों में सुधार करना है।

प्रमेय 1.1 (गोल्डबैक अपकालीन समुच्चय): शोध पत्र सिद्ध करता है कि $E(X) = O(X^{7/10})$ है। यह $E(X) = O(X^{1-\delta})$ के आबंध में $\delta = 0.3$ के स्वीकार्य मान के अनुरूप है। यह $\delta = 0.28$ के पिछले सर्वोत्तम परिणाम में सुधार करता है।
- इसका प्रमाण प्रमेय 1.2 को स्थापित करने पर निर्भर करता है, जो यह दर्शाता है कि कुछ शर्तों को पूरा करने वाले वर्णों (characters) के सेट के लिए, शून्यों के वर्गित भारित योगों का योग 1 से कम (विशेष रूप से $\le 1 - c_1$ ) है।
- यह सुधार मुख्य असमानता में घातांक (exponent) को $25/7$ (पिंट्ज़ द्वारा प्रयुक्त) से घटाकर $10/3$ करने से प्राप्त हुआ है। इस कमी का श्रेय $\sum e^{-10/3 \max\{\lambda, \Lambda\}}$ प्रकार के योगों के परिष्कृत अनुमान और अंतर पदों (difference terms) के अधिक सटीक अनुमान को दिया गया है।
प्रमेय 1.4 (लिनिक का स्थिरांक): शोध पत्र प्रदर्शित करता है कि लिनिक की समस्या के लिए $L = 5$ एक स्वीकार्य स्थिरांक है, जो $L = 5.2$ के पिछले रिकॉर्ड में सुधार करता है।
- यह परिणाम प्रमेय 1.3 से प्राप्त होता है, जो शून्यों के एक्सपोनेंशियल के योग ( $\sum e^{-5\lambda} \le 1 - c_1$ ) पर एक सीमा स्थापित करता है।
- $L=5.2$ से $L=5$ का सुधार स्पष्ट रूप से पिंट्ज़ के सामान्यीकृत शून्य घनत्व अनुमान के उपयोग के लिए जिम्मेदार है, जो केवल उस क्षेत्र में शून्य वाले $L$ -फंक्शन्स की गणना करने के बजाय सभी शून्यों की गणना करता है। यह हीथ-ब्राउन की मूल विधि में प्रयुक्त कम इष्टतम फलनों से बचने की अनुमति देता है।

महत्व
शोध पत्र का दावा है कि इसका महत्व "पिंट्ज़ की विधि के परिशोधन" में निहित है। शून्यों के योगों का अनुमान लगाने के लिए पैरामीटर्स और विशिष्ट फलनों को अनुकूलित करके, लेखक पिंट्ज़ के ढांचे की इन स्थिरांकों को और आगे बढ़ाने की क्षमता को उजागर करते हैं। $\delta$ का $0.28 $से$ 0.3 $और$ L $का$ 5.2 $से$ 5$ में सुधार, अंकगणितीय प्रगतिक्रमों में अभाजों के वितरण और गोल्डबैक अनुमान के अपवादों पर सीमाओं के मात्रात्मक सुदृढ़ीकरण का प्रतिनिधित्व करता है। लेखक नोट करते हैं कि इन सीमाओं में अंतर्निहित स्थिरांक अप्रभावी (ineffective) हैं, जो सीगल शून्य के बहिष्करण पर निर्भर विधियों की एक मानक सीमा है।