A sharp almost sure upper bound for partial sums of random multiplicative functions

तकनीकी सारांश: आंशिक योगों के लिए एक तीक्ष्ण लगभग निश्चित ऊपरी सीमा (A Sharp Almost Sure Upper Bound for Partial Sums of Random Multiplicative Functions)

समस्या विवरण (Problem Statement)
यह शोध पत्र एक यादृच्छिक गुणात्मक फलन (random multiplicative function) $f$ के आंशिक योगों $M_f(x) = \sum_{n \le x} f(n)$ के लगभग निश्चित अनंत व्यवहार (almost sure asymptotic behavior) को संबोधित करता है। यह अध्ययन दो विशिष्ट मॉडलों पर केंद्रित है:

1. स्टीनहाइस मॉडल (Steinhaus Model): $f(p)$ इकाई वृत्त $\mathbb{T}$ पर स्वतंत्र और समान रूप से वितरित (uniformly distributed) हैं, जिसे पूर्णतः गुणात्मक रूप से विस्तारित किया गया है।
2. रेडेमेकर मॉडल (Rademacher Model): $f(p)$ स्वतंत्र सममित चिह्न ($\pm 1$) हैं, जिन्हें वर्गमुक्त पूर्णांकों (squarefree integers) तक गुणात्मक रूप से विस्तारित किया गया है (जो $\mu^2(n)=1$ पर समर्थित है)।

जबकि दूसरा क्षण (second moment) $E|M_f(x)|^2$ का पैमाना $x$ है, सहसंबंधों (correlations) के कारण लगभग निश्चित ऊपरी सीमा (almost sure upper bound) के बड़े होने की अपेक्षा है। पिछले कार्यों ने $\sqrt{x}(\log \log x)^{1/4}$ के क्रम का एक निचला स्तर (lower bound) स्थापित किया था (हारपर [12]) और बड़े लघुगणकीय घातांकों वाले विभिन्न ऊपरी स्तर स्थापित किए थे, जैसे कि $\sqrt{x}(\log \log x)^{2+\varepsilon}$ (बास्क्विन [3]; लौ-टेनेनबौम-वू [13]) और $\sqrt{x}(\log \log x)^{3/4+\varepsilon}$ (कैच [5])। हारपर ने अनुमान लगाया था कि तीक्ष्ण लगभग निश्चित ऊपरी सीमा घातांक में किसी भी $\varepsilon$ कारक तक निचले स्तर से मेल खानी चाहिए, विशेष रूप से $\sqrt{x}(\log \log x)^{1/4+\varepsilon}$।

कार्यप्रणाली (Methodology)
लेखक अनुमानित सीमा को सिद्ध करने के लिए एक बहु-चरणीय संभाव्य और विश्लेलेषणात्मक रणनीति का उपयोग करते हैं। प्रमाण कैच [5] के सामान्य ढांचे का अनुसरण करता है लेकिन एक महत्वपूर्ण परिष्करण (refinement) के साथ क्षण अनुमान (moment estimation) में।

1. विविक्तकरण और अंतर्वेशन (Discretization and Interpolation):
   निरंतर चर $x$ को "परीक्षण बिंदुओं" (test points) के एक विरल अनुक्रम $x_i = \lfloor \exp(i c_0) \rfloor$ द्वारा प्रतिस्थापित किया जाता है। लेम्मा 3.8 यह प्रदर्शित करता है कि क्रमिक परीक्षण बिंदुओं के बीच $M_f(x)$ का उतार-चढ़ाव नगण्य है (किसी भी $\log x$ की घात से छोटा), जिससे समस्या को $M_f(x_i)$ को बांधने तक सीमित करने की अनुमति मिलती है।

2. सबसे बड़े अभाज्य का अपघटन (Largest-Prime Decomposition):
   $M_f(x_i)$ को $x_i$ तक के पूर्णांकों के सबसे बड़े अभाज्य गुणनखंड $P(n)$ के आधार पर विघटित किया जाता है। अभाज्य संख्याओं को ब्लॉकों $(y_{j-1}, y_j]$ में विभाजित किया गया है।

