🔢 mathematics

On integers of the form $p+F_{2^k}+F_q$

यह शोधपत्र यह सिद्ध करता है कि एक अभाज्य संख्या, दो की घात वाले सूचकांक वाली एक फाइबोनैची संख्या और एक अन्य अभाज्य संख्या के योग के रूप में निरूपित होने वाले पूर्णांकों का समुच्चय धनात्मक निचला अनंत साहचर्य घनत्व (positive lower asymptotic density) रखता है, जो कि उन पूर्णांकों के समुच्चय के लिए भी एक गुण है जिन्हें इस रूप में निरूपित नहीं किया जा सकता है।

मूल लेखक: Yang Gao

प्रकाशित 2026-06-30

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

CC BY 4.0

मूल लेखक: Yang Gao

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

कल्पना कीजिए कि आपके पास बिल्डिंग ब्लॉक्स (निर्माण खंडों) का एक अनंत थैला है। कुछ ब्लॉक्स प्राइम (अभाज्य संख्याएँ) हैं (जैसे 2, 3, 5, 7 जिन्हें किसी और चीज़ से समान रूप से विभाजित नहीं किया जा सकता), कुछ फाइबोनैकी संख्याएँ (एक विशेष अनुक्रम जहाँ आप पिछली दो संख्याओं को जोड़कर अगली संख्या प्राप्त करते हैं: 0, 1, 1, 2, 3, 5, 8, 13...) हैं, और कुछ बस साधारण पूर्णांक (Integers) (1, 2, 3, 4...) हैं।

लंबे समय से, गणितज्ञ एक खेल खेल रहे हैं: "क्या आप एक विशिष्ट रेसिपी का उपयोग करके हर एक पूर्णांक बना सकते हैं?"

पुरानी रेसिपी

1934 में, रोमनॉफ नामक एक गणितज्ञ ने पूछा: "क्या आप एक प्राइम और एक पावर ऑफ टू (दो की घात) (जैसे 1, 2, 4, 8, 16...) को जोड़कर हर विषम संख्या बना सकते हैं?" उन्होंने पाया कि आप उनमें से बहुत सारी बना सकते हैं, लेकिन सभी नहीं। बाद में, एर्डोस (Erdős) ने दिखाया कि वास्तव में अनंत "गैप्स" (अंतराल) मौजूद हैं—संख्याओं की पूरी लाइनें जिन्हें इस तरह से नहीं बनाया जा सकता।

नई रेसिपी

इस शोध पत्र में, लेखक, यांग गाओ (Yang Gao), रेसिपी को बदलते हैं। दो की घात के बजाय, वे फाइबोनैकी संख्याओं का उपयोग करते हैं। लेकिन वे इसमें एक मोड़ जोड़ते हैं:

वे एक प्राइम ( $p$ ) का उपयोग करते हैं।
वे एक फाइबोनैकी संख्या का उपयोग करते हैं जिसका स्थान एक सम संख्या (even number) है ( $F_{2k}$ , जैसे $F_0, F_2, F_4...$ )।
वे तीसरी फाइबोनैकी संख्या के इंडेक्स (सूचकांक) के रूप में एक अन्य प्राइम ( $q$ ) का उपयोग करते हैं ( $F_q$ )।

तो रेसिपी यह है: $n = \text{प्राइम} + \text{सम-स्थान वाली फाइबोनैकी संख्या} + \text{प्राइम-स्थान वाली फाइबोनैकी संख्या}$ ।

बड़ा सवाल यह है: यदि आप इस नई रेसिपी का उपयोग करके संख्याएँ बनाने की कोशिश करते हैं, तो क्या आप संख्या रेखा को पर्याप्त रूप से कवर करते हैं? या क्या वहां बड़े अंतराल हैं?

दो मुख्य खोजें

यह शोध पत्र इस नई रेसिपी के बारे में दो आश्चर्यजनक बातें सिद्ध करता है:

1. "अनिर्माण योग्य" हाईवे (थ्योरम 1.1)

एक लंबे, सीधे हाईवे की कल्पना करें जहाँ प्रत्येक मील का पत्थर एक संख्या का प्रतिनिधित्व करता है। लेखक सिद्ध करता है कि आप इस हाईवे का एक विशिष्ट खंड (एक अनंत अंकगणितीय प्रगति/arithmetic progression) पा सकते हैं जहाँ कोई भी संख्या इस रेसिपी का उपयोग करके नहीं बनाई जा सकती।

