🔢 mathematics

Improving on the Brun-Titchmarsh Theorem

यह शोध पत्र एक हाइब्रिड सीविंग विधि का उपयोग करके, जो लार्ज सीव और सेल्बर्ग सीव को "लोकल मॉडल्स" के साथ जोड़ती है, $N$ लंबाई के अंतराल में अभाज्य संख्याओं की संख्या के लिए $2N/(\log N+3.53)$ का एक सुधरा हुआ ऊपरी आलेख (upper bound) स्थापित करता है।

मूल लेखक: Olvier Ramaré, Jan Christoph Schlage-Puchta

प्रकाशित 2026-07-07

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

CC BY 4.0

मूल लेखक: Olvier Ramaré, Jan Christoph Schlage-Puchta

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

मुख्य विचार: भीड़ में अभाज्य संख्याओं (Primes) की गिनती

कल्पना कीजिए कि आप लोगों की एक बहुत लंबी कतार में खड़े हैं, जिन्हें 1, 2, 3 और इसी तरह से नंबर दिए गए हैं। इस कतार में, कुछ लोग "विशेष" हैं (ये अभाज्य संख्याएँ/prime numbers हैं)। इन विशेष लोगों का एक अनूठा गुण है: उन्हें दो छोटी संख्याओं को गुणा करके नहीं बनाया जा सकता।

गणितज्ञ लंबे समय से एक सरल प्रश्न का उत्तर देने की कोशिश कर रहे हैं: यदि आप इस कतार के एक विशिष्ट हिस्से (एक अंतराल/interval की लंबाई $N$ ) को देखें, तो आपको अधिकतम कितने विशेष लोग मिल सकते हैं?

लंबे समय तक, गणितज्ञों के पास सबसे अच्छा उत्तर कुछ ऐसा था: "आप इस हिस्से की लंबाई के दोगुने को उसकी लंबाई के लघुगणक (logarithm) से विभाजित करने पर प्राप्त संख्या से अधिक नहीं पाएंगे।" यह एक अच्छा अनुमान था, लेकिन इसमें एक बहुत छोटा, धुंधला त्रुटि पद (error term) था (जैसे यह कहना कि "लगभग 2, थोड़ा बहुत कम या ज्यादा हो सकता है")।

इस शोध पत्र का लक्ष्य:
लेखक उस अनुमान को और अधिक सटीक बनाना चाहते थे। वे उस "थोड़ा बहुत कम या ज्यादा" वाले हिस्से को एक विशिष्ट, अधिक सटीक संख्या से बदलना चाहते थे। उन्होंने सफलतापूर्वक सिद्ध किया कि पर्याप्त बड़े अंतरालों के लिए, अभाज्य संख्याओं की संख्या अधिकतम कितनी होगी:
$\frac{2N}{\log(N) + 3.53}$
संख्या 3.53 नया, अधिक सटीक स्थिरांक (constant) है। इस शोध पत्र से पहले, ज्ञात सर्वोत्तम स्थिरांक इससे कम था (जिसका अर्थ है कि अनुमान "ढीला" था)। अंश के नीचे 3.53 जोड़कर, उन्होंने अधिकतम संभावित गणना को छोटा और अधिक सटीक बना दिया।

विधि: एक हाइब्रिड सीव (Sieve)

इन विशेष लोगों (primes) को खोजने के लिए, गणितज्ञ सीव (sieve) नामक एक उपकरण का उपयोग करते हैं। एक सीव को रसोई में इस्तेमाल होने वाले छलनी की तरह समझें जिसका उपयोग पास्ता छानने के लिए किया जाता है। आप मिश्रण (सभी संख्याएँ) को उसमें डालते हैं, और छेद "गैर-अभाज्य" (वे संख्याएँ जो 2, 3, 5 आदि से विभाज्य हैं) को बाहर निकलने देते हैं, जिससे केवल अभाज्य संख्याएँ पीछे रह जाती हैं।

लेखकों ने एक बहुत ही परिष्कृत, कस्टम-मेड सीव का उपयोग किया। वे इसे एक हाइब्रिड के रूप में वर्णित करते हैं:

