🔢 mathematics

On the Hardy-Ramanujan Theorem

यह शोध पत्र हार्डी-रामानुजन प्रमेय का एक प्रभावी संस्करण स्थापित करता है, जिसमें यह सिद्ध किया गया है कि अलग-अलग अभाज्य गुणनखंडों की संख्या $\omega(n)$ का विस्थापित अनुभवजन्य वितरण (shifted empirical distribution) एक पॉइसन वितरण के एक निश्चित गुणक द्वारा बिंदुवार (pointwise) नियंत्रित है, साथ ही इसमें वर्गमुक्त पूर्णांकों (squarefree integers) के लिए सटीक अनुमान, स्पष्ट विचलन सीमाएँ और संबंधित अंकगणितीय फलनों के लिए समान आघूर्ण परिणाम (uniform moment results) भी प्राप्त किए गए हैं।

मूल लेखक: Benjamin Durkan

प्रकाशित 2026-06-09

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

CC BY 4.0

मूल लेखक: Benjamin Durkan

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

कल्पना कीजिए कि आप संख्याओं के एक विशाल, अनंत जंगल में टहल रहे हैं। इस जंगल में हर पेड़ एक पूर्णांक (integer) है (2, 3, 4, 5, ...)। कुछ पेड़ सरल हैं, जैसे कि एक पाइन का पेड़ जिसकी केवल एक ही प्रकार की शाखाएँ हैं (एक अभाज्य संख्या या prime number)। अन्य पेड़ जटिल हैं, जैसे कि एक ओक का पेड़ जिसमें कई अलग-अलग प्रकार की शाखाएँ हैं (एक ऐसी संख्या जो कई अलग-अलग अभाज्य गुणनखंडों से बनी है)।

उदाहरण के लिए:

12 संख्या $2 \times 2 \times 3$ से बनी है। इसमें 2 अलग प्रकार की शाखाएँ हैं (2 और 3)।
30 संख्या $2 \times 3 \times 5$ से बनी है। इसमें 3 अलग प्रकार की शाखाएँ हैं।
210 संख्या $2 \times 3 \times 5 \times 7$ से बनी है। इसमें 4 अलग प्रकार की शाखाएँ हैं।

पुराना नक्शा: हार्डी और रामानुजन

20वीं सदी की शुरुआत में, गणित के दो दिग्गजों, जी.एच. हार्डी और श्रीनिवास रामानुजन ने इस जंगल का एक नक्शा बनाया। उन्होंने एक आश्चर्यजनक नियम की खोज की: यदि आप एक बहुत बड़ी संख्या $n$ चुनते हैं, तो उसके विशिष्ट अभाज्य गुणनखंडों (distinct prime factors) की संख्या आमतौर पर $\log(\log n)$ के बहुत करीब होती है।

$\log(\log n)$ को जंगल के एक विशिष्ट खंड में पेड़ों की "औसत ऊँचाई" के रूप में सोचें। हार्डी और रामानुजन ने सिद्ध किया कि लगभग सभी पेड़ लगभग इसी ऊँचाई के होते हैं। हालाँकि, उनके नक्शे के किनारे थोड़े धुंधले थे। वे जानते थे कि पेड़ कहाँ हैं, लेकिन उनके पास एक सटीक पैमाना नहीं था जिससे वे यह माप सकें कि एक पेड़ औसत से कितनी दूर जा सकता है, न ही उनके पास बहुत ऊँचे या बहुत छोटे पेड़ मिलने की संभावना का सटीक अनुमान लगाने का कोई पूर्ण सूत्र था।

नया नक्शा: बेंजामिन डुरकान का "प्रभावी" संस्करण

बेंजाममिन डुरकान का शोध पत्र उस पुराने, धुंधले नक्शे को एक लेजर-गाइडेड जीपीएस (GPS) के साथ फिर से बनाने जैसा है। वह केवल यह नहीं कहते कि "अधिकांश पेड़ औसत हैं"; वह आपको एक कठोर, गणितीय नियम देते हैं जो यह गारंटी देता है कि आउटलेर्स (outliers) कितने दुर्लभ हैं।

यहाँ उनकी खोज का मूल भाग है, जिसे सरल रूप में समझाया गया है:

1. "पॉइसन" छाया (The "Poisson" Shadow)

डुरकान सिद्ध करते हैं कि इन अभाज्य गुणनखंडों का वितरण एक विशिष्ट सांख्यिकीय पैटर्न का अनुसरण करता है जिसे पॉइसन वितरण (Poisson distribution) कहा जाता है।

