Every quasiperfect number has at least eight distinct prime factors

तकनीकी सारांश: "प्रत्येक अर्ध-पूर्ण (quasiperfect) संख्या में कम से कम आठ विशिष्ट अभाज्य गुणनखंड होते हैं"

समस्या विवरण
यह शोध पत्र अर्ध-पूर्ण संख्याओं (quasiperfect numbers) के अस्तित्व को संबोधित करता है, जिन्हें उन पूर्णांकों के रूप में परिभाषित किया गया है जो समीकरण $\sigma(n) = 2n + 1$ को संतुष्ट करते हैं, जहाँ $\sigma(n)$ $n$ के सभी धनात्मक विभाजकों का योग है। हालांकि ऐसा कोई संख्या कभी नहीं मिली है, और उनका गैर-अस्तित्व भी सिद्ध नहीं हुआ है, लेकिन उनकी संरचनात्मक बाधाएं ज्ञात हैं: कोई भी अर्ध-पूर्ण संख्या एक विषम पूर्ण वर्ग होनी चाहिए। एक केंद्रीय खुला प्रश्न $\omega(n)$ पर निचली सीमा (lower bound) से संबंधित है, जो $n$ के विशिष्ट अभाज्य गुणनखंडों की संख्या है। 1982 से, स्थापित निचली सीमा $\omega(n) \ge 7$ (हागिस-कोहेन) रही है। इस शोध पत्र का लक्ष्य उस सीमा को आगे बढ़ाना है।

कार्यप्रणाली (Methodology)
प्रमाण उन सभी संभावित मामलों को समाप्त करने की प्रक्रिया द्वारा आगे बढ़ता है जहाँ $\omega(n) \le 7$ है। रणनीति एक कम्प्यूटेशनल सर्च ट्री (जिसे "कॉरिडोर" विधि कहा जाता है) का उपयोग करती है जहाँ प्रचुरता (abundancy) $\sigma(n)/n$ को संकीर्ण अंतराल $(2, 2 + 1/n]$ में होना चाहिए। खोज क्षेत्र को "स्टेम्स" (निश्चित प्रारंभिक अभाज्य) और "लीव्स" (मुक्त अभाज्य वाले टर्मिनल विन्यास) में विभाजित किया गया है।

मुख्य नवाचार बीजगणित के स्तर पर तीन लेम्मा (lemmas) की एक प्रणाली है जो एक अनबाउंड (unbounded), गैर-समाप्त होने वाली खोज को एक परिमित निर्णय प्रक्रिया (finite decision process) में बदल देती है। ये लेम्मा खोज स्थान के तीन विशिष्ट आयामों को संबोधित करते हैं जो पहले समाप्ति में बाधा उत्पन्न कर रहे थे:

1. लेम्मा 1 (विभेदक मानदंड - Discriminant Criterion): अंतिम मुक्त अभाज्य $q$ की खोज को एक सत्यापन समस्या में बदल देता है। $q$ के लिए एक द्विघात (quadratic) के रूप में लीफ समीकरण को मानकर, लेखक एक विविक्तकर (discriminant) $\Delta(p)$ प्राप्त करते हैं। समाधान तभी मौजूद होता है जब $\Delta(p)$ एक पूर्ण वर्ग हो। यह $q$ के लिए एक रेंज खोजने की आवश्यकता को समाप्त करता है, जिससे कार्य केवल यह जांचने तक सीमित हो जाता है कि क्या एक विशिष्ट मान एक वर्ग है।
2. लेम्मा 2 (द्विघाती अवशेष छलनी - Quadratic-Residue Sieve): सत्यापन को एक टेबल लुकअप में बदल देता है। चूंकि $\Delta(p)$ एक पूर्ण वर्ग होना चाहिए, इसलिए इसे किसी भी पूर्णांक $r$ के मॉड्यूल (modulo) पर एक द्विघाती अवशेष (quadratic residue) होना चाहिए। विभिन्न मॉडुली के लिए अनुमत अवशेष वर्गों को पूर्व-निर्धारित करके, लेखक महंगे सटीक अंकगणित किए बिना मध्यवर्ती अभाज्य $p$ के पूरे वर्गों को बाहर कर सकते हैं। यह एक "मोटे छलनी" (coarse sieve) के रूप में कार्य करता है जो उम्मीदवार सेट को नाटकीय रूप से कम कर देता है।
3. लेम्मा 3 (बहुरेखीय रिज़ॉल्वर - Multilinear Resolver): अनबाउंड घातांकों (exponents) की समस्या को हल करता है। पहले, घातांकों को बढ़ाने से समीकरणों का एक अनंत अनुक्रम बन जाता था। लेखक देखते हैं कि एक अभाज्य घात के लिए भाजकों का योग चर $V = p^{2e}$ के संदर्भ में रैखिक है। यह अनुमति देता है कि अनबांडेड घातांक आयाम को सीधे रैखिक या मोबियस रूपांतरणों के माध्यम से हल किया जा सके, जिससे एक अनंत पुनरावृत्ति को परिमित बीजगणितीय समाधानों में बदला जा सके।

दो अतिरिक्त "किल लेम्मा" (लेम्मा 4 और लेम्मा 5) विशिष्ट गहरे मामलों के लिए नियोजित किए गए हैं:

• लेम्मा 4 (FULLKILL 9): 9 के मॉड्यूल (modulo) पर आवधिकता (periodicity) का उपयोग करके घातांक विन्यासों के पूरे परिवारों को तब समाप्त कर देता है जब विविक्तकर सभी अवधियों के लिए एक गैर-अवशेष (non-residue) हो।
• लेम्मा 5 (Tight-Kill): एकतुल्यता (monotonicity) तर्कों का उपयोग यह सिद्ध करने के लिए करता है कि यदि किसी शाखा का न्यूनतम विन्यास कॉरिडोर ऊपरी सीमा से अधिक हो जाता है, तो उच्च घातांकों का पूरा शंकु (cone) अमान्य है।

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

• मुख्य प्रमेय (Theorem 1): यह शोध पत्र सिद्ध करता है कि यदि कोई अर्ध-पूर्ण संख्या मौजूद है, तो उसे $\omega(n) \ge 8$ का पालन करना चाहिए। यह 1982 के बाद $\omega \ge 7$ की सीमा में पहला सुधार है।
• $\omega = 7$ का उन्मूलन:
  • Case $3 \nmid n$: खोज क्षेत्र एक एकल स्टेम $(5, 7, 11, 13)$ में सिमट जाता है, जिसे एक सेकंड से भी कम समय में समाप्त कर दिया जाता है।
  • Case $3 \mid n$: इसमें मुख्य कार्य शामिल है, जिसमें 381 स्टेम्स 79,751,212 गहरे लीव्स (deep leaves) तक विस्तारित होते हैं। लेखक इन सभी लीव्स को सफलतापूर्वक समाप्त करने में सफल रहे, जिसमें शून्य समाधान मिले।
• कम्प्यूटेशनल सत्यापन: उन्मूलन एक कठोर चार-स्तरीय विश्वास ढांचे द्वारा समर्थित है:
  1. सटीक अंकगणित: सभी 'किल' पूर्णांक अंकगणित पर आधारित हैं; अंतिम निर्णयों के लिए किसी भी फ्लोटिंग-पॉइंट नंबर का उपयोग नहीं किया गया है।
  2. प्लांटेड सॉल्यूशंस: सिस्टम ने पायलट चरण में 12 हस्तनिर्मित वास्तविक समाधानों को सही ढंग से पहचाना और पूर्ण अभियान के दौरान CPU गेट पर 24 प्लांटेड वास्तविक समाधान और GPU गेट पर 24 (कुल 48) को पहचाना, जबकि विचलित (perturbed) गलत समाधानों को खारिज कर दिया। यह सुनिश्चित करता है कि छलनी गलती से किसी को समाप्त न करे और अंतिम जाँच किसी को जाने न दे।
  3. दोहरा कार्यान्वयन: दो स्वतंत्र आर्किटेक्चर (CPU और GPU) समान परिणाम उत्पन्न करते हैं।
  4. औपचारिक सत्यापन: लेम्मा और तर्क को Lean प्रूफ़ असिस्टेंट में औपचारिक रूप दिया गया है (259 प्रमेय, शून्य sorry), जो उन्मूलन नियमों की तार्किक सुदृढ़ता सुनिश्चित करता है।