उपमा: एक ताले और चाबी के बारे में सोचें। लेखक ने एक विशिष्ट "लॉक" (छोटी संख्याओं जैसे 2, 3, 5, 7 आदि से विभाज्यता पर आधारित नियमों का एक सेट) डिज़ाइन किया है। उन्होंने दिखाया कि चाहे आप अपने प्राइम और फाइबोनैकी संख्याओं को किसी भी तरह से मिलाएं, परिणाम कभी भी इस विशिष्ट लॉक में फिट नहीं होगा।

परिणाम: संख्याओं की एक अनंत लाइन है जिसे $p + F_{2k} + F_q$ के रूप में नहीं लिखा जा सकता। क्योंकि यह लाइन अनंत और नियमित है, इसका अर्थ है कि "अनिर्माण योग्य" संख्याएँ संख्या जगत का एक महत्वपूर्ण हिस्सा बनाती हैं।

2. "निर्माण योग्य" भीड़ (थ्योरम 1.2)

यहाँ एक ट्विस्ट है: भले ही "अनिर्माण योग्य" संख्याओं का एक पूरा हाईवे है, लेकिन जो संख्याएँ बनाई जा सकती हैं, वे भी हर जगह मौजूद हैं।

उपमा: एक भीड़ भरी पार्टी की कल्पना करें। भले ही लोगों का एक विशिष्ट समूह है जो वीआईपी (VIP) कमरे में प्रवेश नहीं कर सकता (अनिर्माण योग्य संख्याएँ), फिर भी वीआईपी कमरा मेहमानों के "सकारात्मक घनत्व" (positive density) से भरा हुआ है। गणितीय शब्दों में, इसका अर्थ है कि यदि आप पहले 1,000,000 संख्याओं को देखते हैं, तो उनमें से एक महत्वपूर्ण प्रतिशत (केवल कुछ बिखरी हुई संख्याएँ नहीं) को इस रेसिपी का उपयोग करके बनाया जा सकता है।

परिणाम: जो संख्याएँ आप बना सकते हैं, उनका सेट इतना बड़ा है कि उसे "सकारात्मक घनत्व" माना जा सके। यह केवल बिखरे हुए द्वीपों की तरह नहीं है; यह एक ठोस महाद्वीप है।

उन्होंने यह कैसे किया? (उपकरण)

इन चीजों को सिद्ध करने के लिए, लेखक ने दो मुख्य उपकरणों का उपयोग किया:

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

सबसे पहले, उन्होंने दिखाया कि प्राइम और फाइबोनैकी संख्याओं के इतने अधिक संयोजन हैं कि आप सैद्धांतिक रूप से $x$ तक के पूर्णांकों के लगभग उतने ही नंबर बना सकते हैं।
फिर, उन्हें यह सिद्ध करना था कि आप बार-बार एक ही नंबर नहीं बना रहे हैं (जैसे 50 अलग-अलग संयोजनों का उपयोग करके 100 बनाना)। उन्होंने सिद्ध किया कि अधिकांश संख्याएँ अद्वितीय या बहुत कम तरीकों से बनाई जाती हैं।
"कॉची-श्वाल्ज़" (Cauchy-Schwarz) ट्रिक: उन्होंने एक गणितीय असमानता का उपयोग किया (एक फैंसी तरीका यह कहने का कि "यदि आपके पास कुल संयोजनों की संख्या बहुत अधिक है, और आप उन्हें बहुत अधिक दोहरा नहीं रहे हैं, तो आपके पास बहुत सी अलग-अलग संख्याएँ होनी चाहिए")। इसने सिद्ध किया कि "निर्माण योग्य" संख्याएँ घनी (dense) हैं।

सारांश

सरल शब्दों में, यह शोध पत्र इस पहेली को हल करता है कि संख्याओं का निर्माण कैसे किया जाता है। यह दिखाता है कि यदि आप इस विशिष्ट तरीके से प्राइम और फाइबोनैकी संख्याओं को मिलाते हैं:

आप कभी भी संख्याओं की एक विशिष्ट, अनंत लाइन को नहीं बना पाएंगे (वे "अप्राप्य" हैं)।
हालाँकि, आप शेष संख्याओं के एक बड़े, महत्वपूर्ण हिस्से को बना पाएंगे (वे "प्राप्य" हैं)।

