🔢 mathematics

Almost sure bounds for weighted sums of Rademacher random multiplicative functions

यह शोध पत्र रेडमेकर रैंडम मल्टीप्लिकेटिव फंक्शन्स के भारित योगों (weighted sums) के लिए लगभग निश्चित (almost sure) ऊपरी और निचली सीमाएँ स्थापित करता है, जो यह प्रदर्शित करता है कि उनकी वृद्धि मल्टीप्लिकेटिव केओस (multiplicative chaos) द्वारा नियंत्रित होती है और स्टाइनहास (Steinhaus) मामले से काफी भिन्न है, जबकि साथ ही बड़े अभाज्य गुणनखंडों वाले पूर्णांकों तक सीमित योगों के लिए एक अधिक सटीक सीमा भी प्रदान करता है।

मूल लेखक: Christopher Atherfold

प्रकाशित 2026-02-04

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

CC BY 4.0

मूल लेखक: Christopher Atherfold

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

मुख्य विचार: संख्याओं के साथ भाग्य का खेल

कल्पना कीजिए कि आप संख्याओं के एक विशाल थैले के साथ एक खेल खेल रहे हैं। प्रत्येक अभाज्य संख्या (जैसे 2, 3, 5, 7...) के लिए, आप एक निष्पक्ष सिक्का उछालते हैं।

हेड्स (Heads): आप संख्या को +1 असाइन करते हैं।
टेल्स (Tails): आप संख्या को -1 असाइन करते हैं।

एक बार जब आप इन अभाज्य संख्याओं को ये मान दे देते हैं, तो आप अन्य सभी संख्याओं के लिए एक नियम बनाते हैं: यदि कोई संख्या अलग-अलग अभाज्य गुणनखंडों (जैसे $6 = 2 \times 3$ ) से बनी है, तो आप उनके असाइन किए गए मानों को आपस में गुणा करते हैं। यदि किसी संख्या में दोहराया गया अभाज्य गुणनखंड है (जैसे $4 = 2 \times 2$ ), तो उसका मान 0 होता है।

यह संख्याओं का एक यादृच्छिक (random) क्रम बनाता है, $f(n)$ , जो अराजक दिखता है लेकिन सख्त गणितीय नियमों का पालन करता है। गणितज्ञ इन संख्याओं के "आंशिक योगों" (partial sums) से लंबे समय से मंत्रमुग्ध रहे हैं—बेसिकली, जैसे-जैसे आप आगे बढ़ते हैं, उन्हें जोड़ना ( $f(1) + f(2) + f(3) + \dots$ )।

समस्या: "वेटेड" (Weighted) योग

इस शोध पत्र में, लेखक केवल संख्याओं को जोड़ नहीं रहा है; वह उन्हें एक भार (weight) के साथ जोड़ रहा है। विशेष रूप से, वह इस योग को देख रहा है:
$\frac{f(1)}{\sqrt{1}} + \frac{f(2)}{\sqrt{2}} + \frac{f(3)}{\sqrt{3}} + \dots + \frac{f(x)}{\sqrt{x}}$

इसे एक ऐसी दौड़ के रूप में सोचें जहाँ धावक (संख्याएँ) जैसे-जैसे दौड़ आगे बढ़ती है, धीमी होती जाती हैं। पहला धावक पूरी गति से दौड़ता है, दूसरा आधी गति से, तीसरा लगभग 57% गति से, और इसी तरह। प्रश्न यह है: यह कुल दूरी शून्य से कितनी दूर जा सकती है?

शुद्ध यादृच्छिकता (pure randomness) की दुनिया में, आप उम्मीद कर सकते हैं कि योग अपेक्षाकृत छोटा रहेगा, जो एक नशे में धुत व्यक्ति के घर वापस चलते समय की तरह शून्य के आसपास इधर-उधर डगमगाता रहेगा। हालाँकि, क्योंकि ये संख्याएँ "गुणात्मक" (multiplicative) हैं (क्योंकि वे अपने अभाज्य गुणनखंडों से जुड़ी हुई हैं), वे एक साधारण कॉइन टॉस की तरह व्यवहार नहीं करतीं। उनमें छिपे हुए पैटर्न होते हैं जो बड़े, अप्रत्याशित उतार-चढ़ाव पैदा कर सकते हैं।

मुख्य खोज: एक आश्चर्यजनक आकार सीमा

