🔢 mathematics

Complete characterization of $2$-near perfect numbers with exactly 2 prime factors

यह शोध पत्र विषम संख्याओं के अस्तित्वहीन होने को सिद्ध करके और $2^kp^m$ (जहाँ $m \ge 3$ ) के रूप वाले सभी सम उदाहरणों को एक विशिष्ट परिवार में वर्गीकृत करके, ठीक दो अभाज्य गुणनखंडों वाली 2-निकट पूर्ण (2-near perfect) संख्याओं का एक पूर्ण लक्षण वर्णन प्रदान करता है।

मूल लेखक: Richard Fearon, Henry Foushee, Benjamin Porosoff, Alexander Skula, Joshua Zelinsky, Kyle Zhang

प्रकाशित 2026-05-26

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Richard Fearon, Henry Foushee, Benjamin Porosoff, Alexander Skula, Joshua Zelinsky, Kyle Zhang

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आपके पास संख्याओं से बनी एक विशाल पहेली है। गणित की दुनिया में, 'परफेक्ट नंबर' (Perfect Number) नामक एक विशेष प्रकार का पहेली का टुकड़ा होता है। एक परफेक्ट नंबर वह संख्या है जहाँ यदि आप उसके सभी "बिल्डिंग ब्लॉक्स" (उसके भाजकों/divisors) को जोड़ते हैं, तो कुल योग ठीक संख्या के दोगुने के बराबर होता है। उदाहरण के लिए, संख्या 6 एक परफेक्ट नंबर है क्योंकि इसके भाजक 1, 2 और 3 हैं, और $1+2+3 = 6$ (जो 12 का आधा है, या $2 \times 6$ है)।

लेकिन क्या होगा यदि बिल्डिंग ब्लॉक्स का योग संख्या के दोगुने से लगभग बराबर हो, लेकिन थोड़ा सा कम या ज्यादा हो? यहीं पर यह शोध पत्र काम आता है।

"नियर परफेक्ट" (Near Perfect) की अवधारणा

लेखक 2-near perfect numbers का अध्ययन कर रहे हैं। इन्हें ऐसे नंबर समझें जो "लगभग" परफेक्ट हैं, लेकिन अंतिम योग में से ठीक दो विशिष्ट बिल्डिंग ब्लॉक्स गायब हैं।

यदि आप एक संख्या $n$ लेते हैं, उसके सभी भाजकों को जोड़ते हैं, और कुल योग $2n$ के बराबर है और साथ ही दो अतिरिक्त भाजक ( $d_1$ और $d_2$ ) भी हैं, तो $n$ एक 2-near perfect नंबर है।

उपमा: कल्पना कीजिए कि आप एक बाल्टी भरने की कोशिश कर रहे हैं जिसमें ठीक $2n$ लीटर पानी आता है। आप सभी भाजकों से पानी डालते हैं, लेकिन बाल्टी ठीक दो विशिष्ट कप पानी से ओवरफ्लो (भरकर बाहर निकलना) हो जाती है ( $d_1$ और $d_2$ )। यह शोध पत्र पूछता है: "कौन सी संख्याएँ इस विशिष्ट प्रकार के ओवरफ्लो का कारण बनती हैं?"

विशिष्ट रहस्य: दो अभाज्य सामग्रियां (Two Prime Ingredients)

यह शोध पत्र एक बहुत ही विशिष्ट प्रकार के नंबरों पर केंद्रित है: जो ठीक दो अलग-अलग अभाज्य सामग्रियों से बने हैं।

एक सामग्री संख्या 2 है ("सम" भाग)।
दूसरी सामग्री एक विषम अभाज्य संख्या (जैसे 3, 5, 7, आदि) है, जिसे किसी घात (power) तक बढ़ाया गया है।

लेखक यह जानना चाहते थे कि: यदि हमारे पास 2 और एक विषम अभाज्य संख्या से बना एक नंबर है, और वह 2-near perfect है, तो वह कैसा दिखता है?

बड़ी खोज

पिछले शोधकर्ताओं ने उन मामलों को हल किया था जहाँ विषम अभाज्य संख्या केवल एक या दो बार आती थी (जैसे $2^k \times p$ या $2^k \times p^2$ )। उन्होंने कुछ विशिष्ट संख्याएँ खोजीं।

