On Ramanujan Primes for Hecke-Maass Cusp Forms

तकनीकी सारांश: हेके-मास कस्प फॉर्म्स के लिए रामानुजन प्राइम्स पर

समस्या विवरण
एक प्रिमिटिव हेके-मास कस्प फॉर्म $\phi$ के लिए रामानुजन अनुमान यह दावा करता है कि किसी भी अभाज्य $p$ के लिए जो स्तर $N$ को विभाजित नहीं करता है, $p$-वाँ हेके आइगेनवैल्यू $\lambda_\phi(p)$ इस तीक्ष्ण सीमा $|\lambda_\phi(p)| \le 2$ को संतुष्ट करता है। हालांकि यह सामान्य रूप से एक खुला प्रश्न बना हुआ है (सर्वोत्तम ज्ञात सीमा किम और सरनाक द्वारा $|\lambda_\phi(p)| \le p^{7/64} + p^{-7/64}$ है), लुओ और झोउ [LZ19] ने पहले स्थापित किया था कि $RP(\phi) = \{p \nmid N : |\lambda_\phi(p)| \le 2\}$ अभाज्य संख्याओं के सेट की निचली प्राकृतिक घनत्व (lower natural density) कम से कम $34/35$ है। इसके अलावा, उन्होंने एनालिटिक कंडक्टर के एक घात द्वारा सीमित $RP(\phi)$ में एक न्यूनतम अभाज्य (least prime) के अस्तित्व को भी सिद्ध किया।

यह शोध पत्र कई अलग-अलग प्रिमिटिव हेके-मास कस्प फॉर्म्स के संदर्भ में इन जांचों का विस्तार करता है। लेखक दो प्राथमिक प्रश्नों को संबोधित करते हैं:

1. सहवर्ती उपस्थिति (Simultaneous Occurrence): दो या तीन अलग-अलग रूपों के लिए रामानुजन अनुमान एक साथ सत्य होने वाले न्यूनतम अभाज्य $p$ के लिए ऊपरी सीमा क्या है?
2. यूनियन घनत्व (Union Density): एक दिए गए परिमित (या अनंत) रूपों के परिवार में से कम से कम एक रूप के लिए रामानुजन अनुमान सत्य होने वाले अभाज्य संख्याओं के सेट की निचली प्राकृतिक घनत्व क्या है?

कार्यप्रणाली
यह शोध पत्र कस्प फॉर्म्स से जुड़े $L$-फंक्शन्स के गुणों पर केंद्रित विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) की तकनीकों का उपयोग करता है।

• न्यूनतम अभाज्य सीमाओं के लिए (प्रमेय 1 और 2):
  लेखक एडजॉइंट स्क्वायर $L$-फंक्शन्स, $L(s, \text{Ad}(\phi))$ के गुणों के साथ संयोजन में "सीविंग" (sieving) की विधि का उपयोग करते हैं।

  • वे एडजॉइंट $L$-फंक्शन्स के गुणनफल के डिरिचलेट गुणांकों (Dirichlet coefficients) को शामिल करते हुए एक योग $S(x)$ को परिभाषित करते हैं।
  • एक महत्वपूर्ण अवलोकन यह है कि यदि $p$ पर रामानुजन अनुमान विफल होता है (अर्थात, $|\lambda_\phi(p)| > 2$), तो ट्विस्टेड हेके आइगेनवैल्यू $\lambda_\phi(p^2)\chi_\phi(p)$ बड़ा होना चाहिए (विशेष रूप से $> 3$)।
  • एक विशिष्ट मल्टीप्लिकेटिव फंक्शन $h(n)$ का निर्माण करके और $L(s, \text{Ad}(\phi))$ के लिए कॉनवेक्सिटी बाउंड्स (convexity bounds) का उपयोग करके, लेखक कंटूर इंटीग्रेशन (contour integration) के माध्यम से $S(x)$ के लिए एक ऊपरी सीमा और सीव वेट्स (sieve weights) की धनात्मकता के माध्यम से एक निचली सीमा प्राप्त करते हैं।
  • प्रमाण विशिष्ट आइगेनवैल्यू के गैर-शून्य (non-vanishing) होने पर निर्भर करता है। दो रूपों के लिए, उनके ट्विस्टेड आइगेनवैल्यू का योग धनात्मक दिखाया गया है यदि अनुमान दोनों के लिए विफल होता है; तीन रूपों के लिए, एक समान लेकिन भिन्न रैखिक संयोजन का उपयोग किया जाता है। लेखक नोट करते हैं कि यह विशिष्ट तर्क चार या अधिक रूपों के लिए विफल हो जाता है क्योंकि संबंधित योग की धनात्मकता सुनिश्चित नहीं की जा सकती है।