लेखक एक विशिष्ट सीमा सिद्ध करता है कि ये उतार-चढ़ाव कितने बड़े हो सकते हैं।

परिणाम:
लगभग हर संभव कॉइन फ्लिप के परिणाम के लिए, कुल योग कभी भी एक बहुत ही विशिष्ट, धीरे-धीरे बढ़ने वाले फलन (function) से बड़ा नहीं होगा: लगभग $(\log \log x)^{3/4}$ ।

उपमा (Analogy):
कल्पना कीजिए कि आप समुद्र में एक लहर की ऊंचाई माप रहे हैं। आप उम्मीद कर सकते हैं कि लहरें बहुत बड़ी होंगी। लेकिन यह शोध पत्र कहता है, "यदि आप लगभग सभी संभावित समुद्री अवस्थाओं को देखते हैं, तो लहरें कभी भी लगभग 10 मीटर की ऊंचाई से अधिक नहीं होंगी, भले ही समुद्र अनंत रूप से बड़ा क्यों न हो जाए।"

लेखक एक "निचली सीमा" (lower bound) भी सिद्ध करता है: निश्चित रूप से ऐसे समय आएंगे जब योग $(\log \log x)^{-1/2}$ जितना बड़ा हो जाएगा। यह पुष्टि करता है कि योग केवल स्थिर नहीं रहता; यह निश्चित रूप से चलता है, लेकिन इसकी एक "छत" (ceiling) है कि यह कितना ऊंचा कूद सकता है।

यह अन्य मॉडलों से अलग क्यों है?

गणितज्ञ इन संख्या पैटर्न का अध्ययन करने के लिए अक्सर दो प्रकार के यादृच्छिक मॉडलों का उपयोग करते हैं:

"स्टीनहास" (Steinhaus) मॉडल: कल्पना कीजिए कि कॉइन फ्लिप वृत्त पर किसी भी बिंदु पर लैंड कर सकते हैं (जटिल संख्याएं)। यह एक स्पिनर की तरह है जो कहीं भी इशारा कर सकता है।
"रेडेमेकर" (Rademacher) मॉडल (यह शोध पत्र): कॉइन फ्लिप सख्ती से +1 या -1 हैं। यह एक सरल, अधिक कठोर मॉडल है।

ट्विस्ट:
"स्टीनहास" (स्पिनर) मॉडल में, योग में सबसे बड़े उछाल "यूलर प्रोडक्ट" (एक विशाल गुणनफल) नामक एक विशिष्ट प्रकार की गणितीय संरचना से आते हैं। यह ऐसा है जैसे सबसे बड़ी लहरें एक विशिष्ट हवा के पैटर्न के कारण होती हैं।

हालाँकि, "रेडेमेकर" (कॉइन फ्लिप) मॉडल में, लेखक ने पाया कि सबसे बड़े उछाल एक अलग स्रोत से आते हैं: मल्टीप्लिकेटिव केओस (Multiplicative Chaos)।

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

"लार्ज प्राइम" (Large Prime) शॉर्टकट

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

निष्कर्ष:
जब आप केवल इन "लार्ज प्राइम" संख्याओं तक सीमित रहते हैं, तो योग बहुत बेहतर व्यवहार करता है। सीमा काफी कम होकर लगभग $(\log \log x)^{1/4}$ हो जाती है।

उपमा:
कल्पना कीजिए कि आप मौसम की भविष्यवाणी करने की कोशिश कर रहे हैं। यदि आप सभी मौसम के पैटर्न को देखते हैं, तो यह अराजक है। लेकिन यदि आप केवल उन दिनों को देखते हैं जब एक विशाल तूफान मौजूद है, तो पैटर्न बहुत अधिक अनुमानित और छोटे पैमाने के हो जाते हैं। "लार्ज प्राइम" संख्याएँ एक फिल्टर की तरह काम करती हैं जो सबसे अराजक शोर को हटा देती है, जिससे एक स्वच्छ, छोटी सीमा दिखाई देती है।

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

लेखक इसे प्रसिद्ध रीमान हाइपोथीसिस (Riemann Hypothesis) से जोड़ता है, जो गणित की सबसे अनसुलझी समस्याओं में से एक है। रीमान हाइपोथीसिस इस बात से संबंधित है कि "मोबियस फंक्शन" (हमारा यादृच्छिक $f(n)$ का एक चचेरा भाई) कैसे व्यवहार करता है।

