🔢 mathematics

On the sign changes of $ψ(x)-x$

यह शोध पत्र संबद्ध $k$ -फलन के शून्यों (zeros) के लिए एक नए घनत्व अनुमान का उपयोग करते हुए, जो पिछले अनुमानों की तुलना में $4 \cdot 10^{21}$ गुना अधिक सटीक है, यह स्थापित करके प्राइम नंबर थ्योरम में त्रुटि पद $\psi(x)-x$ के चिह्न परिवर्तनों (sign changes) की संख्या के निचले स्तर (lower bound) में सुधार करता है कि $\liminf_{T\to\infty} V(T)/\log T \geq \gamma_0/\pi + 1/60$ है।

मूल लेखक: Maciej Grześkowiak, Jerzy Kaczorowski, Łukasz Pańkowski, Maciej Radziejewski

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

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

CC BY 4.0

मूल लेखक: Maciej Grześkowiak, Jerzy Kaczorowski, Łukasz Pańkowski, Maciej Radziejewski

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

मुख्य चित्र: अभाज्य संख्याओं (Prime Numbers) के साथ एक खींचतान

कल्पना कीजिए कि आप मौसम की भविष्यवाणी करने की कोशिश कर रहे हैं। आपके पास एक सटीक गणितीय मॉडल है जो कहता है, "50% समय बारिश होगी।" लेकिन जब आप वास्तविक मौसम का डेटा देखते हैं, तो वह अस्त-व्यस्त होता है। कभी-कभी 55% समय बारिश होती है, तो कभी 45%। यह आपके अनुमान के आसपास डगमगाता रहता है।

गणित की दुनिया में, अभाज्य संख्याएँ (Prime Numbers) "मौसम" हैं। वे सभी संख्याओं के निर्माण खंड (building blocks) हैं (2, 3, 5, 7, 11...)। एक प्रसिद्ध नियम है जिसे प्राइम नंबर थ्योरम (Prime Number Theorem) कहा जाता है, जो हमें बताता है कि किसी निश्चित संख्या $x$ तक कितने अभाज्य संख्याएँ मौजूद हैं। आइए इस अनुमान को $x$ कहें।

हालाँकि, अभाज्य संख्याओं की वास्तविक गिनती, जिसे $\psi(x)$ के रूप में दर्शाया गया है, इस अनुमान से पूरी तरह मेल नहीं खाती। यह रेखा के ऊपर और नीचे डगमगाती रहती है।

जब $\psi(x) > x$ होता है, तो वास्तविक गिनती उम्मीद से अधिक होती है।
जब $\psi(x) < x$ होता है, तो वास्तविक गिनती उम्मीद से कम होती है।

यह शोध पत्र एक सरल लेकिन गहरा प्रश्न पूछता है: जैसे-जैसे हम बड़ी और बड़ी संख्याओं की ओर देखते हैं, यह गिनती कितनी बार "बहुत अधिक" से "बहुत कम" (या इसके विपरीत) में बदलती है?

लेखक सिद्ध करते हैं कि यह बदलाव पहले की तुलना में कहीं अधिक बार होता है।

समस्या: "बदलावों" (Switches) की गिनती करना

आइए बदलावों की संख्या को $V(T)$ कहें।

यदि आप 1 मिलियन तक की संख्या देखते हैं, तो शायद यह 10 बार बदलता है।
यदि आप 1 ट्रिलियन तक देखते हैं, तो यह और अधिक बार बदलता है।

यह शोध पत्र एक निचली सीमा (lower bound) सिद्ध करने के बारे में है। वे कहना चाहते हैं कि: "आप कितनी भी दूर क्यों न चले जाएँ, बदलावों की संख्या कम से कम इतनी है।"

दशकों तक, गणितज्ञों के पास एक "कांच की छत" (glass ceiling) थी कि वे इस निचली सीमा को कितना ऊपर तक ले जा सकते हैं। वे जानते थे कि यह किसी संख्या से अधिक है, लेकिन वे यह सिद्ध नहीं कर पा रहे थे कि यह उससे अधिक क्यों है। यह शोध पत्र उस छत को तोड़ देता है।

गुप्त हथियार: "भूतिया" शून्य (The "Ghost" Zeros)

