🔢 mathematics

Siegel zeros and small gaps between zeros of the Riemann zeta function

रीमान परिकल्पना को मानते हुए, यह शोधपत्र प्रदर्शित करता है कि सीगल शून्य (Siegel zeros) के एक अनंत परिवार का अस्तित्व रीमान ज़ेटा फलन के क्रमिक शून्यों के बीच सामान्यीकृत अंतराल को 0.4733 से छोटा होने के लिए बाध्य करता है, जो कि कुछ प्रबल वैकल्पिक परिकल्पनाओं का खंडन करने के लिए मोंटगोमरी-ओडलीज़को पद्धति के भीतर दीर्घ डिरिचलेट बहुपद (long Dirichlet polynomials) लागू करके प्राप्त किया गया एक परिणाम है।

मूल लेखक: Andriy Bondarenko, Winston Heap

प्रकाशित 2026-08-10

📖 3 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Andriy Bondarenko, Winston Heap

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

संख्या रेखा की कल्पना एक विशाल, अनंत राजमार्ग के रूप में करें जहाँ सबसे रहस्यमय यात्री 'रीमान ज़ेटा फलन' (Riemann zeta function) के "शून्य" (zeros) हैं। ये केवल यादृच्छिक संख्याएँ नहीं हैं; ये गणित के छिपे हुए लयबद्ध खंड (rhythm section) हैं, जो एक ऐसी धुन बजाते हैं जो अभाज्य संख्याओं (जो सभी संख्याओं के निर्माण खंड हैं) के वितरण को नियंत्रित करती है। एक सदी से अधिक समय से, गणितज्ञ "रीमान परिकल्पना" (Riemann Hypothesis) के प्रति जुनूनी रहे हैं, जो एक प्रसिद्ध अनुमान है कि ये सभी यात्री एक बहुत ही विशिष्ट, सीधी ऊर्ध्वाधर रेखा पर ही रहते हैं। लेकिन भले ही हम यह मान लें कि वे उसी रेखा पर रहते हैं, तो वहाँ एक दूसरा रहस्य है: वे एक-दूसरे के कितने करीब खड़े होते हैं? क्या वे घनी भीड़ में सिमट जाते हैं, या वे अपने बीच विशाल खाली स्थान छोड़ देते हैं?

स्पेसिंग (spacing) को समझने के लिए, गणितज्ञ एक विशेष पैमाने का उपयोग करते हैं। औसतन, इन शून्यों के बीच की दूरी उनकी ऊंचाई के लघुगणक (logarithm) के $2\pi$ के बराबर होती है। बड़ा सवाल यह है कि वे वास्तव में कितना छोटा अंतराल बनाते हैं? क्या यह संभव है कि दो शून्य लगभग एक-दूसरे के ऊपर खड़े हो जाएं? लंबे समय तक, एक डर था कि "सीगल शून्य" (Siegel zero) नामक एक अजीब, काल्पनिक गड़बड़ी (एक विद्रोही संख्या जो सामान्य नियमों को तोड़ देती है) एक बल क्षेत्र (force field) की तरह कार्य कर सकती है, जो नियमित शून्यों को एक-दूसरे से दूर धकेलती है और उन्हें ठीक आधे "पैमाने की इकाई" ( $1/2$ ) की न्यूनतम दूरी बनाए रखने के लिए मजबूर करती है। यदि यह सच होता, तो इसका अर्थ यह होता कि शून्य चाहे कितनी भी ऊंचाई पर क्यों न हों, वे उस विशिष्ट सीमा से कभी भी करीब नहीं आ सकते।

