Port Fillings for Primary Pseudoperfect Numbers

तकनीकी सारांश: प्राथमिक अर्ध-पूर्ण संख्याओं (Primary Pseudoperfect Numbers) के लिए पोर्ट फिलिंग्स (Port Fillings)

समस्या विवरण
यह शोध पत्र प्राथमिक अर्ध-पूर्ण संख्याओं (PPNs) की समस्या को संबोधित करता है, जिन्हें उन वर्ग-मुक्त (squarefree) पूर्णांकों के रूप में परिभाषित किया गया है जो इस समीकरण को संतुष्ट करते हैं:
$$\frac{1}{n} + \sum_{p|n} \frac{1}{p} = 1$$
तुल्य रूप में, अंकगणितीय अवकलज (arithmetic derivative) $\partial(n)$ का उपयोग करते हुए, ये वे वर्ग-मुक्त समाधान हैं जो $\partial(n) = n - 1$ को संतुष्ट करते हैं। इनका अनंत अस्तित्व एक खुला प्रश्न है, जो एर्डोस (Erdős) की समस्या #313 से जुड़ा है। जबकि बुत्स्के, जाजे और मेयर्निक ने गणना के माध्यम से 8 अभाज्य कारकों तक PPNs की विशिष्टता (uniqueness) स्थापित की थी, यह शोध पत्र उच्च स्तरों (higher layers) तक इस खोज का विस्तार करने और उनके समूह की अनंतता की जांच करने का प्रयास करता है।

कार्यप्रणाली: पोर्ट फॉर्मलिज्म (The Port Formalism)
लेखक PPNs को नियंत्रित करने वाले अवशेष समीकरणों (residual equations) का विश्लेषण करने के लिए एक "स्थानीय रूपलिज्म" (local formalism) प्रस्तुत करते हैं।

• पोर्ट्स और फिलिंग्स (Ports and Fillings): एक "पोर्ट" को धनात्मक पूर्णांकों के युग्म $(R, c)$ के रूप में परिभाषित किया गया है। एक वर्ग-मुक्त पूर्णांक $B$ पोर्ट को तब "भरता" (fills) है जब वह दोष समीकरण (defect equation) को संतुष्ट करता है:
  $$\Delta_{R,c}(B) := cB - R\partial(B) = 1$$
  यह पारस्परिक रूप $\sum_{q|B} \frac{1}{q} + \frac{1}{RB} = \frac{c}{R}$ के समतुल्य है।
• संयोजन नियम (Composition Law): शोध पत्र एक संयोजन नियम $\Delta_{R,c}(AB) = \Delta_{RA, \Delta_{R,c}(A)}(B)$ स्थापित करता है, जहाँ $A, B$ सह-अभाज्य (coprime) हैं। यह नियम "वंशानुगत" (inherited) फिलिंग्स (जो छोटे PPNs से व्युत्पन्न होते हैं) और "पोर्ट-प्रिमिटिव" (port-primitive) फिलिंग्स (नए समाधान जो उसी पोर्ट के छोटे फिलिंग्स में न्यूनीकरण योग्य नहीं हैं) के बीच अंतर करता है।
• वंशानुक्रम (Inheritance): यह ढांचा उस ज्ञात वंशानुक्रम तंत्र का सामान्यीकरण करता है जहाँ यदि $K$ एक PPP है और $K+1$ एक अभाज्य संख्या है, तो $K(K+1)$ भी एक PPP होता है। इसे पोर्ट $(K, 1)$ के एक विशिष्ट मामले के रूप में फ्रेम किया गया है।

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

1. नए PPNs ($N_9$ और $N_{10}$) की खोज:

   • लेखक एक विशिष्ट "प्रमुख पोर्ट" $H = (113322, 797)$ को अलग करते हैं, जो उपसर्ग (prefix) $2 \cdot 3 \cdot 11 \cdot 17 \cdot 101$ से प्राप्त हुआ है।
   • $H$ के दो अलग-अलग पोर्ट-प्रिमिटिव फिलिंग्स की पहचान की गई है:
     • $B_2 = 149 \cdot 3109$ (2 अभाज्य), जिससे ज्ञात PPN $52495396602$ प्राप्त होता है।
     • $B_4 = 157 \cdot 1979 \cdot 10093 \cdot 16879$ (4 अभाज्य)।
   • दूसरा फिलिंग नौ अभाज्य कारकों वाला एक नया PPN उत्पन्न करता है:
     $$N_9 = 113322 \cdot B_4 = 5998279018951962402$$
   • $N_9 + 1$ की अभाज्यता को पोकलटन प्रमाणन (Pocklington certificate) का उपयोग करके सत्यापित किया गया है। चूंकि $N_9$ एक PPN है और $N_9+1$ एक अभाज्य संख्या है, इसलिए उत्पाद $N_{10} = N_9(N_9+1)$ दस अभाज्य कारकों वाला एक PPN है:
     $$N_{10} = 35979351189199316534587473905773572006$$

