Correlations of multiplicative functions with their partial sums

तकनीकी सारांश: उनके आंशिक योगों के साथ गुणत्मक फलनों के सहसंबंध (Correlations)

समस्या विवरण
यह शोध पत्र गुणत्मक फलनों (multiplicative functions) और उनके संगत योगवर्ती (आंशिक योग) फलनों के बीच सहसंबंध की जांच करता है, विशेष रूप से मूबियस फलन $\mu(n)$ और उसके योगवर्ती फलन $M(n)$ (मर्टेंस फलन), तथा लिउविल फलन $\lambda(n)$ और उसके योगवर्ती फलन $L(n)$ पर ध्यान केंद्रित करता है। लेखक एक विशिष्ट लघुगणकीय औसत सहसंबंध माप को परिभाषित करता है:
$$\langle a(n)A(n-1) \rangle(T) = \frac{1}{\zeta(1+\delta(T))} \sum_{n \le T^{1-c}} \frac{a(n)A(n-1)}{n^{1+\delta(T)}}$$
जहाँ $0 < c < 1$ है और $\delta(T)$ एक उपयुक्त पैरामीटर है जो $T \to \infty$ होने पर क्षय होता है। केंद्रीय समस्या यह निर्धारित करना है कि रीमान परिकल्पना (RH) और शून्यता की सरलता अनुमान (SZC) के तहत इन सहसंबंधों का अनंत व्यवहार (asymptotic behavior) क्या है। यह अध्ययन स्पष्ट करने का प्रयास करता है कि क्या ये फलन अपने आंशिक योगों के साथ प्रति-सहसंबंध (anticorrelation) प्रदर्शित करते हैं और $1/\zeta'(\rho)$ की वृद्धि दर (जहाँ $\rho$, रीमान ज़ेटा फलन के गैर-तुच्छ शून्य $\rho$ को दर्शाता है) पर क्या प्रभाव पड़ता है।

कार्यप्रणाली (Methodology)
प्रमाणों के लिए विश्लेषणात्मक संख्या सिद्धांत की तकनीकों पर भरोसा किया गया है, विशेष रूप से योगवर्ती फलनों को ज़ेटा फलन के शून्यों से जोड़ने वाले स्पष्ट सूत्रों (explicit formulas) पर। कार्यप्रणाली इस प्रकार है:

1. स्पष्ट सूत्र (Explicit Formulas): लेखक पेरोन के सूत्र (Perron's formula) और अवशेषों के कलन (calculus of residues) से प्राप्त $M(n-1)$ और $L(n-1)$ के स्पष्ट सूत्रों का उपयोग करता है। RH और SZC के तहत, इन्हें गैर-तुच्छ शून्यों $\rho = 1/2 + i\gamma$ के योग के रूप में व्यक्त किया जाता है:
   • $M(n-1) \approx \sum_{|\gamma|<T} \frac{n^\rho}{\rho \zeta'(\rho)} + \text{त्रुटि पद (error terms)}$.
   • $L(n-1) \approx \frac{n^{1/2}}{\zeta(1/2)} + \sum_{|\gamma|<T} \frac{\zeta(2\rho)n^\rho}{\rho \zeta'(\rho)} + \text{त्रुटि पद}$.
2. परिमित योग सन्निकटन (Finite Sum Approximations): शोध पत्र आंशिक योग (partial summation) का उपयोग करके $\mu(n)$, $\mu^2(n)$, $\lambda(n)$, और $\lambda^2(n)$ के डिरिचलेट श्रेणी (Dirichlet series) पहचानों के परिमित संस्करण स्थापित करता है। इन सन्निकटनों में $N$ (ट्रंकेशन सीमा) और $\epsilon$ पर निर्भर स्पष्ट त्रुटि सीमाएं शामिल हैं।
3. लॉरेंट विस्तार और पैरामीटर चयन: प्रमाण का मुख्य भाग भारित योग $\sum \frac{a(n)A(n-1)}{n^{1+\delta}}$ के मूल्यांकन में निहित है। लेखक $\delta=0$ के आसपास $\zeta(1+\delta)$ और $\zeta(1-\rho+\delta)$ का लॉरेंट श्रेणी (Laurent series) का उपयोग करके विस्तार करता है। एक महत्वपूर्ण चरण एक विशिष्ट फलन $\delta(T)$ का निर्माण करना है (जो $T$ और शून्यों $\rho$ पर निर्भर है) जो त्रुटि पदों के अभिसरण (convergence) को सुनिश्चित करता है और शून्य योगों के प्रमुख योगदानों को अलग करता है।
4. सीमा विश्लेषण (Limit Analysis): ट्रंकेशन सीमा $N = T^{1-c}$ निर्धारित करके और $T \to \infty$ होने पर, लेखक स्थिर पदों और शून्यों के योगों को अलग करता है, जिससे यह सिद्ध होता है कि त्रुटि पद लुप्त हो जाते हैं या $O(1/N)$ द्वारा सीमित रहते हैं।

प्रमुख योगदान और परिणाम
शोध पत्र सहसंबंधों के अनंत सीमाओं का वर्णन करने वाले दो मुख्य प्रमेय प्रस्तुत करता है:

• प्रमेय 1 (Möbius Correlation): RH और SZC के तहत, $\mu(n)$ और $M(n-1)$ के बीच सहसंबंध इस प्रकार दिया गया है:
  $$\langle \mu(n)M(n-1) \rangle(T) = -\frac{3}{\pi^2} \left(1 - T^{(c-1)\delta(T)}\right) + \sum_{0<\gamma<T} \frac{1}{|\rho \zeta'(\rho)|^2}$$
  परिणाम एक नकारात्मक पूर्वाग्रह (negative bias/anticorrelation) का सुझाव देता है जो $-3/\pi^2$ पद द्वारा प्रधान है।

• प्रमेय 2 (Liouville Correlation): RH और SZC के तहत, $\lambda(n)$ और $L(n-1)$ के बीच सहसंबंध इस प्रकार दिया गया है:
  $$\langle \lambda(n)L(n-1) \rangle(T) = \frac{1}{2} \left( \frac{1}{\zeta^2(1/2)} - 1 + T^{(c-1)\delta(T)} \right) + \sum_{0<\gamma<T} \left| \frac{\zeta(2\rho)}{\rho \zeta'(\rho)} \right|^2$$
  अग्रणी पद $\frac{1}{2}(\frac{1}{\zeta^2(1/2)} - 1)$ लगभग $-0.2655$ है, जो नकारात्मक सहसंबंध को ही दर्शाता है।

• संख्यात्मक साक्ष्य (Numerical Evidence): शोध पत्र $N \le 10^7$ के लिए संख्यात्मक प्लॉट्स प्रदान करता है जो दिखाते हैं कि $\mu(n)M(n-1)$ और $\lambda(n)L(n-1)$ दोनों के लिए गणना किए गए लघुगणकीय औसत मजबूती से नकारात्मक हैं, जो सैद्धांतिक भविष्यवाणियों के अनुरूप हैं।

महत्व और निहितार्थ
इन परिणामों का प्राथमिक महत्व ज़ेटा फलन के शून्यों पर उसके व्युत्पन्न (derivative) $1/\zeta'(\rho)$ के परिमाण के संबंध में उनके उप-अनुमानों (corollaries) में निहित है।

• उप-अनुमान 1 (Corollary 1): यदि प्रमेय 1 का दायां पक्ष नकारात्मक है (जैसा कि संख्यात्मक डेटा द्वारा सुझाया गया है), तो यह एक प्रभावी ऊपरी सीमा का संकेत देता है:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho|) \quad \text{जब } |\gamma| \to \infty$$
• उप-अनुमान 2 (Corollary 2): इसी तरह, यदि प्रमेय 2 का दायां पक्ष नकारात्मक है, तो यह संकेत देता है:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho| \log \log |\gamma|) \quad \text{जब } |\gamma| \to \infty$$

शोध पत्र नोट करता है कि $1/|\zeta'(\rho)|$ के लिए प्रभावी ऊपरी सीमाएं खोजना एक लंबे समय से चली आ रही खुली समस्या है। जबकि निचली सीमाएं (lower bounds) अच्छी तरह से अध्ययन की गई हैं, प्रभावी ऊपरी सीमाएं कम समझी गई हैं। लेखक चेतावनी देते हैं कि इन संख्यात्मक परिणामों की सावधानीपूर्वक व्याख्या की जानी चाहिए, मर्टेंस के अनुमान (Mertens' conjecture) के ऐतिहासिक उदाहरण का हवाला देते हुए (जिसे मजबूत संख्यात्मक साक्ष्य के बावजूद गलत सिद्ध किया गया था) यह जोर देने के लिए कि संख्यात्मक रुझान प्रमाण नहीं होते हैं। हालांकि, व्युत्पन्न अनंत सूत्रों और देखे गए नकारात्मक सहसंबंधों का संयोजन यह सुझाव देता है कि $|1/\zeta'(\rho)|$ के लिए प्रभावी ऊपरी सीमाएं अस्तित्व में हो सकती हैं, जो ज़ेटा फलन के शून्यों के वितरण पर एक नया दृष्टिकोण प्रदान करती हैं।