🔢 mathematics

Bounded-box reductions in the Subbarao-Warren problem for unitary perfect numbers

यह शोध पत्र एक तीन-फ़िल्टर प्रमाण (three-filter certificate) के माध्यम से पांच छद्म कर्नों (impostor kernels) को समाप्त करने के लिए एक बाउंडेड-बॉक्स रिडक्शन (bounded-box reduction) का उपयोग करते हुए और शेष सहायक सेट $H_{even}$ के लिए सत्यापित परिमित सीमाओं (verified finite frontiers) को प्रदान करते हुए, यूनिटरी परफेक्ट नंबर्स पर सुब्बाराव-वॉरेन समस्या को आगे बढ़ाता है, जिससे खोज को साइक्लोटोमिक मानों से जुड़े एक विशिष्ट विभाजक-स्तर की समस्या तक सीमित कर दिया गया है, हालांकि अभी तक परिमितता सिद्ध नहीं हुई है।

मूल लेखक: Tom Maciejewski

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

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

CC BY 4.0

मूल लेखक: Tom Maciejewski

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

बड़ी तस्वीर: एक "परफेक्ट" नंबर की खोज

कल्पना कीजिए कि आप एक बहुत ही विशेष प्रकार के नंबर की तलाश कर रहे हैं, जिसे यूनिटरी परफेक्ट नंबर (UPN) कहा जाता है।

नियम: एक नंबर "परफेक्ट" तब होता है जब उसके विशेष "यूनिटरी" हिस्सों का योग ठीक उस नंबर के दोगुने के बराबर होता है।
रहस्य: गणितज्ञों ने अब तक पूरे इतिहास में ऐसे केवल पाँच नंबर खोजे हैं (सबसे बड़ा नंबर 24 अंकों वाला एक विशाल नंबर है)।
सवाल: क्या ऐसे और भी नंबर हैं? या क्या यह पाँच की सूची पूरी है?

यह शोध पत्र एक विशाल, हाई-टेक खोज मिशन है ताकि यह साबित किया जा सके कि कोई नए नंबर मौजूद नहीं हैं, या कम से कम खोज को इतना सीमित कर दिया जाए कि एक नया नंबर मिलना लगभग असंभव हो जाए।

रणनीति: "बाउंडेड बॉक्स" और "इम्पोस्टर्स" (छद्म रूप)

लेखकों ने, टॉम मैसीजेव्स्की के नेतृत्व में, अंदाज़ा लगाना बंद कर दिया और एक विशिष्ट "बॉक्स" के नियमों के भीतर हर संभावित उम्मीदवार की व्यवस्थित रूप से जाँच करने का निर्णय लिया।

एक UPN बनाने को एक घर बनाने की तरह समझें। आप एक बीज (एक विशिष्ट विषम संख्या) से शुरुआत करते हैं और उसमें ईंटें (अभाज्य गुणनखंड/प्राइम फैक्टर्स) जोड़ते हैं।

ज्ञात घर: हम दो विशिष्ट "ब्लूप्रिंट्स" (जिन्हें कर्नेल कहा जाता है) के बारे में जानते हैं जिन्होंने सफलतापूर्वक ज्ञात परफेक्ट घरों (विशेष रूप से नंबर 90 और विशाल 5वें नंबर) का निर्माण किया।
इम्पोस्टर्स (छद्म रूप): लेखकों ने एक कंप्यूटर सिमुलेशन चलाया यह देखने के लिए कि क्या कोई अन्य ब्लूप्रिंट्स थे जो ऐसे दिखते थे जैसे वे एक परफेक्ट घर बना सकते हैं, लेकिन अभी तक खोजे नहीं गए हैं। उन्हें पाँच "इम्पोस्टर" ब्लूप्रिंट्स मिले। ये आशाजनक दिखते हैं लेकिन, इस पेपर के अनुसार, वास्तव में नकली हैं।

