🔢 mathematics

Power sums and Siegel-type zero-free regions for L-functions

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

मूल लेखक: Jesse Thorner

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

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

CC BY 4.0

मूल लेखक: Jesse Thorner

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

संख्या रेखा की कल्पना एक विशाल, अनंत राजमार्ग के रूप में करें जो दोनों दिशाओं में फैला हुआ है। सदियों से, गणितज्ञों ने इस सड़क के एक विशिष्ट हिस्से को लेकर जुनून पाल रखा है: वह "क्रिटिकल लाइन" (critical line) जहाँ प्रसिद्ध रीमान हाइपोथेसिसिस (Riemann Hypothesis) दावा करता है कि सारा ट्रैफ़िक रुक जाता है। लेकिन इससे पहले कि हम कारों तक पहुँचें, हमें खुद कारों को समझने की ज़रूरत है। संख्याओं की दुनिया में, L-फंक्शन्स (L-functions) नामक विशेष फलन होते हैं। इन्हें कारों के रूप में नहीं, बल्कि जटिल संगीत स्कोर या रेडियो संकेतों के रूप में सोचें जो अभाज्य संख्याओं (prime numbers) के छिपे हुए पैटर्न को एनकोड करते हैं—जो अंकगणित के निर्माण खंड हैं। जिस तरह एक रेडियो सिग्नल में शोर या सन्नाटा हो सकता है, इन गणितीय फलनों में 'जीरो' (zero) आ सकते हैं। ये 'जीरो' इन फलनों के वे मौन स्थान हैं जहाँ सिग्नल गायब हो जाता है।

इन 'जीरो' का स्थान अत्यंत महत्वपूर्ण है। यदि कोई 'जीरो' गलत जगह पर दिखाई देता है (विशेष रूप से, वास्तविक संख्या रेखा पर 1 के बहुत करीब), तो यह अभाज्य संख्याओं के वितरण की पूरी व्यवस्था को अराजकता में डाल देता है। यह बिल्कुल वैसा ही है जैसे किसी शहर की हर घड़ी की टाइमिंग को बिगाड़ने के लिए मशीन में कोई भूत मिल जाए। लंबे समय तक, गणितज्ञ यह सिद्ध करने में सफल रहे कि ये "भूत" कुछ सुरक्षित क्षेत्रों में मौजूद नहीं थे, लेकिन यह सुरक्षा क्षेत्र संकीर्ण था और यह काफी हद तक इस बात पर निर्भर था कि सिग्नल कितना जटिल है। सिग्नल जितना बड़ा (जिसे "एनालिटिक कंडक्टर" कहा जाता है) होगा, सुरक्षा क्षेत्र उतना ही संकरा होता जाएगा, जिससे अभाज्य संख्याओं के व्यवहार की भविष्यवाणी करना कठिन हो जाता है। बड़ा सवाल यह था: क्या हम बिना किसी अपुष्ट सिद्धांतों का सहारा लिए, सिग्नल कितना भी जटिल क्यों न हो जाए, इस सुरक्षा क्षेत्र को व्यापक बना सकते हैं?

जेसी थॉर्नर (Jesse Thorner) का यह शोध पत्र ठीक इसी समस्या पर प्रहार करता है। वह यह सिद्ध करने के लिए एक बिल्कुल नई विधि पेश करते हैं कि ये खतरनाक 'जीरो' 1 के बहुत करीब नहीं छिप सकते, यहाँ तक कि सबसे जटिल सिग्नलों के लिए भी। लेखक केवल मौजूदा सुरक्षा क्षेत्र में सुधार ही नहीं करते; बल्कि वह एक बहुत व्यापक और समान (uniform) सुरक्षा क्षेत्र बनाते हैं जो इन L-फंक्शन्स के एक विशाल परिवार के लिए काम करता है, जिसमें मानक (standard) और अधिक जटिल "रैकिन-सेल्बर्ग" (Rankin–Selberg) वाले फलन भी शामिल हैं।