गिनती क्यों डगमगाती है, इसे समझने के लिए गणितज्ञ रीमैन ज़ेटा फंक्शन (Riemann Zeta Function) नामक चीज़ की ओर देखते हैं। यह एक जटिल गणितीय वस्तु है जो अभाज्य संख्याओं के लिए एक "फ्रीक्वेंसी एनालाइज़र" (आवृत्ति विश्लेषक) के रूप में कार्य करती है।

इस फंक्शन के भीतर, विशेष बिंदु होते हैं जिन्हें शून्य (zeros) कहा जाता है (जहाँ फंक्शन शून्य के बराबर होता है)। ये शून्य उन "सुरों" (notes) की तरह हैं जो एक संगीत के कॉर्ड में होते हैं और अभाज्य संख्याओं में होने वाले डगमगाहट (wobble) को पैदा करते हैं।

सबसे निचला "सुर" (पहला शून्य) एक विशिष्ट ऊँचाई रखता है, जिसे $\gamma_0$ (लगभग 14.13) कहा जाता है।
शोध पत्र सिद्ध करता है कि डगमगाहट की आवृत्ति सीधे इस सबसे निचले सुर से जुड़ी हुई है।

लेखक दिखाते हैं कि बदलावों की संख्या लगभग $\frac{\gamma_0}{\pi}$ के समानुपाती है। लेकिन उन्होंने इस संख्या में एक छोटा, अतिरिक्त "बोनस" जोड़ने का तरीका खोजा, जिससे यह सिद्ध हुआ कि बदलाव बुनियादी फॉर्मूले के सुझाव की तुलना में और भी अधिक बार होते हैं।

उन्होंने यह कैसे किया: "टाइलिंग" विधि (The "Tiling" Method)

यह इस शोध पत्र का सबसे रचनात्मक हिस्सा है। लेखकों को यह सिद्ध करना था कि ऐसे पर्याप्त "शिफ्ट्स" (समय के क्षण) हैं जहाँ डगमगाहट रेखा को पार करती है।

कल्पना कीजिए कि आपके पास एक विशाल, बहु-आयामी कमरा (हाइपरक्यूब) है। आप इस कमरे को टाइल्स से भरना चाहते हैं।

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

उपमा (Analogy):
"शिफ्ट्स" को एक भीड़ भरे थिएटर में सीट खोजने वाले लोगों के रूप में सोचें।

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

संभावनाओं के "कमरे" को बहुत अधिक कुशलता से भरकर, उन्होंने सिद्ध किया कि अभाज्य संख्याओं की गिनती में "बदलाव" पहले की तुलना में अधिक बार होने चाहिए।

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

शोध पत्र एक विशिष्ट संख्या के साथ समाप्त होता है। उन्होंने सिद्ध किया कि बदलावों की संख्या ( $V(T)$ ) और रेंज के लॉगरिदम ( $\log T$ ) का अनुपात कम से कम इतना है:

$\frac{\gamma_0}{\pi} + \frac{1}{60}$

$\frac{1}{60}$ वाला भाग "बोनस" है। यह छोटा लग सकता है, लेकिन अभाज्य संख्याओं की दुनिया में, यह एक विशाल सुधार है। यह जीपीएस अनुमान को "आप 10 मील के भीतर हैं" से बदलकर "आप 0.1 मील के भीतर हैं" करने जैसा है।

यह क्यों मायने रखता है?

यह तर्क की विजय है: यह दिखाता है कि अभाली संख्याओं के अध्ययन के 100 साल बाद भी, हम अभी भी यह पता लगा सकते हैं कि वे कैसे व्यवहार करती हैं, इसके बारे में नए, गहरे सत्य।
यह एक तकनीकी उत्कृष्ट कृति है: लेखकों ने केवल ब्लैकबोर्ड पर गणित नहीं किया; उन्होंने अपने बिंदु को सिद्ध करने के लिए गहन सिद्धांत को विशाल कंप्यूटर गणनाओं (यह सुनिश्चित करने के लिए कि प्रत्येक दशमलव सटीक हो, "बॉल अंकगणित" का उपयोग करके) के साथ जोड़ा।
यह एक दिग्गज का सम्मान करता है: यह शोध पत्र अल्बर्टो पेरेली (Alberto Perelli) के 70वें जन्मदिन पर उन्हें समर्पित है, जो इस क्षेत्र में उनके जीवन भर के काम का उत्सव मनाता है।