2. एक अनुमान का खंडन:

   • शोध पत्र सोंडोव-मैकमिलन (Sondow–MacMillan) अनुमान को संबोधित करता है, जिसने भविष्यवाणी की थी कि नौ अभाज्य कारकों वाले ठीक एक PPN का अस्तित्व है और यह दावा किया था कि आगे कोई अन्य PPN मौजूद नहीं है।
   • $N_{10}$ (एक 10-अभाज्य कारक वाला PPN) का निर्माण इस खंड को खंडित करता है कि "कोई और प्राथमिक अर्ध-पूर्ण संख्या मौजूद नहीं है।"
   • शोध पत्र नोट करता है कि $N_9$ 288 के मॉड्युलो 258 ($N_9 \equiv 258 \pmod{288}$) को संतुष्ट करता है, जो 9-कारक मामले के लिए विशिष्टता की भविष्यवाणी का समर्थन करता है, लेकिन $N_{10}$ का अस्तित्व परिमितता (finiteness) के दावे को खारिज करता है।

3. खोज के लिए एल्गोरिथम मानदंड:

   • अंतिम-दो-अभाज्य विविक्तक (Last-Two-Prime Discriminant): यह निर्धारित करने के लिए एक मानदंड निकाला गया है कि क्या एक पोर्ट को ठीक दो अभाज्य संख्याओं द्वारा भरा जा सकता है। यह समस्या को यह जाँचने में बदल देता है कि क्या एक विशिष्ट द्विघात बहुपद $D(t)$ एक परिमित अंतराल के भीतर वर्ग मान लेता है।
   • मॉड्यूलर स्क्वायर सीव (Modular Square Sieve): शोध पत्र उन उपसर्गों को बाहर करने के लिए मॉड्यूलर सीविंग का उपयोग करता है जो वैध फिलिंग्स की ओर नहीं ले जा सकते, जिससे उच्च-स्तर के PPNs की खोज के लिए एक कम्प्यूटेशनल विधि मिलती है।

4. सशर्त अनंतता मानदंड (Conditional Infinitude Criterion):

   • शोध पत्र एक "फाइव-स्प्लिटिंग हार्डी-लिटिलवुड-बेटमैन-हॉर्न प्रकार के प्राइम-पॉइंट्स परिकल्पना" के आधार पर PPNs की अनंतता के लिए एक सशर्त प्रमाण प्रस्तावित करता है।
   • यह परिकल्पना मानती है कि एक "टर्मिनल पोर्ट" (जहाँ एक एकल अभाज्य $p$ पोर्ट $(R, c)$ को भरता है) के लिए, हाइपरसरफेस (hypersurface) जिसे $cx_1x_2x_3x_4x_5 - R\sum \prod_{j \neq i} x_j = 1$ द्वारा परिभाषित किया गया है, में ऐसे बिंदु होते हैं जहाँ सभी निर्देशांक भिन्न अभाज्य संख्याएँ होते हैं।
   • इस परिकल्पना के तहत, एक टर्मिनल अभाज्य को पुनरावर्ती रूप से पांच बड़े अभाज्य संख्याओं द्वारा प्रतिस्थापित किया जा सकता है, जिससे PPNs का एक अनंत अनुक्रम उत्पन्न होता है। लेखक स्पष्ट रूप से कहते हैं कि यह शास्त्रीय एक-चर (one-variable) बेटमैन-हॉर्न अनुमान का परिणाम नहीं है।

महत्व और कार्यक्षेत्र
इस शोध पत्र का प्राथमिक महत्व "पोर्ट फॉर्मलिज्म" के विकास में निहित है, जो PPNs, ज़नाम-प्रकार (Znám-type) की समस्याओं और अंकगणितीय अवकलजों को एक एकल स्थानीय ढांचे में एकीकृत करता है।

• निर्वलित परिणाम (Unconditional Results): $N_9$ और $N_{10}$ की खोज, उनके गुणों का सत्यापन, $N_9+1$ के लिए पोकलटन प्रमाणन, और अंतिम दो अभाज्य संख्याओं के लिए विविक्तक मानदंड प्रस्तुत किए गए निर्वलित गणितीय तथ्य हैं।
• सशर्त परिणाम (Conditional Results): अनंतता का प्रमेय सख्ती से परिकल्पना 19.2 पर आधारित है। लेखक इसके संबंध में विनम्र हैं, यह नोट करते हुए कि वर्तमान में PPNs की अनंतता के लिए कोई निर्वलित तंत्र ज्ञात नहीं है।
• कम्प्यूटेशनल सीमाएँ: शोध पत्र "H6 लेयर" (पोर्ट $H$ के छह-अभाज्य फिलिंग्स) के लिए अन्वेषणात्मक डेटा शामिल करता है, लेकिन स्पष्ट करता है कि ये केवल कम्प्यूटेशनल नोट्स हैं और $N_9$ या $N_{10}$ के प्रमाण का हिस्सा नहीं हैं। 12-अभाज्य PPN की खोज ($N_{10}+1$ के माध्यम से) विफल हो जाती है, क्योंकि $N_{10}+1$ एक भाज्य संख्या (composite) है।

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