लक्ष्य: यह साबित करना कि ये पाँच इम्पोस्टर ब्लूप्रिंट्स वास्तव में कभी भी एक परफेक्ट घर नहीं बना सकते।

तीन फिल्टर: वे नकली लोगों को कैसे पकड़ते हैं

इम्पोस्टर्स को नकली साबित करने के लिए, लेखकों ने एक तीन-चरणीय सुरक्षा चेकपॉइंट (एक "सर्टिफिकेट") बनाया जिसे प्रत्येक उम्मीदवार नंबर को पास करना होगा। यदि कोई नंबर किसी भी चरण में विफल रहता है, तो उसे बाहर कर दिया जाता है।

फिल्टर Z (Zsigmondy गेट):
- उपमा: कल्पना कीजिए कि एक बाउंसर आईडी चेक कर रहा है। यह फिल्टर चेक करता है कि क्या शामिल नंबरों में कोई ऐसा "प्रिमिटिव" अभाज्य गुणनखंड है जो बहुत पुराना या बहुत नया है जिससे इसकी अनुमति नहीं है। यदि गणित (ज़िग mondy के प्रसिद्ध प्रमेय के अनुसार) मेल नहीं खाता है, तो उम्मीदवार को तुरंत बाहर कर दिया जाता है।
- परिणाम: इसने लगभग 495 इम्पोस्टर्स को पकड़ा।
फिल्टर N (Non-3-Higgs विटनेस):
- उपमा: यह एक बैकग्राउंड चेक है। पेपर में "3-Higgs प्राइम्स" नामक एक विशेष क्लब को परिभाषित किया गया है। यदि किसी नंबर के वंश वृक्ष (फैमिली ट्री) में कोई "खराब सेब" (एक अभाज्य संख्या जो 3-Higgs क्लब में नहीं है) शामिल है, तो पूरे नंबर को अयोग्य घोषित कर दिया जाता है।
- परिणाम: यह सबसे प्रभावी फिल्टर था, जिसने 1,614 इम्पोस्टर्स को पकड़ा। इसने उन नंबरों पर भी काम किया जिनका अभी तक पूरी तरह से गुणनखंड नहीं किया गया था, बस उनके आंशिक फैमिली ट्री में एक "खराब सेब" ढूंढकर।
फिल्टर O (2-Adic बजट ओवरशूट):
- उपमा: कल्पना कीजिए कि आपके पास एक निर्माण परियोजना के लिए एक सख्त बजट है। जैसे-जैसे आप और ईंटें (फैक्टर्स) जोड़ते हैं, आप एक विशिष्ट मुद्रा (2 की घातों) में "लागत" की गणना करते हैं। यदि ईंटों की लागत बीज संख्या द्वारा अनुमत बजट से अधिक हो जाती है, तो परियोजना असंभव है।
- परिणाम: इसने शेष 10 जिद्दी इम्पोस्टर्स को पकड़ा जिन्हें अन्य फिल्टरों ने छोड़ दिया था।

फैसला: जब तक उन्होंने 10,000 के विशाल स्तर तक नंबरों की जाँच पूरी की, पाँचों इम्पोस्टर ब्लूप्रिंट्स को फर्जी साबित कर दिया गया। केवल वे दो ब्लूप्रिंट ही बचे हैं जो काम कर सकते हैं क्योंकि वे पहले से ज्ञात हैं।

शेष रहस्य: "इवन" सेट ( $H_{even}$ )

भले ही उन्होंने इम्पोस्टर्स को हटा दिया, लेकिन उनके पास एक पेचीदा समूह बचा है, जिसे $H_{even}$ कहा जाता है।

