On the discrete mean square of certain hybrid sum involving $a_{\mathbb{K}}(n)$

यहाँ एकता सोनी, एम.एस. दत्ता और अय्यादुरई शंकरनारायणन के शोध पत्र "On the discrete mean square of certain hybrid sum involving $a_K(n)$" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र प्राकृतिक संख्याओं की एक विशिष्ट हाइब्रिड अनुक्रम (hybrid sequence) पर $a_K(n)$ के गुणांकों के द्वितीय-क्रम मोमेंट (mean square) के अनंत व्यवहार (asymptotic behavior) की जांच करता है।

• संदर्भ: मान लीजिए कि $K$ एक गैर-सामान्य (non-normal) बीजगणितीय संख्या क्षेत्र (algebraic number field) है जो $\mathbb{Q}$ पर त्रिघात घात (cubic degree) का है, जिसे एक अपरिमेय बहुपद $x^3 + ax^2 + bx + c$ द्वारा परिभाषित किया गया है जिसका ऋणात्मक विविक्तकर (discriminant) ($D_K < 0$) है।
• गुणांक: $a_K(n)$ पूर्णांकों के रिंग $\mathcal{O}_K$ में $n$ नॉर्म वाले पूर्णांक आदर्शों (integral ideals) की संख्या को दर्शाता है।
• हाइब्रिड योग (The Hybrid Sum): लेखक इस योग का अध्ययन करते हैं:
  $$S(x) = \sum_{\substack{n = \sum_{i=1}^8 n_i^2 \le x \\ (n_1, \dots, n_8) \in \mathbb{Z}^8}} a_K^2(n)$$
  यह एक "हाइब्रिड" योग है क्योंकि यह संख्या क्षेत्र $K$ के अंकगणितीय गुणों (वाया $a_K(n)$) को आठ वर्गों के योग के ज्यामितीय गुणों (वाया शर्त $n = \sum n_i^2$) के साथ जोड़ता है।
• लक्ष्य: $x \to \infty$ होने पर $S(x)$ के लिए एक सटीक त्रुटि पद (error term) के साथ एक अनंत सूत्र (asymptotic formula) स्थापित करना।

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

प्रमाण में विश्लेषण संख्या सिद्धांत (analytic number theory) की तकनीकों, विशेष रूप से डिरिचलेट श्रृंखलाओं (Dirichlet series), मॉड्यूलर रूपों (modular forms) और कंटूर समाकलन (contour integration) के संयोजन का उपयोग किया गया है।

A. गुणांकों का अपघटन (Decomposition of Coefficients)

लेखक त्रिघात गैर-सामान्य क्षेत्र के डेडेकिंड ज़ेटा फलन और मॉड्यूलर रूपों के बीच संबंध का उपयोग करते हैं।

• वे $\zeta_K(s)$ को $\zeta(s)L(s, f)$ के रूप में व्यक्त करते हैं, जहाँ $f$ कॉन्ग्रुएंस सबग्रुप $\Gamma_0(|D_K|)$ के लिए भार 1 का एक होलोमॉर्फिक कस्प फॉर्म (holomorphic cusp form) है।
• फलस्वरूप, गुणांकों को डिरिचलेट कॉन्वोल्यूशन (Dirichlet convolution) द्वारा दिया जाता है: $a_K(n) = \sum_{d|n} \lambda_f(d)$, जहाँ $\lambda_f(n)$ $f$ के सामान्यीकृत हेके आइजनवेल्यूज़ (Hecke eigenvalues) हैं।

B. वर्गों के योग का विश्लेषण (Analysis of the Sum of Squares)

शर्त $n = \sum_{i=1}^8 n_i^2$ पर आंतरिक योग को प्रतिनिधित्व फलन (representation function) $r_8(n)$ का उपयोग करके संभाला जाता है, जो 8 वर्गों के योग के रूप में $n$ को लिखने के तरीकों की गणना करता है।

• ज्ञात पहचानों का उपयोग करते हुए, $r_8(n) = 16(-1)^n \sum_{d|n} (-1)^d d^3$।
• लेखक एक सहायक अंकगणितीय फलन $g(n) = (-1)^n \sum_{d|n} (-1)^d d^3$ को परिभाषित करते हैं और सिद्ध करते हैं (लेम्मा 2.1) कि $g(n)$ एक गुणनात्मक फलन (multiplicative function) है।
• मूल योग को $a_K^2(n)g(n)$ वाले $n \le x$ के योग में परिवर्तित किया जाता है।

