🔢 mathematics

Piatetski-Shapiro Primes in short intervals

यह शोध पत्र $\theta$ और $c$ के विशिष्ट प्रतिबंधों के तहत एक अनंत सूत्र (asymptotic formula) और एक निचली सीमा (lower bound) को सिद्ध करके, लघु अंतराल $[x, x + x^\theta]$ के भीतर $\lfloor n^c \rfloor$ के रूप में पियातस्की-शापिरो अभाज्य संख्याओं (Piatetski-Shapiro primes) के अस्तित्व को स्थापित करता है।

मूल लेखक: Lingyu Guo, Victor Zhenyu Guo

प्रकाशित 2026-06-02

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

CC BY 4.0

मूल लेखक: Lingyu Guo, Victor Zhenyu Guo

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

एक बड़ी तस्वीर: एक छोटे से डिब्बे में दुर्लभ रत्नों की खोज

कल्पना कीजिए कि आप एक खजाना खोजने वाले हैं जो अभाज्य संख्याओं (primes) की तलाश में हैं। संख्याओं की दुनिया में, अभाज्य संख्याएँ दुर्लभ, विशेष रत्नों की तरह होती हैं (जैसे 2, 3, 5, 7, 11 जो केवल 1 और स्वयं से विभाजित हो सकती हैं)।

आमतौर पर, गणितज्ञ संख्या रेखा के एक बहुत लंबे हिस्से में इन रत्नों को खोजते हैं। वे जानते हैं कि यदि आप एक विशाल अंतराल (interval) को देखते हैं, तो आपको निश्चित रूप से कुछ रत्न मिल जाएंगे। लेकिन इस शोध पत्र की बड़ी चुनौती एक बहुत छोटे अंतराल में रत्नों को खोजना है।

इसे इस तरह सोचें: यदि आपके पास एक लंबा राजमार्ग (संख्या रेखा) है, तो गैस स्टेशन (एक अभाज्य संख्या) मिलना आसान है। लेकिन क्या होगा यदि आपको केवल उस राजमार्ग के 100 मीटर के हिस्से को देखने की अनुमति दी जाए? क्या आप गारंटी दे सकते हैं कि वहां एक गैस स्टेशन होगा? इस शोध पत्र के लेखक यह सिद्ध करने की कोशिश कर रहे हैं कि हाँ, आप इन विशेष रत्नों को बहुत छोटे, संक्षिप्त हिस्सों में भी पा सकते हैं, बशर्ते आप ठीक से जानते हों कि आप किस प्रकार के रत्नों की तलाश कर रहे हैं।

विशेष रत्न: "पियाटेत्स्की-शाइरो" (Piatetski-Shapiro) अभाज्य संख्याएँ

लेखक केवल किसी भी अभाज्य संख्या की तलाश नहीं कर रहे हैं। वे पियाटेत्स्की-शाइरो अभाज्य संख्याओं की तलाश कर रहे हैं।

कल्पना कीजिए कि आपके पास एक मशीन है जो एक पूर्ण संख्या $n$ (1, 2, 3...) को एक विशेष सूत्र का उपयोग करके दबा देती है: $\lfloor n^c \rfloor$ ।

$\lfloor \dots \rfloor$ का अर्थ है "निकटतम पूर्ण संख्या तक नीचे की ओर पूर्णांकित करना।"
अक्षर $c$ एक डायल (dial) है जिसे आप घुमा सकते हैं। यदि आप डायल को $c=2$ पर घुमाते हैं, तो आपको $n^2$ (1, 4, 9, 16...) प्राप्त होता है। यदि आप इसे थोड़ा अलग तरीके से घुमाते हैं, तो आपको एक अलग अनुक्रम (sequence) प्राप्त होता है।

प्रश्न यह है: क्या यह दबा हुआ अनुक्रम अनंत अभाज्य संख्याओं को समाहित करता है?
उदाहरण के लिए, यदि आप डायल को $c=1.5$ पर सेट करते हैं, तो क्या आपको $\lfloor 1^{1.5} \rfloor, \lfloor 2^{1.5} \rfloor, \lfloor 3^{1.5} \rfloor \dots$ जैसी अभाज्य संख्याएँ प्राप्त होंगी और क्या उनमें से कोई परिणाम अभाज्य संख्या है?

यह एक कठिन समस्या है। यह पूछने जैसा है कि क्या एक विशिष्ट, अजीब आकार की छलनी सोने की धूल को पकड़ पाएगी। लेखक सिद्ध करते हैं कि डायल के कुछ विशेष सेटिंग्स ( $c$ ) के लिए, ये विशेष अभाज्य संख्याएँ वास्तव में मौजूद होती हैं, भले ही आप केवल संख्याओं के एक बहुत छोटे, संक्षिप्त अंतराल को देख रहे हों।

