लघु अंतरालों में अभाज्य संख्याओं की संख्या और हरमन की चलनी के लिए संख्यात्मक गणनाएं

मूल जानकारी

• पेपर ID: 2308.04458
• शीर्षक: लघु अंतरालों में अभाज्य संख्याओं की संख्या और हरमन की चलनी के लिए संख्यात्मक गणनाएं
• लेखक: रुनबो ली
• वर्गीकरण: math.NT (संख्या सिद्धांत)
• प्रकाशन समय: अगस्त 2023 (नवीनतम संस्करण अक्टूबर 2025)
• पेपर लिंक: https://arxiv.org/abs/2308.04458

सारांश

लेखक ने अंतराल $[x - x^θ, x]$ में अभाज्य संख्याओं की संख्या के लिए गैर-तुच्छ ऊपरी और निचली सीमाएं प्रदान की हैं, जहां $0.52 \leqslant θ \leqslant 0.525$ है। उन्होंने सिद्ध किया है कि सभी पर्याप्त रूप से बड़े $x$ के लिए, अंतराल $[x - x^{0.52}, x]$ में अभाज्य संख्या होती है। यह बेकर, हरमन और पिंट्ज़ (2001) के परिणामों में सुधार करता है और हरमन और पिंट्ज़ के तर्क का सकारात्मक उत्तर देता है। पेपर में नई अंकगणितीय जानकारी, सूक्ष्म चलनी विघटन, हरमन चलनी में विभिन्न तकनीकों और समाकलों के सटीक अनुमान का प्रभावी उपयोग किया गया है।

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

मूल समस्या

यह अनुसंधान शास्त्रीय लघु अंतराल अभाज्य वितरण समस्या को हल करने का प्रयास करता है: $[x - x^θ, x]$ जैसे लघु अंतरालों में अभाज्य संख्याओं की संख्या के स्पर्शोन्मुख व्यवहार को निर्धारित करना, विशेष रूप से न्यूनतम घातांक $θ$ को खोजना जो ऐसे अंतरालों में अभाज्य संख्या की गारंटी देता है।

समस्या की महत्ता

1. सैद्धांतिक महत्व: लघु अंतराल अभाज्य वितरण विश्लेषणात्मक संख्या सिद्धांत की मूल समस्याओं में से एक है, जो अभाज्य संख्या प्रमेय के परिशोधन से सीधे संबंधित है
2. ऐतिहासिक स्थिति: क्रैमर के 1937 के अनुमान के बाद से, यह समस्या कई गणितज्ञों का ध्यान आकर्षित करती रही है
3. तकनीकी चुनौती: चलनी विधि, घातांकीय योग अनुमान, L-फलन शून्य वितरण जैसे गहन सिद्धांतों को संयोजित करने की आवश्यकता है

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

• 1930 होहेइसल: पहली बार सिद्ध किया कि $θ < 1$ मौजूद है जहां स्पर्शोन्मुख सूत्र मान्य है ($θ ≥ 1 - 1/33000$)
• 1972 हक्सली: शून्य घनत्व अनुमान के माध्यम से $θ$ को $7/12$ तक कम किया
• 2024 गुथ-मेनार्ड: नवीनतम शून्य घनत्व परिणाम $θ$ को $17/30$ तक कम करते हैं
• चलनी विधि विकास: 1979 में इवानिएक-जुटिला ने चलनी विधि प्रस्तुत की, बाद में BHP (2001) ने $θ = 0.525$ प्राप्त किया

वर्तमान सीमाएं

बेकर-हरमन-पिंट्ज़ (BHP) के अग्रणी कार्य ने $θ = 0.525$ प्राप्त किया, लेकिन निम्नलिखित समस्याएं हैं:

1. गणना विवरण लगभग पूरी तरह से छोड़े गए हैं, जिससे सत्यापन और सुधार कठिन है
2. कुमचेव ने बताया कि $θ = 0.52$ उस समय की तकनीकों से परे था
3. व्यवस्थित संख्यात्मक गणना ढांचे की कमी है

मूल योगदान