वास्तविकता की जांच: लेखक सुझाव देता है कि जबकि हमारा यादृच्छिक कॉइन-फ्लिप मॉडल ( $f(n)$ ) इन योगों का अध्ययन करने का एक अच्छा तरीका है, यह वास्तविक मोबियस फंक्शन के व्यवहार की सटीक भविष्यवाणी नहीं कर सकता है। यादृच्छिक मॉडल दिखाता है कि योग काफी बड़ा हो सकता है (अराजकता के कारण), जो यह संकेत देता है कि यदि वास्तविक मोबियस फंक्शन भी इसी तरह व्यवहार करता है, तो रीमान हाइपोथीसिस को सिद्ध करना हमारी सोच से कहीं अधिक कठिन हो सकता है।

उपयोग किए गए "टूल्स" का सारांश

इन सीमाओं को सिद्ध करने के लिए, लेखक ने केवल अनुमान नहीं लगाया। उन्होंने एक "टूलबॉक्स" का उपयोग किया जिसमें उन्नत संभाव्यता (probability) तकनीकें शामिल थीं:

मार्टिंगेल्स (Martingales): एक रैंडम वॉक को ट्रैक करने का तरीका जहाँ भविष्य केवल वर्तमान पर निर्भर करता है, अतीत पर नहीं। उन्होंने योग को चरणों की एक श्रृंखला के रूप में माना जहाँ वे "वैरिएंस" (यह कितना डगमगा सकता है) का अनुमान लगा सकते थे।
समस्या को विभाजित करना (Splitting the Problem): उन्होंने विशाल योग को अभाज्य गुणनखंडों के आकार (छोटे अभाज्य बनाम बड़े अभाज्य) के आधार पर छोटे टुकड़ों में तोड़ दिया और उनका अलग-अलग विश्लेषण किया।
यूलर प्रोडक्ट्स (Euler Products): उन्होंने योग को एक विशाल गुणन समस्या के रूप में देखा और सिस्टम की "ऊर्जा" को मापने के लिए जटिल कैलकुलस (इंटीग्रल्स) का उपयोग किया।

निष्कर्ष

क्रिस्टोफर एथरफोल्ड ने इन यादृच्छिक संख्या योगों के "जंगल" का एक सटीक मानचित्र खींचा है। उन्होंने सिद्ध किया कि हालांकि ये योग बहुत दूर तक जा सकते हैं, लेकिन वे एक विशिष्ट, धीरे-धीरे बढ़ने वाली सीमा द्वारा सख्ती से बंधे हुए हैं। उन्होंने यह भी खोजा कि इस कॉइन-फ्लिप मॉडल में "जंगलीपन" (wildness) अन्य गणितीय मॉडलों की तुलना में एक अलग स्रोत से आता है, जो यह उजागर करता है कि सिक्का उछालने (+1/-1) का सरल कार्य एक अद्वितीय प्रकार की गणितीय अराजकता पैदा करता है।

तकनीकी सारांश: रेडमेकरert (Rademacher) गुणात्मक फलनों के भारित योगों के लिए लगभग निश्चित सीमाएँ

समस्या विवरण
यह शोध पत्र रेडमेकर गुणात्मक फलनों के भारित आंशिक योगों के लगभग निश्चित व्यवहार की जांच करता है, जिन्हें इस प्रकार परिभाषित किया गया है:
$M_f(x) := \sum_{n \le x} \frac{f(n)}{\sqrt{n}}$
जहाँ $f(n)$ एक रेडमेकर गुणात्मक फलन है (अभाजों पर स्वतंत्र रेडमेकर चर, जो वर्ग-मुक्त पूर्णांकों तक गुणात्मक रूप से विस्तारित हैं, और अन्यथा शून्य हैं)। यह समस्या रीमान हाइपोथीसिस (Riemann Hypothesis) के संबंध में म्यूबियस फलन (Möbius function) $\mu(n)$ के कैंसिलेशन गुणों को समझने के लिए एक संभावabilistic मॉडल के रूप में कार्य करती है।

यह अध्ययन "स्टीनहेस" (Steinhaus) मामले (जहाँ $f(p)$ इकाई वृत्त पर समान वितरण वाले होते हैं) के विपरीत है, जहाँ हार्डी (Hardy) के पिछले कार्यों ने लॉ ऑफ इटरेटेड लॉगरिदम (LIL) के समान बाउंड्स स्थापित किए थे। केंद्रीय प्रश्न यह है कि क्या रेडमेकर मामला समान उतार-चढ़ाव का आकार प्रदर्शित करता है या क्या रेडमेकर यूलर उत्पाद (Euler product) की नियत संरचना भिन्न विषम व्यवहार की ओर ले जाती है।