आंद्रे बॉन्डेनको और विंस्टन हीप द्वारा लिखा गया यह शोध पत्र सीधे तौर पर उस डर को संबोधित करता है। वे पूछते हैं: "यदि ये विद्रोही सीगल शून्य वास्तव में अस्तित्व में हैं, तो क्या वे वास्तव में नियमित शून्यों को आधे इकाई से अधिक करीब आने से रोकते हैं?" लंबी, जटिल तरंगों (जिन्हें डिरिचलेट पॉलिनोमियल कहा जाता है) का उपयोग करने वाली एक चतुर गणितीय तकनीक और रीमान परिकल्पना को सत्य मानते हुए, वे दिखाते हैं कि उत्तर निश्चित रूप से नहीं है। वास्तव में, वे सिद्ध करते हैं कि यदि ये विद्रोही शून्य मौजूद हैं, तो वे वास्तव में नियमित शून्यों को एक-दूसरे के और करीब आने में मदद करते हैं। लेखक यह प्रदर्शित करते हैं कि ऐसे अंतरालों का एक अनंत परिवार है जो सामान्य पैमाने की लंबाई के $0.4733 $गुना से भी कम है। यह परिणाम इस विचार को ध्वस्त कर देता है कि$ 1/2$ एक अटूट बाधा है। यह एक विशिष्ट, कठोर सिद्धांत (जिसे "अल्टरनेटिव हाइपोथीसिस" के रूप में जाना जाता है) को भी खारिज करता है, जिसने सुझाव दिया था कि शून्य केवल सटीक अर्ध-पूर्णांक दूरियों पर ही खड़े होंगे। इसके बजाय, गणित दिखाता है कि इन विद्रोही शून्यों के बावजूद, शून्य क्लस्टर में इकट्ठा होंगे और सिमटेंगे, जो पहले से सोची गई किसी भी संभावना की तुलना में अधिक अराजक और करीब हैं।

तकनीकी सारांश: सीगल ज़ीरो और रीमैन ज़ेटा फलन के शून्य के बीच छोटे अंतराल

समस्या विवरण
यह शोध पत्र रीमैन ज़ेटा फलन, $\zeta(s)$ के गैर-तुच्छ शून्यों (non-trivial zeros) के ऊर्ध्वाधर वितरण (vertical distribution) को संबोधित करता है। विशेष रूप से, यह क्रमिक अध्यादेशों (ordinates) $\gamma_n$ और $\gamma_{n+1}$ के बीच "छोटे अंतरालों" (small gaps) के अस्तित्व की जांच करता है। इसका वितरण औसत अंतराल $2\pi/\log \gamma_n$ द्वारा सामान्यीकृत (normalized) है। लेखक $\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$ मात्रा को परिभाषित करते हैं।

एक दीर्घकालीन अनुमान (conjecture) यह प्रस्तावित करता है कि $\mu = 0$ है। जबकि रीमैन परिकल्पना (RH) को माना गया है, $\mu$ के लिए ज्ञात सर्वोत्तम अनकंडीशनल निचला स्तर (lower bound) मुद्दा नहीं है; बल्कि, यह पत्र ऊपरी स्तर (upper bound) पर केंद्रित है। इस कार्य से पूर्व, RH पर सर्वोत्तम परिणाम $\mu < 0.50895$ (इनो) था। एक प्रचलित धारणा थी कि $\mu$ के लिए $1/2$ का मान एक प्राकृतिक बाधा (natural barrier) है, जो सीगल ज़ीरो (डिरिचलेट $L$ -फंक्शन्स के अपवाद स्वरूप वास्तविक शून्य) की संभावित उपस्थिति के कारण हो सकती है। पूर्ववर्ती कार्यों (हीथ-ब्राउन और कॉनरे-इवानिएक) ने सुझाव दिया था कि यदि सीगल ज़ीरो मौजूद हैं, तो वे ज़ेटा शून्यों में एक प्रकार की कठोरता (rigidity) लागू कर सकते हैं, जो $1/2$ से छोटे अंतराल होने से रोकते हैं (इसे "वैकल्पिक परिकल्पना" कहा जाता है)।