• स्मूथ टर्म (Smooth Term): वे पूर्णांक जहाँ $P(n) \le y_0$ है।
• एकल-उपस्थिति टर्म ($M_f^{(1)}$): वे पूर्णांक जहाँ सबसे बड़ा अभाज्य ठीक एक बार आता है। यह एक अभाज्य-सूचकांकित मार्टिंगेल (prime-indexed martingale) बनाता है।
• पुनरावृत्ति-उपस्थिति टर्म ($M_f^{(2)}$): वे पूर्णांक जहाँ सबसे बड़ा अभाज्य कम से कम दो बार आता है। रेडमेकर मॉडल में, यह टर्म शून्य हो जाता है।

3. स्मूथिंग और द्विघात भिन्नता (Smoothing and Quadratic Variation):
   एकल-उपस्थिति टर्म का नियंत्रण इसके पूर्वानुमेय द्विघात भिन्नता (predictable quadratic variation) $V_\ell(x_i; f)$ को बांधने पर निर्भर करता है। लेखक $V_\ell$ को एक मुख्य लघुगणकीय माध्य वर्ग पद $M_\ell$ और कई सहायक त्रुटि पदों ($\lambda$-पदों, सीमा पदों, और $W$-पदों) से संबंधित करने के लिए एक स्मूथिंग असमानता (प्रस्ताव 3.15) का उपयोग करते हैं। सहायक पदों को मानक संभाव्य उपकरणों (डूब्स की असमानताओं, अज़ुमा-होफ़डिंग) के माध्यम से समाप्य (summable) दिखाया गया है।

4. मुख्य नवाचार: सशर्त उच्च क्षण (Key Innovation: Conditional Higher Moments):
   मुख्य कठिनाई $J \asymp \log \log x$ अभाज्य ब्लॉकों में समान रूप से $M_\ell$ को नियंत्रित करने में निहित है।

• पिछला दृष्टिकोण (कैच): ब्लॉकों पर योग किए गए सशर्त प्रथम-क्षण अनुमानों पर निर्भर था, जिसके परिणामस्वरूप $\sqrt{\log \log x}$ के कारक का नुकसान हुआ।
• वर्तमान दृष्टिकोण: लेखक एक निश्चित सशर्त $r$-वें क्षण अनुमान (स्टीनहाइस के लिए प्रस्ताव 5.2, रेडमेकर के लिए प्रस्ताव 7.8) पेश करते हैं। वे एक झुके हुए, सामान्यीकृत यूलर उत्पाद इंटीग्रल $I_j$ को परिभाषित करते हैं और सिद्ध करते हैं कि यह एक सुपरमार्टिंगेल (लेम्मा 5.1, लेम्मा 7.7) बनाता है।
• महत्वपूर्ण रूप से, वे स्थापित करते हैं कि $E[U_j^r \mid \mathcal{F}_{y_{j-1}}] \ll I_{j-1}^r$, जहाँ $U_j$, मुख्य पद पर हावी है। यह उच्च-क्षण नियंत्रण, एक स्टॉपिंग तर्क (हारपर [9] के लिए स्टीनहाइस मामले में $2/3$-मोमेंट बाउंड का उपयोग करते हुए और रेडमेकर के लिए एक शिफ्ट अनुमान के साथ) के साथ मिलकर, एक क्षतिपूर्ति कारक $L^{-1}$ (जहाँ $L \asymp \log \log x$) प्रदान करता है। यह सटीक रूप से $J$ ब्लॉकों पर यूनियन बाउंड को रद्द करता है, जिससे अतिरिक्त $\sqrt{\log \log x}$ का नुकसान समाप्त हो जाता है।