ये वे नंबर हैं जहाँ प्रत्येक एकल अभाज्य गुणनखंड "3-Higgs" बैकग्राउंड चेक पास करता है।
लेखक संदेह करते हैं कि यह समूह परिमित (finite) है (यानी यह एक निश्चित बिंदु के बाद बढ़ना बंद हो जाता है), लेकिन वे अभी तक इसे साबित नहीं कर सके हैं।
उन्होंने 50,000 तक एक कठोर गणना की और पाया कि इस समूह में अधिकतम 272 उम्मीदवार बचे हैं।
उन्होंने सिद्ध किया कि यदि यह समूह अनंत है, तो इसे बहुत "पतला" (बहुत विरल) होना होगा, लेकिन वे यह साबित नहीं कर सके कि यह पूरी तरह से रुक जाता है।

"मिसिंग लिंक": इसे पूरा करना कठिन क्यों है

पेपर स्वीकार करता है कि इसने अभी तक पूरा रहस्य हल नहीं किया है। यहाँ अंतिम बाधा है:

यह साबित करने के लिए कि कोई और परफेक्ट नंबर नहीं हैं, उन्हें यह साबित करने की आवश्यकता है कि बहुत बड़े नंबरों के लिए, गणित वास्तव में काम नहीं कर सकता।
उन्होंने एक विशिष्ट गणितीय "गैप" (अंतराल) की पहचान की है। यह वैसा ही है जैसे यह जानना कि एक पुल ट्रक का भार सहने के लिए बहुत कमजोर है, लेकिन आपके पास वह इंजीनियरिंग फॉर्मूला नहीं है जो यह साबित कर सके कि हर संभावित ट्रक के आकार के लिए यह ठीक कहाँ टूटता है।
उन्होंने एक नया अनुमान (मजबूत साक्ष्य पर आधारित एक अनुमान) प्रस्तावित किया है जिसे "डिवाइजर लॉग-मास कंजेक्चर" कहा जाता है। यदि यह अनुमान सत्य है, तो रहस्य सुलझ जाएगा। यदि यह गलत है, तो खोज जारी रहेगी।

परिणामों का सारांश

इम्पोस्टर्स को हटाया गया: उन्होंने कठोरता से सिद्ध किया कि नए परफेक्ट नंबरों के लिए पाँच "नकली" ब्लूप्रिंट टेस्ट किए गए दायरे के भीतर असंभव हैं।
खोज का क्षेत्र छोटा हुआ: उन्होंने समस्या को लगभग 272 "संदिग्ध" नंबरों की एक बहुत छोटी, विशिष्ट सूची की जाँच करने तक सीमित कर दिया।
पुनरुत्पादकता (Reproducibility): उन्होंने अपना सारा कोड, डेटा और सत्यापन लॉग जारी किया ताकि कोई भी परीक्षण को फिर से चला सके और स्वयं परिणामों को देख सके।
द फाइनल बॉस: उन्होंने यह साबित नहीं किया कि अनुमान सत्य है, लेकिन उन्होंने समस्या को एक सटीक गणितीय प्रश्न में बदल दिया कि अभाज्य संख्याएँ विशिष्ट बीजगणितीय सूत्रों में कैसे वितरित होती हैं।

संक्षेप में: यह शोध पत्र एक बड़े पैमाने पर सफाई अभियान है। उन्होंने फर्श को साफ किया, सभी नकली सुरागों को बाहर फेंका, और गणितज्ञों के पास जांच के लिए धूल का एक बहुत छोटा, विशिष्ट ढेर छोड़ दिया। वे जानते हैं कि वह धूल क्या है; उन्हें बस एक नया उपकरण चाहिए जिससे यह साबित हो सके कि वह हीरा नहीं है।

तकनीकी सारांश: यूनिटरी परफेक्ट नंबर्स (Unitary Perfect Numbers) के लिए सबबराव-वॉरेन समस्या में बाउंडेड-बॉक्स रिडक्शन (Bounded-Box Reductions)

