On odd perfect numbers with exactly one even exponent greater than 2

तकनीकी सारांश: ठीक एक 2 से बड़े सम घातांक वाले विषम पूर्ण संख्याओं पर

समस्या विवरण
यह शोध पत्र "प्रतिबंधित" (restrained) विषम पूर्ण संख्याओं (OPNs) के अस्तित्व और गुणों की जांच करता है। एक OPN एक विषम पूर्णांक $N$ है जो $\sigma(N) = 2N$ को संतुष्ट करता है, जहाँ $\sigma$ विभाजकों का योग फलन (sum-of-divisors function) है। यूलर ने स्थापित किया था कि कोई भी OPN $N = p^e m^2$ के रूप में होना चाहिए, जहाँ $p$ एक अभाज्य संख्या है (विशेष अभाज्य), जिसके लिए $p \equiv e \equiv 1 \pmod 4$, और $p \nmid m$ है।

मैकडैनियल ने पहले प्रदर्शित किया था कि $m$ वर्ग-मुक्त (square-free) नहीं हो सकता, जिसका अर्थ है कि $N$ के अभाज्य गुणनखंडन में कम से कम एक सम घातांक 2 से अधिक होना चाहिए। लेखक एक OPN को तब प्रतिबंधित कहते हैं यदि इसमें ऐसा ठीक एक घातांक है जो 2 से बड़ा है। यदि $n^q$ वह अद्वितीय घटक है जहाँ $n \neq p$ और $q \ge 4$ है, तो $n$ को "उल्लेखनीय अभाज्य" (notable prime) और $q$ को "उल्लेखनीय घातांक" (notable exponent) कहा जाता है। प्राथमिक उद्देश्य यह स्थापित करना है कि यदि एक प्रतिबंधित OPN मौजूद है, तो $q$ के लिए निचली सीमा (lower bound) क्या होगी।

कार्यप्रणाली
लेखक विशिष्ट अभाज्य कारकों की संरचनाओं को खारिज करने के लिए संख्या-सिद्धांत संबंधी लेम्मा (lemmas), कम्प्यूटेशनल सीविंग (computational sieving) और प्रचुरता विश्लेषण (abundancy analysis) के संयोजन का उपयोग करते हैं।

1. संरचनात्मक लेम्मा (Structural Lemmas):

   • माड्यूलर बाधाएं (Modular Constraints): शोध पत्र अभाज्य संख्याओं को सीमित करने के लिए गुणोत्तर क्रम (multiplicative order - $\text{ord}_s(n)$) और द्विघाती अवशेषों (quadratic residues) के गुणों का उपयोग करता है। उदाहरण के लिए, लेम्मा 6 सिद्ध करता है कि विशेष अभाज्य $p$ को $p \equiv 1 \pmod 3$ को संतुष्ट करना चाहिए।
   • विभाज्यता नियम (Divisibility Rules): लेम्मा 4 और लेम्मा 5 यह स्थापित करते हैं कि एक अभाज्य $s$ कब $\sigma(n^q)$ या $\sigma(t^v)$ को विभाजित करता है, जो क्रमों की समता (parity of orders) और भिन्न अभाज्यो के बीच संबंध पर आधारित है।
   • समाधानों का निष्कासन (Exclusion of Solutions): लेम्मा 3 (बैनेट और लेविन से व्युत्पन्न) यह दावा करता है कि $z^2 + z + 1 = r^t$ का कोई समाधान नहीं है जहाँ $z, r$ अभाज्य हैं और $t > 1$ है। इसका उपयोग उन अभाज्यो की संख्या को सीमित करने के लिए किया जाता है जहाँ $\sigma(s^2)$ एक एकल अभाज्य की घात है।

2. अभाज्य 3 पर मामला विश्लेषण (Case Analysis on the Prime 3):
   मुख्य प्रमेय का प्रमाण $N$ में अभाज्य 3 के घातांक के संबंध में तीन व्यापक मामलों में विभाजित है:

   • मामला 1: 3 एक कारक नहीं है। लेखक दिखाते हैं कि यदि $3 \nmid N$, तो प्रचुरता सूचकांक (abundancy index) $\sigma(N)/N$ 2 तक नहीं पहुँच सकता। यह "साधारण" घटकों (exponent 2 वाले अभाज्य) और "स्पोरेडिक" (sporadic) घटकों के योगदान को सीमित करके, एक फैक्टर ट्री दृष्टिकोण और छोटे अभाज्यो के कम्प्यूटेशनल सत्यापन के माध्यम से प्राप्त किया गया है।
   • मामला 2: 3 साधारण है ($3^2 \parallel N$)। $3^2$ घटक से प्राप्त एक फैक्टर ट्री का उपयोग करते हुए, लेखक व्यवस्थित रूप से संभावित उल्लेखनीय अभाज्यो ($n$) को $S = \{7, 13, 19, 31, 61, 97, 127, 331\}$ के सेट से बाहर करते हैं। प्रत्येक उम्मीदवार $n$ के लिए, वे प्रदर्शित करते हैं कि परिणामी आवश्यक अभाज्य कारकों की संरचना या तो 2 से कम प्रचुरता की ओर ले जाती है या एक विरोधाभास (जैसे, 3 की दो से अधिक प्रतियों की आवश्यकता) उत्पन्न करती है।
   • मामला 3: 3 उल्लेखनीय है ($3^q \parallel N$)। यही एकमात्र व्यवहार्य मामला है। यहाँ, ध्यान $q$ के लिए निचली सीमा निर्धारित करने पर केंद्रित है।