C. डिरिचलेट श्रृंखला का निर्माण (Construction of the Dirichlet Series)

इस पद्धति का मुख्य भाग गुणांकों $a_K^2(n)r_8(n)$ से जुड़ी डिरिचलेट श्रृंखला $F(s)$ का निर्माण करना है:
$$F(s) = \sum_{n=1}^\infty \frac{a_K^2(n)r_8(n)}{n^s}$$

• गुणनखंडन (Factorization): लेखक $F(s)$ को मानक $L$-फंक्शन्स के गुणनफल में विभाजित करते हैं। वे दिखाते हैं कि:
  $$F(s) = 16 \frac{B_2(s)}{A_2(s)} \zeta^2(s-3) L^2(s-3, f) L(s-3, \text{sym}^2 f) \zeta^2(s) L^2(s, f) L(s, \text{sym}^2 f) B(s)$$
  जहाँ $B(s)$ एक पूर्णतः अभिसारी "हानिरहित" (harmless) कारक है, और $A_2(s), B_2(s)$ अभाज्य संख्या 2 से संबंधित कारक हैं।
• ध्रुव विश्लेषण (Pole Analysis): पद $\zeta^2(s-3)$ $s=4$ पर एक द्वितीय क्रम का ध्रुव (pole of order 2) उत्पन्न करता है। यह अनंत सूत्र के मुख्य पद (main term) को निर्धारित करता है।

