The Fyodorov--Hiary--Keating Conjecture on Mesoscopic Intervals

तकनीकी सारांश: मेसोस्कोपिक अंतरालों पर फ्योदोरोव-हियारी-कीटिंग अनुमान (The Fyodorov–Hiary–Keating Conjecture on Mesoscopic Intervals)

समस्या विवरण
यह शोध पत्र "मेसोस्कोपिक" (mesoscopic) लघु अंतरालों पर रीमैन ज़ेटा फलन, $\zeta(s)$, के अधिकतम मान और दूसरे क्षण (पार्टिशन फंक्शन) के वितरण को संबोधित करता है, जो क्रिटिकल लाइन $\Re(s) = 1/2$ पर स्थित है। विशेष रूप से, लेखक यह जांचते हैं कि $\max_{|h| \le (\log T)^\theta} |\zeta(1/2 + i(\tau + h))|$ और इसके वर्ग का समाकल (integral) कैसा व्यवहार करता है, जहाँ $\tau$ अंतराल $[T, 2T]$ में समान रूप से वितरित है और $\theta \in (-1, 0]$ है।

केंद्रीय समस्या फ्योदोरोव-हियारी-कीटिंग (FHK) अनुमान को सत्यापित करना है, जो भविष्यवाणी करता है कि ऐसे अंतरालों पर $\log |\zeta|$ के स्थानीय अधिकतम (local maxima) एक ब्रांचिंग रैंडम वॉक (BRW) के अधिकतम की तरह व्यवहार करते हैं। जबकि $\theta < 0$ के लिए अग्रणी क्रम (leading order) व्यवहार पहले ही स्थापित किया जा चुका था (Arguin, Ouimet, and Radziwiłł द्वारा), और $\theta = 0$ के लिए पूर्ण वितरण भी ज्ञात था (Arguin, Bourgade, and Radziwiłł द्वारा), $\theta \in (-1, 0)$ के मामले में सटीक उप-अग्रणी क्रम (sub-leading order) और स्पष्ट गाऊसी उतार-चढ़ाव (Gaussian fluctuation) पद की पहचान के संबंध में मामला खुला रह गया था।

कार्यप्रणाली (Methodology)
लेखक एक संभावabilistic दृष्टिकोण का उपयोग करते हैं जो ज़ेटा फलन और ब्रांचिंग रैंडम वॉक के बीच संबंध पर आधारित है, और इसमें Arguin, Bourgade, and Radziwiłł [6] से अनुकूलित एक पुनरावर्ती योजना (recursive scheme) का उपयोग किया गया है। कार्यप्रणाली में कई प्रमुख तकनीकी घटक शामिल हैं:

1. ज़ेटा फलन का अपघटन (Decomposition of the Zeta Function): लेखक $\log |\zeta(1/2 + i(\tau + h))|$ को एक "लंबे" डिरिचलेट बहुपद भाग, $S_{t_\theta}(h)$, में विभाजित करते हैं जो $p \le \exp((\log T)^{|\theta|})$ तक के अभाज्य संख्याओं (primes) के सहसंबंधों को पकड़ता है, और एक "लघु" विस्थापित भाग, $S_k(h) = S_{t_\theta+k}(h) - S_{t_\theta}(h)$ में।

   • $\theta < 0$ के लिए, $S_{t_\theta}(0)$ पद एक सामान्य कारक (common factor) के रूप में कार्य करता है (जो अंतराल पर लगभग स्थिर रहता है) जो एक गाऊसी उतार-चढ़ाव पेश करता है।
   • शेष पद को $t(1+\theta)$ गहराई वाले एक BRW के रूप में मॉडल किया जाता है।

2. पुनरावर्ती अवरोध योजना (Recursive Barrier Scheme): अधिकतम मान को सीमित करने के लिए, लेखक "अच्छे सेटों" (good sets) $G_\ell$ की एक श्रृंखला का निर्माण करते हैं, जो ऊपरी और निचले अवरोधों ($U_y(k)$ और $L_y(k)$) द्वारा परिभाषित होते हैं जिनका पालन $S_k(h)$ को विशिष्ट चेकपॉइंट्स $t_\ell$ पर करना होता है। यह योजना, जिसे Bramson [15] द्वारा BRW के लिए विकसित किया गया था, डिरिचलेट बहुपदों की लंबाई को उन सीमाओं तक प्रतिबंधित करके बड़े विचलन (large deviations) को नियंत्रित करने की अनुमति देती है जहाँ माध्य-मूल्य प्रमेय (mean-value theorem) के माध्यम से मोमेंट अनुमान वैध रहते हैं।

3. पार्टिशन फंक्शन के लिए आंशिक अवरोध रणनीति (Partial Barrier Strategy for the Partition Function): क्रिटिकलिटी ($\beta=2$) पर दूसरे क्षण (पार्टिशन फंक्शन) के लिए, लेखक एक "आंशिक अवरोध" रणनीति पेश करते हैं। पिछले दृष्टिकोणों के विपरीत, जिन्हें पूरे समय अंतराल पर अवरोधों की आवश्यकता थी, वे प्रदर्शित करते हैं कि प्रक्रिया को समय $t^* = (t - t_\theta)/2$ तक सीमित करना सही सामान्यीकरण कारक (normalization factor) प्राप्त करने के लिए पर्याप्त है। यह पूरे अंतराल पर लंबे डिरिचलेट बहुपदों को नियंत्रित करने की तकनीकी कठिनाइयों से बचने में मदद करता है।