3. कम्प्यूटेशनल सीविंग (Computational Sieving):
   मामले को संभालने के लिए जहाँ 3 उल्लेखनीय है, लेखक साधारण अभाज्यो को छानने (sieve) के लिए एक C++/GMP प्रोग्राम (loopless.cpp) का उपयोग करते हैं। एल्गोरिदम उन अभाज्यो के सेट बनाए रखता है जो साधारण नहीं हो सकते ($M_1$) और वे अभाज्य जो $1 \pmod 3$ के अनुरूप हैं और $N$ को विभाजित नहीं कर सकते ($M_2$)। प्रोग्राम साधारण घटकों से अधिकतम संभावित प्रचुरता योगदान की गणना करने के लिए अभाज्यो के माध्यम से पुनरावृत्ति (iterate) करता है।

मुख्य परिणाम

• प्रमेय 1: यदि $N$ एक प्रतिबंधित विषम पूर्ण संख्या है, तो उल्लेखनीय अभाज्य $n$ को 3 होना चाहिए, और उल्लेखनीय घातांक $q$ इस प्रकार है कि $q \ge 23,000,000,000$।
• सीमाओं में सुधार: यह परिणाम पहले से ज्ञात सीमा $q \ge 16$ में महत्वपूर्ण सुधार करता है, जो पिछले माड्यूलर बाधाओं ($q \not\equiv 2 \pmod 3$, $q \neq 4, 6, 10, 12$) के संयोजन से प्राप्त की गई थी।
• $n=3$ में कमी: यह शोध पत्र सिद्ध करता है कि यदि एक प्रतिबंधित OPN मौजूद है, तो उल्लेखनीय अभाज्य अनिवार्य रूप से 3 ही होगा। अन्य सभी उम्मीदवारों को प्रचुरता विरोधाभासों के माध्यम से हटा दिया गया है।
• निचली सीमा का व्युत्पन्न: यह दिखाते हुए कि विशेष घटक और उल्लेखनीय घटक ($3^q$) की प्रचुरता, साधारण अभाज्यो के अधिकतम संभव योगदान (46 अरब से अधिक साधारण अभाज्यो के साथ भी) के साथ मिलकर, $q$ के अत्यंत बड़े न होने तक 2 तक नहीं पहुँच पाती, लेखक $q \ge 23,000,000,000$ का मान निकालते हैं।

महत्व और दावे
शोध पत्र का दावा है कि यह प्रतिबंधित विषम पूर्ण संख्याओं के अस्तित्व की समस्या को एक विशिष्ट मामले में कम कर देता है: उल्लेखनीय अभाज्य 3 है। हालाँकि लेखक यह दावा नहीं करते हैं कि उन्होंने पूरी तरह से OPN के अस्तित्व को खारिज कर दिया है, वे प्रदर्शित करते हैं कि "प्रतिबंधित" परिदृश्य अत्यधिक सीमित है।

लेखक विनम्रतापूर्वक नोट करते हैं कि उनके द्वारा $q$ पर लगाया गया प्रतिबंध उन्नत सीव थ्योरी (sieve theory) तर्कों का उपयोग करके कई गुना सुधारा जा सकता है। हालाँकि, वे इस बात पर जोर देते हैं कि उस मामले को पूरी तरह से खारिज करने के लिए (और इस प्रकार यह सिद्ध करने के लिए कि प्रत्येक OPN में 2 से बड़े कम से कम दो सम घातांक होने चाहिए) "नए विचारों" की आवश्यकता है।

शोध पत्र $\sigma(x^2)$ की संरचना से संबंधित दो खुले प्रश्नों के साथ समाप्त होता है:

1. क्या कोई अभाज्य $x$ मौजूद है जिससे $x^2 + x + 1$ वर्ग-पूर्ण (square-full) हो?
2. क्या ऐसे अभाज्य $x, y, p, r$ और पूर्णांक $a > b > 0$ मौजूद हैं कि $x^2 + x + 1 = p^a r$ और $y^2 + y + 1 = p^b r$ हो?

इन प्रश्नों का नकारात्मक उत्तर OPNs के गुणनखंडन में संभावित घातांक युग्मों पर कड़े प्रतिबंध लगाने की अनुमति देगा, जिससे मजबूत गैर-अस्तित्व परिणाम प्राप्त हो सकते हैं। लेखक इस दिशा में आगे के अनुसंधान को सुगम बनाने के लिए अपने प्रोग्राम और डेटा प्रदान करते हैं।