1. 0.52 की बाधा को तोड़ना: पहली बार कठोरता से $θ = 0.52$ की व्यवहार्यता सिद्ध की, कुमचेव द्वारा उठाई गई तकनीकी चुनौती को हल किया
2. पूर्ण गणना विवरण प्रदान करना: BHP कार्य में छोड़ी गई बड़ी मात्रा में गणनाओं को भरा, परिणामों को सत्यापन योग्य और पुनरुत्पादनीय बनाया
3. नई अंकगणितीय जानकारी विकसित करना: लेम्मा 4.4-4.5 जैसे नए अंकगणितीय लेम्मा सिद्ध किए, चलनी विधि की प्रयोज्यता का विस्तार किया
4. चलनी विघटन को अनुकूलित करना: भूमिका उलट, प्रतिलोम बुकस्टाब पहचान आदि तकनीकों के माध्यम से हानि अनुमान में महत्वपूर्ण सुधार किया
5. संख्यात्मक गणना ढांचा स्थापित करना: C++ और Mathematica का उपयोग करके क्रॉस-सत्यापन, गणना की सटीकता सुनिश्चित की

विधि विवरण

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

इनपुट: सकारात्मक पूर्णांक $x$ और पैरामीटर $θ \in [0.52, 0.525]$आउटपुट: अंतराल $[x - x^θ, x]$ में अभाज्य संख्याओं की संख्या $π(x) - π(x - x^θ)$ की ऊपरी और निचली सीमाएं लक्ष्य: स्थिरांक $LB(θ), UB(θ)$ का अस्तित्व सिद्ध करना जैसे कि $LB(θ) \frac{x^θ}{\log x} ≤ π(x) - π(x - x^θ) ≤ UB(θ) \frac{x^θ}{\log x}$

मूल आर्किटेक्चर: हरमन चलनी

1. मूल सेटअप

मुख्य पैरामीटर परिभाषित करें:

• $A = \{a : a ∈ Z, x - y ≤ a < x\}$, जहां $y = x^{θ+ε}$
• $B = \{b : b ∈ Z, x - y_1 ≤ b < x\}$, जहां $y_1 = x \exp(-3(\log x)^{1/3})$
• $S(C, z) = \sum_{a∈C, (a,P(z))=1} 1$

लक्ष्य $S(A, x^{1/2})$ के अनुमान में परिवर्तित होता है।

2. चलनी विघटन रणनीति

बुकस्टाब पहचान के माध्यम से पुनरावर्ती विघटन: $S(C, z) = S(C, w) - \sum_{w≤p<z} S(C_p, p)$

मुख्य विचार: विरल समुच्चय $A$ और सघन समुच्चय $B$ के बीच स्पर्शोन्मुख संबंध सिद्ध करना: $S(A, z) = \frac{y}{y_1}(1 + o(1))S(B, z)$

3. क्षेत्र विभाजन

समाकल क्षेत्र को तीन उप-क्षेत्रों में विभाजित करें:

• क्षेत्र A: $\{α_2 : 1/4 ≤ α_1 ≤ 2/5, 1/3(1-α_1) ≤ α_2 ≤ \min(α_1, 1/2(1-α_1))\}$
• क्षेत्र B: $\{α_2 : 1/3 ≤ α_1 ≤ 1/2, \max(1/2 α_1, 1-2α_1) ≤ α_2 ≤ 1/2(1-α_1)\}$
• क्षेत्र C: शेष क्षेत्र

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

1. नई अंकगणितीय जानकारी (लेम्मा 4.4-4.5)

पारंपरिक Type-II जानकारी को Type-II5 और Type-II6 तक विस्तारित किया, अधिक सूक्ष्म होल्डर असमानता और माध्य प्रमेय के माध्यम से:

लेम्मा 4.4: पांच-आयामी स्थिति के लिए, विशेष शर्तों के तहत स्पर्शोन्मुख सूत्र प्राप्त किया जा सकता है: $\sum_{l_1l_2l_3l_4l_5∈A} a_{l_1}b_{l_2}c_{l_3}d_{l_4}e_{l_5}$

2. भूमिका उलट तकनीक

चार-आयामी और छह-आयामी योगों में, चर की भूमिका को विनिमय करके, बड़ी 4D हानि को छोटी 6D हानि से प्रतिस्थापित किया।

3. प्रतिलोम बुकस्टाब पहचान

$\sum_{α_4} S(Ap_1p_2p_3p_4, (x/(p_1p_2p_3p_4))^{1/2}) = \sum_{α_4} S(Ap_1p_2p_3p_4, p_4) - \sum_{α_4} \sum_{α_4<α_5<1/2(1-α_1-α_2-α_3-α_4)} S(Ap_1p_2p_3p_4p_5, p_5)$