उपमा: कल्पना कीजिए कि आप जमीन के एक विशिष्ट हिस्से पर गिरने वाली बारिश की बूंदों को गिन रहे हैं। आप जानते हैं कि औसत दर क्या है (मान लीजिए 10 बूंद प्रति मिनट)। पॉइसन वितरण आपको 5 बूंदें, 15 बूंदें या 20 बूंदें मिलने की संभावना बताता है।
परिणाम: डुरकान दिखाते हैं कि अभाज्य गुणनखंडों की विशिष्ट संख्या वाले पूर्णांकों का व्यवहार बिल्कुल उन बारिश की बूंदों की तरह होता है। वह सिद्ध करते हैं कि अभाज्य गुणनखंडों की संख्या वाले पूर्णांकों की संख्या इस पॉइसन पैटर्न द्वारा प्रधान (dominated) या "छायांकित" होती है।
यह क्यों महत्वपूर्ण है: इसका अर्थ है कि हम इन संख्याओं के व्यवहार की अत्यधिक सटीकता के साथ भविष्यवाणी करने के लिए पॉइसन वितरण के स्थापित नियमों का उपयोग कर सकते हैं।

2. "सुरक्षा जाल" (स्पष्ट स्थिरांक/Explicit Constants)

पिछले प्रमाण इस तरह के थे जैसे कहना, "पेड़ एक निश्चित अस्पष्ट सीमा से अधिक ऊँचा नहीं बढ़ेगा।" डुरकान का शोध पत्र ऐसा है जैसे कहना, "पेड़ कभी भी औसत विचलन के 117.20 गुना से अधिक ऊँचा नहीं होगा।"

उन्होंने विशिष्ट संख्याएँ (जैसे 4.096 और 117.20) निकाली हैं जो सुरक्षा जाल के रूप में कार्य करती हैं।
ये संख्याएँ यह सुनिश्चित करती हैं कि आप जंगल में कितनी भी दूर क्यों न देखें, आप गणितीय रूप से गारंटी दे सकते हैं कि "अजीब" पेड़ों (जिनके पास बहुत अधिक या बहुत कम अभाज्य गुणनखंड हैं) की संख्या एक विशिष्ट, गणना की गई मात्रा से कम है।

3. "डिलीशन" (हटाने का) तरीका

उन्होंने यह कैसे किया? उन्होंने एक चतुर गिनती का तरीका इस्तेमाल किया जिसे वे "डिलीशन" (deletion) कहते हैं।

उपमा: कल्पना कीजिए कि आपके पास एक जटिल लेगो (Lego) टॉवर है। यह गिनने के लिए कि कितने टॉवरों में ठीक 5 ब्लॉक हैं, आप 6 ब्लॉक वाले टॉवरों को देख सकते हैं और पूछ सकते हैं, "यदि मैं एक विशिष्ट ब्लॉक हटा दूँ, तो क्या मुझे 5-ब्लॉक वाला टॉवर मिलेगा?"
डुरकान इस तर्क का पुनरावर्ती (recursively) रूप से उपयोग करते हैं। वे $k$ अभाज्य गुणनखंडों वाले संख्याओं को $k+1$ गुणनखंडों वाली संख्याओं को देखकर गिनते हैं और एक अभाज्य भाग को "हटाकर" (delete) गणना करते हैं। यह गिनती की एक श्रृंखला बनाता है जो उन्हें सटीक संख्या तक पहुँचने में मदद करता है।

इससे हमें क्या मिलता है?

क्योंकि उनके पास यह सटीक "छाया" (पॉइसन वितरण) और ये सख्त सुरक्षा जाल हैं, डुरकान तुरंत कई अन्य उपयोगी तथ्य निकाल सकते हैं:

"गौसियन" खिड़की (The "Gaussian" Window): वह औसत से थोड़े ऊँचे या छोटे नंबर मिलने की संभावना की गणना कर सकते हैं। यह पता चलता है कि ये संभावनाएँ एक बेल कर्व (प्रसिद्ध "सामान्य वितरण" या Normal Distribution) की तरह दिखती हैं, लेकिन वह कर्व के किनारों के लिए सटीक सूत्र प्रदान करते हैं।
"चरम" आउटलेर्स (The "Extreme" Outliers): वह आपको ठीक बता सकते हैं कि भारी मात्रा में अभाज्य गुणनखंडों (जैसे 100 अलग प्रकार की शाखाओं वाला पेड़) वाला नंबर मिलना कितना दुर्लभ है। संभावना इतनी तेजी से गिरती है कि वे लगभग शून्य के बराबर होती हैं।
वर्गमुक्त बनाम नियमित (Squarefree vs. Regular): उन्होंने इसे "वर्गमुक्त" (squarefree) संख्याओं के लिए भी परिष्कृत किया है (वे संख्याएँ जिनमें दोहराए गए अभाज्य गुणनखंड नहीं होते, जैसे $2 \times 3 \times 5$ लेकिन $2 \times 2 \times 3$ नहीं)। नियम थोड़े अलग हैं, और उन्होंने उस मामले के लिए भी सटीक संख्याएँ दी हैं।

सारांश

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

उन्होंने केवल यह नहीं कहा कि "अभाज्य गुणनखंड आमतौर पर एक बेल कर्व का पालन करते हैं।" उन्होंने कहा, "यहाँ सटीक बेल कर्व है, यहाँ सटीक गुणक (multiplier) है, और यहाँ सटीक गणितीय गारंटी है कि कोई भी संख्या इन नियमों को तोड़ेगी नहीं।" यह मौसम के पूर्वानुमान के बीच का अंतर है जो कहता है कि "शायद बारिश हो सकती है" और जो कहता है कि "दोपहर 2:00 बजे से 2:15 बजे के बीच 99.9% संभावना है कि बारिश होगी।"

तकनीकी सारांश: हार्डी-रामानुजन प्रमेय का एक प्रभावी संस्करण

समस्या विवरण
यह शोध पत्र $n \le x$ के लिए पूर्णांकों के भिन्न अभाज्य गुणनखंडों की संख्या, $\omega(n)$ , और कुल अभाज्य गुणनखंडों की संख्या, $\Omega(n)$ , के वितरण को संबोधित करता है। जबकि शास्त्रीय हार्डी-रामानुजन प्रमेय यह स्थापित करता है कि दोनों फलन $\log \log n$ के सामान्य क्रम (normal order) में होते हैं, मूल प्रमाण $A_k(x) = \#\{n \le x : \omega(n) = k\}$ के स्तर सेटों (level sets) के लिए एक गणना असमानता पर निर्भर करता है जो घातांकीय ऊपरी पूंछ (exponential upper tails) तो प्रदान करती है लेकिन इसमें स्पष्ट स्थिरांकों (explicit constants) का अभाव है। बाद के प्रमाण, जैसे टुरान की द्वितीय-क्षण विधि (Turán's second-moment method), छोटे तो हैं लेकिन चेबिशेव की असमानता के माध्यम से केवल बहुपद पूंछ (polynomial tail bounds) प्रदान करते हैं। संभाव्य एर्डोस-काक प्रमेय (Erdős–Kac theorem) सीमित गॉसियन वितरण की पहचान करता है, लेकिन यह परिमित $x$ के लिए प्रभावी, गैर-अनंतकालीन (non-asymptotic) सीमाएं प्रदान नहीं करता है। इस नोट का उद्देश्य इन कमियों को दूर करना है, जिसका लक्ष्य हार्डी-रामानुजन गणना असमानता का एक प्रभावी, स्पष्ट संस्करण प्रदान करना है, और परिणाम को पूरी तरह से स्पष्ट स्थिरांकों के साथ एक पॉइसन वितरण (Poisson distribution) के विरुद्ध प्रभुत्व असमानता (domination inequality) के रूप में प्रस्तुत करना है।

कार्यप्रणाली
लेखक हार्डी और रामानुजन द्वारा उपयोग किए गए मूल "विलोपन तर्क" (deletion argument) का उपयोग करते हैं, लेकिन इसे सभी स्थिरांकों को स्पष्ट बनाने के लिए परिष्कृत करते हैं। मुख्य कार्यप्रणाली में शामिल है:

विलोपन पुनरावृत्ति (Deletion Recurrence): पूर्णांकों को कई बार गिनकर $A_k(x)$ के लिए एक पुनरावृत्ति संबंध स्थापित करना। विशेष रूप से, $k+1$ भिन्न अभाज्य गुणनखंडों वाले एक पूर्णांक $n$ के लिए, सटीक अभाज्य-घात विभाजकों को विलप करने से $A_k(x/p^a)$ के योगों से $A_{k+1}(x)$ को जोड़ने वाली एक पुनरावृत्ति प्राप्त होती है।
आगमनात्मक सिद्धांत (Inductive Principle): एक सामान्य आगमन सिद्धांत (प्रस्ताव 3.2) तैयार करना, जो यह देखते हुए कि आधार मामला $A_1(x)$ के लिए स्पष्ट सीमाएँ और अभाज्य घातों के एक विशिष्ट योग उपलब्ध है, $A_k(x)$ के लिए $C \frac{x}{\log x} \frac{(\log \log x + B)^{k-1}}{(k-1)!}$ के रूप में एक स्पष्ट ऊपरी सीमा प्रदान करता है।
स्पष्ट अभाज्य अनुमान: आगमन सिद्धांत की परिकल्पनाओं को सत्यापित करने के लिए अभाज्य संख्या सिद्धांत (रोसर और शोनफेल्ड) से स्पष्ट सीमाओं का उपयोग करना। इसमें $\sum_{p \le x} 1/p$ , $\pi(x)$ , और अभाज्य घातों के योग के लिए सटीक अनुमान शामिल हैं।
प पॉइसन प्रभुत्व (Poisson Domination): गणना असमानता को एक संभाव्य कथन में अनुवादित करना। इसके सूत्र (factorial) संरचना को पहचानते हुए, लेखक दिखाते हैं कि $\omega(n)$ का विस्थापित अनुभवजन्य वितरण (shifted empirical distribution) एक पॉइसन यादृच्छिक चर $Z_\xi$ द्वारा बिंदुवार डोमिनेट किया जाता है, जिसका पैरामीटर $\xi = \log \log x + 4.096$ है।
$\Omega(n)$ और $\omega_1(n)$ तक विस्तार: "वर्गपूर्ण अतिरिक्त" (squarefull excess) $R(n) = \Omega(n) - \omega(n)$ का विश्लेषण करके और $R(n)$ के लिए एक घातांकीय पूंछ सीमा सिद्ध करके परिणामों को $\Omega(n)$ और $\omega_1(n)$ (एक बार आने वाले अभाज्य गुणनखंडों की संख्या) तक विस्तारित किया गया है।

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

स्पष्ट गणना असमानता (प्रमेय 1.2): यह शोध पत्र सिद्ध करता है कि प्रत्येक $x \ge 2$ और पूर्णांक $k \ge 1$ के लिए:
$A_k(x) \le 1.95 \frac{x}{\log x} \frac{(\log \log x + 4.096)^{k-1}}{(k-1)!}$
यह विशिष्ट स्थिरांक $1.95 $और शिफ्ट$ 4.096 $प्रदान करके शास्त्रीय$ O(\cdot)$ नोटेशन में सुधार करता है।
प पॉइसन प्रभुत्व (प्रमेय 1.1): किसी भी गैर-ऋणात्मक फलन $F$ के लिए, विस्थापित अनुभवजन्य औसत एक पॉइसन प्रत्याशा (expectation) द्वारा सीमित है:
$\frac{1}{x} \sum_{2 \le n \le x} F(\omega(n) - 1) \le Q \mathbb{E}[F(Z_\xi)]$
जहाँ $Q = 1.95 e^{4.096} < 117.20$ और $\xi = \log \log x + 4.096$ है। यह दर्शाता है कि $\omega(n)$ का वितरण एक निश्चित गुणक वाले पॉइसन नियम द्वारा डोमिनेट किया जाता है।
स्पष्ट पूंछ सीमाएँ (Explicit Tail Bounds):
- बड़े विचलन (Large Deviations) (अनुवर्ती 1.3): यह पत्र मानक पॉइसन दर फलन $I(\alpha) = \alpha \log \alpha - \alpha + 1$ के साथ बड़े विचलन अनुमान प्राप्त करता है, यह दिखाते हुए कि $\omega(n) \ge \alpha \log \log x$ वाले पूर्णांकों की गणना $x (\log x)^{-I(\alpha)}$ द्वारा सीमित है।
- गॉसियन-स्केल सीमाएँ (Gaussian-Scale Bounds) (प्रमेय 1.4): $A \sqrt{\log \log x}$ के रूप में विचलन के लिए, यह पत्र गॉसियन पूंछों के समान स्पष्ट ऊपरी सीमाएँ प्रदान करता है। उदाहरण के लिए, $1 \le A \le \sqrt{\log \log x}/4$ के लिए:
  $\frac{1}{x} \#\{n \le x : |\omega(n) - \log \log x| > A \sqrt{\log \log x}\} \le \frac{305}{A} \exp\left(-\frac{A^2}{2} + \frac{7.31 A^3}{\sqrt{\log \log x}}\right)$