यह कुछ ऐसा है जैसे कहना: "आप इन विशिष्ट ईंटों से इस विशेष सड़क पर घर नहीं बना सकते, लेकिन बाकी शहर में, आप लगभग हर दूसरी जगह पर घर बना सकते हैं।"

तकनीकी सारांश: $p + F_{2k} + F_q$ के रूप के पूर्णांक

समस्या विवरण
यह शोध पत्र उन धनात्मक पूर्णांकों के वितरण की जांच करता है जिन्हें $n = p + F_{2k} + F_q$ के रूप में निरूपित किया जा सकता है, जहाँ $p$ और $q$ अभाज्य संख्याएँ हैं और $k$ एक गैर-ऋणात्मक पूर्णांक है। यहाँ, $\{F_n\}$ फाइबोनैची अनुक्रम को दर्शाता है जो $F_0=0, F_1=1$ , और $F_{n+2}=F_{n+1}+F_n$ द्वारा परिभाषित है। यह अध्ययन एक "रोमनोफ़-प्रकार" (Romanoff-type) की समस्या को संबोधित करता है, जो शास्त्रीय प्रश्न का विस्तार है कि क्या पूर्णांकों को एक अभाज्य और दो की घात ( $p + 2^n$ ) के योग के रूप में लिखा जा सकता है। विशेष रूप से, यह शोध पत्र इस रूप में निरूपित पूर्णांकों के समुच्चय की निम्न स्पर्शोन्मुखी घनत्व (lower asymptotic density) और इसके पूरक (complement) के घनत्व को निर्धारित करने का प्रयास करता है।

कार्यप्रणाली
लेखक प्रारंभिक संख्या सिद्धांत, फाइबोनैची अनुक्रम के गुणों, और विश्लेषणात्मक संख्या सिद्धांत तकनीकों, विशेष रूप से सीव विधियों (sieve methods) के संयोजन का उपयोग करते हैं।

प्रारंभिक लेम्मा (Preliminary Lemmas): प्रमाण फाइबोनैची संख्याओं के मूलभूत गुणों पर निर्भर करता है, जिसमें विकास दर (बिनेट फॉर्मूला सन्निकटन), जेकेंडोर्फ प्रतिनिधित्व (Zeckendorf representations), और पूर्णांकों के सापेक्ष आवधिकता (पिसानो अवधि/Pisano periods) शामिल हैं। मुख्य लेम्मा $x$ तक फाइबोनैची संख्याओं की संख्या और अभाज्य संख्याओं के सापेक्ष अवशेषों (residues) के वितरण पर सीमाएँ स्थापित करते हैं।
कवरिंग सिस्टम (Covering Systems - प्रमेय 1.1): यह सिद्ध करने के लिए कि गैर-निरूपित पूर्णांकों का समुच्चय धनात्मक निम्न घनत्व रखता है, लेखक एक स्पष्ट अनंत अंकगणितीय प्रगति $A$ का निर्माण करते हैं। यह विशिष्ट अभाजों के गुणनफल ( $M = 2 \cdot 3 \cdot 5 \cdot 7 \cdot 11 \cdot 19 \cdot 23 \cdot 47$ ) के सापेक्ष सर्वांगसमता (congruence) की एक प्रणाली को परिभाषित करके प्राप्त किया जाता है। इन मापांकों के विरुद्ध $F_{2k}$ और $F_q$ की समता (parity) और माड्यूलर अवशेषों का विश्लेषण करके, लेखक यह प्रदर्शित करते हैं कि इस प्रगति का कोई भी पूर्णांक समीकरण $n = p + F_{2k} + F_q$ को संतुष्ट नहीं कर सकता है।
सीव विधियाँ और विशिष्टता (Sieve Methods and Uniqueness - प्रमेय 1.2): यह सिद्ध करने के लिए कि निरूपित पूर्णांकों के समुच्चय का धनात्मक निम्न घनत्व है, लेखक कॉची-श्वार्ज़ असमानता (Cauchy–Schwarz inequality) का उपयोग करते हैं। इसके लिए दो मात्राओं का अनुमान लगाना आवश्यक है:
- $R(x) = \sum_{n \le x} r(n)$ , कुल निरूपणों की संख्या, जहाँ $r(n)$ उन त्रिकों $(p, k, q)$ की संख्या गिनता है जिससे $n = p + F_{2k} + F_q$ होता है।
- $\sum_{n \le x} r(n)^2$ , द्वितीय क्षण (second moment), जो एक ही पूर्णांक के निरूपणों के युग्मों की संख्या गिनता है।
- विशिष्टता विश्लेषण: एक महत्वपूर्ण चरण लेम्मा 4.1 है, जो यह स्थापित करता है कि समीकरण $F_{2k_1} + F_{q_1} = F_{2k_2} + F_{q_2}$ के बहुत कम समाधान हैं (अनिवार्य रूप से केवल तुच्छ क्रमपरिवर्तन या विशिष्ट छोटे मामले)। यह सुनिश्चित करता है कि "टकराव" (जहाँ विभिन्न त्रिक समान योग देते हैं) नियंत्रित रहता है।
- सीव अनुमान: लेखक अंतर पद के दो योगों के बीच के अंतर को एक निश्चित सम पूर्णांक के रूप में बांधने के लिए बोम्बिएरी-डावेंटपोर्ट अनुमान और ब्रुन-तिच-मार्श असमानता लागू करते हैं। वे पिसानो अवधियों और अंकगणितीय प्रगति में अभाजों के वितरण के गुणों का उपयोग करके अंतर पद के विभाजकों के योग को सावधानीपूर्वक संभालते हैं।