एक वाक्य में सारांश

लेखकों ने एक चतुर नई "टाइलिंग" रणनीति और शक्तिशाली कंप्यूटरों का उपयोग करके यह सिद्ध किया कि अभाज्य संख्याओं की गिनती उनके अनुमानित औसत के इर्द-गिर्द बहुत अधिक बार डगमगाती है, जितना कि हम पहले जानते थे।

यहाँ ग्रज़ेस्कोवियाक (Grześkowiak), काचोरोव्स्की (Kaczorowski), पानकोव्स्की (Pańkowski), और राडजेविएव्स्की (Radziejewski) के शोध पत्र "On the sign changes of $\psi(x) - x$ " का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र प्राइम नंबर थ्योरम (Prime Number Theorem) के त्रुटि पद (error term), जिसे $\psi(x) - x$ के रूप में परिभाषित किया गया है, के चिन्ह परिवर्तनों (sign changes) की संख्या $V(T)$ के लिए अंतराल $[1, T]$ के भीतर निचली सीमा (lower bound) का अनुमान लगाने की समस्या को संबोधित करता है। विशेष रूप से, लेखक 'लिमिट इन्फीरियरम' (limit inferior) के लिए ज्ञात निचली सीमा को सुधारने का लक्ष्य रखते हैं:
$\kappa_0 := \liminf_{T \to \infty} \frac{V(T)}{\log T}$
पूर्ववर्ती परिणामों ने स्थापित किया था कि $\kappa_0 \ge \frac{\gamma_0}{\pi} + \epsilon$ , जहाँ $\gamma_0 \approx 14.1347$ रीमान ज़ेटा-फंक्शन ( $\zeta(s)$ ) के पहले गैर-तुच्छ शून्य (non-trivial zero) का काल्पनिक भाग है। लक्ष्य योगात्मक स्थिरांक (additive constant) $\epsilon$ को महत्वपूर्ण रूप से बढ़ाना था, जो पहले अत्यंत छोटा (लगभग $10^{-30}$ के क्रम में) था।

2. कार्यप्रणाली (Methodology)

प्रमाण विश्लेषणात्मक संख्या सिद्धांत (analytic number theory), लगभग आवधिक फलनों (almost periodic functions) के सिद्धांत और कम्प्यूटेशनल सत्यापन के बीच एक परिष्कृत अंतर्संबंध पर आधारित है।

A. लगभग आवधिक फलनों के शून्य से संबंध (Connection to Zeros of Almost Periodic Functions)

लेखक (Kaczorowski, 2011) के एक परिणाम का उपयोग करते हैं जो $\kappa_0$ को ऊपरी अर्ध-तल (upper half-plane) पर एक सामान्यीकृत $k$ -फलन (एक लगभग आवधिक फलन) के शून्यों के घनत्व से जोड़ता है:
$F^*(z) = 1 + \sum_{n=1}^{\infty} \frac{\rho_0}{\rho_n} e^{i(\gamma_n - \gamma_0)z}$
जहाँ $\rho_n = \frac{1}{2} + i\gamma_n$ रीमान ज़ेटा-फंक्शन के गैर-तुच्छ शून्य हैं।
यदि रीमान परिकल्पना (Riemann Hypothesis - RH) सत्य है, तो समस्या $F^*(z)$ के शून्यों के घनत्व $\kappa$ के लिए निचली सीमा खोजने तक सीमित हो जाती है। मुख्य प्रमेय बताता है:
$\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\kappa$
अतः, एक बड़ा $\kappa$ सिद्ध करना सीधे तौर पर $\kappa_0$ के लिए सीमा को बेहतर बनाता है।

B. "टाइलिंग विधि" और डियोफैंटाइन सन्निकटन (The "Tiling Method" and Diophantine Approximation)