इस खोज का मूल आधार यह है: लेखक सिद्ध करते हैं कि किसी भी सूक्ष्म त्रुटि मार्जिन (मान लीजिए इसे $\epsilon$ कहें) के लिए, एक गारंटीकृत "नो-गो ज़ोन" (no-go zone) मौजूद है। विशेष रूप से, यदि आप संख्या रेखा पर एक ऐसा बिंदु देखते हैं जो $1 - c(C_\pi(|t| + 3))^{-\epsilon}$ है (जहाँ $C_\pi$ सिग्नल की जटिलता है और $t$ एक समय-सदृश चर है), तो L-फंक्शन वहां निश्चित रूप से शून्य नहीं होगा। वास्तव में, उस बिंदु पर फलन का मान गारंटी के साथ $c(C_\pi(|t| + 3))^{-\epsilon}$ से अधिक होगा। यह पिछले परिणामों की तुलना में एक बड़ी उपलब्धि है, जिनमें 'नो-गो ज़ोन' को सिग्नल के अधिक जटिल होने पर बहुत तेज़ी से सिकुड़ना पड़ता था।

यह शोध पत्र समस्या को हल करने के पुराने, मानक तरीके को खारिज करके इस कार्य को सिद्ध करता है। पहले, गणितज्ञ कई L-फंक्शन्स को एक साथ जोड़कर एक नया फलन बनाने के माध्यम से एक "सुरक्षा जाल" बनाने की कोशिश करते थे, जिससे केवल धनात्मक संख्याएँ प्राप्त होती थीं (जैसे कि तराजू को पलटने से रोकने के लिए वजन के ढेर लगाना)। यह सरल मामलों में अच्छा काम करता था, लेकिन सबसे जटिल, स्व-द्वैत (self-dual) सिग्नलों के लिए एक दीवार से टकरा गया। थॉर्नर दिखाते हैं कि सामान्य मामले के लिए यह पुराना तरीका अपर्याप्त है। इसके बजाय, वह "पावर सम्स" (power sums) का उपयोग करते हुए एक चतुर दो-चरणीय नृत्य का उपयोग करते हैं। कल्पना कीजिए कि आपके पास संख्याओं का एक संग्रह है, और आप जानना चाहते हैं कि क्या वे सभी छोटी हैं या कम से कम एक बड़ी है। यह शोध पत्र दो अलग-अलग गणितीय उपकरणों का उपयोग करता है (जो 1940 के दशक के कार्यों से प्रेरित हैं) यह जाँचने के लिए कि क्या यह संभव है। एक उपकरण संख्याओं के कुल आकार की जाँच करता है, और दूसरा उनके वास्तविक भागों (real parts) की जाँच करता है। इन दोनों को मिलाकर, लेखक यह पता लगा सकते हैं कि क्या कोई "भूत" शून्य घुसने की कोशिश कर रहा है। यदि कोई भूत वहाँ होता है, तो गणित एक विरोधाभास पैदा करता है, जिससे यह सिद्ध होता है कि वह भूत उस विशिष्ट क्षेत्र में मौजूद नहीं हो सकता।

परिणाम कठोर और अनकंडीशनल (unconditional) हैं, जिसका अर्थ है कि वे इस धारणा पर निर्भर नहीं करते कि अन्य अपुष्ट सिद्धांत सत्य हैं। यह शोध पत्र स्थापित करता है कि सभी $\epsilon > 0$ के लिए ये 'जीरो-फ्री रीजन' (zero-free regions) मौजूद हैं, जिनके स्थिरांक (constants) नंबर फील्ड और रिप्रेजेंटेशन के आयामों पर निर्भर करते हैं, हालांकि ये स्थिरांक "इनइफेक्टिव" (ineffective) हैं (अर्थात हम जानते हैं कि वे मौजूद हैं और धनात्मक हैं, लेकिन यह शोध पत्र उनका सटीक संख्यात्मक मान गणना करने की कोई विशिष्ट विधि नहीं देता है)।