• घनत्व सीमाओं के लिए (प्रमेय 3 और 4):
  दृष्टिकोण रैंकिन-सेल्बर्ग $L$-फंक्शन्स और ज़ीरो-फ्री रीजन्स (zero-free regions) का उपयोग करके अभाज्य संख्याओं के वितरण का विश्लेषण करने की ओर स्थानांतरित हो जाता है।

  • लेखक ट्विस्टेड सिमेट्रिक फोर्थ पावर $A_4(\phi) = \text{Sym}^4(\phi) \otimes \chi_\phi^2$ और सिमेट्रिक थर्ड पावर $\text{Sym}^3(\phi)$ को पेश करते हैं।
  • वे स्थापित करते हैं कि दो अलग-अलग रूपों $\phi_1, \phi_2$ के लिए, संबंधित ऑटोमॉर्फिक रिप्रेजेंटेशन्स (विशेष रूप से $\text{Ad}(\phi)$ और $A_4(\phi)$) भिन्न हैं।
  • रैंकिन-सेल्बर्ग $L$-फंक्शन्स $L(s, \text{Ad}(\phi_1) \times \text{Ad}(\phi_2))$ और $L(s, \text{Ad}(\phi_1) \times A_4(\phi_2))$ के लिए लैंडौ-सीगल ज़ीरो की अनुपस्थिति के संबंध में थॉर्नर और झाओ [TZ26] के हालिया परिणामों का लाभ उठाते हुए, लेखक सिद्ध करते हैं कि गुणांकों $A_\phi(p)$ और $A^{[4]}_\phi(p)$ के क्रॉस-कोरिलेशन सम $o(\pi(X))$ हैं।
  • वे इन गुणांकों के संदर्भ में एक गैर-ऋणात्मक बहुपद $U(p)$ का निर्माण करते हैं। $U(p)$ का विस्तार करके और ऑटोमॉर्फिक $L$-फंक्शन्स के लिए प्राइम नंबर थ्योरम को लागू करके, वे उन अभाज्य संख्याओं के घनत्व को सीमित करते हैं जहाँ दिए गए सेट के सभी रूपों के लिए रामानुजन अनुमान विफल हो जाता है।

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

1. सहवर्ती रामानुजन प्राइम्स के लिए ऊपरी सीमाएं:

   • प्रमेय 1: दो अलग-अलग प्रिमिटिव हेके-मास कस्प फॉर्म $\phi_1, \phi_2$ के लिए, एक अभाज्य $p \in RP(\phi_1) \cap RP(\phi_2)$ मौजूद है ऐसा कि:
     $$p \ll [N_1 N_2 (1+|t_{\phi_1}|)(1+|t_{\phi_2}|)]^{0.447374}$$
   • प्रमेय 2: तीन अलग-अलग रूपों $\phi_1, \phi_2, \phi_3$ के लिए, एक अभाज्य $p \in \bigcap_{i=1}^3 RP(\phi_i)$ मौजूद है ऐसा कि:
     $$p \ll [N_1 N_2 N_3 \prod_{i=1}^3 (1+|t_{\phi_i}|)]^{0.778798}$$
   • लेखक स्पष्ट रूप से बताते हैं कि उनकी विधि प्रासंगिक आइगेनवैल्यू योगों की धनात्मकता सुनिश्चित करने में असमर्थता के कारण चार या अधिक रूपों तक विस्तारित नहीं होती है।

