On the Gauss circle problem over smooth numbers

यह शोध पत्र, जिसका शीर्षक "On the Gauss Circle Problem over Smooth Numbers" है और जिसके लेखक पेंग गाओ (Peng Gao) हैं, उन पूर्णांकों के वितरण की जांच करता है जो दो वर्गों के योग (sums of two squares) के रूप में व्यक्त किए जा सकते हैं, विशेष रूप से तब जब वे पूर्णांक "स्मूथ" (smooth) या "फ्रिबल" (friable) हों।

नीचे इस शोध का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या: स्मूथ नंबरों पर गौस सर्कल प्रॉब्लम (Gauss Circle Problem)

शास्त्रीय गौस सर्कल प्रॉब्लम यह पूछता है कि त्रिज्या $\sqrt{x}$ वाले वृत्त के भीतर कितने पूर्णांक जालक बिंदु (integer lattice points) $(m, n)$ स्थित हैं, जो निम्नलिखित योग का मूल्यांकन करने के समतुल्य है:
$$\sum_{n \le x} r(n)$$
जहाँ $r(n)$ दो वर्गों के योग के रूप में $n$ को व्यक्त करने के तरीकों की संख्या है। गौस ने सिद्ध किया कि यह $\pi x + O(x^{1/2})$ है, और आधुनिक शोध त्रुटि पद (error term) को न्यूनतम करने पर केंद्रित है।

लेखक इस समस्या को $y$-स्मूथ संख्याओं तक विस्तारित करते हैं। एक पूर्णांक $y$-स्मूथ है यदि उसका सबसे बड़ा अभाज्य गुणनखंड $P(n)$ इस प्रकार हो कि $P(n) \le y$। अध्ययन का मुख्य विषय भारित योग (weighted sum) है:
$$\Psi_G(x, y) := \sum_{\substack{n \le x \\ P(n) \le y}} r(n)$$
लक्ष्य $\Psi_G(x, y)$ के लिए एक ऐसा अनंत प्रसार सूत्र (asymptotic formula) खोजना है जो मौजूदा साहित्य में स्थापित पिछले मापदंडों की तुलना में पैरामीटर $u = \frac{\log x}{\log y}$ के बहुत व्यापक रेंज के लिए मान्य रहे।

2. कार्यप्रणाली: सैडल पॉइंट विधि (The Saddle Point Method)

यह शोध पत्र सैडल पॉइंट विधि (जिसे स्टीपेस्ट डिसेंट विधि भी कहा जाता है) का उपयोग करता है, जो विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) की एक परिष्कृत तकनीक है। कार्यप्रणाली इन चरणों का पालन करती है:

• डिरिचलेट श्रृंखला और यूलर उत्पाद (Dirichlet Series and Euler Products): लेखक एक जनरेटिंग फंक्शन $H(s, G; y) = \sum_{P(n) \le y} \frac{r(n)/4}{n^s}$ को परिभाषित करते हैं। चूंकि $r(n)/4$ एक गुणात्मक फलन (multiplicative function) है, इसलिए इसे रीमान ज़ेटा फंक्शन $\zeta(s)$ और डिरिचलेट $L$-फंक्शन $L(s, \chi_4)$ (जहाँ $\chi_4$ मोड्यूलो 4 का प्रिमिटिव कैरेक्टर है) के शामिल यूलर उत्पाद के रूप में व्यक्त किया जा सकता है।
• रैंकिन का ट्रिक (Rankin’s Trick): योग को सीमित करने के लिए, लेखक रैंकिन के ट्रिक का उपयोग करते हैं ताकि योग को एक वास्तविक पैरामीटर $\sigma > 0$ पर जनरेटिंग फंक्शन से जोड़ा जा सके।
• सैडल पॉइंट का चयन (Saddle Point Selection): लेखक एक अद्वितीय "सैडल पॉइंट" $\alpha_G(x, y)$ की पहचान करते हैं, जो समीकरण $\frac{d}{ds} \log H(s, G; y) + \log x = 0$ का वास्तविक समाधान है। इस बिंदु को पेरोन फॉर्मूला (Perron formula) में इंटीग्रैंड (integrand) को न्यूनतम करने के लिए चुना जाता है।
• पेरोन का फॉर्मूला (Perron’s Formula): योग को एक जटिल कंटूर इंटीग्रल (complex contour integral) के रूप में व्यक्त किया जाता है। लेखक कंटूर को $\Re(s) = \alpha_G$ रेखा तक स्थानांतरित करते हैं और इंटीग्रल का मूल्यांकन करने के लिए $L$-फंक्शन्स और अभाज्य वितरण के अनुमानों का उपयोग करते हैं।

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

