🔢 mathematics

Unconditional Primality Certificates for the Hexagonal 3-smooth Family p = 3m(m+1) + 1: Deterministic Pocklington Witnesses and Arithmetic Filters

यह शोधपत्र द्विघातीय और त्रिघातीय पारस्परिकता (quadratic and cubic reciprocity) के माध्यम से साक्षी $w_2=5$ और $w_3=7$ की वैधता सुनिश्चित करने वाले सटीक सर्वांगसमता शर्तों को व्युत्पन्न करके, हेक्सागोनल 3-स्मूथ परिवार $p = 3m(m+1) + 1$ के लिए एक नियतात्मक अभाज्य प्रमाणन विधि स्थापित करता है, जबकि गैर-अभाज्य उम्मीदवारों को तेजी से समाप्त करने के लिए कुशल अंकगणितीय फिल्टरों का उपयोग करता है।

मूल लेखक: Hassane Bakkaoui

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

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

CC BY 4.0

मूल लेखक: Hassane Bakkaoui

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

कल्पना कीजिए कि आप एक जासूस हैं जो यह साबित करने की कोशिश कर रहे हैं कि एक विशाल संख्या वास्तव में "अभाज्य" (prime) है (जिसका अर्थ है कि इसे केवल 1 और स्वयं से ही विभाजित किया जा सकता है)। बड़ी संख्याओं की दुनिया में, यह एक विशाल, जटिल ताले को यह साबित करने जैसा है कि उसके पास मास्टर की (master key) के अलावा कोई अन्य छिपी हुई चाबियाँ नहीं हैं। आमतौर पर, यह एक अनुमान लगाने वाला खेल है जहाँ आप अलग-अलग चाबियाँ आज़माते हैं जब तक कि कोई फिट न हो जाए, इस उम्मीद में कि आप भाग्यशाली रहे।

यह शोध पत्र, हसन बेकावी (Hassane Bakkaoui) द्वारा, संख्याओं के एक विशिष्ट परिवार के लिए इस पहेली को हल करने का एक नया, अत्यधिक व्यवस्थित तरीका पेश करता है। यहाँ रोजमर्रा के उपमाओं (analogies) का उपयोग करके इसका विवरण दिया गया है:

1. विशेष ताला (संख्या का परिवार)

यह शोध पत्र एक विशेष प्रकार के संख्यात्मक ताले पर केंद्रित है जिसे सूत्र $p = 3m(m + 1) + 1$ द्वारा परिभाषित किया गया है।

उपमा: इन संख्याओं को तिजोरियों की एक विशेष पंक्ति के रूप में सोचें जिन्हें एक विशिष्ट रेसिपी (जहाँ वेरिएबल $m$ केवल "निर्माण खंडों" 2 और 3 से बना है) का उपयोग करके बनाया गया है। लेखक ने पाया कि यदि आप इन तिजोरियों को इस विशिष्ट रेसिपी से बनाते हैं, तो तिजोरी का आंतरिक तंत्र असामान्य रूप से सरल होता है।
महत्वपूर्ण खोज: इस विशिष्ट रेसिपी के कारण, लेखक को ताला खोलने की कोशिश करने से पहले ही पता होता है कि वह तिजोरी कैसे बनाई गई है। यह उन्हें सामान्य "अनुमान लगाने के खेल" को छोड़ने और एक शॉर्टकट विधि (जिसे पोकलिंगटन-लेहर मानदंड/Pocklington–Lehmer criterion कहा जाता है) का उपयोग करने की अनुमति देता है जो अभाज्यता (primality) का प्रमाण सुनिश्चित करता है।

2. दो मास्टर चाबियाँ (गवाह/Witnesses)

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

पुराना तरीका: पहले, गणितज्ञ केवल "5" और "7" लेबल वाली चाबियों का उपयोग करते थे और उम्मीद करते थे कि वे काम कर जाएँगी। यह कहने जैसा था, "मुझे दांव पर लगाना है कि ये दो चाबियाँ हमेशा इस प्रकार की तिजोरी को खोल देंगी।"
नई खोज: यह शोध पत्र सिद्ध करता है कि 5 और 7 हमेशा काम नहीं करते। कभी-कभी वे गलत चाबियाँ होती हैं।
- चाबी #5 के लिए नियम: यह कुंजी केवल तभी काम करती है जब तिजोरी बनाने में उपयोग किए गए "रेसिपी नंबर" एक विशिष्ट पैटर्न (4 से विभाजित होने पर 1 और 2 से संबंधित) का पालन करते हैं।
- चाबी #7 के लिए नियम: यह कुंजी केवल तभी काम करती है जब रेसिपी एक विशिष्ट पैटर्न (7 से विभाजित होने पर 2 से संबंधित) से बचती है।
परिणाम: अनुमान लगाने के बजाय, लेखक ने एक निश्चित नियम पुस्तिका (deterministic rulebook) बनाई है। अब आप रेसिपी नंबर देख सकते हैं, एक सरल गणितीय चार्ट की जांच कर सकते हैं, और जान सकते हैं कि कौन सी चाबियाँ उपयोग करनी हैं। यदि 5 और 7 नियम में फिट नहीं बैठते हैं, तो यह शोध पत्र आपको ठीक से बताता है कि इसके बजाय क्या उपयोग करना है। यह संयोग के खेल को एक गारंटीकृत, चरण-दर-चरण प्रक्रिया में बदल देता है।