D. कंटूर समाकलन (Perron's Formula)

डिरिचलेट श्रृंखला से आंशिक योग (partial sum) प्राप्त करने के लिए, लेखक पेरोन के सूत्र (Perron's formula) को लागू करते हैं:
$$\sum_{n \le x} a_K^2(n)r_8(n) = \frac{1}{2\pi i} \int_{c-iT}^{c+iT} F(s) \frac{x^s}{s} ds$$

• कंटूर शिफ्ट (Contour Shift): समाकलन रेखा को $\text{Re}(s) = 4+\epsilon$ से $\text{Re}(s) = 7/2 + \epsilon$ तक स्थानांतरित किया जाता है।
• अवशेष प्रमेय (Residue Theorem): कॉशी के अवशेष प्रमेय (Cauchy's residue theorem) द्वारा, समाकल $s=4$ पर अवशेष (residue) (मुख्य पद) और नई ऊर्ध्वाधर रेखा तथा क्षैतिज खंडों के अनुदिश समाकलों के योग के बराबर होता है।

E. त्रुटि पद अनुमान (Error Term Estimation)

त्रुटि पद को स्थानांतरित कंटूर के अनुदिश समाकलों को सीमित करके प्राप्त किया जाता है।

• उपयोग किए गए बाउंड्स: लेखक रीमान ज़ेटा फलन $\zeta(s)$, $L$-फलन $L(s, f)$, और सिमेट्रिक स्क्वायर $L$-फलन $L(s, \text{sym}^2 f)$ के माध्य मान अनुमानों और कॉनवेक्सिटी बाउंड्स का उपयोग करते हैं।
• प्रमुख लेम्मा (Key Lemmas): वे क्रिटिकल स्ट्रिप और $\text{Re}(s) = 1/2 + \epsilon$ रेखा पर इन फंक्शन्स के विकास (growth) के संबंध में विशिष्ट बाउंड्स (लेम्मा 2.3–2.8) लागू करते हैं।
• अनुकूलन (Optimization): क्षैतिज और ऊर्ध्वाधर समाकलों से उत्पन्न त्रुटि पदों को संतुलित करने के लिए पैरामीटर $T$ (कंटूर की ऊंचाई) को अनुकूलित किया जाता है।

3. प्रमुख योगदान (Key Contributions)

1. मोमेंट समस्याओं का विस्तार: जबकि पिछले कार्यों (लैंडौ, चंद्रशेखरन, गुड, नवीन और प्रशांत) ने मानक अंतराल या विशिष्ट अनुक्रमों पर $a_K(n)$ के मोमेंट्स का अध्ययन किया, यह शोध पत्र एक हाइब्रिड योग को संबोधित करता है जिसमें आठ वर्गों का योग शामिल है, जो एक अधिक जटिल अंकगणितीय संरचना है।
2. हाइब्रिड L-फंक्शन्स का गुणनखंडन: शोध पत्र $a_K^2(n)r_8(n)$ से जुड़े डिरिचलेट श्रृंखला को $\zeta(s)$, $L(s, f)$, और $L(s, \text{sym}^2 f)$ के गुणनफल में सफलतापूर्वक विघटित करता है। इसके लिए $r_8(n)$ के गुणनात्मक गुणों और त्रिघात क्षेत्र की विशिष्ट संरचना को सावधानीपूर्वक संभालना आवश्यक है।
3. सटीक त्रुटि पद: लेखक एक साधारण बाउंड की तुलना में काफी सटीक त्रुटि पद प्राप्त करते हैं, जो मॉड्यूलर फॉर्म सिद्धांत और शास्त्रीय विश्लेषणात्मक तकनीकों के संयोजन की प्रभावकारिता को प्रदर्शित करता है।

4. मुख्य परिणाम (Main Result)

यह शोध पत्र निम्नलिखित मुख्य प्रमेय (Main Theorem) को सिद्ध करता है:

पर्याप्त बड़े $x$ और किसी भी $\epsilon > 0$ के लिए:
$$\sum_{\substack{n = \sum_{i=1}^8 n_i^2 \le x \\ (n_1, \dots, n_8) \in \mathbb{Z}^8}} a_K^2(n) = C x^4 P_1(\log x) + O\left(x^{\frac{198}{53} + \epsilon}\right)$$

• मुख्य पद (Main Term): $C x^4 P_1(\log x)$, जहाँ $C$ एक स्थिरांक है और $P_1(\log x)$, $\log x$ में घात 1 का एक बहुपद है। $x$ में घात 4, $s=4$ पर द्वितीय क्रम के ध्रुव के अनुरूप है (चूंकि $x^s/s$ का $s=4$ पर अवशेष $x^4 \log x$ देता है)।
• त्रुटि पद (Error Term): $O\left(x^{\frac{198}{53} + \epsilon}\right)$।
  • नोट: $\frac{198}{53} \approx 3.7358$ है। यह $x^4$ के साधारण बाउंड की तुलना में एक महत्वपूर्ण सुधार है और उतार-चढ़ाव का सटीक अनुमान प्रस्तुत करता है।
  • यह घातांक $T = x^{14/53}$ चुनकर प्राप्त किया गया है ताकि $x^4/T$ और $x^{7/2}T^{25/28}$ के बीच संतुलन बनाया जा सके।

5. महत्व (Significance)

• विश्लेषणात्मक संख्या सिद्धांत: यह कार्य गैर-सामान्य त्रिघात क्षेत्रों में आदर्शों (ideals) की गणना के वितरण की समझ में योगदान देता है, जो $\zeta_K(s)$ के लिए सरल यूलर उत्पाद संरचना (Euler product structure) की कमी के कारण एक कठिन क्षेत्र है।
• हाइब्रिड योग: यह उन योगों के विश्लेषण के लिए एक टेम्पलेट प्रदान करता है जहाँ अंकगणितीय गुणांकों को ज्यामितीय बाधाओं (जैसे वर्गों का योग) द्वारा भारित किया जाता है, जो बीजगणितीय संख्या सिद्धांत और द्विघाती रूपों (quadratic forms) के सिद्धांत के बीच के अंतर को पाटता है।
• पद्धतिगत कठोरता: "हानिरहित" कारकों (अभाज्य 2 पर) का सटीक प्रबंधन और सिमेट्रिक स्क्वायर $L$-फंक्शन्स के माध्य मानों के लिए बाउंड्स का सटीक अनुप्रयोग $L$-फंक्शन्स के माध्य मानों के अनुमान के लिए उन्नत तकनीकों को प्रदर्शित करता है।

संक्षेप में, यह शोध पत्र एक जटिल हाइब्रिड योग के लिए एक सटीक अनंत सूत्र स्थापित करता है, जो त्रिघात क्षेत्रों के अंकगणित को 8-आयामी गोलों (spheres) की ज्यामिति से जोड़ता है, जिसमें परिष्कृत कंटूर समाकलन और $L$-फंक्शन बाउंड्स से प्राप्त एक अत्यधिक अनुकूलित त्रुटि पद शामिल है।