यह शोध पत्र दो प्राथमिक गणितीय परिणाम प्रदान करता है:

प्रमेय 1.1: अनंत प्रसार सूत्र (The Asymptotic Formula)

लेखक $(\log \log y)^2 \le u \le \frac{y^{1/(2+\epsilon_0)}}{\log y}$ की सीमा के लिए $\Psi_G(x, y)$ के लिए एक नया अनंत प्रसार सूत्र स्थापित करते हैं:
$$\Psi_G(x, y) = \frac{4x^{\alpha_G} H(\alpha_G, G; y)}{\alpha_G \sqrt{2\pi \phi_2(\alpha_G, G; y)}} \left( 1 + O\left(\frac{1}{u}\right) \right)$$
यह परिणाम महत्वपूर्ण है क्योंकि यह $u$ (अर्थात $x$ और $y$ के लॉग का अनुपात) की सीमा को ए. गोस्वामी द्वारा निर्धारित पिछले बंधों से काफी आगे तक विस्तारित करता है।

प्रमेय 1.2: सैडल पॉइंट का स्पष्ट व्यवहार (Explicit Behavior of the Saddle Point)

लेखक सैडल पॉइंट $\alpha_G$ और लॉग-जनरेटिंग फंक्शन के दूसरे व्युत्पन्न $\phi_2$ के लिए स्पष्ट अनंत प्रसार व्यवहार प्रदान करते हैं। महत्वपूर्ण रूप से, लेखक दिखाते हैं कि मुख्य पद डिकमैन फंक्शन (Dickman function) $\rho(u)$ के अनुरूप है, जो स्मूथ संख्याओं के घनत्व को नियंत्रित करता है। यह गौस सर्कल प्रॉब्लम को स्मूथ संख्याओं के शास्त्रीय सिद्धांत से सीधे जोड़ता है।

4. तकनीकी महत्व

• सीमा का विस्तार (Extension of Range): प्राथमिक उपलब्धि $u$ की वैध सीमा को व्यापक बनाना है। यह इस बात की अधिक सूक्ष्म समझ की अनुमति देता है कि जैसे-जैसे $x$ के सापेक्ष स्मूथनेस बाधा $y$ बदलती है, "सर्कल प्रॉब्लम" कैसे व्यवहार करती है।
• विश्लेषणात्मक परिष्कार (Analytic Sophistication): इसके प्रमाण के लिए गैसियन नंबर फील्ड $\mathbb{Q}(i)$ के डेडकिंड ज़ेटा फंक्शन के ज़ीरो-फ्री रीजन (zero-free regions) के सूक्ष्म प्रबंधन की आवश्यकता होती है। लेखक $L$-फंक्शन $L(s, \chi_4)$ और अभाज्य योगों से उत्पन्न होने वाले त्रुटि पदों को सफलतापूर्वक प्रबंधित करते हैं।
• संगति (Consistency): परिणाम स्मूथ संख्याओं के वितरण ( $\Psi(x, y)$ समस्या) और दो वर्गों के योग के अंकगणितीय गुणों के बीच के अंतर को पाटते हैं, यह दर्शाते हैं कि पूर्णांकों की "स्मूथनेस" (smoothness) योग के अनंत प्रसार व्यवहार पर हावी रहती है।