Heath-Brown identities for fractional powers of $ζ$

तकनीकी सारांश: $\zeta$ की भिन्नात्मक घातों के लिए हीथ-ब्राउन पहचान (Heath-Brown Identities)

समस्या विवरण
यह शोध पत्र रीमान ज़ेटा-फंक्शन की भिन्नात्मक घातों से जुड़े घातांकीय योगों (exponential sums) के आकलन को संबोधित करता है, विशेष रूप से $S_z(x, \alpha) = \sum_{n \le x} d_z(n) e(n\alpha)$, जहाँ $d_z$ वह गुणात्मक फलन (multiplicative function) है जो $\zeta(s)^z$ के डिDirichlet गुणांकों द्वारा परिभाषित होता है। जबकि पूर्णांक घातांकों (जैसे कि भाजक फलन $\tau_k = d_k$ और म्यूबियस फलन $\mu = d_{-1}$) के लिए इन योगों का व्यवहार अच्छी तरह से समझा गया है, भिन्नात्मक मामले $z \in (-1, 1) \setminus \mathbb{Z}$ में एक अंतराल मौजूद है। गुणनखंडन (factorization) पर आधारित शास्त्रीय विधियाँ (जैसे $\tau_k = 1^{*k}$) गैर-पूर्णांकों के लिए विफल हो जाती हैं, और मौजूदा पहचानें (जैसे वॉन (Vaughan) या हीथ-ब्राउन (Heath-Brown) की पहचान) बिना संशोधन के सीधे लागू नहीं होती हैं। पिछले आंशिक परिणाम, जैसे कि [MV, Exercise 9] में $d_{1/2}$ के लिए प्राप्त सीमा, लघु-चाप (minor-arc) अनुमान में $6/7$ का उप-इष्टतम मध्य घातांक प्रदान करते थे, जबकि पूर्णांक मामले "विनोोग्राद गुणवत्ता" (Vinogradov quality) के बेंचमार्क $4/5$ को प्राप्त करते हैं। केंद्रीय समस्या $\zeta(s)^{\pm a/b}$ के लिए एक परिमित कॉम्बिनेटोरियल पहचान का निर्माण करना है जो $x^\varepsilon$ कारक के बिना, शुद्ध लघुगणकीय हानि (logarithmic losses) के साथ इष्टतम $4/5$ घातांक प्राप्त करने की अनुमति दे सके।

कार्यप्रणाली (Methodology)
लेखक एक दो-स्तरीय दृष्टिकोण अपनाते हैं: बीजगणितीय निर्माण और विश्लेषणात्मक आकलन।