इसके निहितार्थ संख्या सिद्धांत (number theory) के लिए तत्काल और व्यावहारिक हैं। यह शोध पत्र दिखाता है कि यह नया, व्यापक सुरक्षा क्षेत्र इन जटिल सिग्नलों के लिए "प्राइम नंबर थ्योरम" (Prime Number Theorem) के बेहतर संस्करणों की ओर ले जाता है। esenciaतः, यह गणितज्ञों को इन जटिल सिग्नलों के लिए अभाज्य संख्याओं के वितरण की भविष्यवाणी बहुत अधिक सटीकता के साथ और संख्याओं की एक विस्तृत श्रृंखला में करने की अनुमति देता है। यह "ब्राउअर-सीगल प्रमेय" (Brauer–Siegel theorem) के नए सामान्यीकरणों की ओर भी ले जाता है, जो एक नंबर फील्ड के आकार को उसके क्लास नंबर (class number) से जोड़ता है (जो यह मापता है कि उसका अंकगणित पूर्णता से कितना दूर है)। संक्षेप में, थॉर्नर ने संख्या रेखा के सबसे खतरनाक हिस्से के चारों ओर एक मजबूत, अधिक लचीली बाड़ बनाई है, जिससे हमें बिना किसी अपुष्ट धारणाओं के सहारे, संख्याओं की मौलिक संरचना का स्पष्ट दृश्य मिलता है।

तकनीकी सारांश: L-फंक्शन्स के लिए पावर संums और सीगल-प्रकार के शून्य-मुक्त क्षेत्र