3. सुरक्षा फिल्टर (नकली को बाहर निकालना)

मास्टर चाबियों से तिजोरी खोलने की कोशिश करने से पहले, लेखक ने उन संख्याओं को फ़िल्टर करने के लिए तीन सरल "सुरक्षा चेकपॉइंट्स" स्थापित किए हैं जो स्पष्ट रूप से अभाज्य नहीं हैं।

उपमा: कल्पना कीजिए कि आपके पास 1,000 तिजोरियों से भरा एक गोदाम है। आप उन 870 तिजोरियों पर समय बर्बाद नहीं करना चाहते जो स्पष्ट रूप से खराब या नकली हैं।
फिल्टर:
1. Mod-6 चेक: एक त्वरित जांच यह देखने के लिए कि क्या संख्या सम (even) है या 3 से विभाज्य है।
2. Mod-7 चेक: एक विशिष्ट परीक्षण जो उम्मीदवारों के एक-तिहाई हिस्से को तुरंत खारिज कर देता है।
3. "वर्गमूल" (Square Root) चेक: एक परीक्षण जो उन संख्याओं को हटा देता है जो कुछ अन्य अभाज्य संख्याओं से विभाज्य हैं।
दक्षता: ये तीन सरल चेक लगभग 87% उम्मीदवारों को तुरंत हटा देते हैं। यह एक क्लब के बाउंसर की तरह है जो मुख्य दरवाजे तक पहुँचने से पहले ही लगभग सभी को बाहर निकाल देता है, जिससे बहुत सारा समय बच जाता है।

4. अवधारणा की पुष्टि (बड़ी जीत)

यह दिखाने के लिए कि यह प्रणाली काम करती है, लेखक ने एक मानक लैपटॉप (उपभोक्ता हार्डवेयर, सुपरकंप्यूटर नहीं) पर एक कंप्यूटर प्रोग्राम चलाया।

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

सारांश

संक्षेप में, यह शोध पत्र केवल एक नया रिकॉर्ड-तोड़ने वाला अभाज्य संख्या नहीं खोजता; बल्कि यह उन्हें खोजने के लिए उपयोग किए जाने वाले टूलकिट को ठीक करता है।

यह संख्याओं के एक विशिष्ट परिवार की पहचान करता है जहाँ प्रमाण आसान है।
यह "उम्मीद वाले अनुमान" को उन चाबियों (गवाहों) के लिए सटीक नियमों से बदल देता है जिनका उपयोग किया जाना चाहिए।
यह ऐसे फिल्टर्स जोड़ता है जो तुरंत 87% खराब संख्याओं को हटा देते हैं।
यह सिद्ध करता है कि यह पूरी प्रणाली एक सामान्य लैपटॉप पर काम करती है, जिससे अभाज्यता प्रमाण प्रमाणपत्र (primality proof certificates) उत्पन्न करने के लिए एक विश्वसनीय, चरण-दर-चरण फैक्ट्री बनती है।

लेखक स्पष्ट हैं: यह प्रसि प्रसि के लिए नए रिकॉर्ड तोड़ने के बारे में नहीं है, बल्कि गणितीय समस्या के एक विशिष्ट प्रकार के लिए एक विश्वसनीय, त्रुटि-रहित विधि बनाने के बारे में है।

तकनीकी सारांश: हेक्सागोनल 3-स्मूथ परिवार के लिए अनकंडीशनल प्राइमल सर्टिफिकेट्स (Unconditional Primal Certificates)