लार्ज सीव (The Large Sieve): एक व्यापक, व्यापक रूप से काम करने वाला उपकरण जो कई अलग-अलग नियमों के आधार पर संख्याओं को फ़िल्टर करता है।
सेलबर्ग सीव (The Selberg Sieve): एक अधिक सटीक, भारित (weighted) उपकरण जो विभिन्न नियमों को अलग-अलग महत्व देता है।

"लोकल मॉडल" (स्थानीय मॉडल) की उपमा:
कल्पना कीजिए कि आप एक विशाल देश में मौसम की भविष्यवाणी करने की कोशिश कर रहे हैं। हर एक गली की जाँच करने के बजाय, आप विशिष्ट मोहल्लों के लिए छोटे, विस्तृत "स्थानीय मॉडल" बनाते हैं। आप देखते हैं कि एक छोटे शहर (एक स्थानीय मॉडल) में मौसम कैसा व्यवहार करता है और उसका उपयोग पूरे बड़े चित्र को समझने के लिए करते हैं।

इस शोध पत्र में, लेखकों ने संख्याओं के लिए ऐसे ही "स्थानीय मॉडल" बनाए। उन्होंने देखा कि संख्याएँ छोटी संख्याओं (जैसे 2, 3, 5, 210 तक) से विभाजित होने पर कैसा व्यवहार करती हैं। इन सूक्ष्म, स्थानीय पैटर्न को समझकर, वे संख्याओं की पूरी कतार के व्यवहार की भविष्यवाणी पहले की तुलना में बहुत अधिक सटीकता से कर सके।

गणितीय बाधा: "स्टेप फंक्शन" (Step Function) की समस्या

यहीं पर गणित कठिन हो जाता है, लेकिन हम इसके लिए एक रूपक का उपयोग कर सकते हैं।

कल्पना कीजिए कि आपके पास एक सीढ़ी (एक स्टेप फंक्शन) है। सीढ़ियाँ विशिष्ट पूर्णांक बिंदुओं पर ऊपर और नीचे जाती हैं। आप एक चिकनी, घुमावदार रेखा (एक बहुपद/polynomial) खींचना चाहते हैं जो इस सीढ़ी के प्रत्येक चरण के ऊपर स्थित हो। यदि आपकी रेखा एक भी चरण से नीचे गिरती है, तो आपका गणित विफल हो जाएगा।

लेखकों को एक ऐसी चिकनी वक्र (curve) की आवश्यकता थी जो इस जटिल सीढ़ी के ऊपर बनी रहे।

समस्या: सीढ़ी बहुत ऊबड़-खाबड़ और अनियमित थी।
समाधान: उन्होंने कंप्यूटर का उपयोग लीनियर प्रोग्रामिंग (Linear Programming) करने के लिए किया। इसे "टेट्रिस" (Tetris) के उच्च-तकनीकी खेल या पहेली के टुकड़ों को फिट करने के रूप में समझें। उन्होंने कंप्यूटर को लाखों अलग-अलग चिकने वक्रों को आज़माने, उनके आकार को समायोजित करने और तब तक ढूँढने के लिए प्रोग्राम किया जब तक कि उन्हें वह सबसे निचला संभव वक्र न मिल गया जो सीढ़ी के हर चरण के ऊपर बना रहे।

उन्होंने एक ऐसा वक्र (बहुपद) खोजा जो पूरी तरह से फिट बैठता था। हालाँकि, क्योंकि कंप्यूटर को कुछ अनुमान लगाने पड़ते थे और वक्र छह छोटे स्थानों पर चरणों से थोड़ा नीचे झुक गया था, इसलिए उन्हें पूरी तरह से सुरक्षित रहने के लिए पूरे वश्विक को थोड़ा सा (0.0084) ऊपर धकेलना पड़ा।

परिणाम: 3.53 क्यों महत्वपूर्ण है?

संख्याओं के इस ऊबड़-खाबड़ पैटर्न के ऊपर इस चिकने वक्र को सफलतापूर्वक फिट करके, लेखक एक नया, अधिक सटीक सीमा (limit) की गणना करने में सक्षम हुए।

पुराना सीमा: "अभाज्य संख्याओं की संख्या लगभग $2N / (\log N + \text{कुछ छोटा सा})$ है।"
नई सीमा: "अभाज्य संख्याओं की संख्या अधिकतम $2N / (\log N + 3.53)$ है।"

