Must a primitive non-deficient number have a component not much larger than its radical?

तकनीकी सारांश: "क्या एक मूल अऋण्य संख्या (Primitive Non-Deficient Number) में हमेशा एक छोटा घटक होना चाहिए?"

समस्या विवरण
यह शोध पत्र मूल अऋण्य संख्याओं के संरचनात्मक गुणों की जांच करता है। एक धनात्मक पूर्णांक $n$ अऋण्य (non-deficient) है यदि $\sigma(n) \ge 2n$ हो, जहाँ $\sigma(n)$ इसके विभाजकों का योग है। एक संख्या मूल अऋण्य (primitive non-deficient) तब होती है जब वह अऋण्य हो लेकिन उसके सभी उचित विभाजक ऋण्य (deficient) हों। मान लीजिए $n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$ एक ऐसी संख्या है जिसका अभाज्य गुणनखंडन $p_1 < p_2 < \dots < p_k$ है, और $R = \text{rad}(n) = p_1 p_2 \cdots p_k$ इसका रेडिकल (radical) है।

मुख्य समस्या $n$ के "घटकों" (components), विशेष रूप से $p_i^{a_i+1}$ पदों पर सीमा निर्धारित करने की है। लेखक का तर्क है कि किसी मूल अऋण्य संख्या के अस्तित्व के लिए, इसके कम से कम एक अभाज्य घात घटक को रेडिकल $R$ की तुलना में अपेक्षाकृत छोटा होना चाहिए। यह इस अंतर्ज्ञान से प्रेरित है कि यदि सभी घातांक $a_i$ बड़े होते, तो बहुलता सूचकांक (abundancy index) $h(n) = \sigma(n)/n$, ऊपरी सीमा $H(n) = \prod_{p|n} \frac{p}{p-1}$ के अत्यंत निकट होता। फलस्वरूप, किसी भी घातांक को कम करने से संख्या संभवतः अऋण्य ही रह जाती, जो $n$ की मौलिकता (primitivity) का खंडन करती।

कार्यप्रणाली
यह शोध पत्र विश्लेषणात्मक संख्या सिद्धांत की तकनीकों का उपयोग करता है, जो बहुलता सूचकांक $h(n)$ और फलन $H(n)$ के गुणों पर केंद्रित है। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

1. आधारभूत लेम्मा (Foundational Lemmas): लेखक अऋण्य संख्याओं के बुनियादी गुणों को स्थापित करता है, जिसमें न्यूनतम अभाज्य गुणनखंड $p_1$ के सापेक्ष विशिष्ट अभाज्य गुणनखंडों की संख्या $k$ के संबंध में सीमाएं शामिल हैं (लेम्मा 5, ग्रुन और सर्वेस से अनुकूलित)।
2. असमानता व्युत्पत्ति (Inequality Derivation): एक प्रमुख तकनीकी उपकरण लेम्मा 9 है, जो $H(n)$ के निचले स्तर के दिए जाने पर $\min(p_i^{a_i+1})$ के लिए एक ऊपरी सीमा प्रदान करता है। यह लेम्मा हीथ-ब्राउन के तर्कों को अनुकूलित करता है, जो $h(n)$ और $H(n)$ के बीच संबंध का उपयोग करता है:
   $$h(n) = H(n) \prod_{i=1}^k \left(1 - \frac{1}{p_i^{a_i+1}}\right)$$
   यह मानते हुए कि $n$ मूल है, लेखक नोट करता है कि सभी $i$ के लिए $h(n/p_i) < 2$ है। लेम्मा 8 (जो $h(n)/h(n/p)$ के अनुपात को सीमित करता है) के साथ संयोजन करके, लेखक $p_i^{a_i+1}$ के न्यूनतम घटक आकार और $H(n)$ तथा 2 के बीच के "अंतराल" (gap) के बीच संबंध दर्शाने वाली असमानताएं व्युत्पन्न करता है।
3. मामला विश्लेषण (Case Analysis): प्रमाण सम (even) और विषम (odd) मूल अऋण्य संख्याओं के बीच अंतर करता है। सम संख्याओं के लिए, लेम्मा 3 और प्रपोजिशन 6 दिखाते हैं कि अभाज्य 2 के संगत घटक अनुमानित सीमा को सीधे संतुष्ट करता है। विषम संख्याओं के लिए, लेखक छोटे $k$ (3 और 4) के मानों को संभालने के लिए लेम्मा 4 पर निर्भर करता है (प्रत्यक्ष गणना के माध्यम से) और बड़े $k$ के लिए लेम्मा 9 का उपयोग करता है।

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

