Almost all primes are partially regular

तकनीकी सारांश: "लगभग सभी अभाज्य संख्याएँ आंशिक रूप से नियमित हैं"

समस्या विवरण
यह शोध पत्र साइक्लोटोमिक क्षेत्रों (cyclotomic fields) के अंकगणित में अनियमितताओं के वितरण को संबोधित करता है। एक विषम अभाज्य संख्या $p$ के लिए, मान लीजिए $K_p = \mathbb{Q}(\zeta_p)$ एक $p$-वाँ साइक्लोटोमिक क्षेत्र है और $Cl(K_p)$ इसका आदर्श वर्ग समूह (ideal class group) है। एक अभाज्य संख्या $p$ को शास्त्रीय रूप से नियमित (regular) तब परिभाषित किया जाता है जब $p$, वर्ग संख्या (class number) $|Cl(K_p)|$ को विभाजित नहीं करता है, जो कि $2 \le 2k \le p-3$ के लिए किसी भी बर्नौली संख्या $B_{2k}$ के अंश (numerator) को विभाजित न करने के बराबर है। जबकि अनियमित अभाज्य संख्याओं का अस्तित्व ज्ञात है (जेन्सन), उनकी घनत्व (density) अनुमानित रूप से $1 - e^{-1/2}$ होने की संभावना है।

लेखक एक कमजोर धारणा की जांच करते हैं जिसे आंशिक नियमितता (partial regularity) कहा जाता है। एक विषम अभाज्य संख्या $p$ को $m$-नियमित तब कहा जाता है यदि $p \nmid \text{num}(B_{2k})$ सभी सम पूर्णांकों $2k$ के लिए, जहाँ $2 \le 2k \le \min(m, p-3)$ है। मुख्य प्रश्न यह है कि क्या "घनत्व-एक" (density-one) वाला उपसमुच्चय उन अभाज्य संख्याओं का है जो एक विशिष्ट सीमा $M_\alpha(p)$ के लिए आंशिक नियमितता प्रदर्शित करते हैं, जहाँ $M_\alpha(p) \approx \sqrt{p}/(\log p)^\alpha$ और $\alpha > 1/2$ है।

कार्यप्रणाली (Methodology)
मुख्य प्रमेय का प्रमाण विश्लेतिक संख्या सिद्धांत (analytic number theory) की तकनीकों पर आधारित है, जिसमें बर्नौली संख्याओं के अंशों की वृद्धि और अभाज्य विभाजकों का वितरण शामिल है। कार्यप्रणाली इस प्रकार है:

1. एक समान सीमा तक न्यूनीकरण (Reduction to a Uniform Range): लेखक $p \le X$ के लिए एक समान सीमा $m_X = \lfloor \sqrt{X}/(\log X)^\alpha \rfloor$ को परिभाषित करते हैं। वे दिखाते हैं कि यदि कोई अभाज्य संख्या $p \le X$ $M_\alpha(p)$-नियमित होने में विफल रहती है, तो वह $m_X$-नियमित होने में भी विफल होगी (पर्याप्त बड़े $X$ के लिए)।
2. अनियमित अभाज्य संख्याओं का परिसीमन (Bounding Irregular Primes): लेम्मा 2.1 का उपयोग करते हुए, $p \le X$ उन अभाज्य संख्याओं की संख्या को $\omega_{pf}(P_{m_X})$ द्वारा सीमित किया जाता है, जहाँ $P_{m_X}$ बर्नौली संख्याओं $B_{2k}$ ($1 \le k \le m_X$) के अंशों का गुणनफल है, और $\omega_{pf}(n)$ उनके भिन्न अभाज्य गुणनखंडों की संख्या है।
3. बर्नौली अंशों का अनुमान (Estimating Bernoulli Numerators): लेखक यूलर के सूत्र $\zeta(2k)$ और वॉन स्टौट-क्लॉसिन (von Staudt–Clausen) प्रमेय का उपयोग करके $\log |P_m|$ के लिए एक ऊपरी सीमा प्राप्त करते हैं। वे स्थापित करते हैं कि $\log P_m \le C_2 m^2 \log m$।
4. अभाज्य गुणनखंड गणना (Prime Factor Counting): प्राइम नंबर थ्योरम और प्रिमोरियल फलन (primorial function) के गुणों को लागू करते हुए, वे $\omega_{pf}(P_{m_X})$ को $C_3 \frac{\log P_{m_X}}{\log \log P_{m_X}}$ द्वारा सीमित करते हैं।
5. अनंतिक विश्लेषण (Asymptotic Analysis): इन अनुमानों को संयोजित करते हुए, गैर-नियमित अभाज्य संख्याओं की गणना को $O\left(\frac{X}{(\log X)^{2\alpha}}\right)$ द्वारा सीमित दिखाया गया है। चूंकि $\alpha > 1/2$ है, इसलिए $2\alpha > 1$ होने के कारण, जैसे-जैसे $X \to \infty$ होता है, गैर-नियमित अभाज्य संख्याओं का घनत्व शून्य की ओर जाता है।