हालाँकि, एक अनुमान (conjecture) बना हुआ था कि यदि विषम अभाज्य संख्या तीन या अधिक बार आती है (जैसे $2^k \times p^3$ ), तो ऐसे कोई नंबर नहीं होंगे, या केवल बहुत कम संख्या में होंगे।

यह शोध पत्र उस अनुमान को गलत साबित करता है।

यहाँ उनके निष्कर्षों का सरल विवरण दिया गया है:

"अनंत" परिवार (The "Infinite" Family): उन्होंने खोजा कि वास्तव में इन नंबरों का एक पूरा परिवार है जो अनंत तक जाता है (यदि "मेर्सेन प्राइम्स" (Mersenne primes) के बारे में एक प्रसिद्ध गणितीय रहस्य सच है)।
नुस्खा (The Recipe): प्रत्येक 2-near perfect नंबर जिसके दो अभाज्य गुणनखंड हैं (जहाँ विषम अभाज्य 3 या अधिक बार आता है), वह इस सटीक नुस्खे का पालन करता है:
- यह 2 की एक घात ( $2^k$ ) से बना है।
- इसे एक विशिष्ट प्रकार के विषम अभाज्य, जिसे मेर्सेन प्राइम (एक अभाज्य जो $2^{k+1} - 1$ जैसा दिखता है) कहा जाता है, से गुणा किया गया है।
- विषम अभाज्य को घन (cube) के रूप में होना चाहिए (घात 3)।
- सूत्र (The Formula): वह संख्या $2^k \times (2^{k+1}-1)^3$ है।
लापता टुकड़े (The Missing Pieces): इन नंबरों के काम करने के लिए, दो "अतिरिक्त" भाजक जो ओवरफ्लो का कारण बनते हैं, वे हमेशा स्वयं अभाज्य संख्या ( $p$ ) और अभाज्य का वर्ग ( $p^2$ ) होते हैं।

यह क्यों महत्वपूर्ण है (गणितीय शब्दों में)

लेखकों ने केवल एक या दो उदाहरण नहीं खोजे; उन्होंने सिद्ध किया कि यही एकमात्र तरीका है जिससे ये नंबर अस्तित्व में रह सकते हैं।

यदि आप दो अभाज्य गुणनखंडों वाला एक 2-near perfect नंबर बनाने की कोशिश करते हैं (जहाँ विषम अभाज्य 3 या अधिक बार आता है), तो उसे अनिवार्य रूप से इस विशिष्ट पैटर्न का पालन करना होगा।
यदि मेर्सेन प्राइम्स की संख्या अनंत है (जो कि गणित में एक व्यापक रूप से माना जाने वाला लेकिन अपुष्ट तथ्य है), तो इन 2-near perfect नंबरों की संख्या भी अनंत है।

"विषम" मामला (The "Odd" Case)

यह शोध पत्र संक्षेप में दो विषम अभाज्य संख्याओं (बिना 2 के) से बने नंबरों को भी संबोधित करता है। उन्होंने एक सरल तथ्य सिद्ध किया: आप दो विषम अभाज्य संख्याओं के साथ 2-near perfect नंबर नहीं बना सकते। यह गणितीय रूप से असंभव है, जैसे कि एक वर्गाकार वृत्त बनाने की कोशिश करना।

सारांश

इन लेखकों को "लगभग परफेक्ट नंबरों" के मामले को सुलझाने वाले जासूस के रूप में सोचें।

संदिग्ध (The Suspects): 2 और एक विषम अभाज्य से बने नंबर।
अपराध (The Crime): "2-near perfect" होना (भाजकों का योग = $2n$ + 2 अतिरिक्त टुकड़े)।
फैसला (The Verdict): यदि विषम अभाज्य 3 या अधिक बार आता है, तो संदिग्ध अनिवार्य रूप से $2^k \times p^3$ के रूप में होगा, जहाँ $p$ एक विशेष मेर्सेन प्राइम है। "लापता टुकड़े" हमेशा $p$ और $p^2$ होते हैं।