इस "विभाजन" तकनीक के माध्यम से, लगभग अभाज्य संख्याएं दृश्यमान हो जाती हैं, जिससे हानि कम होती है।

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

गणना पर्यावरण

• हार्डवेयर: Intel(R) Xeon(R) Platinum 8383C CPU, 160 थ्रेड्स
• सॉफ्टवेयर: C++ (मुख्य गणना) + Mathematica 14 (क्रॉस-सत्यापन)
• समांतरकरण: 80 Wolfram कोर

संख्यात्मक समाकलन रणनीति

1. स्तरीय गणना: आयाम के बढ़ते क्रम में समाकल की गणना करें
2. त्रुटि नियंत्रण: ऊपरी सीमा फलन $ω_1(u)$ और निचली सीमा फलन $ω_0(u)$ का उपयोग करें
3. क्रॉस-सत्यापन: C++ और Mathematica स्वतंत्र रूप से गणना करते हैं फिर तुलना करते हैं

क्षेत्र परिभाषा

13 विभिन्न समाकल क्षेत्रों को परिभाषित किया ($UC_{01}$ से $UC_{13}$, $VC_1$ से $VC_7$ आदि), प्रत्येक विशिष्ट चलनी विघटन पथ के अनुरूप।

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

मुख्य परिणाम

प्रमेय 1: सभी पर्याप्त रूप से बड़े $x$ के लिए, अंतराल $[x - x^{0.52}, x]$ में अभाज्य संख्या होती है।

प्रमेय 2: $0.52 ≤ θ ≤ 0.525$ और $ε > 0$ के लिए, $LB(θ) \frac{x^{θ+ε}}{\log x} ≤ π(x) - π(x - x^{θ+ε}) ≤ UB(θ) \frac{x^{θ+ε}}{\log x}$

विशिष्ट संख्यात्मक परिणाम:

तकनीकी सुधार प्रभाव

निचली सीमा सुधार

नई विघटन रणनीति के माध्यम से, कुल हानि को नियंत्रित किया गया:

• क्षेत्र A: < 0.241 (2D हानि)
• क्षेत्र C: < 0.514 (उच्च-आयामी मुआवजा सहित)
• कुल हानि: < 0.996, निचली सीमा > 0.004 सुनिश्चित करता है

ऊपरी सीमा गणना

ऊपरी सीमा गणना अधिक जटिल है, कुल हानि < 1.874, ऊपरी सीमा < 2.874 प्राप्त करता है।

संख्यात्मक सत्यापन

C++ और Mathematica गणना परिणामों की तुलना अच्छी सामंजस्य दिखाती है, त्रुटि स्वीकार्य सीमा में है।

संबंधित कार्य

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

1. शास्त्रीय विधि: रीमान ζ फलन शून्य वितरण पर आधारित विश्लेषणात्मक विधि
2. चलनी क्रांति: इवानिएक-जुटिला (1979) ने चलनी विधि प्रस्तुत की
3. BHP सफलता: हरमन चलनी और वाट शक्ति माध्य प्रमेय का संयोजन
4. बाद का विकास: विभिन्न तकनीकी सुधार और संख्यात्मक अनुकूलन

इस पेपर की स्थिति

• BHP ढांचे के भीतर गहन अनुकूलन
• पहली बार पूर्ण सत्यापन योग्य गणना प्रदान करना
• आगे के सुधार के लिए आधार स्थापित करना

अनुप्रयोग और सामान्यीकरण

पेपर 15 महत्वपूर्ण अनुप्रयोग प्रदर्शित करता है:

1. अंकगणितीय प्रगति में अभाज्य संख्याएं (प्रमेय 3)

$π(x; q, a) - π(x - x^{0.52}; q, a) ≥ 0.004 \frac{x^{0.52}}{φ(q) \log x}$

2. अभाज्य अंतराल समस्या (प्रमेय 4)

लघु अंतराल में क्रमागत अभाज्य संख्याओं के ≫ $x^{0.52}(\log x)^{-k}$ युग्म मौजूद हैं, अंतराल सीमित हैं।

3. गोल्डबैक समस्या