समस्या विवरण
यह शोध पत्र एक संख्या क्षेत्र $F$ पर $\text{GL}(n)$ के यूनिटरी कस्पिडल ऑटोमॉर्फिक रिप्रेजेंटेशन्स $\pi$ से जुड़े मानक $L$ -फंक्शन्स $L(s, \pi)$ और रैंकिंग-सेल्बर्ग $L$ -फंक्शन्स $L(s, \pi \times \pi')$ के लिए $\text{Re}(s) = 1$ रेखा के निकट शून्य-मुक्त क्षेत्रों (zero-free regions) को स्थापित करने की समस्या को संबोधित करता है।

जबकि जेनलाइज्ड रीमान हाइपोथेसिस (GRH) $\text{Re}(s) > 1/2$ के लिए गैर-शून्यता (non-vanishing) की भविष्यवाणी करती है, अनकंडीशनल (unconditional) परिणाम सीमित हैं। पिछले कार्यों ने गैर-स्व-द्वैत (non-self-dual) मामलों के लिए या अप्रामाणिक मॉड्यूलरिटी हाइपोथीसिसिस (जैसे लैंगलैंड्स फंकटोरियलिटी) के तहत "मानक" शून्य-मुक्त क्षेत्र $\sigma \geq 1 - c(\log C_\pi)^{-1}$ स्थापित किए थे। स्व-द्वैत मामलों या सामान्य रैंकिंग-सेल्बर्ग उत्पादों के लिए, अनकंडीशनल परिणाम उन क्षेत्रों तक सीमित थे जहाँ $L$ -फंक्शन के मान का निचला स्तर और शून्य-मुक्त क्षेत्र की चौड़ाई एनालिटिक कंडक्टर $C_\pi$ के साथ पॉलिनोमियल रूप से घटती थी (जैसे $\sigma \geq 1 - c C_\pi^{-\delta}$ )। लक्ष्य इन सीमाओं को एक "सीगल-प्रकार" (Siegel-type) के रूप में सुधारना है, जहाँ क्षय (decay) अनिश्चित रूप से छोटा (अर्थात $C_\pi^{-\epsilon}$ ) हो, बिना रैंकिंग-सेल्बर्ग $L$ -फंक्शन्स की मॉड्यूलरिटी के अप्रामाणिक हाइपोथीसिस पर निर्भर हुए।

कार्यप्रणाली (Methodology)
लेखक एक नया दृष्टिकोण पेश करते हैं जो पोल (poles) का पता लगाने के लिए गैर-ऋणात्मक गुणांकों वाली सहायक डिरिचलेट श्रेणियों (auxiliary Dirichlet series) के निर्माण की शास्त्रीय रणनीति से भिन्न है। प्रमाण दो अलग-अलग पावर संums (power sums) के निचले स्तरों पर निर्भर करता, जो सोस (Sós) और टुरान (Turán) के कार्य से प्रेरित हैं, जिन्हें पूरक भूमिकाओं में लागू किया गया है:

टुरान का सेकंड मेन थ्योरम (प्रपोजिशन 2.1): जटिल संख्याओं के पावर्स के योग के परिमाण के लिए एक निचला स्तर स्थापित करने के लिए उपयोग किया जाता है। इसे एक सहायक फलन $F(z) = L(z, \pi_\epsilon \times \pi')L(z, \pi_\epsilon \times \tilde{\pi})$ के शून्यों पर लागू किया जाता है ताकि यह दिखाया जा सके कि यदि एक अपवाद स्वरूप शून्य (exceptional zero) $\beta_\epsilon$ मौजूद है, तो लॉगरिदमिक डेरिवेटिव का एक विशिष्ट डेरिवेटिव, $G_k(1+\epsilon)$ , बड़ा होना चाहिए।
रियल पार्ट लोअर बाउंड (प्रपोजिशन 2.2): पावर संums के वास्तविक भाग को बांधने के लिए उपयोग किया जाता है। इसे मोरेनो (Moreno) के डीयूरिंग-हीलब्रोन (Deuring–Heilbronn) शून्य प्रतिकर्षण (zero repulsion) घटना के संस्करण के माध्यम से लागू किया जाता है। यह लेखक को $G_k(1+\epsilon)$ को एक ऐसे कारक द्वारा ऊपरी सीमा देने की अनुमति देता है जो संभावित दूसरे शून्य $\beta_1$ की 1 से दूरी (विशेष रूप से $1-\beta_1$ ) से संबंधित है।

रणनीति विरोधाभास (contradiction) द्वारा आगे बढ़ती है:

मान लें कि 1 के करीब एक वास्तविक शून्य $\beta_1$ मौजूद है।
$F(z)$ के लॉगरिदमिक डेरिवेटिव के $k$ -वें डेरिवेटिव से संबंधित एक फलन $G_k(z)$ का निर्माण करें।
प्रपोजिशन 2.1 का उपयोग करके यह दिखाने के लिए कि प्रारंभिक "अपवाद स्वरूप" शून्य $\beta_\epsilon$ की उपस्थिति $|G_k(1+\epsilon)|$ को बड़ा होने के लिए मजबूर करती है।
प्रपोजिशन 2.2 (शून्य प्रतिकर्षण के माध्यम से) का उपयोग करके यह दिखाने के लिए कि यदि $\beta_1$ मौजूद है, तो $|G_k(1+\epsilon)|$ छोटा होना चाहिए (इसे $1-\beta_1$ के गुणज द्वारा बांधा जाता है)।
इन अनुमानों की तुलना करने और प्राइम आइडियल्स पर संums (sums over prime ideals) के बाउंड्स (प्रपोजिशन 5.1) का उपयोग करके, लेखक एक विरोधाभास प्राप्त करते हैं जब तक कि शून्य-मुक्त क्षेत्र पर्याप्त रूप से विस्तृत न हो।

मुख्य योगदान और परिणाम
लेख निम्नलिखित अनकंडीशनल परिणाम स्थापित करता है, जहाँ स्थिरांक (constants) $c$ अप्रभावी (ineffective) हैं (जो $n, F, \epsilon$ और संभावित रूप से निश्चित रिप्रेजेंटेशन्स पर निर्भर हैं):

मानक $L$ -फंक्शन्स (थ्योरम 1.1): सभी $\epsilon > 0$ के लिए, एक अप्रभावी स्थिरांक $c_4 > 0$ मौजूद है कि यदि $\sigma \geq 1 - c_4 C_\pi^{-\epsilon}$ , तो $|L(\sigma, \pi)| \geq c_4 C_\pi^{-\epsilon}$ । यह सभी $\pi \in \mathcal{F}_n$ के लिए मान्य है, जिसमें स्व-द्वैत मामले भी शामिल हैं जहाँ पिछले अनकंडीशनल परिणाम कमजोर थे।
रैंकिंग-सेल्बर्ग $L$ -फंक्शन्स (थ्योरम 1.2): $\pi'$ को स्थिर करते हुए, सभी $\epsilon > 0$ के लिए, एक अप्रभावी स्थिरांक $c_9 > 0$ मौजूद है कि यदि $\sigma \geq 1 - c_9 C_\pi^{-\epsilon}$ , तो $|L(\sigma, \pi \times \pi')| \geq c_9 C_\pi^{-\epsilon}$ । यह $\pi$ में यूनिफॉर्म है और पिछले कैरेक्टर ट्विस्ट्स के परिणामों को समाहित करता है।
प्राइम नंबर थ्योरम्स (थ्योरम 3.1 और 3.2): शून्य-मुक्त क्षेत्र इन $L$ -फंक्शन्स के लिए प्राइम नंबर थ्योरम्स में बेहतर एरर टर्म्स (error terms) को दर्शाते हैं। विशेष रूप से, स्व-द्वैत मामलों के लिए, एरर टर्म $E(x; \pi)$ संतुष्ट करता है $E(x; \pi) \leq c_{14} e^{-\sqrt{\log x}}$ जब $\log x \geq c_{13} C_\pi^\epsilon$ , जो वास्तविक डिरिचलेट कैरेक्टर्स के व्यवहार से मेल खाता है।
ब्रौअर-सीगल प्रकार के थ्योरम्स (थ्योरम 3.3): परिणाम ब्रौअर-सीगल थ्योरम को सामान्यीकृत करते हैं, यह दिखाते हुए कि बढ़ते कंडक्टर्स वाली रिप्रेजेंटेशन्स के अनुक्रमों के लिए $\lim_{j \to \infty} \frac{\log |L(1, \pi_j)|}{\log C_{\pi_j}} = 0$ ।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह रैंकिंग-सेल्बर्ग $L$ -फंक्शन्स की मॉड्यूलरिटी (जैसे ऑटोमॉर्फिक टेंसर उत्पाद का अस्तित्व) पर अप्रामाणिक हाइपोथीसिस का सहारा लिए बिना, मानक और रैंकिंग-सेल्बर्ग $L$ -फंक्शन्स के लिए पहला अनकंडीशनल, यूनिफॉर्म सीगल-प्रकार के निचले स्तर प्रदान करता है।

लेखक इस बात पर जोर देते हैं कि यह विधि वास्तव में नई है। गैर-ऋणात्मक डिरिचलेट गुणांकों वाली सहायक श्रेणियों पर आधारित पिछले दृष्टिकोण (जैसा कि हॉफ़स्टीन, रामकृष्णन और अन्यों द्वारा उपयोग किया गया था) मॉड्यूलरिटी को धारणा बनाए बिना किसी भी स्व-द्वैत $\pi$ या सामान्य रैंकिंग-सेल्बर्ग उत्पादों के लिए ये परिणाम उत्पन्न करने में विफल रहते हैं। शोध पत्र नोट करता है कि जबकि गोल्डफेल्ड द्वारा डिरिचलेट $L$ -फंक्शन्स के लिए सीगल के प्रमेय का प्रमाण उनके पिछले कार्य का सीधा सामान्यीकरण था, वर्तमान समस्या के लिए $\text{GL}(n)$ हेतु दो पावर सम असमानताओं (प्रपोजिशन 2.1 और 2.2) के विशिष्ट संयोजन की आवश्यकता है ताकि मॉड्यूलरिटी की कमी को दूर किया जा सके।

परिणामों को शून्य-प्रतिकर्षण तर्कों की प्रकृति के कारण "अप्रभावी" (ineffective) बताया गया है, लेकिन वे एनालिटिक कंडक्टर $C_\pi$ पर निर्भरता में एक महत्वपूर्ण सुधार का प्रतिनिधित्व करते हैं, जो पॉलिनोमियल क्षय ( $C_\pi^{-\delta}$ ) से बढ़कर अनिश्चित रूप से छोटे पॉलिनोमियल क्षय ( $C_\pi^{-\epsilon}$ ) तक पहुँच जाता है। शोध पत्र स्पष्ट रूप से कहता है कि सामान्य मामले के लिए यह दृष्टिकोण आवश्यक है और यह भी उल्लेख करता है कि पिछले तरीकों की सीमाओं के प्रमाण नवापन वतनवानिकुल (Nawapan Wattanawanichkul) के आगामी कार्यों में दिखाई देंगे।

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