🔢 mathematics

More than two thirds of the zeta zeros are simple and on the critical line

यह शोध पत्र बिना किसी शर्त के यह सिद्ध करता है कि रीमैन ज़ेटा फलन (Riemann zeta function) के गैर-तुच्छ शून्य (nontrivial zeros) में से कम से कम दो-तिहाई सरल हैं और क्रिटिकल लाइन पर स्थित हैं, तथा कम से कम पाँच-छठा हिस्सा विशिष्ट (distinct) है, जो रीमैन परिकल्पना (Riemann Hypothesis) को वेइल के हर्मिटियन रूप (Weil's Hermitian form) के एक परिमित संपीड़न (finite compression) पर लागू एक रैंक-ट्रेस असमानता (rank-trace inequality) द्वारा प्रतिस्थापित करता है।

मूल लेखक: Levent Alpöge, Ralph Furman

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

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

CC BY 4.0

मूल लेखक: Levent Alpöge, Ralph Furman

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

संख्या रेखा की कल्पना एक विशाल, अनंत राजमार्ग के रूप में करें जहाँ प्रत्येक पूर्ण संख्या एक मील का पत्थर है। सदियों से, गणितज्ञ "अभाज्य संख्याओं" (2, 3, 5, 7, 11...) के प्रति जुनूनी रहे हैं, जो अंकगणित के विशेष, अविभाज्य परमाणु हैं। हालाँकि अभाज्य संख्याएँ बेतरतीब ढंग से दिखाई देती हैं, लेकिन उनमें एक छिपा हुआ लय है, एक गुप्त गीत जिसे केवल एक विशिष्ट गणितीय वाद्य यंत्र बजा सकता है। इस यंत्र को रीमान ज़ेटा फलन (Riemann zeta function) कहा जाता है।

इस फलन को केवल एक संख्या के रूप में नहीं, बल्कि एक विशाल, जटिल मशीन के रूप में सोचें जिसका डायल दो-आयामी स्थान में किसी भी बिंदु पर घुमाया जा सकता है। जब आप डायल को कुछ विशेष स्थानों पर घुमाते हैं, तो मशीन पूरी तरह से शांत हो जाती है; इन स्थानों को "शून्य" (zeros) कहा जाता है। गणित की सबसे प्रसिद्ध पहेली, रीमान परिकल्पना (Riemann Hypothesis), एक शर्त है कि ये सभी शून्य इस डायल के परिदृश्य के ठीक बीच में स्थित एक सीधी, "क्रिटिकल लाइन" पर होते हैं। यदि यह परिकल्पना सत्य है, तो इसका अर्थ है कि अभाज्य संख्याएँ एक पूरी तरह से अनुमानित पैटर्न का पालन करती हैं। यदि यह गलत है, तो पैटर्न अराजक है।

लंबे समय तक, हम यह सिद्ध नहीं कर सके कि ये शून्य कहाँ स्थित थे। हम जानते थे कि कुछ शून्य रेखा पर थे, और हम जानते थे कि वे "सरल" (simple) थे (जिसका अर्थ है कि मशीन उस स्थान पर केवल एक बार शांत होती है, न कि दोहरी ध्वनि उत्पन्न करती है)। लेकिन हमें यह नहीं पता था कि वे कितने थे। एक नया शोध पत्र, जिसे मानव गणितज्ञों की एक टीम ने लिखा गया है (जिन्होंने 'क्लोड' नामक एक AI द्वारा खोजे गए प्रमाण को सत्यापित किया है), ने इस पहेली के एक बड़े हिस्से को सुलझा लिया है। उन्होंने पूरे रहस्य को हल नहीं किया, लेकिन उन्होंने पूर्ण निश्चितता के साथ सिद्ध किया कि इन शून्यों में से कम से कम दो-तिहाई सरल हैं और उस क्रिटिकल लाइन पर स्थित हैं। और भी प्रभावशाली बात यह है कि उन्होंने सिद्ध किया कि कम से कम पांच-छठे शून्य विशिष्ट (distinct) हैं (अर्थात कोई भी दो शून्य बिल्कुल एक ही स्थान पर नहीं हैं)। यह पिछले रिकॉर्ड से एक बड़ी छलांग है, जिसने बिना रीमान परिकल्पना को सत्य माने ही, लक्ष्य को लगभग 41% से बढ़ाकर 66% से अधिक कर दिया है।

महान शून्य की खोज (The Great Zero Hunt)

कल्पना कीजिए कि आप एक भीड़ भरे, धुंधले स्टेडियम में लोगों की गिनती करने की कोशिश कर रहे हैं। आप सभी को स्पष्ट रूप से नहीं देख सकते, और कुछ लोग शायद एक-दूसरे के ऊपर खड़े हो सकते हैं (डुप्लिकेट), जबकि कुछ लोग स्टैंड में छिपे हो सकते हैं (क्रिटिकल लाइन से बाहर)। आपका लक्ष्य यह सिद्ध करना है कि भीड़ का एक बड़ा हिस्सा एक विशिष्ट, सीधी पंक्ति (क्रिटिकल लाइन) में खड़ा है और लगभग हर कोई अकेला खड़ा है (सरल शून्य)।

अतीत में, जासूसों को अच्छी गिनती पाने के लिए यह मान लेना पड़ता था कि स्टेडियम पूरी तरह से व्यवस्थित है। हालाँकि, यह नया शोध पत्र बिना उस धारणा के गणना करने की एक चतुर तकनीक का उपयोग करता है। लेखकों ने रीमान ज़ेटा फलन के शून्यों को पकड़ने के लिए एक विशेष गणितीय "जाल" (जिसे विंडो फंक्शन कहा जाता है) बनाया।

यह तकनीक इस प्रकार काम करती है:

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

उनके तरीके का सबसे शानदार हिस्सा इस ग्रिड पर लागू किया गया एक गणितीय नियम है। उन्होंने महसूस किया कि यदि बहुत अधिक शून्य रेखा से बाहर छिपे होते या डुप्लिकेट होते, तो ग्रिड की कुल "ऊर्जा" उस संख्या की तुलना में बहुत अधिक होती जो वे वास्तव में गिन सकते थे। यह एक बैकपैक में भारी पत्थर भरने की तरह है; यदि आप उसमें बहुत अधिक पत्थर डालने की कोशिश करेंगे, तो बैकपैक टूट जाएगा।

सिल्वेस्टर के जड़ता के नियम (Sylvester's law of inertia) का उपयोग करके (जो कि एक जटिल तरीका है यह गिनने का कि एक प्रणाली में कितने सकारात्मक और नकारात्मक बल हैं), उन्होंने सिद्ध किया कि उनका "बैकपैक" (गणितीय ग्रिड) उस कुल ऊर्जा को समझाने के लिए पर्याप्त "बुरे" शून्यों को नहीं रख सकता जिसे उन्होंने मापा है। गणित इस निष्कर्ष को अनिवार्य बनाता है कि "अच्छे" शून्य बहुमत में होने चाहिए।

परिणाम: एक नया रिकॉर्ड

यह शोध पत्र दो मुख्य बातें सिद्ध करता है, जो बिना किसी पूर्वधारणा के (अर्थात बिना यह मान लिए कि रीमान परिकल्पना सत्य है) सिद्ध की गई हैं:

सरल बहुमत (The Simple Majority): कम से कम 2/3 (लगभग 66.67%) शून्य सरल हैं और क्रिटिकल लाइन पर हैं। यह लगभग 41.6% (5/12) के पिछले रिकॉर्ड को पीछे छोड़ देता है।
विशिष्ट बहुमत (The Distinct Majority): कम से कम 5/6 (लगभग 83.33%) शून्य विशिष्ट (कोई डुप्लिकेट नहीं) हैं। यह लगभग 66% के पिछले रिकॉर्ड को पीछे छोड़ देता है।

यदि वे अपने "जाल" के थोड़े अधिक परिष्कृत संस्करण (जिसे मोंटगोमरी-टेलर विंडो कहा जाता है) का उपयोग करते हैं, तो संख्याएँ और भी बेहतर हो जाती हैं: सरल शून्यों के लिए 67.25% और विशिष्ट शून्यों के लिए 83.62%।

लेखकों ने यह भी दिखाया कि यह विधि अन्य समान गणितीय फलनों (डिरिचलेट एल-फंक्शन्स) के लिए भी काम करती है, जिससे यह सिद्ध होता है कि यह केवल रीमान ज़ेटा फलन का कोई संयोग नहीं है, बल्कि यह एक गहरा सत्य है कि ये संख्याएँ कैसे व्यवहार करती हैं।

यह क्या नहीं करता है

यह जानना महत्वपूर्ण है कि यह शोध पत्र क्या नहीं कहता है। यह यह सिद्ध नहीं करता है कि रेखा पर 100% शून्य हैं। यह इस संभावना को खुला छोड़ देता है कि शेष एक-तिहाई शून्य रेखा से बाहर छिपे हो सकते हैं या डुप्लिकेट हो सकते हैं। शोध पत्र स्पष्ट रूप से बताता है कि उनका तरीका सरल शून्यों के लिए 2/3 पर एक "सीलिंग" (सीमा) तक पहुँच जाता है; इससे ऊपर जाने के लिए, गणितज्ञों को नए उपकरणों या इस बारे में अधिक जानकारी की आवश्यकता होगी कि अभाज्य संख्याएँ कैसे व्यवस्थित हैं।

हालाँकि, इसका महत्व निर्विवाद है। इससे पहले, हम अंधेरे में थे, यह अनुमान लगा रहे थे कि शायद आधे शून्य रेखा पर हों। अब, हमारे पास एक गणितीय प्रमाण है कि विशाल बहुमत ठीक वहीं है जहाँ रीमान परिकल्पना भविष्यवाणी करती है। शोध पत्र यह भी उल्लेख करता है कि संपूर्ण तार्किक तर्क की खोज एक AI, 'क्लोड' द्वारा की गई थी, और फिर मानव गणितज्ञों और 'लीन 4' (Lean 4) नामक एक कंप्यूटर प्रोग्राम द्वारा इसकी कठोरता से जाँच और सत्यापन किया गया, जिससे यह सुनिश्चित हुआ कि प्रत्येक चरण पूरी तरह से ठोस है।

संक्षेप में, स्टेडियम में छाई धुंध बस इतनी हट गई है कि हम देख सकें कि भीड़ ज्यादातर सही स्थान पर खड़ी है, और वे ज्यादातर अकेले खड़े हैं। यह गणित की सबसे पुरानी पहेलियों में से एक को सुलझाने की दिशा में एक विशाल कदम है।

तकनीकी सारांश: "रीमान ज़ेटा फलन के दो-तिहाई से अधिक शून्य सरल और क्रिटिकल लाइन पर हैं"

समस्या विवरण
यह शोध पत्र रीमान ज़ेटा फलन, $\zeta(s)$ , के गैर-तुच्छ शून्यों (nontrivial zeros) के वितरण को संबोधित करता है। विशेष रूप से, यह $T \to \infty$ होने पर दो मात्राओं के लिए बिना शर्त (unconditional) निचली सीमाएँ (lower bounds) खोजने का प्रयास करता है:

क्रिटिकल लाइन ( $\text{Re}(s) = 1/2$ ) पर स्थित शून्यों का वह अनुपात जो सरल (multiplicity 1) हैं।
क्रिटिकल लाइन पर स्थित विशिष्ट (distinct) शून्यों का अनुपात (जहाँ गुणनत्व को 1 गिना जाता है, चाहे क्रम कुछ भी हो)।

इस कार्य से पूर्व, सरल शून्यों के लिए रिकॉर्ड $5/12$ ( $\approx 0.4167$ ) और विशिष्ट शून्यों के लिए $0.6603$ था। रीमान परिकल्पना (RH) के अंतर्गत, मोंटगोमरी (1973) ने निष्कर्ष निकाला था कि लाइन पर कम से कम $2/3$ शून्य सरल हैं, और बाद के कार्यों ने विशिष्ट शून्य सीमाओं में सुधार किया। मुख्य चुनौती RH पर निर्भरता को हटाना रही है, जो ऐतिहासिक रूप से वास्तविक ऑर्डिनेट्स (real ordinates) पर योग करने के लिए वेइल के एक्सप्लिसिट फॉर्मूला (Weil's explicit formula) के "जीरो साइड" की धनात्मकता सुनिश्चित करने के लिए आवश्यक था।

कार्यप्रणाली
प्रमाण वेइल के एक्सप्लिसिट फॉर्मूला के एक परिमित-आयामी सन्निकटन (finite-dimensional approximation) का निर्माण करता है और RH की आवश्यकता को दरकिनार करने के लिए रैखिक बीजगणितीय रैंक-ट्रेस असमानताओं (linear algebraic rank-trace inequalities) को लागू करता है।

वेइल का एक्सप्लिसिट फॉर्मूला और हर्मिटीयन फॉर्म (Hermitian Forms):
लेखक टेस्ट फंक्शन्स पर एक हर्मिटीयन फॉर्म $W(f, g) = \sum_\rho m_\rho \hat{f}(\gamma_\rho) \overline{\hat{g}(\gamma_\rho)}$ को परिभाषित करने के लिए वेइल के एक्सप्लिसिट फॉर्मूला का उपयोग करते हैं। सभी कॉम्पैक्टली सपोर्टेड फंक्शन्स पर इस फॉर्म की धनात्मकता RH के समतुल्य है।
इस फॉर्म को केवल मानने के बजाय, लेखक इस फॉर्म को $[T, 2T]$ अंतराल पर फैले हुए $d \approx N(T, 2T)$ मॉड्यूलेटेड टेस्ट फंक्शन्स (एक "विंडो" $\psi$ ) के एक विशिष्ट परिवार तक सीमित करते हैं। इससे एक वास्तविक सममित (real symmetric) $d \times d$ मैट्रिक्स $\tilde{G}$ प्राप्त होता है।
मैट्रिक्स अपघटन (The Zero Side):
मैट्रिक्स $\tilde{G}$ को $\tilde{G} = P + Q + E$ में विभाजित किया गया है, जहाँ:

$P$ क्रिटिकल लाइन पर स्थित शून्यों के योगदान का प्रतिनिधित्व करता है।
$Q$ ऑफ-लाइन जोड़ों $\{\rho, 1-\bar{\rho}\}$ के योगदान का प्रतिनिधित्व करता है।
$E$ एक टेल टर्म (tail term) है जिसका ट्रेस नॉर्म (trace norm) छोटा है।

महत्वपूर्ण रूप से, लेखक इन घटकों के रैंक (rank) और पॉजिटिव इंडेक्स (positive index - धनात्मक आइजनवैल्यू की संख्या) का विश्लेषण करते हैं:

क्रिटिक लाइन पर प्रत्येक सरल शून्य $P$ में रैंक 1 का योगदान देता है।
प्रत्येक ऑफ-लाइन जोड़ा $(1, 1)$ के सिग्नेचर वाले एक ब्लॉक में योगदान देता है, जिसका अर्थ है कि यह $Q$ के पॉजिटिव इंडेक्स $n_+(Q)$ में 1 का योगदान देता है लेकिन "ऑन-लाइन" भाग के रैंक में 0 का योगदान देता है।
इस संरचनात्मक अंतर्दृष्टि को बॉम्बिएरी (Bombieri) द्वारा प्रतिपादित किया गया था, जो लेखकों को $Q$ के पॉजिटिव इंडेक्स का उपयोग करके ऑफ-लाइन जोड़ों की संख्या को सीमित करने की अनुमति देता है।

रैंक-ट्रेस असमानता (मुख्य नवाचार):
यह शोध पत्र हर्मिटीयन मैट्रिसेस $P_1 \succeq 0$ और $Q'$ के लिए एक विशिष्ट रैखिक बीजगणितीय असमानता (लेम्मा 3.2) पेश करता है:
$\text{rank}(P_1) \ge 2\text{tr}(P_1) + 4\text{tr}(Q') - 4n_+(Q') - \|P_1 + Q'\|_{HS}^2$
$P_1$ को $P$ के उस भाग के रूप में सेट करके जो सरल ऑन-लाइन शून्यों के अनुरूप है और $Q'$ को शेष भाग के रूप में सेट करके, लेखक $\tilde{G}$ के ट्रेस और फ्रोबेनियस नॉर्म के शुद्ध रूप से $\text{tr}(\tilde{G})$ और ऑफ-लाइन जोड़ों की गणना के संदर्भ में सरल ऑन-लाइन शून्यों की संख्या ( $N_s^0$ ) के लिए एक निचली सीमा प्राप्त करते हैं। यह शास्त्रीय आवश्यकता (कि टर्मवाइज धनात्मकता होनी चाहिए, जो ऑफ-लाइन विफल हो जाती है) को एक "रैंक-ट्रेस" बाउंड से बदल देता है।
प्राइम साइड (बिना शर्त मूल्यांकन):
$\text{tr}(\tilde{G})$ और $\|\tilde{G}\|_{HS}^2$ का मूल्यांकन वेइल के फॉर्म के "प्राइम साइड" का उपयोग करके किया जाता है।

$\text{tr}(\tilde{G})$ को $N(T, 2T)$ के रूप में दिखाया गया है।
$\|\tilde{G}\|_{HS}^2$ का मूल्यांकन एक डिरिचलेट पॉलिनोमियल के मीन वैल्यू के रूप में किया गया है। यह मोंटगोमरी-वैन (Montgomery–Vaughan) असमानता और $\Lambda(n)^2$ के योगों पर सीमाओं पर निर्भर करता है।
परिणाम यह है कि $\|\tilde{G}\|_{HS}^2 = (R(\psi) + o(1))N(T, 2T)$ , जहाँ $R(\psi)$ विंडो फंक्शन पर निर्भर एक स्थिरांक है। इंडिकेटर विंडो के लिए, $R(\psi_0) = 4/3$ है।

प्रमुख योगदान और परिणाम
यह शोध पत्र अंतराल $(T, 2T)$ के लिए निम्नलिखित बिना शर्त (unconditional) परिणाम स्थापित करता है:

Theorem A(i): कम से कम $2/3$ (विशेष रूप से $2/3 - o(1)$ $2/3 - o (1)$ ) गैर-तुच्छ शून्य सरल हैं और क्रिटिकल लाइन पर स्थित हैं।
- मोंटगोमरी-टेलर विंडो का उपयोग करने पर, यह स्थिरांक बढ़कर $0.6725$ हो जाता है।
Theorem A(ii): कम से कम $5/6$ (विशेष रूप से $5/6 - o(1)$ $5/6 - o (1)$ ) गैर-तुच्छ शून्य विशिष्ट हैं और क्रिटिकल लाइन पर स्थित हैं।
- मोंटगोमरी-टेलर विंडो का उपयोग करने पर, यह स्थिरांक बढ़कर $0.8362$ हो जाता है।
Theorem B: ये परिणाम प्रिमिटिव डिरिचलेट $L$ -फंक्शन्स $L(s, \chi)$ पर भी समान रूप से लागू होते हैं।

यह प्रमाण मोलिफायर (mollifiers), जीरो-डेंसिटी अनुमानों, या जीरो-फ्री रीजन का उपयोग नहीं करता है। यह एक्सप्लिसिट फॉर्मूला, स्टर्लिंग अनुमान (Stirling's estimate), चेबिशेव-मर्टेंस अनुमान (Chebyshev–Mertens estimates) और मोंटगोमरी-वैन असमानता पर निर्भर करता है।

महत्व और दावे

मोंटगोमरी के निष्कर्ष को बिना शर्त बनाना: यह शोध पत्र मोंटगोमरी (1973) के $2/3$ अनुपात के निष्कर्ष को बिना शर्त बनाने का दावा करता है। शास्त्रीय रूप से, वास्तविक ऑर्डिनेट्स पर धनात्मक योग के रूप में व्याख्या करने के लिए RH आवश्यक था। यहाँ, लेखकों ने वेइल के फॉर्म के एक परिमित संपीड़न (finite compression) पर लागू रैंक-ट्रेस असमानता के माध्यम से इस धनात्मकता को बदल दिया है।
विधि की इष्टतमता (Optimality): लेखक तर्क देते हैं कि $2/3$ का बाउंड इस विशिष्ट विधि के लिए सटीक (sharp) है। वे प्रदर्शित करते हैं कि केवल मैट्रिक्स के ट्रेस, फ्रोबेनियस नॉर्म और ब्लॉक स्ट्रक्चर को देखते हुए उपयोग की गई असमानता सटीक है। इस विशिष्ट "रैंक-ट्रेस" दृष्टिकोण का उपयोग करके $2/3$ से आगे का बाउंड प्राप्त करने के लिए फूरियर सपोर्ट 1 से परे पेयर-कोरिलेशन जानकारी (अर्थात, प्राइम साइड के उच्च क्षणों का ज्ञान) की आवश्यकता होगी, जो वर्तमान में बिना शर्त उपलब्ध नहीं है।
औपचारिक सत्यापन (Formal Verification): इस गणितीय तर्क की खोज और लेखन एक AI (Claude) द्वारा किया गया था, मानव लेखकों द्वारा सत्यापित किया गया, और Lean 4 में औपचारिक रूप से सत्यापित किया गया। इसका औपचारिकीकरण पुष्टि करता है कि प्रमाण केवल मानक अभिधारणाओं (axioms) पर निर्भर करता है।
सीमाएँ: शोध पत्र स्पष्ट रूप से बताता है कि इसके परिणाम क्या नहीं हैं। ये केवल निचली सीमाएँ हैं; शेष शून्यों को ऑफ-लाइन सिद्ध नहीं किया गया है, बल्कि उन्हें केवल इस विशिष्ट प्रमाण (certificate) द्वारा पकड़ा नहीं जा सका है। यह विधि $o(N)$ ऑफ-लाइन शून्यों के प्रति असंवेदनशील है और उन कार्यों के लिए भी मान्य रहेगी जहाँ रीमान परिकल्पना गलत है (जैसे, डैवनपोर्ट-हीलब्राइट ज़ेटा फंक्शन्स), बशर्ते कि अंकगणितीय इनपुट सही हों।

संक्षेप में, यह शोध पत्र कठोरता से सिद्ध करता है कि ज़ेटा के महत्वपूर्ण बहुमत ( $>66\%$ ) सरल हैं और क्रिटिकल लाइन पर स्थित हैं, जो वेइल के फॉर्म के नवीन रैखिक बीजगणितीय रैंक बाधाओं के अनुप्रयोग के माध्यम से मोंटगोमरी के शास्त्रीय सशर्त परिणाम के बराबर बाउंड प्राप्त करता है।

महान शून्य की खोज (The Great Zero Hunt)

परिणाम: एक नया रिकॉर्ड

यह क्या नहीं करता है

तकनीकी सारांश: "रीमान ज़ेटा फलन के दो-तिहाई से अधिक शून्य सरल और क्रिटिकल लाइन पर हैं"

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