• प्रमेय 2 (मुख्य परिणाम): यह शोध पत्र सिद्ध करता है कि किसी भी मूल अऋण्य संख्या $n = p_1^{a_1} \cdots p_k^{a_k}$ के लिए, जिसका रेडिकल $R$ है, एक ऐसा सूचकांक $i$ मौजूद है कि:
  $$p_i^{a_i+1} < 2kR$$
  यह स्थापित करता है कि कम से कम एक घटक, विशिष्ट अभाज्य गुणनखंडों की संख्या और रेडिकल के गुणनफल द्वारा रैखिक रूप से सीमित है।

• अनुमान 1 (Conjecture 1): लेखक एक अधिक सुदृढ़, अप्रामाणित अनुमान प्रस्तावित करता है: कि प्रमेय 2 में कारक $k$ अनावश्यक है, और हमेशा एक ऐसा $i$ मौजूद होता है कि:
  $$p_i^{a_i+1} < 2R$$
  लेखक नोट करता है कि $R$ (बिना कारक 2 के) की सीमा गलत है, और एक विशिष्ट प्रति उदाहरण ($n = 4164647056479$) उद्धृत करता है, लेकिन सुझाव देता है कि यह प्रति उदाहरण अद्वितीय हो सकता है।

• प्रपोजिशन 16: विषम मूल अऋण्य संख्याओं के लिए, यह शोध पत्र एक द्विशाख (dichotomy) सिद्ध करता है: या तो सबसे बड़ा अभाज्य गुणनखंड $p_k$, रेडिकल के सापेक्ष छोटा है ($p_k < \sqrt{R}$), या एक ऐसा घटक मौजूद है जो $p_k$ और $k$ से संबंधित सीमा का पालन करता है।

• घनत्व अनुमान (Density Conjectures): यह शोध पत्र सेट $B$ (वे संख्याएँ जो सभी $i$ के लिए $p_i^{a_i+1} < 2R$ को संतुष्ट करती हैं) और सेट $C$ (मूल अऋण्य संख्याएँ) को प्रस्तुत करता है। यह अनुमान लगाता है कि $B$ के भीतर और $C$ के भीतर इन सेट्स का प्रतिच्छेदन (intersection) स्वाभाविक घनत्व (natural density) शून्य रखता है, जो यह सुझाव देता है कि जबकि "छोटा घटक" गुण मौलिकता के लिए आवश्यक है, सभी घटकों का छोटा होना एक दुर्लभ घटना है।

महत्व और संदर्भ
यह शोध पत्र विषम पूर्ण संख्याओं (odd perfect numbers) और अऋण्य संख्याओं के व्यापक अध्ययन के भीतर अपने परिणामों को स्थापित करता है।

• ग्राफ थ्योरी संबंध: $p_i^{a_i+1}$ पर सीमाओं की व्याख्या विषम पूर्ण संख्याओं के घटकों के भारित निर्देशित ग्राफ (weighted directed graph) प्रतिनिधित्व में शीर्षों (vertices) के आउट-डिग्री (out-degree) पर सीमाओं के रूप में की जाती है, जो हाल के साहित्य (जैसे बिब्बी, विनके और यामाडा) में उपयोग किया गया एक ढांचा है।
• मौजूदा सीमाओं का सामान्यीकरण: परिणाम रेडिकल के संदर्भ में विषम पूर्ण संख्याओं के आकार के पिछले ऊपरी बंधों का सामान्यीकरण करते हैं। विशेष रूप से, नील्सन का बंध $n < R^{2k-1}$ घटकों के आकार पर एक सीमा लागू करता है; प्रमेय 2 एक अधिक सटीक और विशिष्ट असमानता प्रदान करता है जो व्यापक श्रेणी के मूल अऋण्य संख्याओं पर लागू होती है।
• अभिप्रेरणा: इस कार्य का उद्देश्य इस अंतर्ज्ञान को औपचारिक रूप देना है कि मौलिकता (primitivity) अभाज्य घात घटकों के आकार पर सख्त प्रतिबंध लगाती है। हालांकि यह शोध पत्र विषम पूर्ण संख्याओं के अस्तित्व को हल नहीं करता है, यह उन संरचनात्मक बाधाओं को परिष्कृत करता है जिन्हें कोई भी ऐसी संख्या (या कोई भी मूल अऋण्य संख्या) पूरा करना चाहिए।

लेखक स्वीकार करते हैं कि तकनीकें स्वाभाविक रूप से $p_i^{a_i}$ के बजाय $p_i^{a_i+1}$ वाली असमानताओं को उत्पन्न करती हैं, हालांकि ये अन्य अभाज्य गुणनखंडों के गुणनफल द्वारा एक घटक को सीमित करने के गणितीय रूप से समकक्ष हैं। शोध पत्र इस बात पर समाप्त होता है कि हालांकि अनुमानित सीमा $2R$ संभवतः सत्य है, इसे सिद्ध करना एक खुला प्रश्न बना हुआ है।