• पूर्व कार्य का ऑडिट: लेखक 2023 के ज़ेमन (Zemann) के प्रीप्रिंट का ऑडिट करते हैं जिसमें समान सीमा का दावा किया गया था। वे एक "कवरेज गैप" की पहचान करते है जहाँ कोड में 'ऑफ-बाय-वन' त्रुटि के कारण 35 व्यवहार्य घातांकों को छोड़ दिया गया था, और निष्कर्ष निकालते हैं कि ज़ेमन का कार्य एक पूर्ण प्रमाण नहीं है, जबकि वर्तमान शोध पत्र का उन्मूलन पूर्ण है।

महत्व और दावे
शोध पत्र दावा करता है कि वह किसी भी अर्ध-पूर्ण संख्या के लिए $\omega(n) \ge 8$ का पहला पूर्ण प्रमाण प्रदान करता है। इसका महत्व अर्ध-पूर्ण संख्या की खोज में नहीं, बल्कि $\omega=7$ के मामले के कठोर उन्मूलन में है, जो 40 वर्षों से एक बाधा बना हुआ था।

लेखक इस बात पर जोर देते हैं कि यह सफलता केवल ब्रूट-फोर्स कंप्यूटिंग शक्ति से नहीं, बल्कि उस गणितीय अंतर्दृष्टि से प्राप्त हुई है जिसने एक अनिर्णायक खोज (अनबाउंड घातांकों और विशाल स्कैन रेंज के कारण) को एक परिमित, सत्यापन योग्य निर्णय प्रक्रिया में बदल दिया। यह कार्य एक "स्व-निहित" (self-contained) प्रमाण के रूप में प्रस्तुत किया गया है जो पिछले साहित्य (विशेष रूप से अगिस-कोहेन 1982 के अप्रमाणित $\omega \ge 9$ भाग) के अपुष्ट भागों पर निर्भर नहीं है।

भविष्य का कार्य (जैसा कि शोध पत्र में कहा गया है)
शोध पत्र अगली सीमा, $\omega(n) \ge 9$ की ओर आंशिक प्रगति की रिपोर्ट करता है। एक "सीक्वल अभियान" ने $\omega=8$ के लिए न्यूनीकरण सीमा को निर्धारित कर दिया है, जो यह दर्शाता है कि $\omega=8$ वाली कोई भी अर्ध-पूर्ण संख्या $3 \cdot 5 \cdot 17 = 255$ से विभाज्य होनी चाहिए (प्रमेय 2)। हालाँकि, 516 स्टेम्स के $\omega=8$ के पूर्ण उन्मूलन का कार्य अभी भी प्रगति पर है, जिसमें एक "मॉन्स्टर स्टेम" $(3, 5, 19, 97)$ एक महत्वपूर्ण कम्प्यूटेशनल बाधा के रूप में शेष है। लेखक एक ओपन एल्गोरिद्मिक समस्या (P2-EXACT) की भी पहचान करते हैं जो एक बहुपद के नीचे जाली बिंदुओं (lattice points) की गणना करने से संबंधित है, जिसे वे मानते हैं कि शेष कम्प्यूटेशनल बाधाओं को पार करने की कुंजी है।