2025-11-21T02:43:15.649030

An effective analytic recurrence for prime numbers

Cloitre

The Golomb--Keller formula expresses the next prime $p_{n+1}$ as a recurrence relation in terms of the first $n$ primes $p_1, \ldots, p_n$ using the Riemann zeta function and an Euler product, but requires taking a limit as $s \to \infty$, rendering it non-constructive. We transform this asymptotic formula into an effective recurrence by proving that a finite parameter $s \leq p_n$ suffices when combined with the ceiling function, establishing a constructive method valid for all $n \geq 1$. The minimal integer parameter $s_n$ (OEIS A389650) reveals deep connections to prime constellations. We prove $\liminf_{n\to\infty} Ï_n = 0$ unconditionally, where $Ï_n = s_n/p_n$. The limit superior $C = \limsup Ï_n$ satisfies $\log Ï\lesssim C \leq 0.4332$, where $Ï\approx 1.46557$ is the supergolden ratio. The lower bound is conditional on the twin prime conjecture; the upper bound is unconditional. The constant $C$ relates to the densest admissible prime constellation, connecting to the Hardy--Littlewood conjectures. The method extends to Dirichlet L-functions, yielding other effective formulas for calculating $p_{n+1}$ but also for predicting residues of $p_{n+1}$ modulo any integer with reduced precision requirements.

academic

अभाज्य संख्याओं के लिए एक प्रभावी विश्लेषणात्मक पुनरावृत्ति

मूल जानकारी

पेपर ID: 2508.02690
शीर्षक: अभाज्य संख्याओं के लिए एक प्रभावी विश्लेषणात्मक पुनरावृत्ति
लेखक: Benoit Cloitre
वर्गीकरण: math.NT (संख्या सिद्धांत), math.HO (इतिहास और अवलोकन)
प्रकाशन समय: 25 अक्टूबर 2025 (arXiv v2)
पेपर लिंक: https://arxiv.org/abs/2508.02690v2

सारांश

Golomb-Keller सूत्र रीमान ζ फलन और यूलर गुणनफल के माध्यम से अगली अभाज्य संख्या $p_{n+1}$ को पहली $n$ अभाज्य संख्याओं $p_1, \ldots, p_n$ के पुनरावृत्ति संबंध के रूप में व्यक्त करता है, लेकिन इसे सीमा $s \to \infty$ लेने की आवश्यकता होती है, जिससे यह रचनात्मक रूप से उपयोग के लिए अनुपयुक्त है। यह पेपर परिमित पैरामीटर $s \leq p_n$ को ऊपर की ओर पूर्णांकन फलन के साथ मिलाकर पर्याप्त साबित करके इस स्पर्शोन्मुख सूत्र को एक प्रभावी पुनरावृत्ति में परिवर्तित करता है, जो सभी $n \geq 1$ के लिए एक रचनात्मक विधि स्थापित करता है।

न्यूनतम पूर्णांक पैरामीटर $s_n$ (OEIS A389650) अभाज्य तारामंडलों के साथ गहरे संबंध को प्रकट करता है। लेखक बिना शर्त साबित करते हैं कि $\liminf_{n\to\infty} \sigma_n = 0$ , जहाँ $\sigma_n = s_n/p_n$ । ऊपरी सीमा $C = \limsup \sigma_n$ को $\log \psi \lesssim C \leq 0.4332$ संतुष्ट करता है, जहाँ $\psi \approx 1.46557$ अति-सुनहरा अनुपात है। निचली सीमा जुड़वां अभाज्य अनुमान पर निर्भर करती है; ऊपरी सीमा बिना शर्त है। स्थिरांक $C$ सबसे सघन स्वीकार्य अभाज्य तारामंडलों से संबंधित है, Hardy-Littlewood अनुमान से जुड़ा हुआ है।

यह विधि Dirichlet L फलनों तक विस्तारित होती है, जो $p_{n+1}$ की गणना के लिए अन्य प्रभावी सूत्र उत्पन्न करती है, और कम सटीकता आवश्यकताओं के साथ $p_{n+1}$ को मनमानी पूर्णांक के मापांक में भविष्यवाणी कर सकती है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

