Certified Minimal-Prime Branch Closures for Odd Perfect Numbers

तकनीकी सारांश: विषम पूर्ण संख्याओं (Odd Perfect Numbers) के लिए प्रमाणित न्यूनतम-अभाज्य शाखा समापन (Certified Minimal-Prime Branch Closures)

समस्या विवरण
यह शोध पत्र शास्त्रीय खुले प्रश्न 'विषम पूर्ण संख्याओं' (OPN) के अस्तित्व को संबोधित करता है, जिन्हें धनात्मक विषम पूर्णांक $N$ के रूप में परिभाषित किया गया है जो $\sigma(N) = 2N$ को संतुष्ट करते हैं, जहाँ $\sigma$ भाजक-योग फलन (sum-of-divisors function) है। जबकि व्यापक साहित्य ने $N$ के लिए वैश्विक निम्नतम सीमाओं और इसके अभाज्य गुणनखंडों की संख्या के लिए स्थापित की है, एक पूर्ण अनस्तित्व प्रमाण अभी भी अप्राप्य बना हुआ है। यह कार्य विशेष रूप से "न्यूनतम-अभाज्य शाखा" (minimal-prime branch) समस्या पर केंद्रित है: यह निर्धारित करना कि क्या कोई OPN अस्तित्व में हो सकता है जहाँ सबसे छोटा अभाज्य भाजक, $q = \min\{p : p \mid N\}$, विशिष्ट छोटे मान लेता है।

यह शोध $q \in \{5, 7, 11, 13, 17\}$ के लिए शाखाओं को अलग करता है और उन्हें बंद करने का प्रयास करता है। यह स्पष्ट रूप से स्पष्ट करता है कि ये न्यूनतम-अभाज्य अभिकथन हैं; उदाहरण के लिए, $q=5$ की शाखा का समापन यह सिद्ध करता है कि कोई ऐसा OPN अस्तित्व में नहीं है जिसका सबसे छोटा अभाज्य भाजक 5 हो (जिसका अर्थ है कि $3 \nmid N$), लेकिन यह उन OPNs को खारिज नहीं करता है जो 5 से विभाज्य हैं यदि 3 भी एक कारक है (जो कि $q=3$ की शाखा के अंतर्गत आएगा)। $q=3$ और $q \ge 19$ के मामलों को इस कार्य के दायरे से स्पष्ट रूप से बाहर रखा गया है।

कार्यप्रणाली (Methodology)
यह दृष्टिकोण स्थानीय $q$-adic मानों (valuations) और निम्न-अभाज्य परिहार बाधाओं (lower-prime avoidance constraints) द्वारा संचालित एक "ब्रांच-एंड-बाउंड" प्रमाणन रणनीति का उपयोग करता है। कार्यप्रणाली निम्नलिखित तार्किक परतों के माध्यम से आगे बढ़ती है:

1. मान (Valuation) संतुलन: यूलर के रूप $N = \pi^\alpha M^2$ (जहाँ $\pi$ यूलर अभाज्य है) के आधार पर, यह एक $q$-adic मान संतुलन समीकरण स्थापित करता है। एक न्यूनतम अभाज्य $q$ के लिए, $v_q(\sigma(N)) = v_q(2N) = v_q(N)$ का मान पूरी तरह से $N$ में अन्य अभाज्य घातों के भाजक योगों द्वारा आपूर्ति किया जाना चाहिए, क्योंकि $\sigma(q^{e_q}) \equiv 1 \pmod q$ होता है।
2. निम्न-अभाज्य परिहार (Lower-Prime Avoidance): चूंकि $q$ न्यूनतम अभाज्य है, इसलिए $N$ को विभाजित करने वाला कोई भी अभाज्य $\ell < q$ $N$ को विभाजित नहीं कर सकता। फलस्वरूप, $N$ के प्रत्येक अभाज्य घात $p^e$ के लिए, स्थिति $v_\ell(\sigma(p^e)) = 0$ सत्य होनी चाहिए। यह एक सख्त "परिहार" फ़िल्टर बनाता है जो कई संभावित विन्यासों को समाप्त कर देता है।
3. इनपुट गवाह (Input Witnesses) और कवरेज विभाजन: प्रमाण $N$ के समर्थन (support) में मौजूद "इनपुट गवाहों" — $p \neq q$ अभाज्य जो $q$-adic मान संतुलन में योगदान देते हैं — की पहचान करता है। यह शोध $q$ के modulo $p$ के क्रम (जिसे $d = \text{ord}_q(p)$ द्वारा दर्शाया जाता है) के आधार पर इन गवाहों को वर्गीकृत करता है। यह एक परिमित "कवरेज स्प्लिट" (coverage split) की ओर ले जाता है (जैसे, विशिष्ट क्रमों के गैर-यूलर गवाह, या यूलर अभाज्य का गवाह के रूप में कार्य करना)।
4. न्यू réduit कोफैक्टर्स (Reduced Cofactors) और मजबूर अभाज्य (Forced Primes): प्रत्येक उप-मामले (sub-case) के लिए, शोध "न्यू réduit कोफैक्टर" (चक्रीय गुणनखंड $\Phi_d(p)$ को $q$ की आवश्यक घात से विभाजित करने पर प्राप्त राशि) का विश्लेषण करता है।
   • यदि कोफैक्टर में एक अभाज्य भाजक $\ell < q$ है, तो इसे निम्न-अभाज्य परिहार द्वारा खंडित कर दिया जाता है।
   • यदि कोफैक्टर में एक अभाज्य भाजक $r > q$ है, तो यह अभाज्य $N$ के समर्थन में "मजबूर" (forced) किया जाता है। यह $N$ की संरचना पर एक नया प्रतिबंध लगाता है।
   • यदि कोफैक्टर एक "शुद्ध" मामला (जैसे, 2 की एक घात) है, तो इसे विशिष्ट डायोफेंटाइन फिल्टर या टेल सर्टिफिकेट्स के माध्यम से संभाला जाता है।
5. टेल नियंत्रण (Tail Control) और प्रमाणपत्र: उन शाखाओं के लिए जो तुरंत खंडित या मजबूर नहीं होती हैं, शोध "टेल एनवेलप्स" (tail envelopes) का उपयोग करता है। ये $H(K_{env}) \left(\frac{B}{B-1}\right)^M < 2$ असमानता का उपयोग करते हैं, जहाँ $H$ अभाज्य गुणनखंडों $(p/(p-1))$ का गुणनफल है, $B$ शेष अभाज्य संख्याओं के लिए निचली सीमा है, और $M$ शेष अभाज्य संख्याओं की संख्या की ऊपरी सीमा है। यदि यह गुणनफल 2 से कम है, तो वह शाखा एक OPN को नहीं रख सकती।

यह प्रमाण हाइब्रिड है: तार्किक ढांचा (लेम्मा, कवरेज स्प्लिट और प्रमेय) हस्तलिखित है, जबकि परिमित शाखाओं का विस्तृत सत्यापन मशीन-पठनीय प्रमाणपत्रों (JSONL फ़ाइलों और पायथन सत्यापनकर्ताओं) द्वारा किया जाता है।

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

• पाँच शाखाओं का औपचारिक प्रमाणन: शोध $q = 5, 7, 11, 13, 17$ के लिए न्यूनतम-अभाज्य शाखाओं का एक पूर्ण, मशीन-सत्यापन योग्य समापन प्रदान करता है।
• समान तंत्र (Uniform Mechanism): यह इन शाखाओं को संभालने के लिए एक समान "forced-or-pure" तंत्र स्थापित करता है, जो जटिल अंकगणितीय समस्याओं को परिमित कवरेज स्प्लिट और टेल-कंट्रोल असमानताओं में बदल देता है।
• पुनरुत्पादक प्रमाणपत्र रिलीज: लेखक प्रमाणपत्रों का एक जमे हुए सेट ($C_{small}$) जारी करता है जिसमें समापन को सत्यापित करने के लिए आवश्यक विशिष्ट डेटा (गुणनखंड, क्रम रिकॉर्ड, टेल गणना) शामिल है। इसमें एक "वेरिफायर कॉन्ट्रैक्ट" भी शामिल है जो हस्तलिखित गणितीय तर्क को मशीन-चेक किए गए अंकगणितीय डेटा से अलग करता है।
• विस्तृत ऑडिट मॉडल: $q=5$ की शाखा को एक विस्तृत ऑडिट मॉडल के रूप में प्रस्तुत किया गया है, जो प्रारंभिक स्प्लिट से लेकर अंतिम टेल-कंट्रोल सर्टिफिकेट तक के पूर्ण व्युत्पत्ति को प्रदर्शित करता है, जो अन्य शाखाओं के लिए एक टेम्पलेट के रूप में कार्य करता है।

