🔢 mathematics

A weaker but simpler sieve inequality

यह शोधपत्र सीव वेट्स (sieve weights) के एक कैंसिलेशन प्रॉपर्टी (cancellation property) पर आधारित एक सरलीकृत सीव इनइक्वालिटी (sieve inequality) प्रस्तुत करता है, जो बहुत छोटे अंतराल के भीतर अभाज्य संख्याओं और लगभग-अभाज्य संख्याओं (almost-primes) के वितरण का विश्लेषण करने के लिए विशेष रूप से प्रभावी है।

मूल लेखक: John B. Friedlander

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

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

CC BY 4.0

मूल लेखक: John B. Friedlander

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

यहाँ जॉन बी. फ्रिएंडलैंडर के शोध पत्र, "A Weaker But Simpler Sieve Inequality" का रोज़मर्रा की उपमाओं (analogies) का उपयोग करते हुए विवरण दिया गया है।

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

कल्पना कीजिए कि आप पत्थरों के एक विशाल ढेर में छिपी विशिष्ट दुर्लभ वस्तुओं (जैसे अभाज्य संख्याएँ) को खोजने की कोशिश कर रहे हैं। इसे करने के लिए, गणितज्ञ एक "छलनी" (sieve) का उपयोग करते हैं। एक छलनी को केवल रसोई के उपकरण के रूप में नहीं, बल्कि नियमों या फिल्टर के एक जटिल सेट के रूप में सोचें। आप पत्थरों को फिल्टर के माध्यम से डालते हैं, और फिल्टर इस तरह डिज़ाइन किया गया है कि वह "बुरे" नंबरों (भाज्य संख्याओं/composite numbers) को नीचे गिरने दे जबकि "अच्छे" नंबरों (अभाज्य संख्याओं/primes) को ऊपर रखे।

हालाँकि, फिल्टर एकदम सटीक नहीं होता। कभी-कभी यह गलती से अच्छे पत्थर भी बाहर फेंक देता है, या कुछ बुरे पत्थरों को रोक लेता है। इसे ठीक करने के लिए, गणितज्ञ पत्थरों को "भार" (weights) देते हैं। ये भार छोटे टैग की तरह हैं जो कहते हैं, "यह पत्थर शायद अच्छा है," या "यह पत्थर शायद बुरा है।" लक्ष्य इन टैग्स को इस तरह व्यवस्थित करना है कि जब आप उन सभी को जोड़ें, तो बुरे टैग एक-दूसरे को काट दें, जिससे आपको अच्छे पत्थरों की स्पष्ट गिनती मिल सके।

समस्या: पुराना फिल्टर बहुत भारी था

दशकों से, गणितज्ञ (लेखक फ्रिएंडलैंडर और उनके सहयोगी हेनरीक इवानिएक सहित) अभाज्य संख्याओं को गिनने के लिए एक बहुत ही शक्तिशाली, लेकिन बहुत भारी और जटिल सेट (टैग्स) का उपयोग कर रहे थे।

हमारे पास एक सूत्र था जो यह मापता था कि हमारा फिल्टर कितनी अच्छी तरह काम करता है। इसमें वर्गों का एक बड़ा योग (sum of squares) शामिल था (कल्पना करें कि हर पत्थर के भार का वर्ग करना और उन्हें जोड़ना)।

पुरानी विधि: हमने सिद्ध किया कि यह बड़ा योग उपयोगी होने के लिए पर्याप्त छोटा था। लेकिन इसका प्रमाण एक जटिल मशीन के साथ एक भारी चट्टान उठाने जैसा था। यह काम तो करता था, लेकिन यह बहुत अव्यवस्थित था, इसके लिए बहुत विशिष्ट शर्तों की आवश्यकता थी, और इसे बदलना कठिन था।
दोष: यह पता चला कि मशीन के डिज़ाइन में एक बहुत ही सूक्ष्म दरार (प्रमाण में एक छोटा सा दोष) थी, जिसे उनके एक सहयोगी, के. माटोमेकी (K. Matomäki) ने बताया था।