5. मॉडल-विशिष्ट समायोजन (Model-Specific Adjustments):

• स्टीनहाइस: मानक हाइपरकॉन्ट्रैक्टिव असमानता (लेम्मा 3.1) और पूर्ण-रेखा माध्य वर्ग के लिए हारपर के निम्न-मोमेंट अनुमान (लेम्मा 4.1) का उपयोग करता है।
• रेडेकर: इसे संशोधनों की आवश्यकता है क्योंकि चिह्न घूर्णी रूप से अपरिवर्तनीय (rotationally invariant) नहीं होते हैं। लेखक एक शिफ्ट की गई इकाई-अंतराल अनुमान (लेम्मा 7.4) का उपयोग करते हैं और रेडमेकर मॉडल की विशिष्ट यूलर उत्पाद संरचना (लेम्मा 7.7) के लिए सुपरमार्टिंगेल निर्माण को अनुकूलित करते हैं।

मुख्य परिणाम (Key Results)
मुख्य प्रमेय दोनों मॉडलों के लिए तीक्ष्ण लगभग निश्चित ऊपरी सीमा स्थापित करता है:

प्रमेय 1: मान लीजिए कि $f$ एक स्टीनहाइस या रेडमेकर यादृच्छिक गुणात्मक फलन है। प्रत्येक $\varepsilon > 0$ के लिए, लगभग निश्चित रूप से:
$$|M_f(x)| \ll_{\varepsilon, f} \sqrt{x} (\log \log x)^{1/4 + \varepsilon}$$

यह प्रस्ताव 1.1 द्वारा समर्थित है, जो एक अधिक सटीक निश्चित-क्रम कथन प्रदान करता है: किसी भी पूर्णांक $r \ge 2$ और $\eta > 0$ के लिए, लगभग निश्चित रूप से:
$$|M_f(x)| \ll_{r, \eta, f} \sqrt{x} (\log \log x)^{1/4 + 1/(2r) + \eta}$$

हारपर के निचले स्तर (1.6) के साथ संयोजन करते हुए, लेखक सटीक लघुगणकीय घातांक (exact logarithmic exponent) प्राप्त करते हैं:
$$\limsup_{x \to \infty} \frac{\log(1 + |M_f(x)|/\sqrt{x})}{\log \log \log x} = \frac{1}{4}$$

महत्व और दावे (Significance and Claims)
यह शोध पत्र यादृच्छिक गुणात्मक फलनों के बड़े उतार-चढ़ाव के संबंध में हारपर के अनुमान को सुलझाने का दावा करता है। $1/4$ के सटीक लघुगणकीय घातांक को निर्धारित करके, यह कार्य पिछले ऊपरी स्तरों (जिनमें $2$या$3/4$ जैसे घातांक थे) और ज्ञात निचले स्तर के बीच के अंतर को हल करता है।

लेखक इस बात पर जोर देते हैं कि प्रमाण स्वतंत्रता तर्कों (जो गुणात्मक सहसंबंधों के कारण विफल हो जाते हैं) पर निर्भर नहीं है, बल्कि इस सूक्ष्म समझ पर है कि ये सहसंबंध $x$ के बदलने के साथ कैसे बने रहते हैं। प्राथमिक तकनीकी योगदान पिछले कार्य के सशर्त प्रथम-मोमेंट चरण को एक एकल अभाज्य ब्लॉक पर निश्चित सशर्त $r$-वें क्षण अनुमान से बदलना है। यह नवाचार $\log \log x$ संख्या के लघुगणक अभाज्य ब्लॉकों पर यूनियन बाउंड को सटीक रूप से अवशोषित करने की अनुमति देता है, जिससे अनुमानित घातांक प्राप्त होता है। यह पत्र दावा करता है कि यह परिणाम, निचले स्तर के साथ मिलकर, इन यादृच्छिक गुणात्मक फलनों के आंशिक योगों के आकार को पूरी तरह से वर्णित करता है।