चूंकि 3.53 को अंश के नीचे जोड़ा गया है, इसलिए कुल परिणाम छोटा हो जाता है। इसका अर्थ है कि लेखकों ने सिद्ध किया है कि अभाज्य संख्याएँ इन अंतरालों में पिछले सर्वोत्तम अनुमानों की तुलना में थोड़ी अधिक "फैली हुई" या "विरल" (sparse) हैं।

सारांश

लेखकों ने एक सुपर-स्मार्ट, हाइब्रिड गणितीय सीव बनाया। उन्होंने संख्याओं के एक जटिल पैटर्न को पूरी तरह से कवर करने के लिए एक चिकनी रेखा खींचने हेतु कंप्यूटर एल्गोरिदम का उपयोग किया। इसने उन्हें यह सिद्ध करने में सक्षम बनाया कि एक लंबे अंतराल में मिलने वाली अभाज्य संख्याओं की अधिकतम संख्या पहले के किसी भी प्रमाण की तुलना में थोड़ी कम है, विशेष रूप से 3.53 के स्थिरांक के साथ।

नोट: यह शोध पत्र संख्या सिद्धांत (number theory) में इस विशिष्ट सैद्धांतिक सुधार पर केंद्रित है। यह क्रिप्टोग्राफी, भौतिकी या अन्य क्षेत्रों में अनुप्रयोगों पर चर्चा नहीं करता है, न ही यह इस विशिष्ट गणितीय सीमा से परे भविष्य की सफलताओं की भविष्यवाणी करता है।

तकनीकी सारांश: ब्रुन-टिचमार्श प्रमेय (Brun-Titchmarsh Theorem) में सुधार

समस्या विवरण
यह शोध पत्र एक अंतराल की लंबाई $N$ में अभाज्य संख्याओं (primes) की संख्या के ऊपरी आलेख (upper bound), विशेष रूप से $\pi(M+N) - \pi(M)$ की मात्रा को संबोधित करता है। केंद्रीय लक्ष्य शास्त्रीय ब्रुन-टिचमार्श प्रमेय को परिष्कृत करना है, जो यह दावा करता है कि बड़े $N$ के लिए, यह गणना $2N / \log N$ द्वारा सीमित है। हालांकि यह ज्ञात है कि सामान्य संदर्भ में सिव विधियों (sieve methods) के लिए स्थिरांक 2 इष्टतम है ("पैरिटी प्रिंसिपल" या समता सिद्धांत), लेखक इस $o(1)$ पद को अधिक सटीक रूप से परिमाणित करने का लक्ष्य रखते हैं। विशेष रूप से, वे निम्नलिखित रूप का एक आलेख स्थापित करने का प्रयास करते हैं:
$\pi(M+N) - \pi(M) \le \frac{2N}{\log N + c}$
एक विशिष्ट, सुधारे गए स्थिरांक $c$ के लिए। पिछले कार्यों (जैसे मोंटगोमरी और वॉन वेगन, जहाँ $c=5/6$ था) ने विभिन्न मान प्रदान किए थे, लेकिन लेखक इस स्थिरांक को और अधिक बढ़ाने का लक्ष्य रखते हैं।

कार्यप्रणाली (Methodology)
लेखक एक हाइब्रिड सिव प्रक्रिया (hybrid sieving process) का उपयोग करते हैं जो लार्ज सिव (large sieve) और सेल्बर्ग सिव (Selberg sieve) के तत्वों को जोड़ती है, और एक ऐसी रूपरेखा का उपयोग करती है जिसे वे "लोकल मॉडल्स" (local models) कहते हैं। कार्यप्रणाली कई विशिष्ट चरणों के माध्यम से आगे बढ़ती है:

हिलबर्टियन असमानताएँ और लगभग ऑर्थोगोनल सिस्टम:
शोध पत्र एक जटिल हिलबर्ट स्पेस में एक सामान्यीकृत "लगभग ऑर्थोगोनल" (almost orthogonal) सिस्टम स्थापित करके शुरू होता है। यह सेल्बर्ग के लेम्मा का विस्तार करता है, जिसमें गुणांक $\omega_{i,j}$ वाले एक द्विपद त्रुटि पद (bilinear error term) को शामिल किया गया है। यह परिशोधन शेष पदों (remainder terms) के अधिक विस्तृत प्रबंधन की अनुमति देता है। लेखक एक भारित असमानता (प्रमेय 2.1) व्युत्पन्न करते हैं जहाँ भार $\xi_i$ को त्रुटि को न्यूनतम करने के लिए अनुकूलित किया जाता है, विशेष रूप से एक स्टेप फंक्शन (step function) को बहुपद (polynomial) द्वारा मेजराइज (majorize) करने की समस्या को संबोधित करते हैं।
अभाज्य संख्याओं के लिए स्थानीय मॉडल (Local Models for Primes):
अंतराल में अभाज्य संख्याओं के अनुक्रम को एक मोडुलस $d$ के सापेक्ष सह-अभाज्य (coprime) पूर्णांकों के अभिलक्षण फलनों (characteristic functions) का उपयोग करके अनुमानित किया जाता है। मोडुलस की अंतर्निहित अतिरेकता (redundancy) को संभालने के लिए (जहाँ $d$ के लिए सह-अभाज्य होने का ज्ञान उसके कारकों के लिए भी सह-अभाज्य होने का संकेत देता है), लेखक रामानुजन योगों $c_q(n)$ का उपयोग करके एक "स्थानीय प्रणाली" को परिभाषित करते हैं। वे $\phi^*_q$ फलनों का एक आधार निर्मित करते हैं जो $[M+1, M+N]$ अंतराल पर एक भारित आंतरिक गुणन (weighted inner product) के संबंध में "लगभग ऑर्थोगोनल" हैं।
शेष पदों का विश्लेषण (Analysis of Remainder Terms):
अनुमान का मुख्य भाग द्विपद रूप (bilinear form) से उत्पन्न शेष पद $R$ को बांधने (bounding) में निहित है। इसके लिए एक निश्चित मोडुलस $f$ (जिसे $f=210$ के रूप में चुना गया है) के सापेक्ष सह-अभाज्य पूर्णांकों के वितरण का विश्लेषण करना आवश्यक है। लेखक ऐसे पूर्णांकों की गणना के विचलन को बांधने के लिए $\theta^+_f(u)$ और $\theta^-_f(u)$ फलनों को पेश करते हैं। ये फंक्शन स्टेप फंक्शन हैं जिन्हें एक बहुपद द्वारा ऊपर से बांधा जाना चाहिए।
बहुपद सन्निकटन और रैखिक प्रोग्रामिंग (Polynomial Approximation and Linear Programming):
एक महत्वपूर्ण तकनीकी बाधा एक ऐसा बहुपद $P(u)$ खोजने में है जो $\theta^*_{210}(u)$ (जो $\theta^+_f$ और $\theta^-_f$ से प्राप्त हुआ है) को सख्ती से मेजराइज करे, जबकि एक विशिष्ट रैखिक फलन $F(P)$ को न्यूनतम करे। लेखक नोट करते हैं कि मानक सन्निकटन विधियों (जैसे बर्नस्टीन बहुपद) ने खराब संख्यात्मक परिणाम दिए। इसके बजाय, वे एक बहुपद की डिग्री 25 खोजने के लिए रैखिक प्रोग्रामिंग (विशेष रूप से lpsolve पैकेज) का उपयोग करते हैं।

बहुपद को 300 विशिष्ट बिंदुओं पर $\theta^*_{210}$ से अधिक रहने के लिए बाध्य किया गया है।
डोमेन की गैर-कॉम्पैक्टता (non-compactness) को प्रबंधित करने के लिए गुणांकों को एक निचली सीमा ($-1000$) द्वारा प्रतिबंधित किया गया है।
लेखक संख्यात्मक अस्थिरता को स्वीकार करते हैं और यह भी बताते हैं कि कई गुणांक कृत्रिम सीमा (artificial boundary) से टकराते हैं, जिससे बहुपद की वैश्विक वैधता के लिए संख्यात्मक सत्यापन के बिना पूर्णतः कठोर विश्लेतिक प्रमाण कठिन हो जाता है।

अंतिम अनुकूलन (Final Optimization):
अनुकूलित बहुपद का उपयोग सिव असमानता में त्रुटि पद को बांधने के लिए किया जाता है। सहायक मापदंडों को अनंत की ओर भेजकर और अनुपात $S^2/N$ को अनुकूलित करके, लेखक $N/Z - \frac{1}{2}\log N$ की मात्रा के लिए एक निचला आलेख (lower bound) व्युत्पन्न करते हैं, जो सीधे अंतिम प्रमेय में स्थिरांक $c$ में परिवर्तित होता है।

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