दो मुख्य परिणाम: "सटीक मानचित्र" और "गारंटीकृत खजाना"

यह शोध पत्र इन अभाज्य संख्याओं के अस्तित्व को सिद्ध करने के दो अलग-अलग तरीके प्रदान करता है।

1. सटीक मानचित्र (The Asymptotic Formula)

प्रमेय 1.1 (Theorem 1.1) एक सटीक मानचित्र बनाने जैसा है।

यह क्या करता है: यह केवल यह नहीं कहता कि "यहाँ एक अभाज्य संख्या है।" यह कहता है, "यदि आप इस छोटे अंतराल में देखते हैं, तो यहाँ बिल्कुल इतनी अभाज्य संख्याएँ होंगी, इसमें त्रुटि का एक बहुत छोटा हिस्सा जोड़ा या घटाया जा सकता है।"
चुनौती: यह मानचित्र केवल तभी काम करता है जब "छोटा अंतराल" बहुत अधिक छोटा न हो और "डायल" ( $c$ ) बहुत अधिक अजीब न हो। लेखकों ने यह गणना करने में बहुत समय बिताया कि यह मानचित्र कहाँ तक मान्य है। उन्होंने पाया कि यदि आप अपने खोज अंतराल की लंबाई और डायल की सेटिंग को बिल्कुल सही तरीके से समायोजित करते हैं, तो गणित पूरी तरह से काम करता है।

2. गारंटीकृत खजाना (The Lower Bound)

प्रमेय 1.2 (Theorem 1.2) थोड़ा अधिक लचीला है। यह हारमन सीव (Harman Sieve) नामक एक उपकरण का उपयोग करता है।

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

उन्होंने यह कैसे किया: "गणितीय शोर" की समस्या

इन चीजों को सिद्ध करने के लिए, लेखकों को एक्सपोनेंशियल सम (Exponential Sums) से निपटना पड़ा।

रूपक: कल्पना कीजिए कि आप लोगों के चिल्लाने वाले एक बहुत ही शोर भरे और अराजक कमरे में एक धीमी, शांत फुसफुसाहट (अभाज्य संख्याएँ) सुनने की कोशिश कर रहे हैं।
समस्या: "चिल्लाना" इतना तेज़ और जटिल है कि वह फुसफुसाहट को दबा देता है। गणित में, इसे "शोर" (noise) कहा जाता है।
समाधान: लेखकों ने इस शोर को छानने के लिए नई तकनीकें विकसित कीं। उन्होंने कॉची-श्वाल्ज़ असमानता (Cauchy-Schwarz inequality) (एक तरीका जिससे यह मापा जाता है कि दो चीजें कितनी ओवरलैप होती हैं) और A-प्रक्रिया (A-process) (अराजकता को सुचारू बनाने का एक तरीका) का उपयोग किया।
लघु अंतराल का मोड़: आमतौर पर, गणितज्ञ इस तथ्य को अनदेखा कर देते हैं कि वे एक "छोटे" अंतराल को देख रहे हैं क्योंकि लंबी दूरियों पर शोर औसत रूप से संतुलित हो जाता है। लेकिन चूंकि लेखक एक "छोटे" अंतराल को देख रहे हैं, इसलिए शोर अच्छी तरह से संतुलित नहीं होता है। उन्हें विशेष रूप से उस छोटे, शोर भरे कमरे में फुसफुसाहट सुनने का एक नया तरीका आविष्कार करना पड़ा।

"अजीब" वक्र (The "Weird" Curve)

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

क्यों? ऐसा इसलिए है क्योंकि एक विशिष्ट गणितीय शब्द जिसे उन्होंने अपने प्रमाण को सरल रखने के लिए अनदेखा किया था, उसके कारण ऐसा होता है। उन्होंने उस विशिष्ट अजीब वक्र का पीछा न करने का निर्णय लिया क्योंकि यह केवल तभी होता है जब अंतराल पहले से ही काफी लंबा हो, और उनका मुख्य लक्ष्य सबसे छोटे संभव अंतरालों में अभाज्य संख्याएँ खोजना था।

सारांश

संक्षेप में, लिंग्यु गुओ और विक्टर झेनयू गुओ ने सिद्ध किया है कि यदि आप संख्याओं के एक छोटे हिस्से को देखते हैं और एक विशिष्ट राउंडिंग (rounding) सूत्र लागू करते हैं, तो आपको उसके भीतर अभाज्य संख्याएँ मिलेंगी। उन्होंने यह किया:

यह गिनने के लिए कि कितनी अभाज्य संख्याओं की उम्मीद की जानी चाहिए, एक सटीक गणना बनाकर (प्रमेय 1.1)।
कम से कम एक अभाज्य संख्या के अस्तित्व की गारंटी देने के लिए एक "छलनी" का उपयोग करके (प्रमेय 1.2)।
एक छोटे, भीड़भाड़ वाले अंतराल में अभाज्य संख्याओं को सुनने के लिए गणितीय "शोर" को छानने के नए तरीके विकसित करके।

उन्होंने कोई नई मशीन का आविष्कार नहीं किया या किसी बीमारी का इलाज नहीं खोजा; उन्होंने बस गणित की विशालता में संख्याएँ कहाँ छिपी होती हैं, इस बहुत ही विशिष्ट और कठिन पहेली को हल किया।

तकनीकी सारांश: लघु अंतरालों में पियाटेत्स्की-शापिरो अभाज्य संख्याएँ

समस्या विवरण
यह शोध पत्र लघु अंतरालों में पियाटेत्की-शापिरो अभाज्य संख्याओं के अस्तित्व को स्थापित करने की समस्या पर आधारित है। यह विशेष रूप से गणना फलन $\pi_c(x)$ की जांच करता है, जो $x \le p$ अभाज्य संख्याओं को गिनता है जहाँ $p = \lfloor n^c \rfloor$ एक निश्चित वास्तविक संख्या $c > 1$ के लिए है। मुख्य प्रश्न यह है कि क्या विशिष्ट सीमा $\theta \in (2/3, 1)$ और घातांक पैरामीटर $\gamma = c^{-1}$ के लिए अंतर $\pi_c(x + x^\theta) - \pi_c(x)$ के लिए आनुपातिक संबंध या निचली सीमा (lower bound) लागू होती है। यह समस्या $n^2 + 1$ के रूप की अभाज्य संख्याओं की अनंतता के संबंध में व्यापक अनुमान का एक सन्निकटन (approximation) है। जबकि लंबे अंतरालों में ऐसे अभाज्य संख्याओं का अस्तित्व अच्छी तरह से स्थापित है (रिवत और सारगोस द्वारा स्वीकार्य सीमा $c < 2817/2426$ तक विस्तारित है), लघु अंतराल $[x, x + x^\theta]$ में उनका व्यवहार विश्लेषणात्मक संख्या सिद्धांत में एक मुख्य चुनौती बना हुआ है।

कार्यप्रणाली
लेखक अपने परिणामों को प्राप्त करने के लिए घातांकीय योग अनुमान (exponential sum estimation) और छँटनी विधियों (sieve methods) के संयोजन का उपयोग करते हैं। मुख्य तकनीकी तंत्र निम्नलिखित घातांकीय योगों के अनुमान पर निर्भर है:
$\sum_{h \sim H} \delta_h \sum_{n \sim N} \sum_{m} \mathbb{1}_{mn \in I} a_n b_m e(h(mn)^\gamma)$
जहाँ $I = (x, x + x^\theta]$ है। लेखक टाइप I योगों (जहाँ गुणांक सरल हैं, जैसे $b_m=1$ ) और टाइप II योगों (जहाँ गुणांक अधिक जटिल हैं, जैसे $|b_m| \ll x^\epsilon$ ) के बीच अंतर करते हैं।

टाइप I: मानक डबल लार्ज सिव (double large sieve) दृष्टिकोणों के विपरीत, लेखक लघु अंतराल की स्थिति के कारण $m$ और $n$ के उलझाव को संभालने के लिए लेम्मा 2.5 (एक उच्च-क्रम व्युत्पन्न परीक्षण) का उपयोग करके आंतरिक योग (inner sum) पर $m$ के ऊपर अनुमान लगाते हैं।
टाइप II: दो अलग-अलग विधियों का उपयोग किया जाता है। पहली विधि कॉची-श्वार्ज़ असमानता (Cauchy-Schwarz inequality) और $A$ -प्रक्रिया (वेइल-वैन डेर कॉर्पेल असमानता) को लागू करती है ताकि योग को एक ऐसे रूप में परिवर्तित किया जा सके जो लघु अंतराल की जानकारी के अनुकूल हो। दूसरी विधि लघु अंतराल की अतिरिक्त टाइप II जानकारी निकालने के लिए हीथ-ब्राउन की परिमेय बिंदुओं को गिनने की तकनीक को अनुकूलित करती है।
हारमन सिव (Harman Sieve): निचली सीमा परिणाम (प्रमेय 1.2) प्राप्त करने के लिए, लेखक हारमन सिव का अनुप्रयोग करते हैं। इसमें बुचस्टैब पहचान (Buchstab identity) और मौलिक लेम्मा (लेम्मा 5.3) का उपयोग करके गणना फलन का विखंडन शामिल है। मौलिक लेम्मा लेखकों को पूर्णांकों के सेट से पियाटेत्स्की-शापिरो पूर्णांकों के सेट में आनुपातिक सूत्रों को स्थानांतरित करने की अनुमति देता है, बशर्ते कि घातांकीय योग के अनुमान मान्य हों।
अनुकूलन (Optimization): $\theta$ और $\gamma$ के लिए सीमाएँ घातांकीय योग अनुमानों और सिव भारों (sieve weights) में मापदंडों को अनुकूलित करके निर्धारित की जाती हैं। लेखक सिव प्रक्रिया में छोड़े गए पदों, विशेष रूप से बुचस्टैब फलन $w(u)$ से संबंधित योगदान की गणना करने के लिए संख्यात्मक एकीकरण (MATLAB के माध्यम से) का उपयोग करते हैं।

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