मुख्य योगदान और परिणाम
यह शोध पत्र $p + F_{2k} + F_q$ के रूप के पूर्णांकों के संबंध में दो मुख्य प्रमेय स्थापित करता है:

प्रमेय 1.1: धनात्मक पूर्णांकों की एक अनंत अंकगणितीय प्रगति मौजूद है ऐसा कि इस प्रगति का कोई भी पूर्णांक $p + F_{2k} + F_q$ के रूप में नहीं लिखा जा सकता है। फलस्वरूप, इस रूप में निरूपित न होने वाले पूर्णांकों के समुच्चय का धनात्मक निम्न स्पर्शोन्मुखी घनत्व है।
प्रमेय 1.2: $p + F_{2k} + F_q$ (जहाँ $p, q$ अभाज्य हैं और $k \ge 0$ ) के रूप में निरूपित पूर्णांकों के समुच्चय का धनात्मक निम्न स्पर्शोन्मुखी घनत्व है।

लेखक टिप्पणी 1 (Remark 1) में यह भी उल्लेख करते हैं कि लुकास संख्याओं ( $L_n$ ) के लिए भी इसी प्रकार के परिणाम लागू होते हैं, क्योंकि प्रमाण समान माड्यूलर गुणों पर आधारित है।

महत्व
यह शोध पत्र दो विरल पदों (विशेष रूप से फाइबोनैची संख्याओं) और एक अभाज के योगों से संबंधित रोमनोफ़-प्रकार की समस्याओं के व्यापक सिद्धांत में योगदान देता है। जबकि पिछले कार्यों ने एक अभाज और एक एकल फाइबोनैची संख्या ( $p + F_k$ ) या एक अभाज और दो की घातों के योग ( $p + 2^a + 2^b$ ) के लिए धनात्मक घनत्व स्थापित किया था, यह कार्य उन सूचकांकों (indices) वाले मिश्रित रूपों के समझ को बढ़ाता है जो स्वयं अभाज्य ( $q$ ) और सम ( $2k$ ) हैं। यह परिणाम पुष्टि करता है कि फाइबोनैची अनुक्रम की विरलता और सूचकांकों के प्रतिबंध के बावजूद, अभाजों के साथ योगात्मक संयोजन पर्याप्त रूप से घना है कि पूर्णांकों के एक सकारात्मक अनुपात को कवर कर सके, जबकि साथ ही निर्मित अंकगणितीय प्रगति द्वारा प्रदर्शित किया गया है कि एक सकारात्मक अनुपात अनकवर (uncovered) भी रह जाता है। इसकी कार्यप्रणाली रैखिक पुनरावृत्तियों (linear recurrences) के संदर्भ में कवरिंग सिस्टम और सीव अनुमानों को संयोजित करने की प्रभावशीलता को प्रदर्शित करती है।