अभाज्य संख्याओं के लिए स्पष्ट सूत्र खोजना संख्या सिद्धांत में एक शास्त्रीय समस्या है। हालांकि प्रत्यक्ष गैर-पुनरावर्ती सूत्र मौजूद हैं (जैसे Willans सूत्र, Mills सूत्र), लेकिन वे कम्प्यूटेशनल रूप से अव्यावहारिक हैं। यह पेपर पुनरावृत्ति संबंधों पर केंद्रित है, अर्थात् $p_1, \ldots, p_n$ से $p_{n+1}$ को व्यक्त करना।

ऐतिहासिक विकास

Gandhi 4 ने पहले प्राथमिक संख्या और Möbius फलन का उपयोग करके इस तरह की पुनरावृत्ति प्रदान की
Vanden Eynden 19 ने प्रमाण को सरल बनाया
Jakimczuk 9 ने विधि को सामान्यीकृत किया
Golomb 5 ने विश्लेषणात्मक संख्या सिद्धांत का उपयोग करके स्वतंत्र रूप से सूत्र की खोज की, जिसे बाद में Keller 10 ने पुनः खोजा

मौजूदा विधियों की सीमाएं

शास्त्रीय Golomb-Keller सूत्र है: $p_{n+1} = \lim_{s\to\infty} \left[\left(\prod_{k=1}^n \left(1-\frac{1}{p_k^s}\right)\right) \zeta(s) - 1\right]^{-1/s}$

इस सूत्र की मुख्य समस्या यह है कि इसे सीमा $s \to \infty$ लेने की आवश्यकता है, जिससे यह व्यावहारिक गणना में अनुपयोगी है।

अनुसंधान प्रेरणा

यह पेपर विपरीत दृष्टिकोण अपनाता है: कार्यशील सटीकता तक पूर्ण ζ फलन श्रृंखला की गणना को बनाए रखता है, लेकिन परिमित $s$ का उपयोग करता है। इस तरह घातांक को काटता है न कि श्रृंखला को, जिससे सूत्र रचनात्मक बन जाता है।

मुख्य योगदान

रचनात्मक पुनरावृत्ति सूत्र: सभी $n \geq 1$ के लिए, न्यूनतम पूर्णांक $s_n$ का अस्तित्व साबित करता है जैसे कि: $p_{n+1} = \left\lceil \left(-1 + \zeta(s_n) \prod_{j=1}^n \left(1-\frac{1}{p_j^{s_n}}\right)\right)^{-1/s_n} \right\rceil$
प्रभावी सीमाएं:
- Bertrand अनुमान का उपयोग करके $s_n \leq 2p_n$ साबित करता है (प्रमेय 10)
- Nagura प्रमेय का उपयोग करके $s_n \leq p_n$ साबित करता है (प्रमेय 12)
स्पर्शोन्मुख व्यवहार विश्लेषण:
- बिना शर्त साबित करता है $\liminf_{n\to\infty} \sigma_n = 0$ (प्रस्ताव 13)
- $C := \limsup_{n\to\infty} \sigma_n$ के लिए सीमाएं स्थापित करता है: $0.3823 \lesssim C \leq 0.4332$
अभाज्य तारामंडलों के साथ संबंध: निचली सीमा $\log \psi \approx 0.3823$ की खोज करता है (जुड़वां अभाज्य अनुमान पर निर्भर), जहाँ $\psi$ अति-सुनहरा अनुपात है
Dirichlet L फलनों तक विस्तार: $p_{n+1} \pmod 4$ जैसे अवशेष गुणों की भविष्यवाणी करने की अनुमति देता है
संख्यात्मक डेटा: $n = 1$ से $200$ तक के $s_n$ मान प्रदान करता है (OEIS A389650)

विधि विवरण

कार्य परिभाषा

पहली $n$ अभाज्य संख्याओं $p_1, p_2, \ldots, p_n$ को देखते हुए, अगली अभाज्य संख्या $p_{n+1}$ को रचनात्मक रूप से गणना करें।

मुख्य विधि आर्किटेक्चर

1. Dirichlet श्रृंखला तंत्र

मुख्य फलन को परिभाषित करें: $D_n(s) = \sum_{\substack{k \geq 1 \\ \gcd(k,P_n)=1}} k^{-s}$

जहाँ $P_n = \prod_{j=1}^n p_j$ $n$ -वां प्राथमिक संख्या है।

2. यूलर गुणनफल प्रतिनिधित्व

लेम्मा 3: $\Re(s) > 1$ के लिए, $D_n(s) = \zeta(s) \prod_{j=1}^n (1-p_j^{-s})$