4. सहसंबंध नियंत्रण (Correlation Control): एक महत्वपूर्ण तकनीकी लेम्मा (प्रस्ताव 1.5) यह स्थापित करता है कि अभाज्य संख्या $p \le \exp((\log T)^{|\theta|})$ से संबंधित योगदान अंतराल $|h| \le (\log T)^\theta$ पर अनिवार्य रूप से स्थिर है, जिसमें विचलन गाऊसी टेल (Gaussian tail) के रूप में घटते हैं। यह अधिकतम और मोमेंट अनुमानों से $|P_\tau(\theta)|$ (जो $e^{-S_{t_\theta}(0)}$ से संबंधित है) को बाहर निकालने को न्यायसंगत बनाता है।

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

1. स्थानीय अधिकतम के लिए ऊपरी सीमा (Theorem 1.2):
   लेखक मेसोस्कोपिक अंतरालों पर $\zeta$ के अधिकतम के लिए एक सटीक ऊपरी सीमा सिद्ध करते हैं। वे दिखाते हैं कि निश्चित $\theta \in (-1, 0]$ और बड़े $T$ के लिए, इस संभावना की कि अधिकतम $y$ की दहलीज को पार कर जाएगा:
   $$P\left( \max_{|h| \le (\log T)^\theta} |\zeta(1/2 + i(\tau + h))| > e^y \frac{(\log T)^{1+\theta}}{(\log \log T)^{3/4}} \right) \le C y \exp\left(-2y - \frac{y^2}{(1+\theta)\log \log T}\right)$$
   महत्वपूर्ण रूप से, यह परिणाम FHK अनुमान में गाऊसीय पद के स्रोत को स्पष्ट रूप से पहचानता है जो कि राशि $S(t) = S_{t_\theta}(0)$ है, जो एक मानक गाऊसी वितरण में अभिसरित (converge) होती है। यह $\theta \in (-1, 0]$ के लिए एक गुणात्मक स्थिरांक (multiplicative constant) तक अनुमान के ऊपरी भाग को सुलझाता है।

2. पार्टिशन फंक्शन के लिए ऊपरी सीमा (Theorem 1.3):
   लेखक मेसोस्कोपिक अंतरालों पर दूसरे क्षण $Z_2(\theta)$ के लिए एक ऊपरी सीमा प्राप्त करते हैं। परिणाम दिखाता है कि $Z_2(\theta)$ के एक दहलीज को पार करने की संभावना $A^{-1+\epsilon}$ के रूप में घटती है। इस सीमा में एक लॉग-नॉर्मल कारक (जो लंबे अभाज्य संख्याओं से उत्पन्न होता है) और एक वर्ग-मूल सुधार पद $\sqrt{\log \log T}$ (जो लघु अभाज्य संख्याओं से उत्पन्न होता है) का गुणनफल शामिल है, जो $\theta=0$ के लिए हार्पर (Harper) के परिणाम का सामान्यीकरण करता है।
   $$P\left( Z_2(\theta) |P_\tau(\theta)|^2 \ge A \frac{(\log T)^{1+\theta}}{\sqrt{(1+\theta)\log \log T}} \right) \le C A^{-1+\epsilon}$$

3. प्रतिबंधित बड़े विचलन अनुमान (Theorem 1.4):
   लेखक एक अभाज्य अंतराल पर अवरोधों द्वारा बाधित $\log |\zeta|$ के लिए बड़े विचलन अनुमान स्थापित करते हैं। यह परिणाम, जो [1] और [6] की तकनीकों का सामान्यीकरण करता है, स्वतंत्र रूप से भी महत्वपूर्ण है। यह अवरोध बाधाओं के तहत $\log |\zeta|$ के मान $V$ को पार करने की संभावना को गाऊसी रैंडम वॉक की संगत संभावना से जोड़ता है।

महत्ता
यह शोध पत्र दावा करता है कि यह मेसोस्कोपिक अंतरालों ($\theta \in (-1, 0]$) के लिए फ्योदोरोव-हियारी-कीटिंग अनुमान के ऊपरी भाग को $O(1)$ सटीकता के साथ सुलझाता है, जो पिछले अग्रणी-क्रम परिणामों की तुलना में एक महत्वपूर्ण सुधार है। गाऊसीय उतार-चढ़ाव पद $S(t)$ को स्पष्ट रूप से पहचानकर, यह कार्य अधिकतम की संरचना को स्पष्ट करता है, जिससे यह पुष्टि होती है कि यह एक गाऊसीय चर (लंबे अभाज्य संख्याओं से) और एक ब्रांचिंग रैंडम वॉक के अधिकतम (लघु अभाज्य संख्याओं से) का योग है।

इसके अलावा, यह पत्र $\theta = 0$ के लिए हार्पर के बाउंड का एक नया प्रमाण प्रदान करता है और इसे $\theta < 0$ के लिए सामान्यीकृत करता है। लेखक नोट करते हैं कि उनका प्रमाण हार्पर के दृष्टिकोण से भिन्न है क्योंकि यह "आंशिक अवरोध" रणनीति का उपयोग करता है, जो पूरे अंतराल पर पूर्ण अवरोध की पूरी जटिलता पर निर्भर किए बिना उच्च बिंदुओं के माप को कठोरता से नियंत्रित करने की अनुमति देता है। यह कार्य $\theta=0$ (रैंडम मैट्रिक्स थ्योरी एनालॉग्स) और $\theta < 0$ के ज्ञात परिणामों के बीच के अंतर को पाटता है, जो ज़ेटा फलन के चरम मानों को समझने के लिए एक एकीकृत ढांचा प्रदान करता है।