समस्या का विवरण
यह शोध पत्र यूनिटरी परफेक्ट नंबर्स (UPNs) से संबंधित सबबराव-वॉरेन समस्या को संबोधित करता है। एक धनात्मक पूर्णांक $n$ एक UPN है यदि $\sigma^*(n) = 2n$ हो, जहाँ $\sigma^*$ यूनिटरी भाजकों (unitary divisors) का योग है। वर्तमान में केवल पाँच उदाहरण ज्ञात हैं: 6, 60, 90, 87360, और 146361946186458562560000। सख्त अनुमान (strict conjecture) यह है कि ये पाँच ही एकमात्र UPN हैं।

एक UPN $n = 2^a \prod p_i^{e_i}$ (जहाँ $p_i$ विषम हैं) के लिए परिभाषित समीकरण "फुल बैलेंस" (full balance) है:
$(2^a + 1) \prod (p_i^{e_i} + 1) = 2^{a+1} \prod p_i^{e_i}$
यहाँ $2^a + 1$ एक "सीड फैक्टर" (seed factor) के रूप में कार्य करता है जो एक डिपेंडेंसी कैस्केड (dependency cascade) शुरू करता है। UPN का प्रत्येक विषम अभाज्य विभाजक एक "3-Higgs" अभाज्य (एक ऐसा अभाज्य $p$ जिसके $p-1$ के प्रत्येक अभाज्य गुणनखंड का अभाज्य गुणनखंड भी 3-Higgs है, जिसमें $p-1$ के अभाज्य गुणनखंडन में घातांक 3 द्वारा सीमित हैं) होना चाहिए। यह शोध पत्र इस बात की जांच करता है कि क्या नए UPNs अस्तित्व में आ सकते हैं, इसके लिए "इम्पोस्टर कर्नेल्स" (impostor kernels)—जो विषम डिपेंडेंसी ग्राफ में स्रोत घटक हैं लेकिन ज्ञात उदाहरणों का हिस्सा नहीं हैं—का विश्लेषण करके, जो प्रारंभिक संरचनात्मक बाधाओं को संतुष्ट करते हैं।

कार्यप्रणाली (Methodology)
लेखक कठोर कम्प्यूटेशनल गणना (rigorous computational enumeration) और विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) के संयोजन का उपयोग करता है, जिसे "बाउंडेड-बॉक्स" दृष्टिकोण और एक तीन-फ़िल्टर प्रमाणन प्रणाली (three-filter certification system) के रूप में संरचित किया गया है।