2. प्राकृतिक घनत्व के लिए बेहतर निचली सीमाएं:

   • प्रमेय 3: दो अलग-अलग रूपों $\phi_1, \phi_2$ के लिए (यह मानते हुए कि उनके रामानुजन प्राइम सेट्स एक परिमित सेट तक समान नहीं हैं), यूनियन की निचली प्राकृतिक घनत्व संतुष्ट करती है:
     $$\underline{d}(RP(\phi_1) \cup RP(\phi_2)) \ge \frac{43}{44}$$
     यह व्यक्तिगत घनत्वों से प्राप्त $34/35$ के सामान्य अनुमान में सुधार करता है।
   • प्रमेय 4: $m$ अलग-अलग रूपों $\{\phi_i\}_{i=1}^m$ के एक परिमित परिवार के लिए, यूनियन की निचली प्राकृतिक घनत्व इस प्रकार सीमित है:
     $$\underline{d}\left(\bigcup_{j=1}^m RP(\phi_j)\right) \ge 1 - \frac{1}{26 + 9m}$$
   • अनुcorollary 1: अलग-अलग रूपों के एक अनंत परिवार के लिए, यूनियन की प्राकृतिक घनत्व ठीक 1 है। इसका तात्पर्य यह है कि लगभग सभी अभाज्य संख्याओं के लिए (प्राकृतिक घनत्व के अर्थ में), परिवार में कम से कम एक रूप के लिए रामानुजन अनुमान सत्य होता है।

महत्ता और दावे
यह शोध पत्र कई-रूप सेटिंग में रामानुजन अनुमान को संतुष्ट करने वाले अभाज्य संख्याओं के वितरण की समझ को आगे बढ़ाने का दावा करता है। एकल-रूप विश्लेषण से सहवर्ती और यूनियन विश्लेषणों की ओर बढ़कर, लेखक प्रदर्शित करते हैं कि "बुरे" अभाज्य (जहाँ अनुमान विफल होता है) कई रूपों पर विचार करने पर तेजी से विरल (sparse) होते जाते हैं।

इसकी महत्ता निम्नलिखित में निहित है:

• दो और तीन रूपों के लिए सहवर्ती रामानुजन प्राइम्स के प्रथम आगमन के लिए स्पष्ट मात्रात्मक सीमाएँ प्रदान करना।
• यह स्थापित करना कि अलग-अलग रूपों के रामानुजन प्राइम सेट्स का यूनियन, व्यक्तिगत सेट्स की तुलना में अभाज्य संख्याओं के एक बड़े हिस्से को कवर करता है, जो परिवार का आकार बढ़ने पर घनत्व 1 के करीब पहुँच जाता है।
• अपने घनत्व अनुमानों को परिष्कृत करने के लिए विशिष्ट रैंकिन-सेल्बर्ग $L$-फंक्शन्स के गैर-शून्य होने का उपयोग करना ( [TZ26] के माध्यम से), एक ऐसी तकनीक जिसे लेखक दो रूपों से लेकर अनिश्चित परिमित परिवारों तक सामान्यीकृत करते हैं।

लेखक अपनी विधि की सीमाओं के संबंध में विनम्र बने रहते हैं, यह नोट करते हुए कि कम से कम प्राइम बाउंड के लिए चार या अधिक रूपों तक विस्तार वर्तमान में प्रासंगिक आइगेनवैल्यू योगों के लिए धनात्मकता तर्क के विफल होने के कारण बाधित है। इसी तरह, वे नोट करते हैं कि परिमित परिवारों के लिए घनत्व सीमा (विशेष रूप से गुणांक $26+9m$) को और बेहतर बनाने के लिए $L(s, A_4(\phi_1) \times A_4(\phi_2))$ के लिए ज़ीरो-फ्री रीजन्स स्थापित करने की आवश्यकता होगी, जो वर्तमान में पहुंच से बाहर है।