A primality test for $Kp^n+1$ numbers and a generalization of Safe Primes and Sophie Germain Primes

तकनीकी सारांश: $Kp^n + 1$ संख्याओं के लिए एक अभाज्यता परीक्षण और सुरक्षित अभाज्य (Safe Primes) एवं सोफी जर्मेन अभाज्य (Sophie Germain Primes) का सामान्यीकरण

समस्या विवरण
यह शोध पत्र $N = Kp^n + 1$ के रूप वाले पूर्णांकों की अभाज्यता (primality) निर्धारित करने की कम्प्यूटेशनल चुनौती को संबोधित करता है, जहाँ $p$ एक अभाज्य संख्या है और $K < p^n$ है। जबकि फर्माट का अभाज्यता परीक्षण ($a^{N-1} \equiv 1 \pmod N$) कम्प्यूटेशनल रूप से कम खर्चीला है, यह संभाव्य (probabilistic) है और अकेले अभाज्यता प्रमाणित करने के लिए पर्याप्त नहीं है। मौजूदा नियतात्मक (deterministic) विधियाँ, जैसे कि प्रोथ का प्रमेय (Proth's theorem - $N=K2^n+1$ के लिए) और पोकलिंगटन का प्रमेय (Pocklington's theorem), अक्सर महत्तम समापवर्तक (GCD) की गणना या जटिल साइक्लोटोमिक बहुपदों $\Phi_p$ से संबंधित शर्तों के सत्यापन की आवश्यकता रखती हैं। लेखक एक ऐसी विधि की खोज कर रहे हैं जो इन आवश्यकताओं को सरल बना सके, विशेष रूप से एक ऐसे परीक्षण का लक्ष्य रखते हुए जो GCD गणनाओं के बिना केवल एक मॉड्यूलर एक्सपोनेंशिएशन (modular exponentiation) पर निर्भर करता हो, और जो इन अवधारणाओं को सुरक्षित अभाज्य और सोफी जर्मेन अभाज्य के समान नई श्रेणियों को परिभाषित करने और उनका विश्लेषण करने के लिए विस्तारित करता हो।

कार्यप्रणाली
शोध पत्र $N$ के मोड्यूलो तत्वों के क्रम (order of elements) और $Ap+1$ के रूप वाले पूर्णांकों के विभाज्यता गुणों से संबंधित संख्या-सिद्धांत संबंधी लेम्मा (lemmas) का उपयोग करता है।

1. प्रोथ के प्रमेय का सामान्यीकरण: लेखक $Ap+1$की$Dp+1$द्वारा विभाज्यता और$N$ के मोड्यूलो एक तत्व के क्रम तथा उसके अभाज्य गुणनखंडों के बीच संबंध के संबंध में लेम्मा सिद्ध करते हैं। इनका उपयोग नए अभाज्यता मानदंडों को व्युत्पन्न करने के लिए किया जाता है।
2. संभाव्य और अनुमानित विश्लेषण (Probabilistic and Heuristic Analysis): नव-परिभाषित अभाज्य परिवारों के वितरण के लिए, शोध पत्र हार्डी और लिटिलवुड के अनुमान (Conjecture B) और इंटीग्रल अनुमानों का उपयोग करके इन अभाज्य संख्याओं की सघनता (density) को मॉडल करता है। यह विशिष्ट अंतरालों में अभाज्य संख्याओं की वास्तविक गणना के विरुद्ध सैद्धांतिक स्पर्शिक (asymptotic) अनुमानों की तुलना करता है।
3. कम्प्यूटेशनल सत्यापन: लेखक प्रस्तावित वितरण अनुमानों की सटीकता का परीक्षण करने के लिए विभिन्न अंकों की लंबाई वाले अभाज्य (छोटे नंबरों से लेकर 10,000 अंकों तक) पर व्यापक गणनाएँ करते हैं।

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

• $Kp^n + 1$ के लिए सरलीकृत अभाज्यता परीक्षण:

  • प्रमेय 2.3: $N = Kp^n + 1$ (जहाँ $p^n \ge K$) के लिए एक अभाज्यता परीक्षण प्रदान करता है जिसमें केवल दो शर्तें आवश्यक हैं: (i) $a^{Kp^n-1} \equiv L \not\equiv 1 \pmod N$ और (ii) $L^p \equiv 1 \pmod N$। यह पिछले सामान्यीकरणों (जैसे, ग्राउ और अन्य, 2015) में आवश्यक GCD गणना की आवश्यकता को समाप्त करता है।
  • प्रमेय 2.5: एक पैरामीटर $j$ ($0 \le j \le n-1$) के लिए एक और सामान्यीकरण, जो अभाज्यता सिद्ध करने के लिए वैध आधारों (bases) $a$ की संख्या को बढ़ाता है।
  • प्रमेय 3.1 और 3.4: ये प्रमेय $j$ के विशिष्ट श्रेणियों (जैसे, $p^j \ge p^{n-j} \ge (N-1)^{1/3}$) के लिए अतिरिक्त परीक्षण प्रदान करते हैं। ये स्थितियाँ $j$ के बड़े मानों की अनुमति देती हैं, जिससे वैध आधार $a$ के अभाज्यता की शर्तों को पूरा करने की संभावना बढ़ जाती है, जिससे अभाज्यता सिद्ध करने की सफलता की संभावना अधिक हो जाती है।
  • उपप्रमेय (Cororollaries): शोध पत्र पूर्णांकों के विशिष्ट अनंत परिवारों (जैसे, $N = 2Kp^2 + 1$ और $N = 2Kp^3 + 1$) की पहचान करता है जहाँ अभाज्यता को केवल फर्माट की स्थिति $a^{N-1} \equiv 1 \pmod N$ को सत्यापित करके प्रमाणित किया जा सकता है, बशर्ते $K$ और $p$ पर विशिष्ट सीमाएँ पूरी हों।