1. बीजगणकीय निर्माण (हीथ-ब्राउन प्रकार की पहचान):
   मुख्य नवाचार अंकगणितीय फलनों के बीजगणित के भीतर न्यूटन के द्विपद श्रेणी (Newton's binomial series) का उपयोग करके $\zeta(s)^{\pm a/b}$ के लिए परिमित पहचानों का निर्माण है।

   • $\zeta(s)^{-h/b}$ के लिए एक भिन्नात्मक घात हेतु, लेखक एक संकुचित डिichlet बहुपद $F(s) = \sum_{n \le V} d_{-h/b}(n)n^{-s}$ को परिभाषित करते हैं।
   • शेषफल $H = 1 - \zeta(s)^h F(s)^b$ पर विचार करते हुए, लेखक इस गुण का उपयोग करते हैं कि $H$ का समर्थन (support) पूर्णांकों $n > V$ पर है। फलस्वरूप, $H^K$ का समर्थन पूर्णांकों $n > V^K$ पर होता है।
   • $(1-H)^{-1/b}$ के संकुचित न्यूटन द्विपद विस्तार में $H$ को प्रतिस्थापित करके, $\zeta(s)^{-h/b}$ के लिए एक सटीक पहचान प्राप्त होती है जो $n \le V^K$ के लिए मान्य है।
   • शोध पत्र गहराई $K=5$ और $V = x^{1/5}$ चुनता है। यह सुनिश्चित करता है कि पहचान $n \le x$ के सभी मानों के लिए मान्य है। परिणामी पहचान $\zeta(s)^{-h/b}$ को $F$ और $\zeta$ की घातों के संवलन (convolutions) के एक परिमित रैखिक संयोजन के रूप में व्यक्त करती है। महत्वपूर्ण रूप से, इन संवलनों में प्रत्येक "लंबा" (long) कारक $\zeta$ का एक धनात्मक घात (स्थिर फलन 1) है, जो सुगमता (smoothness) सुनिश्चित करता है, जबकि "छोटे" (short) कारक 1 द्वारा सीमित हैं।
   • धनात्मक घातांक $z = h/b$ के लिए, पहचान $\zeta(s)^{h/b} = \zeta(s) \cdot \zeta(s)^{-(b-h)/b}$ के माध्यम से अप्रत्यक्ष रूप से व्युत्पन्न की जाती है, जिससे लंबे कारकों की सुगमता बनी रहती है।
   • अंतिम मामला $z = -1$ (म्यूबियस फलन) है, जहाँ पहचान शास्त्रीय हीथ-ब्राउन पहचान में विलीन हो जाती है।

2. विश्लेषणात्मक आकलन:
   निर्मित पहचान $S_z(x, \alpha)$ को बहुरेखीय रूपों (multilinear forms) $T_{J,L}(x, \alpha)$ के योग में कम करती है।

   • डायैडिक अपघटन (Dyadic Decomposition): चरों को डायैडिक अंतरालों में स्थानीयकृत किया जाता है।
   • कॉम्बिनेटोरियल द्विशाख (Combinatorial Dichotomy): एक "विंडो-ऑर-लॉन्ग-वेरिएबल" लेम्मा लागू किया जाता है। किसी भी डायैडिक विन्यास के लिए जिसका गुणनफल $P \in (x^{4/5}, x]$ है, या तो चरों के एक उपसमुच्चय को "टाइप II विंडो" $[x^{2/5}, x^{3/5}]$ में समूहित किया जा सकता है, या एक एकल चर लंबा ($> x^{3/10}$) होता है जबकि शेष का गुणनफल छोटा ($< x^{7/10}$) होता है।
   • अनुमान (Estimates):
     • टाइप II: जब विंडो की स्थिति पूरी होती है, तो द्विपद अनुमान लागू किए जाते हैं, जिससे $x^{4/5}$ पद प्राप्त होता है।
     • टाइप I: जब एक लंबा सुगम चर मौजूद होता है, तो योग को टाइप I योग के रूप में माना जाता है। लेखक इस गलत धारणा से बचते हैं कि डिवाइजर-वेटेड टाइप I योगों में केवल लघुगणकीय हानि होती है। इसके बजाय, एक दो-श्रेणी रणनीति का उपयोग किया जाता है:
       • $q \le x^{3/10}$ और $q \ge x^{7/10}$ के लिए, एक मीन-स्क्वायर टाइप I अनुमान का उपयोग किया जाता है।
       • मध्यवर्ती श्रेणी $x^{3/10} < q < x^{7/10}$ के लिए, एक $x^{o(1)}$ हानि के साथ पॉइंटवाइज अनुमान का उपयोग किया जाता है। $x^{7/10}$ और लक्षित $x^{4/5}$ के बीच का अंतर इस हानि को अवशोषित कर लेता है, जिससे यह सुनिश्चित होता है कि अंतिम अनुमान केवल लघुगणकीय कारकों के साथ $4/5$ घातांक बनाए रखता है।

प्रमुख परिणाम

1. लघु-चाप सीमाएँ (Theorem 1.1 & 1.3):
   किसी भी न्यूनततम भिन्न $a/b$ के लिए जहाँ $0 < a/b < 1$, और $z = \pm a/b$ के लिए, शोध पत्र सिद्ध करता है कि:
   $$\sum_{n \le x} d_{\pm a/b}(n) e(n\alpha) \ll_{a,b} \left( \frac{x}{\sqrt{q}} + x^{4/5} + \sqrt{xq} \right) (\log 2x)^C$$
   जहाँ $|\alpha - r/q| \le 1/q^2$ है।

   • यह सीमा बिना $x^\varepsilon$ हानि के प्राप्त होती है, जो वॉन (von Mangoldt) फलन के विनोोग्राद अनुमान और पूर्णांक घातों के ज्ञात बंधों के स्वरूप से मेल खाती है।
   • थ्योरम 1.3 इसे $z = -1$ (म्यूबियस फलन) तक एक पूर्ण स्थिरांक के साथ विस्तारित करता है, जो $\varepsilon$ को हटाकर पिछले अनुमानों को परिष्कृत करता है।

2. प्रमुख-चाप विस्तार (Theorem 1.5):
   वास्तविक $0 < |z| < 1$ के लिए, शोध पत्र $S_z(x, \alpha)$ का अनिश्चित लघुगणकीय परिशुद्धता तक प्रमुख-चाप विस्तार प्रदान करता है। मुख्य पद में स्थानीय कारक $g_z(q)$ (जो सिंगुलर सीरीज़ का सामान्यीकरण है) और सेल्बर्ग-डेलेज (Selberg-Delange) विधि से प्राप्त गुणांक शामिल हैं। त्रुटि पद $O(x (\log x)^{-A})$ है, जो किसी भी $A > 0$ के लिए, हालांकि सीगल-वालिज़ (Siegel-Walfisz) प्रमेय पर निर्भरता के कारण निहित स्थिरांक अप्रभावी (ineffective) है।

3. समान सीमाएँ और मोमेंट्स (Theorems 1.6 & 1.7):

   • सुप्रिमम (Supremum): शोध पत्र $\sup_\alpha |S_z(x, \alpha)|$ के परिमाण का निर्धारण करता है। $z > 0$ के लिए, सुप्रिमम $\alpha=0$ पर प्राप्त होता है और माध्य मान के समानुपाती होता है। $z < 0$ के लिए, न्यूनीकरण $\ell^1$ नॉर्म की तुलना में $(\log x)^{1+|z|}$ के कारक से सुप्रिमम को कम कर देता है।
   • मोमेंट्स (Moments): परिमेय $z \in (-1, 1)$ और वास्तविक $s > 2$ के लिए, शोध पत्र $\int_0^1 |S_z(x, \alpha)|^s d\alpha$ के मोमेंट्स के लिए एक अनंत सूत्र सिद्ध करता है। अग्रणी पद $g_z(q)$ वाले सिंगुलर सीरीज़ द्वारा निर्धारित होता है, जो पूर्णांक डिवाइजर फलनों के लिए पांडे (Pandey) के परिणाम के समान है। $s=2$ पर सिंगुलर सीरीज़ के अपसारी होने के कारण $s > 2$ का प्रतिबंध आवश्यक है।

महत्व और दावे
शोध पत्र दावा करता है कि यह ज़ेटा-फंक्शन के घातांकीय योगों के संदर्भ में पूर्णांक और भिन्नात्मक घातों के बीच के अंतराल को हल करता है। इसका प्राथमिक महत्व है:

• इष्टतमता (Optimality): भिन्नात्मक घातों के लिए $x^{4/5}$ घातांक प्राप्त करना, जो पहले एक खुला प्रश्न था और केवल कमजोर सीमाओं वाले विशिष्ट मामलों के लिए ज्ञात था।
• दक्षता (Efficiency): $x^\varepsilon$ हानि को समाप्त करना, जो सटीक त्रुटि पदों (जैसे सर्कल मेथड में अनुप्रयोगों के लिए) के लिए अत्यंत महत्वपूर्ण है।
• बीजगणकीय नवीनता (Algebraic Novelty): न्यूटन के द्विपद विस्तार और समर्थन तर्कों के माध्यम से भिन्नात्मक घातों के लिए परिमित हीथ-ब्राउन पहचानों का निर्माण, जो अंकगणितीय फलनों के बीजगणित में गैर-पूर्णांक घातांकों को संभालने के लिए एक नया बीजगणितीय उपकरण प्रदान करता है।
• प्रभावशीलता (Effectivity): लघु-चाप सीमाएँ और पहचानों का निर्माण पूरी तरह से प्रभावी है। प्रमुख-चाप अनुप्रयोगों में अप्रभावकता को स्पष्ट रूप से सीगल-वालिज़ प्रमेय के कारण बताया गया है, जो इस क्षेत्र में एक मानक सीमा है, न कि नई मशीनरी के कारण।

लेखक इस बात पर जोर देते हैं कि परिमेय घातांकों तक सीमित रहना आवश्यक है (क्योंकि यह एक पूर्णांक घात के $b$-वें मूल पर निर्भर करता है) और $|z| \le 1$ का प्रतिबंध यह सुनिश्चित करता है कि छोटे गुणांक 1 द्वारा सीमित रहें। शोध पत्र यह दावा नहीं करता है कि ये परिणाम बिना महत्वपूर्ण संशोधन के अपरिमेय घातांकों या $[-1, 1]$ के बाहर के घातांकों तक विस्तारित होते हैं।