कार्यप्रणाली (Methodology)
लेखक मोंटगोमरी-ओडली-मेथड (Montgomery–Odlyzko method) का उपयोग करते हैं, जो छोटे अंतरालों का पता लगाने के लिए दो भारित इंटीग्रल्स (weighted integrals) की तुलना करता है। मुख्य नवाचार "रेजोनेटर" फलन $R(t)$ का चयन और संबद्ध डिरिचलेट बहुपद (Dirichlet polynomial) की लंबाई है।

लंबे डिरिचलेट बहुपद: पारंपरिक अनुप्रयोगों में, ऑफ-डायगोनल पदों (off-diagonal terms) से बचने के लिए "छोटे" डिरichlet बहुपदों (लंबाई $L \ll T$ ) तक ही सीमित रहना पड़ता है, जो गुणांकों के योगात्मक सहसंबंधों (additive correlations) से संबंधित होते हैं। यह शोध पत्र एक लंबे डिरिचलेट बहुपद का उपयोग करके इस बाधा को तोड़ता है जिसकी लंबाई $L \approx T^{17/14}$ है।
रेजोनेटर निर्माण: रेजोनेटर को $R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$ के रूप में चुना गया है, जहाँ $\chi$ एक प्रिमिटिव क्वाड्रेटिक डिरिचलेट कैरेक्टर है जो एक सीगल ज़ीरो से जुड़ा है। गुणांकों में एक स्मूथ वेट $G(n)$ और कैरेक्टर $\chi$ शामिल हैं।
ऑफ-डायगोनल पदों को संभालना: प्राथमिक तकनीकी चुनौती ऑफ-डायगोनल सहसंबंधों $\sum \chi(m)\chi(km+r)$ $\sum χ (m) χ (k m + r)$ और $\sum \Lambda(k)\chi(km+r)$ $\sum Λ (k) χ (k m + r)$ का अनुमान लगाना है। लेखक इन सहसंबंधों को पावर-सेविंग एरर टर्म्स के साथ संभालने के लिए एक नई योजना विकसित करते हैं, जो प्राइम वेरिएबल $k$ $k$ के आकार के आधार पर विश्लेषण को तीन श्रेणियों में विभाजित करती है:
- छोटा $k$ : इसे सहसंबंध योगों (correlation sums) पर बाउंड्स का उपयोग करके संभाला जाता है (लेम्मा 4, जो हीथ-ब्राउन के कार्य का विस्तार है)।
- मध्यवर्ती $k$ : इसे शिफ्टेड कैरेक्टर समाجموعों (shifted character sums) के सेकंड-मोमेंट अनुमानों का उपयोग करके संबोधित किया जाता है (एडिटिव डिवीजर समस्या की तकनीकों के साथ कॉची-श्वार्ज़ संयोजन)।
- बड़ा $k$ : इसे फूरियर इन्वर्जन (सामान्यीकृत जैकोबी सम) के माध्यम से $\chi(km+r)$ में चरों को अलग करके हल किया जाता है और डिरिचलेट $L$ -फंक्शन्स के ज़ीरो-डेंसिटी अनुमानों (विशेष रूप से चेन-गुप्ता-ली अनुमान) को लागू करके कैरेक्टर्स पर योग को सीमित किया जाता है।

मुख्य परिणाम
यह शोध पत्र रीमैन परिकल्पना (RH) की धारणा के तहत मुख्य प्रमेय स्थापित करता है:

प्रमेय 1: मान लें कि RH सत्य है और एक असाधारण सीगल ज़ीरो अनुक्रम (exceptional sequence of Siegel zeros) मौजूद है जिसका गुण $E = \inf_j E_j$ पर्याप्त रूप से बड़ा है। तब:
$\mu < 0.4733$
विशेष रूप से, लेखक दिखाते हैं कि $\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0.4733$ ।

