Every natural number is a sum of distinct semiprime unit fractions

तकनीकी सारांश: "प्रत्येक प्राकृतिक संख्या विशिष्ट अर्ध-अभाज्य (Semiprime) इकाई भिन्नों का योग है"

समस्या विवरण
यह शोध पत्र प्रतिबंधित हरों (denominators) वाले एर्दोश-ग्राहम (Erdős–Graham) समस्या के एक विशिष्ट मामले को संबोधित करता है। सामान्य समस्या यह पूछती है कि क्या एक वर्गमुक्त (squarefree) हर $b$ के लिए, प्रत्येक परिमेय $a/b$ को अलग-अलग इकाई भिन्नों $1/n_i$ के योग के रूप में दर्शाया जा सकता है, जहाँ प्रत्येक $n_i$ ठीक $\omega$ अलग-अलग अभाजों का गुणनफल है।

• संदर्भ: $\omega \ge 3$ के लिए, पूर्णांक मामले ($b=1$) को 2015 में बटलर, एर्दोश और ग्राहम (BEG15) द्वारा सिद्ध किया गया था। उन्होंने अनुमान लगाया था कि $\omega = 2$ (अर्ध-अभाज्य हर) के लिए भी यह परिणाम सत्य है, लेकिन वे इसे सिद्ध नहीं कर सके, क्योंकि उन्होंने नोट किया कि उनकी आगमन (induction) को चलाने वाला कॉम्बिनेटोरियल "फीड" (feed) $\omega$ के घटने के साथ क्षीण (degenerate) हो जाता है।
• लक्ष्य: यह शोध पत्र $\omega = 2$ के लिए पूर्णांक मामले ($b=1$) को हल करता है, यह सिद्ध करते हुए कि प्रत्येक प्राकृतिक संख्या $m \ge 1$ अर्ध-अभाज्य हरों के अलग-अलग इकाई भिन्नों का एक परिमित योग है। यह आगे $a/b$ (वर्गमुक्त $b$ के साथ) के लिए एक स्पष्ट सीमा (threshold) से ऊपर के परिमेय मामलों तक विस्तार करता है और $\omega = 3$ के लिए पूर्ण परिमेय मामले को सिद्ध करता है।

कार्यप्रणाली
प्रमाण BEG15 द्वारा स्थापित आगमन ढांचे को अनुकूलित और संशोधित करता है। मुख्य तंत्र प्रिमोरियल (primorials) से प्राप्त विशिष्ट "एटम" (atom) सेटों के उपसमुच्चय योगों (subset sums) के विश्लेषण पर आधारित है।

1. उपसमुच्चय योगों में न्यूनीकरण (Reduction to Subset Sums):
   समस्या को यह दिखाने में न्यूनीकृत किया जाता है कि एक प्राकृतिक संख्या $m$ के लिए, एक $N$ मौजूद है कि $P_N m$ (जहाँ $P_N$, $N$-वाँ प्रिमोरियल है) सेट $D_2(N) = \{ P_N / (p_i p_j) : 1 \le i < j \le N \}$ के उपसमुच्चय योगों के सेट $L_2(N)$ में निहित है।

2. आगमन की रूपरेखा (The Induction Skeleton):
   प्रमाण $L_2(N)$ में एक "केंद्रीय ब्लॉक" $[\lceil \sigma_2(N)/6 \rceil, \lfloor 5\sigma_2(N)/6 \rfloor]$ स्थापित करने पर निर्भर करता है, जहाँ $\sigma_2(N)$, $D_2(N)$ के तत्वों का योग है।

• आधार मामला (Base Case): 45 एटमों पर उपसमुच्चय-योग पहुँच (subset-sum reachability) की जाँच करने के लिए एक पैक्ड बिटसेट का उपयोग करके $N_0 = 10$ के लिए गणनात्मक रूप से सत्यापित किया गया।
• आगमन चरण ($N \to N+1$): चरण विभाजन पुनरावृत्ति (splitting recursion) $L_2(N+1) = L_1(N) + p_{N+1} L_2(N)$ का उपयोग करता है, जहाँ $L_1(N)$ एकल-अभाज विभाजकों के इकाई भिन्नों का उपसमुच्चय योगों का सेट है (जिसे "फीड" कहा जाता है)।