उन्होंने "डेफिशिएंट" (deficient) संस्करण के मामले की भी जाँच की (जहाँ योग $2n$ से दो टुकड़ों से कम होता है) और पाया कि उनके लिए नियम अलग और सरल हैं।

संक्षेप में, उन्होंने इस विशिष्ट प्रकार के नंबरों पर किताब बंद कर दी, यह दिखाते हुए कि भले ही सूची अनंत हो सकती है, लेकिन पैटर्न कठोर और पूर्वानुमानित है।

तकनीकी सारांश: ठीक 2 अभाज्य गुणनखंडों वाले 2-निकट पूर्ण संख्याओं (2-Near Perfect Numbers) का पूर्ण अभिलक्षण

समस्या विवरण
यह शोध पत्र 2-निकट पूर्ण संख्याओं के वर्गीकरण को संबोधित करता है, जिन्हें धनात्मक पूर्णांक $n$ के रूप में परिभाषित किया गया है जो $\sigma(n) = 2n + d_1 + d_2$ को संतुष्ट करते हैं, जहाँ $d_1$ और $d_2$ , $n$ के दो भिन्न धनात्मक भाजक हैं। जबकि $k=1$ (1-निकट पूर्ण) और $k \ge 4$ ( $k$ -निकट पूर्ण) के मामले अच्छी तरह से समझे गए हैं, $k=2$ और $k=3$ के मामले अभी भी अधिक खुले (unresolved) हैं। विशेष रूप से, लेखक $n = 2^k p^m$ के रूप में संख्याओं पर ध्यान केंद्रित करते हैं, जहाँ $p$ एक विषम अभाज्य संख्या है और $m \ge 3$ है। यह कार्य ठीक दो भिन्न अभाज्य गुणनखंडों वाले सभी 2-निकट पूर्ण संख्याओं के वर्गीकरण को पूर्ण करता है, जो पूर्व परिणामों पर आधारित है जिन्होंने $m \in \{1, 2\}$ के मामलों को संभाला था।

कार्यप्रणाली
लेखक भाजक योग फलन $\sigma(n)$ के बीजगणितीय हेरफेर, समता तर्क (parity arguments), और $p$ -adic मूल्यांकन (valuation) के संयोजन वाले एक कठोर संख्या-सिद्धांत दृष्टिकोण का उपयोग करते हैं। प्रमाण रणनीति $2^{k+1}$ और $p$ के बीच संबंध के आधार पर दो प्राथमिक श्रेणियों में विभाजित है:

आधारभूत लेम्मा (Foundational Lemmas): लेखक यह स्थापित करते हैं कि ठीक दो अभाज्य गुणनखंडों वाली कोई भी विषम 2-निकट पूर्ण संख्या मौजूद नहीं है, जिससे समस्या केवल सम संख्याओं $n = 2^k p^m$ तक सीमित हो जाती है। वे मुख्य पहचान (identities) व्युत्पन्न करते हैं, जैसे कि $(2^{k+1} - p)(1 + p + \dots + p^{m-1}) = 1 + d_1 + d_2$ , और छोड़े गए भाजकों की समता का $m$ के घातांक के आधार पर विश्लेषण करते हैं।
स्थिति I ( $2^{k+1} \ge p^2 + 1$ ): लेखक इस असमिका (inequality) को सत्य मानते हैं और एक विरोधाभास व्युत्पन्न करते हैं। वे छोड़े गए भाजकों के निचले स्तर (lower bounds) स्थापित करते हैं, यह दिखाते हुए कि बड़ा छोड़ा गया भाजक $n/2^j$ होना चाहिए (जहाँ $2^j < p < 2^{j+1}$ )। प्रस्तावों की एक श्रृंखला के माध्यम से, वे घातांक $m$ को सीमित करते हैं, यह सिद्ध करते हुए कि $m$ विषम होना चाहिए और अंततः $m=3$ को मजबूर करता है। 2-adic मूल्यांकन और विभाज्यता बाधाओं (विशेष रूप से $p^3 \mid 2^{k+1}-1$ ) का विश्लेषण करके, वे यह प्रदर्शित करते हैं कि इस श्रेणी में कोई समाधान मौजूद नहीं है, यहाँ तक कि विशिष्ट संभावित उम्मीदवार $n = 2^5 \cdot 3^3$ के लिए भी।
स्थिति II ( $2^{k+1} < p^2 + 1$ ): इस श्रेणी में, लेखक छोड़े गए भाजकों के असंभव रूपों को समाप्त करते हैं। वे सिद्ध करते हैं कि न तो छोड़ा गया भाजक 2 की घात हो सकता है और न ही $p^2$ दोनों भाजकों को विभाजित कर सकता है। छोड़े गए भाजकों में $p$ के घातांकों का विश्लेषण करके, वे निष्कर्ष निकालते हैं कि भाजक $2^a p$ और $2^c p^d$ के रूप में होने चाहिए। आगे के बीजगणितीय हेरफेर से $d = m-1$ और अंततः $m=3$ अनिवार्य होता है। अंत में, वे सिद्ध करते हैं कि $p$ को $2^{k+1}-1$ के रूप में एक मेर्सिन अभाज्य (Mersenne prime) होना चाहिए।