उपप्रमेय (Corollary) 2: समान धारणाओं के तहत, एक ऐसा विषम वितरण (asymptotic distribution) जहाँ सामान्यीकृत अंतराल $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$ के सेट तक सीमित हैं, अस्तित्व में नहीं रह सकता। यह "वैकल्पिक परिकल्पना" के एक प्रबल रूप का खंडन करता है जो यह दावा करता है कि सीगल ज़ीरो सभी अंतरालों को आधे-पूर्णांक (half-integers) होने के लिए मजबूर करते हैं।

महत्व और दावे
लेखक दावा करते हैं कि उनका परिणाम आश्चर्यजनक है क्योंकि यह दर्शाता है कि सीगल ज़ीरो $\mu < 1/2$ सिद्ध करने के लिए बाधा नहीं हैं; बल्कि, ऐसे ज़ीरो का उपयोग $1/2$ से छोटे अंतराल के अस्तित्व को सिद्ध करने के लिए किया जा सकता है।

प्रबल वैकल्पिक परिकल्पनाओं का खंडन: यह परिणाम उस विचार का खंडन करता है कि सीगल ज़रो एक ऐसी कठोर वितरण व्यवस्था लागू करते हैं जहाँ लगभग सभी अंतराल $\ge 1/2$ होते हैं। इसके बजाय, यह दिखाता है कि यदि सीगल ज़ीरो मौजूद हैं, तो $0.4733$ से कम के सामान्यीकृत अंतराल वाले ज़ीरो का क्लस्टरिंग (clustering) होना अनिवार्य है।
मेथोडोलॉजिकल ब्रेकथ्रू: यह पत्र रेखांकित करता है कि मोंटगोमरी-ओडली विधि की $\mu < 0.508$ तक की सीमा छोटे बहुपदों (short polynomials) के प्रतिबंध के कारण थी। लंबे बहुपदों (लंबाई $T^{17/14}$ ) के ऑफ-डायगोनल पदों को सीगल ज़ीरो का उपयोग करके व्यवस्थित गुणांकों के माध्यम से सफलतापूर्वक प्रबंधित करके, लेखकों ने इस कम्प्यूटेशनल बाधा को पार कर लिया है।
तकनीकी सूक्ष्मता: लेखक स्पष्ट करते हैं कि उनका परिणाम हीथ-ब्राउन या कॉनरे-इवानिएक का विरोध नहीं करता है। उन कार्यों ने स्थापित किया था कि सीगल ज़ीरो $1/2$ से छोटे कुछ अंतराल (एक मात्रात्मक आनुपातिक परिणाम) का संकेत देते हैं। यह पत्र $0.4733$ से कम के कम से कम एक अंतराल के अस्तित्व (एक लिमइन्फ परिणाम) को स्थापित करता है, न कि ऐसे अंतरालों के एक सकारात्मक अनुपात का दावा करता है।

शोध पत्र निष्कर्ष निकालता है कि हालांकि सीगल ज़ीरो छोटे अंतरालों के एक सकारात्मक अनुपात (positive proportion) को स्थापित करने के लिए एक बाधा बने हुए हैं (क्योंकि उच्च मोमेंट्स की आवश्यकता बहुपद की लंबाई को और अधिक सीमित करती है), वे $1/2$ से नीचे के अंतरालों के अस्तित्व को स्थापित करने के लिए बाधा नहीं हैं। लेखक नोट करते हैं कि गुणांकों के चयन या ज़ीरो-डेंसी अनुमानों (जैसे डेंसिटी हाइपोथेसिस) में और सुधार से इस सीमा को और कम किया जा सकता है, संभवतः $\mu < 0.467$ तक, लेकिन वर्तमान कार्य $1/2$ की बाधा को तोड़ने के लिए सीगल ज़ीरो के उपयोग के तंत्र पर केंद्रित है।

तकनीकी सारांश: सीगल ज़ीरो और रीमैन ज़ेटा फलन के शून्य के बीच छोटे अंतराल

इसी तरह के और पेपर