3. $\omega=2$ की बाधा को पार करना:
   $\omega=3$ के मामले में, फीड $L_1(N)$ एक समृद्ध सेट है। $\omega=2$ के मामले में, फीड एकल अभाजों के उपसमुच्चय योगों में सिमटकर "पतला" (thin) हो जाता है। BEG15 की विधि यहाँ विफल रही क्योंकि उनके "रन्स-कनेक्ट" (runs-connect) तर्क को एक अवशेष-पूर्ण (residue-complete) आंतरिक सेट की आवश्यकता थी जो इस क्षीण मामले में मौजूद नहीं था।

• नया अंतर्दृष्टि (New Insight): लेखक देखते हैं कि $\omega=2$ पुनरावृत्ति में, कवरिंग विंडो (एकल फीड तत्व द्वारा लक्षित मानों का अंतराल) हमेशा पूरे फीड रेंज के कम से कम बराबर होती है। फलस्वरूप, विंडो को फीड के एक छोर (0 या $\sigma_1(N)$) को अवश्य समाहित करना चाहिए।
• रणनीति: फीड की आंतरिक संरचना को बहाल करने के बजाय, प्रमाण फीड का उपयोग सीधे अवशेष-पूर्ण वस्तु के रूप में करता है। आगमन तब सफल होता है जब फीड नए अभाज $q = p_{N+1}$ के प्रत्येक अवशेष वर्ग (residue class) को "पर्याप्त जल्दी" (एक विशिष्ट स्ट्रिप लंबाई के भीतर) प्राप्त कर लेता है।

4. विश्लेषणात्मक और गणनात्मक सत्यापन:
   प्रमाण कठिनाई को एक एकल असमानता में न्यूनीकृत करता है: $Y_0(N) \le \beta(N)$, जहाँ $Y_0(N)$, फीड की अवशेष-पूर्णता के लिए प्रारंभ त्रिज्या (onset radius) है, और $\beta(N)$ उपलब्ध स्ट्रिप लंबाई है।