• प्रमेय 6: लगभग सभी अंतराल $[x, x + x^{13/225}]$ में सम संख्याएं गोल्डबैक संख्याएं हैं
• प्रमेय 7: अंतराल $[x, x + x^{26/1075}]$ में गोल्डबैक संख्या होती है

4. अन्य अनुप्रयोग

काल्पनिक द्विघात क्षेत्रों में अभाज्य आदर्श वितरण, कारमाइकल संख्या अनुमान, लिनिक स्थिरांक आदि शामिल हैं।

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

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

1. तकनीकी सफलता: θ = 0.52 की बाधा को सफलतापूर्वक तोड़ा
2. विधि नवाचार: चलनी विधि अनुकूलन की कई तकनीकें विकसित कीं
3. गणना सत्यापन: पूर्ण संख्यात्मक सत्यापन ढांचा स्थापित किया
4. व्यापक अनुप्रयोग: कई संख्या सिद्धांत समस्याओं पर सुधार प्राप्त किए

सीमाएं

1. विधि सीमा: अभी भी हरमन चलनी ढांचे के भीतर है, गुणात्मक छलांग प्राप्त करना कठिन है
2. गणना जटिलता: उच्च-आयामी समाकल गणना अत्यंत जटिल है, आगे के सुधार को सीमित करता है
3. स्थिरांक समस्या: हालांकि घातांक में सुधार हुआ है, लेकिन स्थिरांक में अभी भी अनुकूलन की गुंजाइश है

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

1. नई चलनी तकनीकें: वर्तमान ढांचे से परे नई विधियों की खोज करें
2. गणना अनुकूलन: अधिक कुशल संख्यात्मक गणना तकनीकें विकसित करें
3. सैद्धांतिक सफलता: L-फलन शून्य वितरण के साथ नए संबंध खोजें

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

लाभ

1. तकनीकी गहराई: अत्यंत जटिल तकनीकी ढांचे के भीतर वास्तविक सफलता प्राप्त की
2. गणना कठोरता: पहले कभी नहीं देखी गई गणना विवरण और सत्यापन प्रदान किए
3. अनुप्रयोग समृद्ध: व्यापक संख्या सिद्धांत अनुप्रयोग प्रदर्शित किए
4. विधि नवाचार: चलनी विधि सिद्धांत के लिए कई मूल्यवान तकनीकी सुधार विकसित किए

कमियां

1. पठन कठिनाई: तकनीकी विवरण अत्यंत जटिल हैं, समझ की बाधा बहुत अधिक है
2. सुधार सीमा: हालांकि सफलता है लेकिन सुधार अपेक्षाकृत सीमित है
3. सामान्यता: विधि अत्यधिक विशेषीकृत है, अन्य समस्याओं तक विस्तार कठिन है

प्रभाव

1. शैक्षणिक मूल्य: इस क्षेत्र की एक महत्वपूर्ण तकनीकी समस्या को हल किया
2. विधि योगदान: चलनी विधि सिद्धांत को नई तकनीकी उपकरण प्रदान किए
3. व्यावहारिक मूल्य: कई संबंधित समस्याओं पर सीधे अनुप्रयोग उत्पन्न किए

प्रयोज्य परिदृश्य

यह विधि विशेष रूप से चलनी विधि हानि के सटीक नियंत्रण की आवश्यकता वाली संख्या सिद्धांत समस्याओं के लिए उपयुक्त है, विशेष रूप से लघु अंतराल वितरण से संबंधित विभिन्न समस्याओं के लिए।

संदर्भ

पेपर में समृद्ध संदर्भ हैं, जो शास्त्रीय अभाज्य संख्या प्रमेय से लेकर नवीनतम चलनी विधि तकनीकों तक के पूर्ण विकास इतिहास को शामिल करते हैं, पाठकों को गहन अध्ययन के लिए मार्गदर्शन प्रदान करते हैं।

यह पेपर विश्लेषणात्मक संख्या सिद्धांत में चलनी विधि सिद्धांत की एक महत्वपूर्ण प्रगति का प्रतिनिधित्व करता है। सूक्ष्म तकनीकी सुधार और बड़ी मात्रा में संख्यात्मक गणना के माध्यम से, यह लंबे समय से मौजूद तकनीकी बाधा को सफलतापूर्वक तोड़ता है और संबंधित क्षेत्रों के आगे विकास के लिए एक मजबूत आधार स्थापित करता है।