समस्या विवरण
यह शोध पत्र केंद्रित हेक्सागोनल संख्याओं (centered hexagonal numbers) के एक विशिष्ट पैरामीट्रिक उपपरिवार के लिए अनकंडीशनल प्राइमैलिटी सर्टिफिकेशन की समस्या को संबोधित करता है, जहाँ $p = 3m(m + 1) + 1$ है, और $m = 2^a 3^b - 1$ है (जहाँ $a, b \ge 1$ पूर्णांक हैं)। जबकि पॉकलिंगटन-लेहमर मानदंड (Pocklington–Lehmer criterion) $p-1$ के एक पूर्णतः फैक्टर्ड भाजक $F > \sqrt{p}$ को प्रदर्शित करके सामान्य बड़े पूर्णांकों के लिए प्राइमैलिटी सिद्ध करने का एक व्यावहारिक मार्ग प्रदान करता है, चुनौती प्रत्येक $F$ के अभाज्य गुणनखंड $q$ के लिए उपयुक्त "विटनेस" (bases $w_q$ ) खोजने में निहित है। इस विशिष्ट परिवार के लिए, भाजक $F = 2^a 3^{b+1}$ पूर्णतः फैक्टर्ड है और अनकंडीशनली $F > \sqrt{p}$ को संतुष्ट करता है। हालाँकि, निश्चित विटनेस (विशेष रूप से $w_2=5$ और $w_3=7$ ) की वैधता को पहले ह्यूरिस्टिक (heuristic) रूप से देखा गया था लेकिन उनके पास एक कठोर, डिटरमिनिस्टिक लक्षण वर्णन का अभाव था। यह शोध पत्र इस बात को हल करने का प्रयास करता है कि क्या ये निश्चित विटनेस सार्वभौमिक हैं और यदि नहीं, तो उनकी वैधता के लिए सटीक स्थितियाँ प्रदान करता है।

कार्यप्रणाली (Methodology)
लेखक बीजगणितीय संख्या सिद्धांत (algebraic number theory) और प्रारंभिक अंकगणितीय सीविंग (elementary arithmetic sieving) के संयोजन का उपयोग करते हैं:

पॉलिंगटन-लेहमर ढांचा: प्रमाण पॉकलिंगटन-लेहमर मानदंड पर निर्भर करता है कि $p$ अभाज्य है यदि ऐसे विटनेस $w_2, w_3$ मौजूद हैं कि $w_q^{(p-1)/q} \not\equiv 1 \pmod p$ और $\gcd(w_q^{(p-1)/q}-1, p) = 1$ है। चूँकि $p \equiv 1 \pmod 6$ है, यह जाँचने में बदल जाता है कि क्या $w_2$ एक क्वाड्रेटिक नॉन-रेसिड्यू (quadratic non-residue) है और $w_3$ एक क्यूबिक नॉन-रेसिड्यू (cubic non-residue) है।
क्वाड्रेटिक रेसिप्रोसिटी (Quadratic Reciprocity): $w_2 = 5$ की वैधता का विश्लेषण लेजेंड्रे सिंबल $\left(\frac{5}{p}\right)$ का उपयोग करके किया जाता है, जो $m = 2^a 3^b - 1$ के गुणों के माध्यम से $a$ और $b$ से संबंधित है।
आइसेंस्टीन इंटीजर्स में क्यूबिक रेसिप्रोसिटी (Cubic Reciprocity in Eisenstein Integers): $w_3 = 7$ की वैधता का विश्लेषण $\mathbb{Z}[\omega]$ (जहाँ $\omega = e^{2\pi i/3}$ ) में क्यूबिक रेसिड्यू सिंबल का उपयोग करके किया जाता है। लेखक आइजनस्टीन के क्यूबिक रेसिप्रोसिटी नियम को लागू करने के लिए स्पष्ट गुणनखंड $p = (m+1)^3 - m^3 = \pi \bar{\pi}$ का उपयोग करते हैं। यह $m \pmod 7$ पर $p$ के सापेक्ष 7 की क्यूबिक रेसिड्युसिटी को कम करने की अनुमति देता है।
अंकगणितीय फिल्टर्स (Arithmetic Filters): महंगे बड़े-संख्या अंकगणित से पहले गैर-अभाज्य उम्मीदवारों को हटाने के लिए तीन प्रारंभिक फिल्टर व्युत्पन्न किए गए हैं:
- एक मॉड्युलो 6 पहचान (स्वचालित)।
- एक $(-3)$ क्वाड्रेटिक-रेसिड्यू सीव (जो $q \equiv 2 \pmod 3$ वाले अभाज्य को हटाता है)।
- $(a \pmod 3, b \pmod 6)$ के अवशेष वर्गों (residue classes) पर आधारित एक मॉड्युलो 7 फॉरबिडन-क्लास टेस्ट।

मुख्य योगदान
शोध पत्र दो कठोर प्रमेय प्रदान करता है जो ह्यूरिस्टिक धारणाओं को डिटरमिनिस्टिक नियमों से बदलते हैं:

प्रमेय 4.1 (विटनेस $w_2=5$ ): बेस 5 एक वैध पॉकलिंगटन विटनेस है यदि और केवल यदि $a - b \equiv 1, 2 \pmod 4$ है। यदि यह स्थिति विफल होती है, तो 5 एक क्वाड्रेटिक रेसिड्यू है, और एक अलग विटनेस चुनना आवश्यक है।
प्रमेय 4.5 (विटनेस $w_3=7$ ): बेस 7 एक वैध पॉकलिंगटन विटनेस है यदि और केवल यदि $m \not\equiv 2 \pmod 7$ है। यह स्थिति $(a \pmod 3, b \pmod 6) \notin \{(0, 1), (1, 5), (2, 3)\}$ के समतुल्य है।
डिटरमिनिस्टिक चयन नियम: कोरोलरी 4.9 इन परिणामों को एक पूर्ण एल्गोरिदम में संश्लेषित करता है। यदि निश्चित विटनेस कॉंग्रुएंस चेक में विफल रहते हैं, तो एल्गोरिदम डिटरमिनिस्टिक रूप से न्यूनतम क्वाड्रेटिक या क्यूबिक नॉन-रेसिड्यू का चयन करता है, जिससे यह सुनिश्चित होता है कि प्रमाणन प्रक्रिया संयोग पर निर्भर होने के बजाय प्रमाणित रूप से सही है।
सामान्यीकरण (Generalization): प्रपोजिशन 4.7 7 के क्यूबिक कैरेक्टर के विश्लेषण को व्यापक परिवार $p = 3m^2 + 3m + 1$ (3-स्मूथ बाधा के बिना) तक विस्तारित करता है, जो $m \pmod{21}$ के आधार पर क्यूबिक रेसिड्युसिटी को परिभाषित करता है।

परिणाम

फिल्टर दक्षता: मॉड्युलो 7 फिल्टर और $(-3)$ सीव का संयोजन किसी भी बड़े-संख्या अंकगणित (मिलर-रबिन या पॉकलिंगटन सत्यापन) से पहले लगभग 87% उम्मीदवार जोड़ों $(a, b)$ को हटा देता है।
कंप्यूटेशनल प्रदर्शन: एक मल्टी-कोर कार्यान्वयन ("PrimeQuest") ने उपभोक्ता हार्डवेयर पर चार अनकंडीशनल प्राइमैलिटी सर्टिफिकेट जेनरेट किए। सबसे बड़ा सर्टिफिकेट 29,998 दशमलव अंकों ( $m = 2^{19435}3^{19173} - 1$ ) वाला एक अभाज्य संख्या है।
सत्यापन: 29,998-अंकों वाली अभाज्य संख्या को स्वतंत्र रूप से पुनः सत्यापित किया गया। सर्टिफिकेट पॉकलिंगटन स्थितियों को $w_2=5$ और $w_3=7$ के साथ संतुष्ट करता है, और मार्जिन $2 \log_2 F - \log_2 p \approx 1.58$ बिट्स अनकंडीशनल प्राइमैलिटी की पुष्टि करता है।

महत्व और दायरा
यह शोध पत्र अपने योगदान को स्पष्ट रूप से स्ट्रक्चरल और एक्सप्लिसिट (structural and explicit) के रूप में फ्रेम करता है, न कि रिकॉर्ड-ब्रेकिंग के रूप में।

ह्यूरिस्टिक्स का समाधान: यह खुले प्रश्न को हल करता है कि क्या इस परिवार के लिए "5 और 7 हमेशा काम करते हैं", यह सिद्ध करता है कि वे हमेशा काम नहीं करते, और इस अनिश्चितता को सटीक कॉंग्रुएंस शर्तों के साथ बदल देता है।
विनम्र दावे: लेखक कहते हैं कि शोध पत्र "किसी भी शास्त्रीय खुले प्रश्न को हल नहीं करता है।" 29,998-अंकों वाली अभाज्य संख्या सामान्य मानकों द्वारा रिकॉर्ड नहीं है (क्योंकि सामान्य-उद्देश्य ECPP बहुत बड़ी संख्याओं को संभाल सकता है), बल्कि यह कमोडिटी हार्डवेयर पर इसके ढांचे की दक्षता का एक प्रदर्शन है।
ज्ञानमीमांसीय स्थिति (Epistemic Status): सभी सैद्धांतिक दावे (प्रमेय 4.1, 4.5, 4.7 और फिल्टर्स) कठोर और अनकंडीशनल हैं। कंप्यूटेशनल परिणाम सटीक अंकगणित द्वारा सत्यापित हैं। कार्य को पिछले विश्लेषणात्मक सिद्धांत के अनुवर्ती के रूप में प्रस्तुत किया गया है, जो एक विशिष्ट 3-स्मूथ उपपरिवार को अलग करता है जहाँ पॉकलिंगटन विधि पूरी तरह से डिटरमिनिस्टिक और मिनिमल हो जाती है।

1. विशेष ताला (संख्या का परिवार)

2. दो मास्टर चाबियाँ (गवाह/Witnesses)

3. सुरक्षा फिल्टर (नकली को बाहर निकालना)

4. अवधारणा की पुष्टि (बड़ी जीत)

सारांश

इसी तरह के और पेपर