परिणाम
मुख्य प्रमेय (प्रमेय 1.1 और प्रमेय 14.1) यह बताता है कि, प्रमाणत प्रमाणत रिलीज $C_{small}$ के सापेक्ष, ऐसा कोई विषम पूर्ण संख्या $N$ नहीं है जिसका $\min\{p : p \mid N\} \in \{5, 7, 11, 13, 17\}$ हो।

विशेष रूप से:

• $q=5$: यूलर अभाज्य के अवशेष (residue) और गैर-यूलर गवाहों के अस्तित्व के आधार पर इस शाखा को तीन बच्चों ($Q5E2, Q5E1, Q5N$) में विभाजित किया गया है। सभी उप-शाखाओं को परिमित विंडो चेक, पैरामीट्रिक टेल सर्टिफिकेट और प्योर-फैमिली एक्सक्लूजन के माध्यम से बंद किया गया है।
• $q=7, 11, 13, 17$: इन शाखाओं को यह सत्यापित करके बंद किया गया है कि उनके संबंधित "स्ट्रिक्ट फ्रंटियर" लीव्स (कवरेज स्प्लिट के टर्मिनल नोड्स) या तो निम्न-अभाज्य परिहार द्वारा खंडित हैं, या टेल-नियंत्रित अवस्था में मजबूर किए गए हैं, या शुद्ध डायोफेंटाइन स्क्रीन (जैसे, $\Phi_5(x) = 11^c$ जैसे समीकरणों को हल करना) द्वारा हटा दिए गए हैं।

महत्व और दायरा
शोध एक "प्रमाणपत्र प्रमेय" (certificate theorem) के रूप में अपनी महत्ता का दावा करता है, न कि $N$ के लिए एक नए वैश्विक निम्नतम मान के रूप में। यह यह सिद्ध नहीं करता है कि विषम पूर्ण संख्याएँ अस्तित्व में नहीं हैं; यह केवल यह सिद्ध करता है कि 5, 7, 11, 13, या 17 उनके सबसे छोटे अभाज्य भाजक के रूप में अस्तित्व में नहीं हो सकते।

लेखक परिणाम की मोडुलैरिटी (modularity) पर जोर देता है:

• यह न्यूनतम-अभाज्य समस्या को पूर्ण OPN समस्या से अलग करता है।
• यह एक पुनरुत्पादक, मशीन-ऑडिट योग्य ढांचा प्रदान करता है जो विशिष्ट अंकगणितीय बाधाओं को सत्यापित करता है।
• यह $q=3$ शाखा (जिसमें निम्न-अभाज्य परिहार बाधाओं का अभाव है) और $q \ge 19$ शाखा (जिसके लिए अलग इनपुट ऑर्डर्स के उपचार की आवश्यकता है) को भविष्य के कार्य के रूप में खुला छोड़ देता है।

यह कार्य मौजूदा वैश्विक फिल्टरों (जैसे, नेल्सन के अभाज्य गुणनखंडों की संख्या पर निम्नतम सीमा) का उपयोग केवल निरंतरता जांच (consistency checks) के रूप में करता है, जबकि वास्तविक समापन $q$-adic चक्रीय इनपुट और प्रदान किए गए परिमित प्रमाणपत्रों द्वारा संचालित होते हैं।