खोज: "ग्रैंडमास्टर" का एक पत्र

लेखक अपने कार्यालय की सफाई कर रहे थे और उन्हें एटले सेलबर्ग (Atle Selberg), एक दिग्गज गणितज्ञ, का 1981 का एक पुराना पत्र मिला। उस पत्र में, सेलबर्ग ने उस प्रश्न का उत्तर दिया था जो लेखक ने 40 से अधिक वर्ष पहले उनसे पूछा था।

सेलबर्ग ने कहा, "हाँ, आप एक सीमा (bound) प्राप्त कर सकते हैं, लेकिन आपको उस भारी मशीन की आवश्यकता नहीं है। आपको बस एक थोड़ा अलग, सरल गणना की आवश्यकता है।"

लेखक को एहसास हुआ कि हालांकि सेलबर्ग की विधि एक थोड़ी कमजोर (slightly weaker) परिणाम सिद्ध करती थी (यह पूरे भारी पत्थर को नहीं मापती थी, बल्कि उसका एक छोटा, हल्का हिस्सा मापती थी), लेकिन यह बहुत सरल थी और पुरानी विधि के दोषों से मुक्त थी।

"जादुई ट्रिक": पहचान (The Identity)

इस शोध पत्र का मूल एक गणितीय "पहचान" (identity) है (एक फैंसी तरीका कहने का कि यह एक ऐसा समीकरण है जो हमेशा सत्य होता है)।

पुराना तरीका (भारी योग): लेखक $W$ नामक एक योग की गणना कर रहे थे। यह हर एक पत्थर को व्यक्तिगत रूप से तौलने, फिर उसके भार का वर्ग करने और फिर उन्हें जोड़ने जैसा था। यह एक विशाल, भ्रमित करने वाली गणना थी।
नया तरीका (हल्का योग): सेलबबर्ग ने दिखाया कि यदि आप $U$ नामक एक थोड़ा अलग योग की गणना करते हैं (जिसमें यूलर का टोटिएंट फंक्शन, $\phi$ शामिल है), तो गणित अविश्वसनीय रूप से सुव्यवस्थित हो जाता है।

उपमा:
कल्पना कीजिए कि आप किताबों के एक ढेर का कुल वजन जानना चाहते हैं।

विधि A (पुराना तरीका): आप हर किताब को तौलते हैं, उसके संख्या का वर्ग करते हैं, और उन्हें जोड़ते हैं। फिर आपको एहसास होता है कि आपने उन्हें रखने के तरीके में गलती की है, इसलिए आपको सब कुछ फिर से कैलकुलेट करना पड़ता है।
विधि B (नया तरीका): सेलबर्ग ने एक ट्रिक खोजी। उन्होंने दिखाया कि यदि आप किताबों को एक विशिष्ट तरीके से व्यवस्थित करते हैं और उनके बीच के अंतरालों (spaces) को देखते हैं, तो कुल वजन वास्तव में किताबों के वजन को उनके पृष्ठों की संख्या से विभाजित करके प्राप्त किया जा सकता है। यह एक शॉर्टकट है।

यह शोध पत्र सिद्ध करता है कि यह "शॉर्टकट" योग ( $U$ ) वास्तव में संख्याओं के एक बहुत ही साफ और सरल गुणनफल (product) के बराबर है। यह इसे आसान बनाता है कि यह सिद्ध किया जा सके कि योग छोटा है (जिसका अर्थ है कि छलनी अच्छी तरह काम कर रही है)।

यह क्यों महत्वपूर्ण है?

लेखक इस शोध पत्र को लिखने के दो कारण देते हैं:

यह सब कुछ है जो आपको चाहिए: भले ही नई विधि एक "छोटा" योग मापती है, लेकिन यह पता चला है कि बहुत छोटे अंतराल (very short intervals) में अभाली संख्याओं को खोजने के लिए (संख्या रेखा के एक बहुत छोटे हिस्से को देखना, जैसे 1,000,000 और 1,000,100 के बीच अभाज्य संख्याएँ खोजना), गणितज्ञ को वास्तव में उसी "हल्के" योग की आवश्यकता होती है। आपको पूरे पत्थर को उठाने की आवश्यकता नहीं है; आपको बस उसके हैंडल को उठाने की आवश्यकता है।
यह अधिक स्वाभाविक है: नई विधि अधिक "ईमानदार" महसूस होती है। गणित बेहतर तरीके से बहता है। पुरानी विधि के लिए संख्याओं को एक निश्चित तरीके से व्यवहार करने के लिए मजबूर करना पड़ता था, जबकि नई विधि संख्याओं को स्वाभाविक रूप से व्यवहार करने देती है।

"लैम्ब्डा" (Lambda) भार

शोध पत्र में छलनियों (sieves) में उपयोग किए जाने वाले दो प्रकार के "टैग्स" (weights) पर भी चर्चा की गई है:

बीटा-छलनी (Beta-sieve): ये टैग सरल हैं (जैसे $+1$ या $-1$)। नया तरीका यहाँ पूरी तरह से काम करता है।
सेलबर्ग की $\Lambda^2$ छलनी: ये टैग अधिक जटिल हैं (वे अन्य संख्याओं के गुणनफल हैं)। शोध पत्र दिखाता है कि इन जटिल टैग्स के साथ भी, "शॉर्टकट" तरीका काम करता है, बशर्ते आप टैग्स को सही ढंग से चुनें।

सारांश

जॉन फ्रिएंडलैंडर अनिवार्य रूप से कह रहे हैं: "हमने अभाज्य संख्याओं को गिनने के लिए एक जटिल, भारी मशीन बनाने में 45 वर्ष बिता दिए। हमें उसमें एक छोटी सी दरार मिली। फिर, मुझे एक महान गणितज्ञ का एक पुराना पत्र मिला जिसने मुझे बताया, 'आपको पूरी मशीन की आवश्यकता नहीं है। आपके पास एक सरल, हल्का उपकरण है जो आपके द्वारा किए जा रहे विशिष्ट कार्य के लिए उतना ही अच्छा काम करता है।' यह शोध पत्र अंततः उस सरल उपकरण को बनाने और यह दिखाने के बारे में है कि यह कैसे काम करता है।"

परिणाम एक कमजोर असमानता (weaker inequality) है (यह थोड़ा कम परिणाम सिद्ध करता है) लेकिन एक सरल प्रमाण (simpler proof) है (यह समझने में आसान है और त्रुटियों के प्रति कम संवेदनशील है), जो विशेष रूप से छोटे अंतरालों में अभाज्य संख्याओं के वितरण का अध्ययन करने के लिए आवश्यक है।

तकनीकी सारांश: "एक कमजोर लेकिन सरल सीव असमानता" (A Weaker But Simpler Sieve Inequality)

समस्या विवरण
यह शोध पत्र सीव भार (sieve weights) से जुड़े विशिष्ट योगों के आकलन को संबोधित करता है, जो अभाज्य संख्याओं और लगभग-अभाज्य (almost-primes) के वितरण से संबंधित विश्लेषणात्मक संख्या सिद्धांत का एक केंद्रीय कार्य है। लेखक अभाज्य संख्याओं के एक सेट $P$ और एक गुणनफल $P(z) = \prod_{p \in P, p < z} p$ पर आधारित दो संबंधित योगों पर ध्यान केंद्रित करते हैं। मान लीजिए कि $\lambda_d$ वास्तविक संख्याओं का एक अनुक्रम है जो $P(z)$ के विभाजकों $d$ पर समर्थित (supported) है और $|\lambda_d| \leq \tau_k(d)$ है।

अध्ययन का प्राथमिक विषय योग $W$ है:
$W = \sum_{d|P} d \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$
पूर्व में, फ्रेडलैंडर और इवानिएक के कार्य [3] में, $W$ के लिए एक सीमा (bound) स्थापित की गई थी (लेम्मा 6.18), जो यह दर्शाती है कि विशिष्ट सीव भारों (बीटा-सीव) के लिए, $W \ll \prod_{p|P} (1 - 1/p)$ होता है। हालाँकि, इस परिणाम के प्रमाण में एक मामूली त्रुटि पाई गई जिसे के. माटोमाकी ने पहचाना, और इसके व्युत्पन्न को जटिल नोट किया गया।