कार्यप्रणाली
प्रमाण रणनीति कैच (Caich) (अभारित रेडमेकर बाउंड्स), हार्डी (भारित स्टीनहेस बाउंड्स), और मास्ट्रोस्टेफ़ानो (बड़े अभाज गुणनखंड प्रतिबंधों) की तकनीकों का संश्लेषण करती है। कार्यप्रणाली कई प्रमुख चरणों के माध्यम से आगे बढ़ती है:

परीक्षण बिंदुओं (Test Points) में न्यूनीकरण: लाउ-टेनेनबाम-वू (Lau–Tenable–Wu) और कैच के अनुसरण में, निरंतर चर $x$ को परीक्षण बिंदुओं के एक विरल अनुक्रम $x_i = [e^{i\gamma}]$ में कम किया जाता है। यह प्रथम बोरेल-कैन्टेली लेम्मा (Borel–Cantelli lemma) के उपयोग की अनुमति देता है, बशर्ते परीक्षण बिंदुओं के बीच के अंतर को नियंत्रित किया जा सके।
अभाज गुणनखंड विभाजन (Prime Factor Splitting): $M_f(x_i)$ $M_{f} (x_{i})$ के योग को पूर्णांकों के सबसे बड़े अभाज गुणनखंड $P(n)$ $P (n)$ के आधार पर विभाजित किया जाता है। एक अनुक्रम कटऑफ $y_j$ $y_{j}$ को निम्नलिखित में विभाजित करने के लिए पेश किया जाता है:
- स्मूथ संख्याएँ ( $P(n) \le y_0$ )।
- $y_{j-1} < P(n) \le y_j$ की श्रेणियों पर योग।
  यह अपघटन एक मार्टिंगेल डिफरेंस (martingale difference) संरचना को प्रकट करता है, जिससे डोब के असमानताओं (Doob's inequalities) और अज़ुमा-होफ़डिंग (Azuma–Hoeffding) बाउंड्स को लागू करना संभव होता है।
यूलर उत्पाद विश्लेषण: ऊपरी बाउंड का मुख्य भाग रेडमेकर यूलर उत्पाद के विश्लेषण पर आधारित है:
$F_y(s) = \prod_{p \le y} \left(1 + \frac{f(p)}{p^s}\right)$
स्टीनहेस मामले के विपरीत, रेडमेकर उत्पाद में ट्रांसलेशन इनवेरिएंस (translation invariance) का अभाव है। शोध पत्र इन उत्पादों के मोमेंट्स को बाउंड करने के लिए हार्पर (Harper) के "मल्टीप्लिकेटिव केओस" (Multiplicative Chaos) परिणामों और गॉसियन रैंडम वॉक अनुमानों का उपयोग करता है।
नियत बनाम यादृच्छिक योगदान को संभालना: रेडमेकर मामले में एक महत्वपूर्ण अंतर रेडमेकर यूलर उत्पाद के लघुगणक (logarithm) में एक नियत नकारात्मक पद की उपस्थिति है (जो $\log(1+f(p)/p^s)$ के विस्तार से उत्पन्न होता है)। शोध पत्र दिखाता है कि $s=1/2$ के लिए, यह नियत पद यादृच्छिक उतार-चढ़ाव पर हावी हो जाता है, जबकि स्टीनहेस मामले में, यादृच्छिक केओस (random chaos) मुख्य चालक होता है।
निम्नतम बाउंड (Lower Bound) निर्माण: निम्नतम बाउंड स्टीनहेस फलनों के लिए हार्डी की विधि को अनुकूलित करता है लेकिन रेडमेकर उत्पाद की विशिष्ट संरचना को ध्यान में रखता है। यह यूलर उत्पाद के इंटीग्रल पर जेन्सन की असमानता (Jensen's inequality) का उपयोग करके एक नियत योगदान को अलग करता है जिसका आकार $\log \log x$ है।

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

प्रमेय 1 (ऊपरी बाउंड): किसी भी $\epsilon > 0$ के लिए, लगभग निश्चित रूप से:
$M_f(x) \ll (\log \log x)^{3/4 + \epsilon}$
यह बाउंड $(\log \log x)^{1/4}$ के पूर्वानुमान से काफी बड़ा है जो स्टीनहेस मामले या लॉ ऑफ इटरेटेड लॉगरिदम के प्रत्यक्ष सादृश्य से अपेक्षित था। लेखक इसका श्रेय इसे रेडमेकर यूलर उत्पाद के विशिष्ट व्यवहार के कारण होने वाले "मल्टीप्लिकेटिव केओस" योगदान को देता है।
प्रमेय 2 (प्रतिबंधित ऊपरी बाउंड): जब योग को एकल बड़े अभाज गुणनखंड ( $P(n) > \sqrt{x}$ ) वाले पूर्णांकों तक सीमित किया जाता है, तो बाउंड सुधरकर निम्न हो जाता है:
$\sum_{\substack{n \le x \\ P(n) > \sqrt{x}}} \frac{f(n)}{\sqrt{n}} \ll (\log \log x)^{1/4 + \epsilon}$
यह सुझाव देता है कि प्रमेय 1 में बड़ा बाउंड कई अभाज गुणनखंडों वाले पूर्णांकों के परस्पर क्रिया (विशेष रूप से, भारित मामले में स्मूथ योगदान को अलग करने की कठिनाई) से उत्पन्न होता है।
प्रमेय 3 (निम्नतम बाउंड): $x$ के मनमाने रूप से बड़े मानों के लिए विद्यमान है कि:
$|M_f(x)| \gg (\log \log x)^{-1/2}$
प्रमाण निम्नतम बाउंड विश्लेषण में एक नियत योगदान की पहचान करता है जो स्टीनहेस सेटिंग में अनुपस्थित है।
कोरोलरी 1 (पूर्णतः गुणात्मक मामला): परिणामों को पूर्णतः गुणात्मक रेडमेकर फलन $f^*(n)$ पर लागू किया जाता है, जिससे प्राप्त होता है:
$\sum_{n \le x} \frac{f^*(n)}{\sqrt{n}} \ll \log x (\log \log x)^{3/4 + \epsilon}$
लगभग निश्चित रूप से।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह पहला परिणाम है जो यह दर्शाता है कि रेडमेकर मॉडल भारित योगों के संदर्भ में स्टीनहेस मॉडल की तुलना में अधिक कैंसिलेशन (कुछ ऑर्डर्स के लिए छोटे मोमेंट्स के अर्थ में, हालांकि यहाँ विशिष्ट वेटिंग के कारण ऊपरी बाउंड बड़ा है) प्रदान करता है।

प्राथमिक महत्व रेडमेकर मामले में बड़े उतार-चढ़ाव के लिए प्रमुख कारक के रूप में मल्टीप्लिकेटिव केओस योगदान की पहचान करने में निहित है, जो स्टीनहेस मामले से भिन्न है जहाँ स्वयं यादृच्छिक यूलर उत्पाद का आकार उतार-चढ़ाव को संचालित करता है। लेखक नोट करता है कि प्रमेय 1 में ऊपरी बाउंड संभवतः शार्प (sharp) नहीं है, और यह अनुमान लगाता है कि वास्तविक क्रम $(\log \log x)^{1/4 + \epsilon}$ है, जो प्रतिबंधित मामले और स्टीनहेस मामले से मेल खाता है। सिद्ध ऊपरी बाउंड और अनुमानित शार्प बाउंड के बीच का अंतर भारित सेटिंग में "स्मूथ" भाग (बिना बड़े अभाज गुणनखंड वाले पूर्णांक) को नियंत्रित करने की कठिनाई के कारण है।

यह कार्य हार्पर के लो मोमेंट्स (low moments) और मल्टीप्लिकेटिव केओस पर काम के "ब्लैक बॉक्स" संभाव्यता परिणामों पर बहुत अधिक निर्भर करता है, जो रेडमेकर चरों और भारित योगों के विशिष्ट प्रतिबंधों के लिए अनुकूलित हैं। यह शोध पत्र नए प्रयोगात्मक अनुप्रयोगों का प्रस्ताव नहीं करता है बल्कि यादृच्छिक गुणात्मक फलनों की एक परिष्कृत सैद्धांतिक समझ प्रदान करता है, जो संभावित रूप से ऐसे योगों के लिए भविष्य के मात्रात्मक सेंट्रल लिमिट थ्योरम्स को सूचित कर सकता है।