बाउंडेड एन्यूमरेशन बॉक्स ( $B$ ): खोज को एक विशिष्ट डोमेन तक सीमित किया गया है: अभाज्य $p \le 2000$ , घातांक $e \le 6$ , $p^e \le 10^9$ , और आकार $\le 6$ के स्ट्रॉन्गली कनेक्टेड कंपोनेंट्स (SCCs)। इस बॉक्स के भीतर, लेखक सोर्स-कम्पैटिबल (source-compatible) SCCs को सूचीबद्ध करता है।
तीन-फ़िल्टर प्रमाणपत्र (Three-Filter Certificate): प्रत्येक संभावित कर्नेल और सीड घातांक $a$ $a$ के लिए, शोध पत्र एक UPN की संभावना को समाप्त करने के लिए तीन कठोर फ़िल्टर लागू करता है:
- फ़िल्टर Z (Zsigmondy/Higgs): ज़िग mond (Zsigmondy) प्रमेय का उपयोग करके उन घातांक बाधाओं का पता लगाना जहाँ प्रिमिटिव अभाज्य विभाजक (primitive prime divisors) $p^e+1$ के 3-Higgs बाधाओं का उल्लंघन करते हैं।
- फ़िल्टर N (Non-3-Higgs Witness): $a$ के ऐसे विभाजक $m$ की जाँच करना (जहाँ $a/m$ विषम है)। यदि $2^m+1$ में एक गैर-3-Higgs अभाज्य गुणनखंड है, तो सीड $2^a+1$ इस गुणनखंड को विरासत में प्राप्त करता है, जो उम्मीदवार को अमान्य कर देता है। यह फ़िल्टर FactorDB के आंशिक गुणनखंडन और रिकर्सिव प्रैट-ट्री (recursive Pratt-tree) सत्यापन का उपयोग करता है।
- फ़िल्टर O (2-adic Budget Overshoot): विषम घटकों द्वारा आवश्यक संचयी 2-adic मूल्यांकन $v_2$ की गणना करता है। यदि $\sum v_2(p^e+1)$ उपलब्ध बजट $a+1$ से अधिक हो जाता है, तो उम्मीदवार को हटा दिया जाता है।
$H_{even}$ के सेट का विश्लेषण: शोध पत्र $H_{even}$ को उन सम पूर्णांकों $m$ के सेट के रूप में परिभाषित करता है कि प्रत्येक अभाज्य विभाजक $2^m+1$ के लिए 3-Higgs है। एक गैर-स्क्वायरफ्री (nonsquarefree) विषम भाग वाले नए UPN का अस्तित्व $H_{even}$ की परिमितता (finiteness) से जुड़ा है। लेखक समस्या को "प्राइम केस" ( $m=2p$ ) में कम करता है और ऑरिफ़ुलियन गुणनखंडन (Aurifeuillean factorizations) और गहन प्रैट-ट्री डिसेंट (Pratt-tree descents) का उपयोग करके इन उम्मीदवारों के संरचनात्मक गुणों का विश्लेषण करता है।

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

इम्पोस्टर कर्नेल्स का उन्मूलन (Elimination of Impostor Kernels): बाउंडेड बॉक्स $B$ $B$ के भीतर, लेखक पाँच "इम्पोस्टर कर्नेल्स" (दो ज्ञात कर्नेल्स 32 और 54 के अतिरिक्त) की पहचान करता है जो प्रारंभिक सस्ते फ़िल्टर्स को पास करते हैं। तीन-फ़िल्टर प्रमाणपत्र का उपयोग करते हुए, शोध पत्र यह सिद्ध करता है कि $1 \le a \le 10,000$ $1 \leq a \leq 10, 000$ के लिए सभी सीड घातांकों के लिए, कोई UPN मौजूद नहीं है जिसका विषम-घटक संरचना इन इम्पोस्टर कर्नेल्स को रिफाइन करती हो।
- सांख्यिकी: इस रेंज के 2,119 उम्मीदवारों में से, 495 को फ़िल्टर Z द्वारा, 1,614 को फ़िल्टर N द्वारा, और 10 को फ़िल्टर O द्वारा हटाया गया।
$H_{even}$ पर कठोर सीमाएँ (Rigorous Bounds on $H_{even}$ ): शोध पत्र $H_{even}$ $H_{e v e n}$ के सेट के लिए सत्यापित सीमाएँ प्रदान करता है:
- $|H_{even} \cap [2, 40000]| \le 201$ (191 अनडिसाइडेड उम्मीदवारों के साथ)।
- $|H_{even} \cap [2, 50000]| \le 272$ (262 अनडिसाइडेड उम्मीदवारों के साथ)।
- ये सीमाएँ कठोर हैं, जो बड़े विटनेस प्राइम्स (3053 अंकों तक) के लिए APR-CL प्राइमैलिटी वेरिफिकेशन ट्रांसक्रिप्ट्स और आंशिक गुणनखंडन के रूढ़िवादी हैंडलिंग पर निर्भर करती हैं।
संरचनात्मक न्यूनीकरण (Structural Reductions):
- थ्योरम 7: सिद्ध करता है कि $H_{even}$ परिमित है यदि और केवल यदि $H_{even}^{prime} = \{2p \in H_{even} : p \text{ एक अभाज्य है}\}$ का उपसमुच्चय परिमित है। इसके अलावा, $|H_{even}| \le 4^{|H_{even}^{prime}|}$ ।
- थ्योरम 21: $H_{even}$ के लिए एक बिना शर्त "पावर-सेविंग थिननेस" (power-saving thinness) सीमा स्थापित करता है (अर्थात, गणना $O(X^{1-\eta})$ के रूप में बढ़ती है), हालांकि यह परिमितता को सिद्ध नहीं करता है।
विश्लेषणात्मक बाधा की पहचान (Identification of the Analytic Obstacle): शोध पत्र परिमितता को सिद्ध करने वाली सटीक बाधा को अलग करता है। जबकि फोर्ड (Ford) का प्रमेय 3-Higgs अभाजों के लिए एक वैश्विक घनत्व सीमा प्रदान करता है, यह साइक्लोटोमिक मानों $\Phi_{4p}(2)$ के प्रिमिटिव विभाजकों के पैमाने पर अपर्याप्त है। शेष कार्य एक विभाजक-स्तरीय समस्या है: यह सिद्ध करना कि बड़े $p$ के लिए, $2^{2p}+1$ के प्रिमिटिव अभाज्य विभाजक सभी 3-Higgs नहीं हो सकते।