पत्र एक "छोटे" योग $U$ पर भी विचार करता है, जो अत्ले सेलबर्ग के लेखक को लिखे गए 1981 के एक पत्र का विषय था:
$U = \sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2$
जहाँ $\phi$ यूलर का टोटिएंट फलन (Euler's totient function) है। हालाँकि $U$ तकनीकी रूप से $W$ से छोटा योग है (क्योंकि $\phi(d) < d$ ), पत्र तर्क देता है कि $U$ कुछ अनुप्रयोगों के लिए अधिक स्वाभाविक वस्तु है और एक काफी सरल प्रमाण स्वीकार करता है।

कार्यप्रणाली (Methodology)
मुख्य पद्धतिगत योगदान एक विशिष्ट बीजगणितीय पहचान (algebraic identity) का व्युत्पत्ति और उपयोग है जो योग $U$ को एक ऐसे रूप में परिवर्तित करती है जो 'ट्रिवियल बाउंडिंग' (trivial bounding) के योग्य हो।

मूल पहचान (The Fundamental Identity): पत्र एक पहचान स्थापित करता है:
$\sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2 = \prod_{p \in P} \left(1 - \frac{1}{p}\right) \sum_{\delta|P} \frac{\theta_\delta^2}{\phi(\delta)}$
जहाँ $\theta_m = \sum_{d|m} \lambda_d$ है। यह पहचान योग के क्रम को बदलने और महत्तम समापवर्तक (GCD) तथा यूलर टोटिएंट फलन के गुणों का उपयोग करके व्युत्पन्न की गई है।
$W$ के साथ तुलना: यह $W$ के लिए आवश्यक पहचान के विपरीत कार्य करता है, जिसमें एक अधिक जटिल संरचना शामिल है (जिसे [3] में (4.2) और [6] में (57) के रूप में संदर्भित किया गया है)। $U$ के लिए पहचान को "सुंदर" (neat) और "दिखाने में आसान" बताया गया है, जबकि $W$ के उपचार को "काफी अधिक जटिल" कहा गया है।
बाउंडिंग रणनीति (Bounding Strategy): पहचान के दाहिने पक्ष को बाउंड करने के लिए, लेखक $\theta_\delta^2$ पद पर एक ट्रिवियल बाउंड का उपयोग करता है। विशेष रूप से, असमिका $\theta_\delta^2 \leq \tau(\delta)|\theta_\delta|$ का उपयोग करते हुए, योग को विभाजक फलनों (divisor functions) वाले रूप में कम किया जाता है। लेखक नोट करता है कि सीव भारों (विशेष रूप से बीटा-सीव और सेलबर्ग $\Lambda^2$ -सीव) के लिए, गुणांक इस तरह व्यवहार करते हैं जैसे वे लगभग-अभाज्य तक सीमित हों, जिससे विभाजक फलन $\tau(\delta)$ इतना छोटा रहता है कि योग सीमित बना रहे।
सामान्यीकरण (Generalization): पत्र इन पहचानों को मल्टीप्लिकेटिव फलनों $f$ और $f'$ (जहाँ $f'(p) = f(p) - 1$ ) के शामिल एक अधिक सामान्य सेटिंग में विस्तारित करता है, जो एक सामान्यीकृत पहचान (3.1) की ओर ले जाता है जो सीविंग इंटरवल्स के विशिष्ट मामले को समाहित करती है।

प्रमुख परिणाम