शून्यों के घनत्व का अनुमान लगाने के लिए, लेखक एक "उपयुक्त शिफ्ट" (appropriate shifts) $\tau$ को गिनने के लिए एक नई "टाइलिंग विधि" का उपयोग करते हैं, जो एक आंशिक योग $F_N(z)$ के शून्य को पूर्ण फलन $F(z)$ के शून्य में मैप करता है:

आंशिक योग और कंटूर (Partial Sums and Contours): वे $F_N(z)$ (जहाँ $N=21$ ) और जटिल तल (complex plane) में एक विशिष्ट बंद कंटूर (closed contour) $z_1(t)$ पर विचार करते हैं।
प्रपोजिशन 1 (पर्याप्त स्थिति): वे एक शिफ्ट किए गए कंटूर $z_1(t) + \tau$ के लिए एक लचीली स्थिति पेश करते हैं जिसमें एक शून्य होता है। पिछले तरीकों के विपरीत, जिनमें $\frac{\omega_n \tau}{2\pi}$ की पूर्णांकों से दूरी पर समान सीमा (uniform bounds) की आवश्यकता होती थी, यह प्रपोजिशन गैर-घटते फलनों $w_n$ वाले एक भारित योग (weighted sum) का उपयोग करता है। यह वैध शिफ्ट सेट के अधिक कुशल अनुमान की अनुमति देता है।
घनत्व अनुमान (Theorem 3): मुख्य नवाचार थ्योरम 3 है, जो शास्त्रीय मिंकोव्स्की कॉनवेक्स बॉडी प्रमेय अनुमान ( $2^{-N} \text{vol}(A)$ $2^{- N} vol (A)$ ) के स्थान पर एक उपसमुच्चय $A' \subset A$ $A^{'} \subset A$ के आयतन (volume) अनुमान का उपयोग करता है।
- इस पद्धति में LLL एल्गोरिदम (Lenstra–Lenstra–Lovász) का उपयोग करके सुलभ बिंदुओं (reachable points) के एक घने जालक (dense lattice) का निर्माण शामिल है।
- इन जालक बिंदुओं (lattice points) का उपयोग करके समाधान स्थान को "टाइलिंग" करके, वे दिखाते हैं कि वैध शिफ्ट का घनत्व अनुमानित आयतन $\text{vol}(A)$ के बहुत करीब पहुँच जाता है, जो प्रभावी रूप से लीनियर इंडिपेंडेंस कंजेक्चर (linear independence conjecture) की सीमाओं को दरकिनार कर देता है।

C. कम्प्यूटेशनल सत्यापन (Computational Verification)

सैद्धांतिक ढांचा Mathematica में ARB लाइब्रेरी (बॉल अंकगणित - ball arithmetic) का उपयोग करके किए गए कठोर संख्यात्मक गणनाओं पर निर्भर करता है ताकि यह सुनिश्चित किया जा सके कि त्रुटि सीमाएँ नियंत्रित हैं।

पैरामीटर्स: वे $N=21$ (पहले 21 गैर-तुच्छ शून्य) का उपयोग करते हैं।
कंटूर डिज़ाइन: एक विशिष्ट पीसवाइज-लीनियर कंटूर $z_1(t)$ और फेज फंक्शन $\alpha(t)$ का निर्माण किया गया है ताकि पथ के साथ फलन के आर्ग्युमेंट वेरिएशन (argument variation) को अधिकतम किया जा सके।
सत्यापन: लेखक कठोरता से सत्यापित करते हैं कि कंटूर के साथ फलन का वास्तविक भाग सकारात्मक रहता है (जो प्रपोजिशन 1 की शर्तों को पूरा करता है) और डियोफैंटाइन सन्निकटन गुणांक आवश्यक सीमाओं को संतुष्ट करते हैं।

3. मुख्य योगदान (Key Contributions)