मुख्य योगदान और परिणाम
यह शोध पत्र $m \ge 3$ के साथ $n = 2^k p^m$ के रूप में 2-निकट पूर्ण संख्याओं का पूर्ण वर्गीकरण प्रदान करता है। मुख्य परिणाम प्रमेय 3 (Theorem 3) है, जो कहता है:

यदि $n = 2^k p^m$ $n = 2^{k} p^{m}$ एक 2-निकट पूर्ण संख्या है जहाँ $p$ $p$ एक विषम अभाज्य संख्या है और $m \ge 3$ $m \geq 3$ है, तो:
- $m = 3$ ,
- $p = 2^{k+1} - 1$ (एक मेर्सिन अभाज्य),
- छोड़े गए भाजक $p$ और $p^2$ हैं।

यह परिणाम यह निहित करता है कि ऐसी संख्याओं की अनंत उपस्थिति मेर्सिन अभाज्य संख्याओं की अनंत उपस्थिति के अस्तित्व के बराबर है। फलस्वरूप, यह शोध पत्र कन्जेक्चर 1 (Conjecture 1) को खारिज करता है (आर्यन आदि द्वारा प्रस्तावित), जिसने परिकल्पना की थी कि $m \ge 3$ के लिए $2^k p^m$ के रूप में केवल परिमित (finitely many) 2-निकट पूर्ण संख्याएँ मौजूद हैं।

$m=1$ और $m=2$ को संभालने वाले पिछले कार्य के साथ मिलकर, यह ठीक दो भिन्न अभाज्य गुणनखंडों वाले सभी 2-निकट पूर्ण संख्याओं का पूर्ण अभिलक्षण (complete characterization) प्रदान करता है।

महत्व
लेखक कहते हैं कि यह कार्य दो अभाज्य गुणनखंडों वाले 2-निकट पूर्ण संख्याओं के वर्गीकरण की समस्या को हल करता है, जो पिछले शोध द्वारा छोड़ी गई एक रिक्तता थी। मेर्सिन अभाज्य संख्याओं की व्यापक रूप से मानी जाने वाली अनंतता के आधार पर, इन संख्याओं की परिमितता के कन्जेक्चर को गलत सिद्ध करके, यह शोध पत्र इनकी सघनता (density) और संरचना को स्पष्ट करता है। लेखक यह भी उल्लेख करते हैं कि उनके परिणामों को Lean 4 प्रूफ असिस्टेंट और Mathlib लाइब्रेरी का उपयोग करके औपचारिक रूप से सत्यापित किया गया है, जो जटिल बीजगणितीय व्युत्पत्तियों की शुद्धता सुनिश्चित करता है।

भावी दिशाएँ
शोध पत्र भविष्य की समस्याओं को रेखांकित करते हुए समाप्त होता है, जिसमें तीन भिन्न अभाज्य गुणनखंडों वाली 2-निकट पूर्ण संख्याओं का वर्गीकरण, 3-निकट पूर्ण संख्याओं का अध्ययन, और "हाइब्रिड" रूपों (जहाँ भाजकों को जोड़ा और घटाया दोनों जाता है, $\sigma(n) = 2n + d_1 - d_2$ ) की जांच शामिल है।