On the discrete convolution of the Liouville and Möbius functions

यहाँ मार्को कैंतारिनी, अलेस्सांद्रो गैम्बिनी और अलेस्सांद्रो ज़ैकग्नाइन द्वारा लिखित शोध पत्र "On the Discrete Convolution of the Liouville and Möbius Functions" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र लिउविले फलन (Liouville function) $\lambda(n)$ और मोबियस फलन (Möbius function) $\mu(n)$ के विविक्त संवलन (discrete convolution) के अंकगणितीय गुणों की जांच करता है। विशेष रूप से, यह इस योग पर केंद्रित है:
$$S(N) := \sum_{m_1 + m_2 = N} \lambda(m_1)\lambda(m_2)$$
और $d$ कारकों के लिए इसका सामान्यीकरण:
$$S_d(N) := \sum_{m_1 + \dots + m_d = N} \lambda(m_1)\dots\lambda(m_d)$$

यह समस्या गोल्डबैक अनुमान (Goldbach conjecture) के समान है, जो वॉन मंगलड्ट फलन (von Mangoldt function) $\Lambda(n)$ के संवलन से संबंधित है। जहाँ गोल्डबैक समस्या सम $N$ के लिए $R(N) > 0$ सिद्ध करने का प्रयास करती है, वहीं लिउविले/मोबियस संवलन समस्या $S(N)$ के अनंतस्पर्शी व्यवहार (asymptotic behavior) के बारे में पूछती है। पूर्ववर्ती कार्यों (कोराडी और काताई, मैन्गेरेल) ने कुछ परिकल्पनाओं के तहत या बड़े $N$ के लिए यह स्थापित किया है कि $S(N) = o(N)$ है।

इस शोध पत्र का प्राथमिक लक्ष्य इन संवलन योगों के भारित औसत (weighted averages) के लिए स्पष्ट सूत्र (explicit formulas) प्राप्त करना है। इन सूत्रों का उद्देश्य इन योगों के वितरण, $\zeta(s)$ के गैर-तुच्छ शून्य (non-trivial zeros) के साथ उनके संबंध, और उनके संबंधित डिरिचलेट और घात श्रेणियों (Dirichlet and power series) के विश्लेषणात्मक गुणों की गहरी समझ प्रदान करना है।

2. कार्यप्रणाली (Methodology)

लेखक विश्लेषणात्मक संख्या सिद्धांत की तकनीकों के संयोजन का उपयोग करते हैं, विशेष रूप से:

• पेरोन के सूत्र (Perron's Formula) के माध्यम से स्पष्ट सूत्र: मुख्य रणनीति लिउविले फलन से जुड़ी डिरिचलेट श्रेणी, $\frac{\zeta(2s)}{\zeta(s)}$, पर पेरोन के सूत्र को लागू करने की है।
• $0 < x < 1$ के लिए विस्तार: एक महत्वपूर्ण तकनीकी नवाचार $L(x) = \sum_{n \le x} \lambda(n)$ के संचयी फलन (summatory function) के लिए ऐसे स्पष्ट सूत्रों का व्युत्पन्न है जो सभी $x > 0$ के लिए मान्य हैं, न कि केवल $x \ge 1$ के लिए। यह आवश्यक है क्योंकि संवलन इंटीग्रल $\int_0^x L(y)L(x-y)dy$ में $L$ के 0 के निकट मान शामिल होते हैं।
• लाप्लास संवलन (Laplace Convolution): लेखक $L(x)$ के अपने साथ लाप्लास संवलन, जिसे $C_\lambda(x) = \int_0^x L(y)L(x-y)dy$ के रूप में दर्शाया गया है, का अध्ययन करते हैं। वे दिखाते हैं कि यह इंटीग्रल $S(n)$ के क्रम 1 के सेसेरो औसत (Cesàro average) के अनुरूप है।
• सामान्य भारित औसत (General Weighted Averages): एक पिछले कार्य [6] में स्थापित सामान्य ढांचे का उपयोग करते हुए, लेखक $\sum \lambda(n)\lambda(m)f(\frac{n+m}{\eta})$ जैसे भारित योगों के लिए एक सूत्र व्युत्पन्न करते हैं। इसमें एक भार फलन (weight function) $f$ के विरुद्ध $L(x)$ के स्पष्ट सूत्र का समाकलन शामिल है।
• मान्यताएँ (Assumptions): मुख्य परिणाम विश्लेषणात्मक संख्या सिद्धांत में दो मानक अनुमानों पर निर्भर करते हैं:
  1. रीमान परिकल्पना (Riemann Hypothesis - RH): $\zeta(s)$ के सभी गैर-तुच्छ शून्य क्रिटिकल लाइन $\text{Re}(s) = 1/2$ पर स्थित हैं।
  2. शून्यों की सरलता (Simplicity of Zeros - SZ): सभी गैर-तुच्छ शून्य सरल (बहुलता 1) हैं।
  3. अनुमान (SZ): $\zeta$ के शून्यों पर व्युत्पन्न के व्युत्क्रमों के योग पर एक सीमा, $\sum_{0<\gamma<T} \frac{1}{|\zeta'(\rho)|} \ll T(\log T)^{1/2}$।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

A. संवलन योग के लिए स्पष्ट सूत्र

यह शोध पत्र $S(n)$ के भारित औसत के लिए एक खंडित (truncated) स्पष्ट सूत्र स्थापित करता है। RH और SZ के तहत, एक उपयुक्त भार फलन $f$ और पैरामीटर $\eta$ के लिए:
$$\sum_{n \le \eta b} \sum_{m \le \eta b - n} \lambda(n)\lambda(m) f\left(\frac{m+n}{\eta}\right) = \text{मुख्य पद (Main Terms)} + \text{दोलन पद (Oscillatory Terms)} + \text{त्रुटि (Error)}$$
सूत्र में निम्नलिखित शामिल हैं:

1. मुख्य पद (Main Term): एक पद जिसमें $\frac{\pi \eta}{8 \zeta(1/2)^2} \int f''(w) w^2 dw$ शामिल है।
2. दोलन पद (Single Zeros): $\zeta(s)$ के गैर-तुच्छ शून्यों $\rho$ पर एक योग, जिसमें $\frac{\zeta(2\rho)}{\zeta'(\rho)} \Gamma(\rho) \eta^{\rho+1/2}$ जैसे पद शामिल हैं।
3. दोलन पद (Double Zeros): शून्यों के युग्मों $\rho_1, \rho_2$ पर एक दोहरा योग, जिसमें $\zeta(2\rho_i)$ और गामा फलनों के उत्पाद शामिल हैं।
4. त्रुटि पद (Error Term): $O_\epsilon(\eta^{1/2+\epsilon})$ और भार फलन के दूसरे व्युत्पन्न वाले इंटीग्रल द्वारा नियंत्रित।

B. डिरिचलेट श्रेणी का विश्लेषणात्मक विस्तार (Analytic Continuation)

$S(n)$ से जुड़ी डिरिचलेट श्रेणी के लिए एक महत्वपूर्ण सैद्धांतिक परिणाम है:
$$D(s) = \sum_{n=1}^\infty \frac{S(n)}{n^s}$$

• परिणाम: RH और SZ को मानते हुए, $D(s)$ को अर्ध-तल (half-plane) $\text{Re}(s) > 1$ तक विश्लेषणात्मक विस्तार प्राप्त है।
• प्राकृतिक सीमा (Natural Boundary): यदि $\zeta(s)$ के गैर-तुच्छ शून्यों के काल्पनिक भाग $\mathbb{Q}$ पर रैखिक रूप से स्वतंत्र हैं, तो रेखा $\text{Re}(s) = 1$ इस श्रेणी के लिए एक प्राकृतिक सीमा के रूप में कार्य करती है। इसका तात्पर्य है कि शून्यों के योग ($\gamma_1 + \gamma_2$) द्वारा उत्पन्न सिंगुलैरिटीज़ (singularities) के घनत्व के कारण इस रेखा से आगे इस श्रेणी का विश्लेषणात्मक विस्तार नहीं किया जा सकता है।

C. घात श्रेणी और सामान्यीकरण (Power Series and Generalizations)

• घात श्रेणी (Power Series): लेखक $\sum S(n) e^{-ny}$ की घात श्रेणी के लिए एक स्पष्ट सूत्र व्युत्पन्न करते हैं, जो $y \to 0^+$ के रूप में इसके अनंतस्पर्शी व्यवहार को दर्शाता है।
• मोबियस फलन: मोबियस फलन के संवलन $S^*(n) = \sum \mu(m_1)\mu(m_2)$ के लिए समानांतर परिणाम व्युत्पन्न किए गए हैं। चूंकि $\Lambda(n)$ को $\mu(n)$ के माध्यम से व्यक्त किया जा सकता है, इसलिए ये परिणाम $\Lambda(n)$ से जुड़े गोल्डबैक-प्रकार के योगों के बारे में अप्रत्यक्ष जानकारी प्रदान करते हैं।
• अनिश्चित संख्या में कारक ($d$-term): पद्धति को $d$-फाल संवलन $S_d(N)$ के लिए सामान्यीकृत किया गया है। लेखक $L(x)$ की $d$ प्रतियों के लाप्लास संवलन के लिए स्पष्ट सूत्र प्रदान करते हैं, जो यह दिखाते हैं कि मुख्य पद $x^d$ के साथ स्केल होता है और दोलन पद $d$ शून्यों के योगों से संबंधित होते हैं (हालाँकि शोध पत्र स्पष्ट रूप से $d=2$ के लिए संरचना का विवरण देता है और किसी भी $d$ के लिए इंटीग्रल प्रतिनिधित्व का सामान्यीकरण करता है)।

4. महत्व (Significance)

• योगात्मक समस्याओं को जोड़ना: यह शोध पत्र लिउविले/मोबियस संवलन (जिसे अक्सर चाओला अनुमान के लेंस से देखा जाता है) को गोल्डबैक अनुमान जैसी शास्त्रीय योगात्मक समस्याओं के साथ जोड़ता है। यह प्रदर्शित करता है कि $\Lambda(n)$ के लिए उपयोग की जाने वाली तकनीकों को $\lambda(n)$ और $\mu(n)$ के लिए अनुकूलित किया जा सकता है।
• भारित औसत के लिए स्पष्ट सूत्र: सामान्य भार $f$ के लिए स्पष्ट सूत्र प्रदान करके, यह शोध पत्र विभिन्न संदर्भों में इन योगों के वितरण का विश्लेषण करने के लिए एक लचीला उपकरण प्रदान करता है, न कि केवल सरल औसत के लिए।
• सीमा व्यवहार (Boundary Behavior): $S(n)$ की डिरिचलेट श्रेणी के लिए $\text{Re}(s)=1$ को प्राकृतिक सीमा के रूप में पहचानना (रैखिक स्वतंत्रता की धारणाओं के तहत) एक मजबूत संरचनात्मक परिणाम है, जो $\lambda(n)$ के योगात्मक गुणों और $\zeta(s)$ के शून्यों के वितरण के बीच गहरे संबंध को उजागर करता है।
• तकनीकी विस्तार: $0 < x < 1$ की सीमा के लिए $L(x)$ के स्पष्ट सूत्रों का विस्तार एक आवश्यक तकनीकी कदम है जो 0 से शुरू होने वाले संवलन इंटीग्रल के कठोर उपचार की अनुमति देता है, एक ऐसा विवरण जिसे अक्सर $x \ge 1$ पर ध्यान केंद्रित करने वाले मानक उपचारों में अनदेखा कर दिया जाता है।

संक्षेप में, यह शोध पत्र गुणात्मक फलनों (multiplicative functions) के विविक्त संवलन को समझने के लिए एक कठोर विश्लेषणात्मक ढांचा प्रदान करता है, जो सटीक अनंतस्पर्शी सूत्र और संबंधित जनरेटिंग फलनों के विश्लेषणात्मक संरचना के बारे में गहरी अंतर्दृष्टि प्रदान करता है, जो रीमान परिकल्पना पर आधारित है।