• सीमित रेंज ($10 \le N \le 299$): अवशेष समूह $\mathbb{Z}_q$ पर डायक्स्ट्रा-शैली (Dijkstra-style) के शॉर्टेस्ट-पाथ एल्गोरिदम का उपयोग करके सटीक पूर्णांक अंकगणित के माध्यम से सत्यापित किया गया।
• विश्लेषणात्मक पूंछ (Analytic Tail) ($N \ge 300$): अभाज अंतराल (prime gaps) के प्रारंभिक चेबिशेव बाउंड्स (Chebyshev bounds) और एकल अभाज के व्युत्क्रमों के योग की एकदिष्टता (monotonicity) का उपयोग करके सिद्ध किया गया।
• अवशेष पूर्णता (Residue Completeness): उन छोटे $N$ के लिए जहाँ ओल्सन का योग प्रमेय (Olson's addition theorem) कड़ाई से लागू नहीं होता है, अवशेष पूर्णता को गणनात्मक रूप से सत्यापित किया गया है।

मुख्य परिणाम

1. प्रमेय 1.2 (पूर्णांक मामला): प्रत्येक प्राकृतिक संख्या $m \ge 1$ को अर्ध-अभाज्य हरों के अलग-अलग इकाई भिन्नों के एक परिमित योग के रूप में लिखा जा सकता है। प्रमाण गैर-रचनात्मक (non-constructive) और प्रभावी है लेकिन हरों के आकार पर विशाल सीमाएँ प्रदान करता है (लगभग $N \sim \exp(\exp(O(\sqrt{m})))$)।
2. परिमेय विस्तार (प्रमेय 7.1 और 7.4): किसी भी वर्गमुक्त हर $b$ के लिए, प्रत्येक परिमेय $a/b \ge \min\{B_{N_b}/6, 1/5\}$ को अलग-अलग अर्ध-अभाज्य इकाई भिन्नों के योग के रूप में दर्शाया जा सकता है। यहाँ $B_{N_b}$, $b$ के सबसे बड़े अभाज गुणनखंड पर निर्भर करता है।
3. परिमेय $\omega=3$ प्रमेय (प्रमेय 8.1): प्रत्येक धनात्मक परिमेय $a/b$ जिसका हर वर्गमुक्त है, स्पहेनिक (sphenic) हरों (तीन अलग-अलग अभाजों के गुणनफल) के अलग-अलग इकाई भिन्नों का एक योग है। यह एक "लिफ्ट" तर्क द्वारा प्राप्त किया गया है: लक्ष्य को एक बड़े अभाज $r$ से गुणा करके उसे $\omega=2$ प्रमेय की प्रतिनिधित्व योग्य सीमा में लाना, फिर $r$ से विभाजित करना।
4. सामान्य $\omega \ge 3$ (अनुवर्ती 8.6): अवरोह (descent) द्वारा, परिणाम सभी $\omega \ge 3$ के लिए विस्तारित होता है।

महत्व और खुले प्रश्न

• एक अनुमान का समाधान: यह शोध पत्र $\omega=2$ के पहले पूर्ण पूर्णांक मामले का समाधान प्रदान करता है, जो BEG15 द्वारा एक अनुमान के रूप में छोड़ा गया था। यह दर्शाता है कि "पतले फीड" (thin feed) शासन को आंतरिक संरचना के बजाय एंडपॉइंट कवरेज पर निर्भर होकर अनुकूलित करके संभाला जा सकता है।
• अनकंडीशनल परिणाम: सभी परिणाम अनकंडीशनल हैं, जो प्रारंभिक संख्या सिद्धांत और स्वतंत्र स्क्रिप्टों द्वारा सत्यापित परिमित गणनाओं पर निर्भर हैं।
• शेष खुला कोर: शोध पत्र $\omega=2$ समस्या के एकमात्र शेष खुले मामले की पहचान करता है: $\min\{B_{N_b}/6, 1/5\}$ थ्रेशोल्ड से नीचे के परिमेय $a/b$।
  • लेखक इसे एक एकल स्पष्ट अनुमान तक न्यूनीकृत करते हैं: गैप-फ्री फ्लोर अनुमान (Gap-Free Floor Conjecture - GFF), जो यह दावा करता है कि अर्ध-अभाज्य उपसमुच्चय-योग सेट का गैप-फ्री फ्लोर $N \to \infty$ होने पर शून्य की ओर बढ़ता है। यदि सत्य हुआ, तो यह सभी परिमेय संख्याओं के लिए समस्या को हल कर देगा।
• क्षेत्राधिकार (Scope): शोध पत्र स्पष्ट रूप से कहता है कि यह उन हरों को संबोधित नहीं करता जिनमें वर्ग कारक (square factors) होते हैं (जो इन प्रतिबंधों के तहत प्रतिनिधित्व करना असंभव है) या निश्चित परिमित सेटों का उपयोग करके प्रतिनिधित्व को संबोधित नहीं करता है। ध्यान पूरी तरह से अर्ध-अभाज्य व्युत्क्रमों के सार्वभौमिक योगात्मक आधार (universal additive basis) पर केंद्रित है।

इस कार्य को एक "इंजन" के रूप में वर्णित किया गया है जो प्रमाण को वर्तमान विधियों द्वारा संभव सीमा तक ले जाता है, और उस विशिष्ट संरचनात्मक कठिनाई (गैप-फ्री फ्लोर) को अलग करता है जो $\omega=2$ के मामले में छोटे परिमेय संख्याओं के लिए पूर्ण समाधान को रोकता है।