A note on a conjecture of Ng

"A Note on a Conjecture of Ng" का तकनीकी सारांश

समस्या विवरण (Problem Statement)
यह नोट 'कंपैरेटिव प्राइम नंबर थ्योरी प्रॉब्लम लिस्ट' के प्रश्न 5, समस्या 1 को संबोधित करता है, जिसे मूल रूप से नाथन एनजी (Nathan Ng) द्वारा प्रस्तावित किया गया था। केंद्रीय समस्या रीमान ज़ेटा फलन $\zeta(s)$ के गैर-तुच्छ शून्य (non-trivial zeros) पर आधारित एक विशिष्ट अनुपात के दूसरे क्षण (second moment) के एसिम्प्टोटिक व्यवहार से संबंधित है।

एनजी का अनुमान 1 (Ng's Conjecture 1) यह प्रतिपादित करता है कि, रीमान परिकल्पना (RH) और गैर-तुच्छ शून्य $\rho = 1/2 + i\gamma$ की सरलता (simplicity) को मानते हुए, $T \to \infty$ होने पर निम्नलिखित एसिम्प्टोटिक सत्य होता है:
$$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \sim \frac{T}{2\pi}.$$
लेखक नोट करते हैं कि जबकि एनजी के मूल कथन ने निहित रूप से RH को माना था, उन्होंने निजी संचार में संकेत दिया है कि यह अनुमान केवल शून्यों की सरलता को मानते हुए भी संभवतः सत्य होगा। वर्तमान कार्य दोनों धारणाओं के तहत आगे बढ़ता है ताकि पदों (summands) को सुपरिभाषित किया जा सके और प्रमाण में विशिष्ट समरूपताओं (symmetries) का उपयोग किया जा सके।

कार्यप्रणाली (Methodology)
प्रमाण की रणनीति मिलिनोविच और एनजी (Milinovich and Ng) के दृष्टिकोण का अनुसरण करती है, जो स्वयं रूडनिक और साउंडराराजन (Rudrick and Soundararajan) के कार्य पर आधारित है। मुख्य तकनीक एक मोलिफायर (mollifier) का उपयोग करने की है जो निचली सीमा (lower bound) को बांधने का कार्य करती है।

1. मोलिफायर निर्माण (Mollifier Construction): लेखक एक स्मूदनड डिरिचलेट पॉलिनॉमियल (smoothed Dirichlet polynomial), $L^\dagger_\xi(s)$ को परिभाषित करते हैं जो फलन $\zeta(2s)/\zeta(s)$ को सन्निकट (approximate) करता है। यह सन्निकटन लिओविल फलन (Liouville function) $\lambda(n)$ द्वारा उत्पन्न होता है, जो $\sum \lambda(n)n^{-s} = \zeta(2s)/\zeta(s)$ को संतुष्ट करता है। पॉलिनॉमियल को इस प्रकार परिभाषित किया गया है:
   $$L^\dagger_\xi(s) = \sum_{n \le \xi} \frac{\lambda(n)}{n^s} P\left(\frac{\log(\xi/n)}{\log \xi}\right),$$
   जहाँ $\xi = T^\vartheta$ एक निश्चित $0 < \vartheta < 1$ के लिए है, और $P(x)$ एक पॉलिनॉमियल है जहाँ $P(0)=0$ और $P(1)=1$ है।

2. कॉची-श्वार्ज़ असमानता (Cauchy-Schwarz Inequality): RH की धारणा के तहत, समरूपता $L^\dagger_\xi(\rho) = L^\dagger_\xi(1-\rho)$ गैर-तुच्छ शून्यों के लिए बनी रहती है। यह निचली सीमा स्थापित करने के लिए कॉची की असमानता लागू करने की अनुमति देता है:
   $$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \ge \frac{|M_1|^2}{M_2},$$
   जहाँ $M_1 = \sum_{0<\gamma \le T} \frac{\zeta(2\rho)}{\zeta'(\rho)} L^\dagger_\xi(1-\rho)$ और $M_2 = \sum_{0<\gamma \le T} |L^\dagger_\xi(\rho)|^2$ है।

3. कंटूर इंटीग्रेशन (Contour Integration): $M_1$ और $M_2$ के एसिम्प्टोटिक्स का मूल्यांकन करने के लिए, लेखक कॉची के अवशेष प्रमेय (residue theorem) का उपयोग करते हैं। योगों को $\zeta(2s)/\zeta(s)$ और $\zeta'(s)/\zeta(s)$ से संबंधित कंटूर इंटीग्रल्स में परिवर्तित किया जाता है। कंटूर आयताकार पथ (rectangular paths) हैं जिन्हें क्रिटिकल लाइन की ओर स्थानांतरित किया गया है, और इंटीग्रल्स को वर्टिकल और हॉरिजॉन्टल सेगमेंट में विभाजित किया गया है।

   • मीन वैल्यू थ्योरम्स (Mean Value Theorems): मुख्य पदों के मूल्यांकन के लिए, ऑसिलेटरी इंटीग्रल्स को संभालने के लिए डिरिचलेट पॉलिनॉमियल्स के लिए मोंटगोमरी-वॉनमैन (Montgomery-Vaughan) मीन वैल्यू थ्योरम का उपयोग किया जाता है।
   • फंक्शनल इक्वेशंस (Functional Equations): बाएँ वर्टिकल कंटूरों के लिए, ज़ेटा फलन के फंक्शनल इक्वेशन का उपयोग किया जाता है। पिछले कार्य (मिलिनोविच-एनजी) से एक प्रमुख तकनीकी अंतर अंश (numerator) में $\zeta(2s)$ कारक को संभालने का है, जो $1/\zeta(s)$ के क्षय (decay) को रद्द करता है, जिसके लिए $\chi(2s)/\chi(s)$ के दोलन (oscillation) के विश्लेषण की आवश्यकता होती है, जिसे वैन डेर कॉर्पस (van der Corput) सेकंड-डेरिवेटिव टेस्ट के माध्यम से किया जाता है।

प्रमुख योगदान और परिणाम (Key Contributions and Results)
यह पत्र $M_1$ और $M_2$ के लिए निम्नलिखित एसिम्प्टोटिक अनुमान स्थापित करता है (प्रपोजिशन 5 और 6):

• $M_1 \sim \frac{T}{2\pi} (\log T) \vartheta \int_0^1 P(x) dx$.
• $M_2 \sim \frac{T}{2\pi} (\log T)^2 \left[ \vartheta \int_0^1 P(x)^2 dx + \vartheta^2 \left(\int_0^1 P(x) dx\right)^2 \right]$.

इन अनुमानों को निचली सीमा वाली असमानता में प्रतिस्थापित करके और पॉलिनॉमियल $P(x)$ के चयन को अनुकूलित (optimize) करके, लेखक मुख्य प्रमेय प्राप्त करते हैं:

थ्योरम 2: रीमान परिकल्पना और यह मानते हुए कि $\zeta(s)$ के गैर-तुच्छ शून्य सरल हैं, किसी भी निश्चित $\epsilon > 0$ के लिए:
$$\sum_{0<\gamma \le T} \left| \frac{\zeta(2\rho)}{\zeta'(\rho)} \right|^2 \ge \left( \frac{1}{4\pi} - \epsilon \right) T$$
पर्याप्त बड़े $T$ के लिए।

अनुकूलन (Optimization) स्थिरांक पॉलिनॉमियल $P(x) = 1$ चुनकर और $\vartheta \to 1^-$ की सीमा लेकर प्राप्त किया गया है।

महत्व और दावे (Significance and Claims)
यह पत्र विचाराधीन योग के लिए एक कठोर निचली सीमा स्थापित करता है। परिणाम का महत्व एनजी के अनुमान के साथ इसके मात्रात्मक संबंध में निहित है:

• सिद्ध निचली सीमा $\frac{1}{4\pi}T$ है।
• अनुमानित एसिम्प्टोटिक $\frac{1}{2\pi}T$ है।
• फलस्वरूप, परिणाम अनुमानित मान के आकार के ठीक आधे के बराबर की निचली सीमा स्थापित करता है।

लेखक गोनेक के अनुमान (जो $\sum |\zeta'(\rho)|^{-2}$ से संबंधित है) पर मिलिनोविच और एनजी के कार्य के समानांतर एक तुलना खींचते हैं, जहाँ सिद्ध निचली सीमा और अनुमानित एसिम्प्टोटिक के बीच एक समान 'दो के कारक' (factor-of-two) का अंतर मौजूद है। यह पत्र पूर्ण अनुमान को सिद्ध करने का दावा नहीं करता है, बल्कि एक गैर-तुच्छ निचली सीमा प्रदान करता है जो सही ऑर्डर ऑफ मैग्नीट्यूड ($O(T)$) की पुष्टि करता है और साथ ही अनुमानित स्थिरांक तक पहुँचने में आने वाली कठिनाई को भी रेखांकित करता है।