3. अभिसरण गुण विश्लेषण

$h(s) = (D_n(s)-1)^{-1/s}$ को परिभाषित करें, साबित करें कि:

सभी $s > 1$ के लिए $h(s) < p_{n+1}$
$\lim_{s\to\infty} h(s) = p_{n+1}$
$h(s)$ $(1,\infty)$ पर सख्ती से बढ़ता है

4. महत्वपूर्ण पैरामीटर निर्धारण

प्रस्ताव 6: प्रत्येक $n \geq 1$ के लिए, अद्वितीय $s_n^* > 1$ मौजूद है जैसे कि $h(s_n^*) = p_{n+1} - 1$ ।

$s_n = \lfloor s_n^* \rfloor + 1$ को न्यूनतम पूर्णांक पैरामीटर के रूप में परिभाषित करें।

तकनीकी नवाचार बिंदु

सटीकता और काटने का संतुलन: Keller की श्रृंखला योग को काटने की विधि के विपरीत, यह पेपर पूर्ण $\zeta(s)$ को बनाए रखता है लेकिन परिमित $s$ का उपयोग करता है
ऊपर की ओर पूर्णांकन तकनीक: $\lceil h(s) \rceil = p_{n+1}$ यदि और केवल यदि $s > s_n^*$ के गुण का चतुराई से उपयोग करता है
अभिन्न सीमा तकनीक: पूंछ त्रुटि को नियंत्रित करने के लिए सूक्ष्म अभिन्न तुलना का उपयोग करता है

प्रायोगिक सेटअप

संख्यात्मक गणना उपकरण

उच्च सटीकता गणना के लिए PARI/GP और Python के mpmath लाइब्रेरी का उपयोग
$n \leq 200$ के लिए 100-बिट सटीकता की आवश्यकता
$n \approx 500$ के लिए लगभग 2500-बिट सटीकता की आवश्यकता (निरस्तीकरण प्रभाव के कारण)

सत्यापन विधि

सभी $n = 1, \ldots, 200$ के लिए सैद्धांतिक सीमा $s_n \leq p_n$ को सीधी गणना द्वारा सत्यापित करें।

कार्यशील उदाहरण

$p_7 = 17$ की गणना करें ( $n = 6$ से शुरू करके):

$s = 2p_6 = 26$ का उपयोग करके: $h(26) \approx 16.941817904$ , $p_7 = \lceil h(26) \rceil = 17$ प्राप्त करें
वास्तविक न्यूनतम मान $s_6 = 8$ : $h(8) \approx 16.5189076$

प्रायोगिक परिणाम

मुख्य संख्यात्मक परिणाम

सीमा सत्यापन

प्रमेय 10: सभी $n \geq 1$ के लिए $s_n \leq 2p_n$
प्रमेय 12: सभी $n \geq 1$ के लिए $s_n \leq p_n$ (Nagura प्रमेय के माध्यम से)

स्पर्शोन्मुख व्यवहार

प्रस्ताव 13: $\liminf_{n\to\infty} \sigma_n = 0$ (बिना शर्त)
प्रमेय 14: $C = \limsup_{n\to\infty} \sigma_n \leq 0.4332$ (बिना शर्त)
प्रमेय 15: जुड़वां अभाज्य अनुमान के तहत, $C > \log \psi \approx 0.38225$

अनुभवजन्य वितरण विश्लेषण

$n = 1$ से $200$ तक के डेटा विश्लेषण से पता चलता है:

5 विसंगत मानों को हटाने के बाद, $\sigma_n$ का वितरण Beta वितरण के समान है
माध्य ≈ 0.291, माध्यिका ≈ 0.277, मानक विचलन ≈ 0.087
फिटिंग पैरामीटर: Beta(α ≈ 7.64, β ≈ 18.62)
सैद्धांतिक बहुलक ≈ 0.274, अनुभवजन्य माध्यिका के साथ सुसंगत

निश्चित गुणांक सूत्र

प्रमेय 18: किसी भी $c > c_0 \approx 0.5956$ के लिए, $N_0(c)$ मौजूद है जैसे कि सभी $n \geq N_0(c)$ के लिए, $s = cp_n$ का उपयोग करने वाला सूत्र $p_{n+1}$ को सही तरीके से गणना करता है।

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