शोध पत्र दो मुख्य प्रमेय प्रस्तुत करता है जो $\theta$ और $\gamma$ पर विशिष्ट बाधाओं के तहत लघु अंतरालों में पियाटेटेत्स्की-शापिरो अभाज्य संख्याओं के अस्तित्व को स्थापित करते हैं:

प्रमेय 1.1 (आनुपातिक सूत्र): लेखक $\pi_c(x + x^\theta) - \pi_c(x)$ के लिए $\gamma x^{\theta+\gamma-1}/\log x$ के रूप में एक आनुपातिक सूत्र सिद्ध करते हैं। यह $\theta \in (2/3, 1)$ और $\gamma$ के लिए मान्य है जो एक खंडित-परिभाषित निचली सीमा (समीकरण 1.2) को संतुष्ट करता है। $\gamma$ की स्वीकार्य सीमा $\theta$ के साथ बदलती है, जिसके लिए सामान्यतः छोटे $\theta$ के लिए $\gamma$ का 1 के करीब होना आवश्यक है। उल्लेखनीय रूप से, शोध पत्र एक असामान्य घटना देखता है जहाँ $\theta \approx 0.9$ के पास स्वीकार्य $\gamma$ बढ़ता है, जिसका कारण टाइप II योग अनुमान में $(1+\theta)/2$ पद है।
प्रमेय 1.2 (निचली सीमा): हारमन सिव का उपयोग करके, लेखक प्रमेय 1.1 की तुलना में $\gamma$ की स्वीकार्य सीमा में सुधार करते हैं। $\theta \in (2/3, 1)$ के निश्चित मानों के लिए, वे एक निचली सीमा $\pi_c(x + x^\theta) - \pi_c(x) \gg x^{\theta+\gamma-1}/\log x$ स्थापित करते हैं। तालिका 1 $\gamma_0$ के विशिष्ट मान प्रदान करती है जिससे यह परिणाम सभी $\gamma > \gamma_0$ के लिए लागू होता है। उदाहरण के लिए, $\theta = 0.90$ पर, परिणाम $\gamma > 0.9168$ के लिए मान्य है, जबकि प्रमेय 1.1 केवल $\gamma > 0.9534$ के लिए आनुपातिक सूत्र की गारंटी देता है।

महत्व और दावे

शोध पत्र यह दावा करता है कि यह आनुपातिक सूत्रों और बेहतर निचली सीमाओं के साथ लघु अंतरालों में पियाटेत्स्की-शापिरो अभाज्य संख्याओं पर पहले परिणाम प्रदान करता है। इसका महत्व घातांक $c$ (वाया $\gamma$ ) की ज्ञात स्वीकार्य सीमाओं को लघु अंतरालों के संदर्भ में विस्तारित करने में निहित है, जो कि लंबे अंतरालों की तुलना में एक अधिक कठिन परिवेश है क्योंकि यहाँ घातांकीय योगों में विचलन (cancellation) का अभाव होता है।

लेखक स्पष्ट रूप से उल्लेख करते हैं कि टाइप I योगों के लिए उनकी विधि लघु अंतराल की बाधा के लिए विशेष रूप से तैयार की गई है, क्योंकि मानक डबल लार्ज सिव तकनीकें कम प्रभावी होती हैं जब $\theta$ छोटा होता है। वे यह भी स्वीकार करते हैं कि वे अधिक सावधानीपूर्वक गणनाओं के साथ बड़े $\gamma$ (विशेष रूप से $\gamma > 0.87$ ) के लिए सीमा में सुधार कर सकते थे, लेकिन उनका प्राथमिक ध्यान छोटे $\theta$ वाले मामले पर है। परिणाम स्थापित सिव तकनीकों और घातांकीय योग अनुमानों के विशिष्ट पियाटेत्स्की-शापिरो अनुक्रमों पर प्रत्यक्ष अनुप्रयोग के रूप में प्रस्तुत किए गए हैं, बिना $n^2+1$ अनुमान को हल करने या नए प्रयोगात्मक अनुप्रयोगों का प्रस्ताव दिए।