मुख्य प्रमेय: लेखक सिद्ध करते हैं कि एक $N_0$ मौजूद है ताकि सभी $N \ge N_0$ और $M \ge 1$ के लिए:
$\pi(M+N) - \pi(M) \le \frac{2N}{\log N + 3.53}$
(पाठ में गणना $3.5372 $देती है, जिसे एब्सट्रैक्ट में$ 3.53$ तक पूर्णांकित किया गया है)।
हाइब्रिड सिव तकनीक: यह शोध पत्र एक विशिष्ट सिव फॉर्मूलेशन पेश करता है जो लार्ज सिव और सेल्बर्ग सिव को मिश्रित करता है, और पिछले विधियों की तुलना में शेष पदों को अधिक सटीकता से संभालने के लिए "लोकल मॉडल्स" का उपयोग करता है।
सिव थ्योरी में संख्यात्मक अनुकूलन: यह कार्य आधुनिक सिव थ्योरी में अंतर्निहित अनुकूलन समस्याओं (विशेष रूप से स्टेप फंक्शन्स के मेजराइजेशन) को हल करने के लिए संख्यात्मक विधियों (रैखिक प्रोग्रामिंग) की आवश्यकता को प्रदर्शित करता है।

महत्व और सीमाएं
लेखक दावा करते हैं कि स्थिरांक $3.53 $पिछले आलेखों (जैसे "लेक्टचर्स ऑन सिव्स" में पाया गया$ c=2.81$) की तुलना में सुधार है। हालांकि, लेखक अपने परिणाम के बारे में स्पष्ट हैं:

संख्यात्मक निर्भरता: परिणाम काफी हद तक संख्यात्मक गणनाओं, विशेष रूप से रैखिक प्रोग्रामिंग चरण पर निर्भर है। लेखक नोट करते हैं कि उन्हें मेजरेंट बहुपद (majorant polynomial) के लिए कोई क्लोज्ड-फॉर्म अभिव्यक्ति नहीं मिली और समाधान में ऐसे गुणांक शामिल थे जो कृत्रिम सीमाओं से टकरा रहे थे, जिससे संख्यात्मक अस्थिरता उत्पन्न होती है।
इष्टतमता (Optimality): लेखक कहते हैं कि वे "यह दावा करने की स्थिति में नहीं हैं कि हमारा परिणाम सर्वश्रेष्ठ संभव है," यहाँ तक कि अपने स्वयं के तरीके के दायरे में भी। सुधार पैरिटी प्रिंसिपल में मौलिक सैद्धांतिक सफलता के बजाय भारों के एक विशिष्ट चयन और बहुपद के संख्यात्मक अनुकूलन के माध्यम से प्राप्त किया गया है।
क्षेत्र (Scope): सुधार बड़े $N$ के लिए ब्रुन-टिचमार्श बाउंड के हर (denominator) में स्थिरांक के लिए विशिष्ट है। यह विधि पैरिटी समस्या या एसिम्प्टोटिक फॉर्मूला (asymptotic formulas) को हल करने का दावा नहीं करती है, बल्कि छोटे अंतरालों में अभाज्य संख्याओं की गणना के लिए ऊपरी आलेख को कड़ा करती है।

संक्षेप में, यह शोध पत्र एक हाइब्रिड सिव ढांचे के भीतर त्रुटि विश्लेषण को परिष्कृत करके ब्रुन-टिचमार्श स्थिरांक में एक कठोर, हालांकि संख्यात्मक रूप से सहायता प्राप्त, सुधार प्रदान करता है, और यह स्वीकार करता है कि परिणाम की सटीकता उपयोग किए गए बहुपद सन्निकटन की संख्यात्मक स्थिरता द्वारा सीमित है।

मुख्य विचार: भीड़ में अभाज्य संख्याओं (Primes) की गिनती

विधि: एक हाइब्रिड सीव (Sieve)

गणितीय बाधा: "स्टेप फंक्शन" (Step Function) की समस्या

परिणाम: 3.53 क्यों महत्वपूर्ण है?

सारांश

इसी तरह के और पेपर