- मध्यम विचलन (Moderate Deviations) (प्रमेय 1.5): यह दिखाया गया है कि $A \to \infty$ के लिए जहाँ $A = o(\sqrt{\log \log x})$ , प्रायिकता $\exp(-(1/2 + o(1))A^2)$ के रूप में घटती है।
समान क्षण अनुमान (Uniform Moment Estimates) (प्रमेय 1.6): यह शोध पत्र क्रम $r$ के क्षणों के लिए समान सीमाएँ स्थापित करता है:
$\left( \frac{1}{x} \sum_{2 \le n \le x} |f(n) - \log \log x|^r \right)^{1/r} \le C(\sqrt{r(\log \log x + 1)} + r)$
जहाँ $f \in \{\omega, \Omega, \omega_1\}$ है। यह निश्चित $r$ के लिए गॉसियन-क्रम केंद्रीय क्षण अनुमान को पुनः प्राप्त करता है।
वर्गमुक्त अनुरूप (Squarefree Analogue): वर्गमुक्त पूर्णांकों के लिए एक अधिक सटीक अनुमान प्राप्त किया गया है, जिसमें पॉइसन पैरामीटर में छोटा स्थिरांक ($1.25506 $) और छोटा शिफ्ट ($ 1.174$) है।

महत्व और दावे
यह शोध पत्र साथे-सेलबर्ग प्रमेय (Sathe–Selberg theorem) या संभाव्य उपचारों (एर्डोस-काक, कुबिलियस) जैसे आधुनिक शोधन के बजाय एक "अलग लक्ष्य" प्रदान करने का दावा करता है। बढ़ते $k$ या सीमित वितरणों के लिए विषमता (asymptotics) खोजने के बजाय, लेखक तत्वों, स्पष्ट और गैर-अनंतकालीन सीमाओं पर ध्यान केंद्रित करते हैं।

इसका महत्व निम्नलिखित में निहित है:

स्पष्ट स्थिरांक: हार्डी-रामानोजन तर्क को विशिष्ट संख्यात्मक स्थिरांकों ($1.95$, $4.096$, $Q < 117.20$ ) के साथ मात्रात्मक बनाना, जिन्हें अक्सर शास्त्रीय उपचारों में छोड़ दिया जाता है।
प पॉइसन प्रभुत्व: परिणाम को एक पॉइसन वितरण के विरुद्ध प्रभुत्व असमानता के रूप में फ्रेम करना, जो उपयुक्त परीक्षण फलनों $F$ को चुनकर चेरनोफ बाउंड्स (Chernoff bounds), क्षण अनुमान और पूंछ सीमाओं को तुरंत प्राप्त करने की अनुमति देता है।
तत्वों की प्रकृति: इसका प्रमाण मूल विलोपन तर्क और स्पष्ट अभाज्य संख्या अनुमानों पर निर्भर करता है, जो जटिल विश्लेषणात्मक मशीनरी या संभाव्य सीमा प्रमेयों से बचता है, फिर भी टुरान के बहुपद बाउंड से अधिक तीव्र और एर्डोस-काक प्रमेय की गॉसियन पूंछों के आकार के तुलनीय (हालांकि सख्त ऊपरी सीमा के रूप में) परिणाम देता है।
व्यापकता: यह दृष्टिकोण वर्गपूर्ण भाग के विश्लेषण के माध्यम से स्वाभाविक रूप से $\Omega(n)$ और $\omega_1(n)$ तक विस्तृत होता है, जो इन अंकगणितीय फलनों के लिए एक एकीकृत प्रभावी सिद्धांत प्रदान करता है।

लेखक नोट करते हैं कि $4.096 $का शिफ्ट इष्टतम होने का दावा नहीं किया गया है, बल्कि यह परिमित-$ x$ तर्क को पारदर्शी बनाए रखने के लिए है। प्राथमिक योगदान प्रभुत्व के कार्यात्मक रूप (functional form) का है, जो विभिन्न अनुमानों (बिंदुवार, पूंछ, जनरेटिंग फंक्शन, क्षण) को एक एकल स्पष्ट असमानता के तहत एकीकृत करता है।