• सुरक्षित अभाज्य और सोफी जर्मेन अभाज्य का सामान्यीकरण:

  • परिभाषा 4.1 ($a$-SafePrimes): एक अभाज्य $N = 2Kp + 1$को$a$-SafePrime तब कहा जाता है जब $2K < \log_a(2Kp+1)$ हो। यह सुनिश्चित करता है कि $N-1$ का अभाज्य गुणनखंड $p$, अन्य किसी भी गुणनखंड की तुलना में काफी बड़ा है, जो शास्त्रीय सुरक्षित अभाज्य (Safe Primes) के गुण को दर्शाता है।
  • $a$-SophieGermainPrimes ($a$-SGP) की परिभाषा: एक अभाज्य $p$ एक $a$-SGP है यदि कम से कम एक $K$ मौजूद है जो $2K < \log_a(2Kp+1)$ को संतुष्ट करता है ताकि $2Kp+1$ भी अभाज्य हो।
  • वितरण विश्लेषण: शोध पत्र $a$-SafePrimes की गणना के लिए स्पर्शिक सूत्र ($\alpha_1, \alpha_2$) और इस बात के अनुमान ($\alpha_3, \alpha_4, \alpha_5$) प्रदान करता है कि कोई दिया गया अभाज्य $a$-SGP होने की कितनी संभावना है।
  • वितरण पर अनुमान (Conjectures): 10,000 अंकों तक के अभाजों की गणनाओं के आधार पर, लेखक प्रस्ताव करते हैं:
    • अनुमान 5.1: किसी दिए गए अभाज्य $p$ के 2-SophieGermainPrime होने की संभावना जैसे-जैसे $p \to \infty$ होता है, लगभग 0.76 पर अभिसरित (converge) होती है।
    • अनुमान 5.2: $a$-SGPs के लिए उपरोक्त का एक सामान्यीकरण, जो यह सुझाव देता है कि प्रायिकता $a$ पर निर्भर सीमा पर अभिसरित होती है।

• अनुभवजन्य निष्कर्ष (Empirical Findings):

  • शोध पत्र प्रस्तावित स्पर्शिक अनुमानों के विरुद्ध 2-SafePrimes और 2-SophieGermainPrimes की वास्तविक गणनाओं की तुलना करने वाली तालिकाएँ प्रस्तुत करता है। परिणाम बहुत बड़ी संख्याओं (100 से 10,000 अंक) के लिए भी उच्च सटीकता दिखाते हैं।
  • लेखक ने अपने निष्कर्षों को मेर्सन अभाजों (Mersenne primes) पर लागू किया, जिससे पहले 30 मेर्सन अभाजों में से 21 को 2-SophieGermainPrimes के रूप में पहचाना गया, जो बड़े अभाजों की खोज के लिए अनुमानों की उपयोगिता को प्रमाणित करता है।
  • सबसे बड़े ज्ञात अभाज्य ($2^{82,589,933}-1$) के 2-SophieGermainPrime होने की संभावना लगभग 0.7637 अनुमानित है।

महत्व
शोध पत्र का दावा है कि यह $Kp^n + 1$ परिवार के लिए मौजूदा अभाज्यता परीक्षणों के लिए एक कम्प्यूटेशनल रूप से सरल विकल्प प्रदान करता है, विशेष रूप से GCD चरण को हटाकर जबकि कठोरता (rigor) बनाए रखता है। इसके अलावा, यह सुरक्षित और सोफी जर्मेन अभाजों के लिए एक सामान्यीकृत ढांचा पेश करता है, जो उनके वितरण के लिए एक सांख्यिकीय मॉडल प्रदान करता है जो अत्यंत बड़े पूर्णांकों के लिए भी मजबूत प्रतीत होता है। लेखक का सुझाव है कि ये परिणाम क्रिप्टोग्राफिक उद्देश्यों के लिए बड़े अभाजों को उत्पन्न करने और विशिष्ट संरचनात्मक गुणों वाले अभाजों के वितरण को समझने के लिए उपयोगी हैं। यह कार्य स्थापित संख्या सिद्धांत (प्रोथ, पोकलिंगटन, हार्डी-लिटिलवुड) पर निर्भर करता है और नए लेम्मा और अनुभवजन्य सत्यापन के माध्यम से इसे विस्तारित करता है।