नया घनत्व अनुमान: यह शोध पत्र संबद्ध $k$ -फलनों के शून्यों के लिए इस प्रकार के पिछले अनुमानों की तुलना में $4 \cdot 10^{21}$ गुना बेहतर घनत्व अनुमान प्रदान करता है।
टाइलिंग विधि: डियोफैंटाइन शिफ्ट्स के घनत्व का अनुमान लगाने के लिए जालक टिलिंग (lattice tiling) का उपयोग करने वाली एक नवीन तकनीक, जो गैर-उत्तल (non-convex) समाधान सेटों की अनुमति देती है और समाधान स्थान के किनारों के पास होने वाले "नुकसान" को काफी कम करती है।
लचीली पर्याप्त स्थिति (Proposition 1): शिफ्ट किए गए कंटूरों में शून्यों के अस्तित्व के लिए एक सामान्यीकृत स्थिति जो यूनिफॉर्म नॉर्म्स के बजाय भारित योगों का उपयोग करती है, जिससे शिफ्ट पैरामीटर्स पर अधिक सटीक नियंत्रण मिलता है।
कठोर मशीन-चेक्ड प्रमाण: प्रमाण में व्यापक कंप्यूटर-सहायता प्राप्त सत्यापन शामिल है, जो संख्यात्मक अनिश्चितता को समाप्त करने के लिए इंटरवल अंकगणित (interval arithmetic) का उपयोग करता है।

4. मुख्य परिणाम (Main Results)

लेखक थ्योरम 1 सिद्ध करते हैं:
$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$
जहाँ $\gamma_0 \approx 14.1347$ है।

पूर्ववर्ती कार्यों से तुलना:
- Ingham (1936): धनात्मकता सिद्ध की (सशर्त)।
- Kaczorowski (1980s): $\kappa_0 \ge \gamma_0/\pi$ ।
- Morrill, Platt, Trudgian (2023): $\kappa_0 \ge \gamma_0/\pi + 1.867 \cdot 10^{-30}$ ।
- यह शोध पत्र: $\kappa_0 \ge \gamma_0/\pi + 0.0166\dots$ (क्योंकि $1/60 \approx 0.0166$ )।
- यह एक विशाल सुधार है, जो पिछले सर्वश्रेष्ठ प्रकाशित परिणाम की तुलना में योगात्मक स्थिरांक को लगभग 28 क्रमों (orders of magnitude) से बढ़ा देता है।

5. महत्व (Significance)

बाधा को तोड़ना: यह परिणाम $\gamma_0/\pi$ की लंबे समय से चली आ रही बाधा को एक बड़े अंतर से तोड़ता है, जो यह प्रदर्शित करता है कि $\psi(x) - x$ के दोलन (oscillations) पहले सिद्ध किए गए अनुमान की तुलना में काफी अधिक बार होते हैं।
पद्धतिगत प्रगति: LLL एल्गोरिदम के साथ "टाइलिंग विधि" लगभग आवधिक फलनों के शून्यों के वितरण और डियोफैंटाइन सन्निकटन से जुड़ी समस्याओं के लिए एक शक्तिशाली नया उपकरण प्रदान करती है, जो विश्लेषणात्मक संख्या सिद्धांत की अन्य समस्याओं पर भी लागू हो सकती है।
कम्प्यूटेशनल कठोरता: यह शोध पत्र संख्यात्मक अनिश्चितता को दूर करने के लिए इंटरवल अंकगणित का उपयोग करते हुए, सैद्धांतिक विश्लेषण को कठोर कंप्यूटर-सहायता प्राप्त प्रमाणों के साथ जोड़ने का एक उच्च मानक स्थापित करता है।
RH पर सशर्त: हालांकि मुख्य परिणाम (शून्यों के विशिष्ट रूप का उपयोग करने के लिए) RH मानता है, लेखक नोट करते हैं कि यदि RH सत्य नहीं है, तो निचली सीमा वास्तव में बहुत अधिक मजबूत ( $\kappa_0 \ge 3 \cdot 10^{12}/\pi$ ) होगी, जिससे RH वाला मामला "सबसे कठिन" और सबसे महत्वपूर्ण परिदृश्य बन जाता है जिसे संबोधित किया गया है।

संक्षेप में, यह शोध पत्र विश्लेषणात्मक तकनीकों और उच्च-परिशुद्धता कम्प्यूटेशनल संख्या सिद्धांत के एक नवीन संश्लेषण के माध्यम से, प्राइम काउंटिंग फंक्शन के एरर टर्म के दोलनी व्यवहार (oscillatory behavior) को समझने में एक मील का पत्थर है।