प्रमुख योगदान और परिणाम
शोध पत्र निम्नलिखित मुख्य परिणाम स्थापित करता है:

• प्रमेय 1.1: किसी भी निश्चित $\alpha > 1/2$ के लिए, अभाज्य संख्याओं $p$ का सेट जो $M_\alpha(p)$-नियमित नहीं है, उसका अनंतिक घनत्व (asymptotic density) शून्य है। विशेष रूप से, $X$ तक ऐसी अभाज्य संख्याओं की संख्या $C_\alpha \frac{X}{(\log X)^{2\alpha}}$ द्वारा सीमित है। लेखक नोट करते हैं कि $C_\alpha$ को $\alpha$ से स्वतंत्र रूप से ($\alpha$ के लिए $C_\alpha = 10$) चुना जा सकता है।

उप-प्रमेय और निहितार्थ (Corollaries and Implications)
यह शोध पत्र इस आंशिक नियमितता परिणाम से कई महत्वपूर्ण निष्कर्ष निकालता है:

1. आंशिक वैंडरर प्रमेय (Partial Vandiver Theorem - उप-प्रमेय 1.4): हर्ब्रैंड-रिबेट प्रमेय (वर्ग समूह के विषम ईigenspaces को बर्नौली संख्याओं से जोड़ना) और लियोपोल्ड के रिफ्लेक्शन प्रिंसिपल (सम और विषम ईgenspaces को जोड़ना) को प्रमेय 1.1 के साथ जोड़कर, लेखक सिद्ध करते हैं कि घनत्व-एक वाले अभाज्य संख्याओं के लिए, वर्ग समूह के $p$-भाग के सम ईigenspaces $A_p(\omega^{2k})$, सभी $2k \le M_\alpha(p)$ के लिए लुप्त (vanish) हो जाते हैं। यह कुमर-वैंडरर अनुमान (Kummer–Vandiver Conjecture) के आंशिक सत्यापन प्रदान करता है।
2. $p$-adic $L$-functions का गैर-शून्यता (Non-vanishing of $p$-adic $L$-functions - उप-प्रमेय 1.5): इवासावा मुख्य अनुमान (माज़ुर-वाइल्स) के माध्यम से, ईigenspaces का लुप्त होना यह दर्शाता है कि संबंधित कुबोटा-लियोपोल्डट $p$-adic $L$-functions $L_p(s, \omega^{2k})$, इवासावा बीजगणित $\Lambda = \mathbb{Z}_p[[T]]$ में इकाइयाँ (units) हैं। फलस्वरूप, लगभग सभी अभाज्य संख्याओं के लिए, इन फलनों के $\mathbb{Z}_p$ में कोई शून्य नहीं होते हैं।
3. संगति और K-सिद्धांत (Congruences and K-Theory - उप-प्रमेय 1.7): यह परिणाम बताता है कि लगभग सभी अभाज्य संख्याओं के लिए:
   • बर्नौली संख्याओं से जुड़ी विशिष्ट पावर सम संगतियाँ (congruences) $p^2$ के मॉड्यूल पर सत्य होती हैं।
   • स्तर 1 और भार $2k$ वाली सामान्यीकृत कस्पल हीके आइगेनफॉर्म (cuspidal Hecke eigenforms) और आइजन सीरीज़ के बीच भार $p$ के मॉड्यूल पर कोई संगति नहीं होती है।
   • बीजगणितीय K-समूहों $K_{4k-2}(\mathbb{Z})$ में इन भारों के लिए कोई $p$-टॉर्शन (p-torsion) नहीं होता है।

महत्ता और सत्यापन
शोध पत्र इसके महत्व के दो प्राथमिक पहलुओं पर प्रकाश डालता है:

1. गणितीय परिणाम: यह सिद्ध करता है कि "लगभग सभी" अभाज्य संख्याएँ एक मजबूत आंशिक नियमितता को संतुष्ट करती हैं, जो अनियमित अभाज्य संख्याओं के वितरण की समझ को विस्तृत करती है और वैंडरर अनुमान के एक विशिष्ट सीमा के लिए आंशिक समाधान प्रदान करती है।
2. औपचारिकीकरण और AI: यह शोध पत्र AxiomProver के लिए एक केस स्टडी के रूप में कार्य करता है, जो एक विकसित किया जा रहा AI टूल है। लेखक बताते हैं कि प्रमेय 1.1 को केवल एक प्राकृतिक-भाषा कथन से शुरू करके, बिना किसी मानवीय सहायता के, AxiomProver द्वारा Lean/Mathlib (संस्करण 4.26.0) में पूर्णतः औपचारिक (formalized) किया गया था। मानव लेखकों ने फिर औपचारिक प्रमाण के आधार पर वर्णनात्मक व्याख्या का पुनर्निर्माण किया। कोड और आर्टिफैक्ट्स सार्वजनिक रूप से AxiomMath रिपॉजिटरी में उपलब्ध हैं।

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