सेलबर्ग के अनुमान का प्रमाण: पत्र $U$ के योग के लिए एक प्रमाण प्रदान करता है जो लेखक द्वारा [1] में प्रस्तावित किया गया था और सेलबर्ग द्वारा उनके 1981 के पत्र में पुष्ट किया गया था। परिणाम है:
$\sum_{d|P} \phi(d) \left( \sum_{\substack{m|P \\ m \equiv 0 \pmod d}} \frac{\lambda_m}{m} \right)^2 \ll \prod_{p|P} \left(1 - \frac{1}{p}\right)$
यह दोनों बीटा-सीव भारों और सेलबर्ग $\Lambda^2$ -सीव भारों के लिए मान्य है।
प्रमाण का सरलीकरण: $W$ के लिए मजबूत बाउंड के प्रमाण की तुलना में $U$ के बाउंड का व्युत्पन्न "बहुत अधिक तेज़ी से और स्पष्टता से" प्रस्तुत किया गया है।
पिछले कार्य का सुधार: पत्र [3] में $W$ के बाउंड के प्रमाण में एक त्रुटि को स्वीकार करता है और नोट करता है कि परिशिष्ट (इवानिएक के साथ संयुक्त) में एक सुधारा गया प्रमाण प्रदान किया गया है।
लघु अंतराल के लिए अनुप्रयोग (Application to Short Intervals): लेखक का कहना है कि $U$ के लिए बाउंड "वास्तव में आवश्यक है" अभाज्य और लगभग-अभाज्य के वितरण (विशेष रूप से $g(x)\log x$ लंबाई के अंतराल जहाँ $g(x) \to \infty$ ) से संबंधित अनुप्रयोगों के लिए। पिछले अनुमानों (जैसे [3] में समीकरण 6.120) में, $d$ के सह-अभाज्य पूर्णांकों की गणना को $H$ द्वारा सीमित किया गया था, न कि अधिक सटीक $H\phi(d)/d$ द्वारा; $U$ स्वाभाविक रूप से इस अधिक सटीक गणना को समाहित करता है।

महत्व और दावे
पत्र स्वयं को पिछले परिणामों की तुलना में "कमजोर लेकिन सरल" विकल्प के रूप में प्रस्तुत करते हुए मामूली महत्व का दावा करता है।

स्वाभाविकता (Naturalness): लेखक तर्क देता है कि $W$ की तुलना में $U$ "अधिक स्वाभाविक" योग है, जिसे पहचान (2.3) की सरलता द्वारा न्यायसंगत बनाया गया है।
पर्याप्तता (Sufficiency): प्राथमिक दावा यह है कि हालांकि $W$ का बाउंड अधिक मजबूत है, $U$ का बाउंड लघु अंतराल में अभाज्य और लगभग-अभाज्य के अनुमान के विशिष्ट अनुप्रयोग के लिए पर्याप्त है।
ऐतिहासिक संदर्भ: यह पत्र अत्ले सेलबर्ग के 1981 के एक पत्र को उजागर करने का कार्य करता है जिसे अनदेखा या भुला दिया गया था, जो सेलबर्ग द्वारा पुष्ट की गई असमानता का एक आधुनिक, सुव्यवस्थित प्रमाण प्रदान करता है।
कोई नए अनुप्रयोग नहीं: यह पत्र कोई नए अनुप्रयोग या भविष्य के निहितार्थ प्रस्तावित नहीं करता है। यह सख्ती से अपना दायरा मौजूदा सीव असमानताओं के सैद्धांतिक सरलीकरण और लघु अंतरालों में स्थापित समस्याओं के लिए उनकी प्रासंगिकता तक सीमित रखता है, यह नोट करते हुए कि के. माटोमाकी द्वारा हालिया विकास ने इस प्रकार के परिणामों का आगे उपयोग किया है।

संक्षेप में, यह पत्र एक विशिष्ट सीव असमानता ( $U$ ) के लिए एक सुव्यवस्थित, बीजगणितीय रूप से सुंदर प्रमाण प्रदान करता है, जो कि पहले से ज्ञात परिणाम ( $W$ ) की तुलना में तकनीकी रूप से कमजोर है, फिर भी अभाज्य संख्या सिद्धांत के प्रमुख अनुप्रयोगों के लिए पर्याप्त है और पिछले प्रमाणों की जटिलताओं और त्रुटियों से बचता है।