महत्व और दावे

शोध पत्र स्पष्ट रूप से कहता है कि यह सख्त सबबराव-वॉरेन अनुमान (कि केवल पाँच UPN मौजूद हैं) को सिद्ध नहीं करता है। इसके बजाय, यह एक "बाउंडेड-बॉक्स एलिमिनेशन" और एक "वेरिफाइड फाइनाइट फ्रंटियर" प्राप्त करता है।

एक एकल विश्लेषणात्मक प्रश्न में न्यूनीकरण: यह कार्य नए UPNs को खोजने (बाउंडेड बॉक्स के भीतर) को $H_{even}$ की परिमितता में कम करता है, जो बदले में $\Phi_{4p}(2)$ के अभाज्य विभाजकों के व्यवहार पर निर्भर करता है।
भविष्य के कार्य के लिए सटीक लक्ष्य: लेखक ने "मिसिंग थ्योरम" (missing theorem) की पहचान की है जो $\Phi_{4p}(2)$ के प्रिमिटिव अभाज्य विभाजकों के लिए एक विभाजक-स्तरीय इक्विडिस्ट्रीब्यूशन (equidistribution) या लॉग-मास बाउंड है। विशेष रूप से, शोध पत्र कन्जेक्चर 23 (हाइब्रिड सेमग्रुप-फ्रिएबल शिफ्टेड-प्राइम कन्जेक्चर) और कन्जेक्चर 29 (डिविजर मोड-16 इक्विडिस्ट्रीब्यूशन) को आवश्यक शर्तों के रूप में तैयार करता है जो इस समस्या को बंद कर सकते हैं।
पुनरुत्पादकता (Reproducibility): शोध पत्र इस बात पर जोर देता है कि सभी कम्प्यूटेशनल परिणाम पुनरुत्पादित योग्य हैं। यह एक फैक्टर कैश, APR-CL वेरिफिकेशन ट्रांसक्रिप्ट्स, और पायथन स्क्रिप्ट्स (impostor_certificate.py, verify_Heven_rigorous.py) प्रदान करता है ताकि इम्पोस्टर कर्नेल्स के उन्मूलन और $H_{even}$ की सीमाओं को सत्यापित किया जा सके।

संक्षेप में, यह शोध पत्र एक परिभाषित खोज स्थान के भीतर 10,000 के सीड घातांक तक नए UPNs के सभी संभावित "इम्पोस्टर" स्रोतों को कठोरता से समाप्त करता है और शेष खुली समस्या को साइक्लोटोमिक पॉलिनोमिअल्स के अभाज्य विभाजकों के संबंध में एक विशिष्ट, सुपरिभाषित विश्लेषणात्मक अनुमान में बदल देता है।