रचनात्मक सफलता: पहली बार Golomb-Keller सूत्र को स्पर्शोन्मुख से प्रभावी गणना योग्य में परिवर्तित करता है
गहरे संबंध: अभाज्य पुनरावृत्ति पैरामीटर और अभाज्य तारामंडल, अंतराल वितरण के बीच आंतरिक संबंध को प्रकट करता है
सैद्धांतिक सीमाएं: पैरामीटर $s_n$ की सटीक सीमाएं और स्पर्शोन्मुख व्यवहार स्थापित करता है
अति-सुनहरा अनुपात: अभाज्य सिद्धांत में इसका नया अनुप्रयोग खोजता है

सीमाएं

कम्प्यूटेशनल जटिलता: $O(np_n^3 \log p_n)$ बिट संचालन, हालांकि बहुपद लेकिन व्यावहारिक रूप से अव्यावहारिक
सटीकता आवश्यकता: $n$ बढ़ने के साथ कार्यशील सटीकता की घातीय वृद्धि की आवश्यकता
निर्भरता: कुछ परिणाम अप्रमाणित अनुमानों पर निर्भर करते हैं (जैसे जुड़वां अभाज्य अनुमान)

भविष्य की दिशाएं

कम्प्यूटेशनल अनुकूलन: सटीकता आवश्यकताओं को कम करने के तरीके खोजें
सैद्धांतिक परिपूर्णता: अप्रमाणित अनुमानों पर निर्भरता को हटाएं
सामान्यीकरण अनुप्रयोग: अन्य संख्या सिद्धांत फलनों तक विस्तार करें
संख्यात्मक अन्वेषण: अनुमानों को सत्यापित करने के लिए बड़ी श्रेणी के $s_n$ मानों की गणना करें

गहन मूल्यांकन

शक्तियां

सैद्धांतिक नवाचार: एक दीर्घकालीन रचनात्मक समस्या को सफलतापूर्वक हल करता है
विधि कठोरता: गहन विश्लेषणात्मक संख्या सिद्धांत तकनीकों का उपयोग करता है
गहरे संबंध: पुनरावृत्ति सूत्र और अभाज्य तारामंडल सिद्धांत के बीच पुल स्थापित करता है
समृद्ध डेटा: विस्तृत संख्यात्मक सत्यापन और सांख्यिकीय विश्लेषण प्रदान करता है

कमियां

सीमित व्यावहारिकता: हालांकि सैद्धांतिक रूप से रचनात्मक, लेकिन गणना लागत बहुत अधिक है
सटीकता चुनौती: उच्च सटीकता आवश्यकता विधि की स्केलेबिलिटी को सीमित करती है
सशर्त परिणाम: कुछ महत्वपूर्ण परिणाम अप्रमाणित अनुमानों पर निर्भर करते हैं

प्रभाव

सैद्धांतिक योगदान: अभाज्य पुनरावृत्ति सिद्धांत के लिए नया दृष्टिकोण प्रदान करता है
पद्धति मूल्य: दिखाता है कि स्पर्शोन्मुख सूत्र को प्रभावी एल्गोरिदम में कैसे परिवर्तित करें
अंतः-विषय संबंध: विश्लेषणात्मक संख्या सिद्धांत, कम्प्यूटेशनल संख्या सिद्धांत और अभाज्य ज्यामिति को जोड़ता है

लागू परिदृश्य

सैद्धांतिक अनुसंधान: अभाज्य वितरण, अंतराल सिद्धांत, तारामंडल अनुसंधान
संख्यात्मक प्रयोग: छोटे पैमाने पर सत्यापन और पैटर्न अन्वेषण
शिक्षण प्रदर्शन: विश्लेषणात्मक संख्या सिद्धांत विधियों का शास्त्रीय अनुप्रयोग

संदर्भ

मुख्य संदर्भ साहित्य में शामिल हैं:

5 S. W. Golomb, अगली अभाज्य संख्या के लिए सूत्र, Pacific J. Math. 63 (1976), 401–404
10 J. B. Keller, अभाज्य संख्याओं के लिए एक पुनरावृत्ति समीकरण, arXiv:0711.3940, 2007
4 J. M. Gandhi, n-वीं अभाज्य संख्या के लिए सूत्र, Proc. Washington State Univ. Conf. Number Theory (1971), 96–107
12 J. Nagura, कम से कम एक अभाज्य संख्या युक्त अंतराल पर, Proc. Japan Acad. 28 (1952), 177–181

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