🔢 mathematics

Integer parts of real powers in two Erd\H{o}s problems of Romanoff type

यह शोध पत्र एक अभाज्य संख्या और एक वास्तविक घात के पूर्णांक भाग के योग के रूप में निरूपित होने वाले पूर्णांकों के घनत्व के लिए एक मात्रात्मक मीट्रिक निचली सीमा को सिद्ध करके और एक वास्तविक घात प्लस वर्ग-मुक्त पूर्णांकों के लिए घनत्व-एक (density-one) अनुरूप स्थापित करके तथा यह प्रदर्शित करके कि स्वर्ण अनुपात जैसे विशिष्ट आधारों के लिए अपवादों का धनात्मक निचला घनत्व बना रहता है, दो एर्दोश-प्रकार की योगात्मक समस्याओं का समाधान करता है।

मूल लेखक: Yuchen Ding

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

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

CC BY 4.0

मूल लेखक: Yuchen Ding

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

कल्पना कीजिए कि आप संख्याओं से जुड़ी एक विशाल पहेली को सुलझाने की कोशिश कर रहे एक जासूस हैं। गणित की दुनिया में, "एडिटिव नंबर थ्योरी" (additive number theory) नामक एक प्रसिद्ध खेल है, जहाँ लक्ष्य यह देखना है कि क्या आप दो विशिष्ट प्रकार की सामग्रियों को जोड़कर हर संख्या बना सकते हैं। एक सामग्री आमतौर पर एक "अभाज्य संख्या" (prime number - वे संख्याएँ जैसे 2, 3, 5, 7 जो केवल 1 और स्वयं से विभाजित होती हैं) या एक "वर्ग-मुक्त संख्या" (square-free number - वे संख्याएँ जो किसी भी पूर्ण वर्ग जैसे 4, 9, या 16 से विभाज्य नहीं हैं) होती है। दूसरी सामग्री एक "स्पार्स सीक्वेंस" (sparse sequence) है, जो संख्याओं की एक ऐसी सूची है जो बहुत तेज़ी से पतली होती जाती है, जैसे कि 2 की घातें (2, 4, 8, 16...)।

दशकों से, गणितज्ञों ने यह सवाल पूछा है: यदि आप एक अभाज्य संख्या में इस पतली सूची के एक नंबर को जोड़ते हैं, तो क्या आप लगभग हर बड़ी संख्या बना सकते हैं? यह एक घर बनाने जैसा है जिसमें आप एक विशिष्ट प्रकार की ईंट और लकड़ी का उपयोग करते हैं। कभी-कभी उत्तर "हाँ, आप लगभग हर घर बना सकते हैं" होता है, और कभी-कभी उत्तर "नहीं, कुछ घर के आकार ऐसे हैं जिन्हें आप नहीं बना सकते" होता है। आप जो शोध पत्र पढ़ने जा रहे हैं, वह इसी प्रश्न में गहराई से उतरता है, लेकिन एक मोड़ के साथ: इस पतली सूची के लिए पूर्ण संख्याओं (whole numbers) का उपयोग करने के बजाय, लेखक वास्तविक संख्याओं की घातों (जैसे 1.5, 2.7, या गोल्डन रेशियो) के "पूर्णांक भाग" (integer parts) का उपयोग करता है। यह ऐसा है जैसे यह पूछना कि क्या आप लकड़ी के पहले से कटे हुए तख्तों के बजाय लकड़ी की एक निरंतर धारा से कटे हुए ईंटों का उपयोग करके घर बना सकते हैं।

दो पहेलियों की कहानी

यह शोध पत्र, जिसे यूचेन डिंग (Yuchen Ding) ने लिखा है, इस "निर्माण खंडों" वाली पहेली के दो अलग-अलग संस्करणों को संबोधित करता है। लेखक यह पता लगाने की कोशिश कर रहा है कि क्या हम इन विशेष "वास्तविक घात" (real power) अनुक्रमों में अभाज्य संख्याओं या वर्ग-मुक्त संख्याओं को जोड़कर पूरी संख्या रेखा को कवर कर सकते हैं।

पहेली 1: अभाज्य संख्याएँ और "लगभग हमेशा" का नियम

पहला प्रश्न यह है: यदि आप 1 से बड़ी एक यादृच्छिक संख्या (मान लीजिए $y$ ) चुनते हैं और $y^1, y^2, y^3$ आदि के पूर्णांक भाग लेकर एक सूची बनाते हैं, तो क्या आप अभाज्य संख्याओं को इनमें जोड़कर लगभग हर अन्य संख्या प्राप्त कर सकते हैं?

लेखक यहाँ एक बहुत ही मजबूत परिणाम सिद्ध करता है: आपके द्वारा चुने गए लगभग हर नंबर के लिए, उत्तर एक जोरदार "हाँ" है। यदि आप यादृच्छिक रूप से एक संख्या $y$ चुनते हैं, तो यह गणितीय रूप से गारंटीकृत है कि आपके द्वारा बनाई जाने वाली संख्याओं का सेट (Prime + Integer Part of $y^k$ ) एक सकारात्मक निचली अनंत घनत्व (positive lower asymptotic density) रखेगा। सरल शब्दों में, इसका अर्थ है कि आप केवल कुछ ही घर नहीं बनाएंगे; आप उनके एक विशाल, अनंत पड़ोस का निर्माण करेंगे, यह सुनिश्चित करते हुए कि आप चाहे कितनी भी दूर तक देखें, आपको हमेशा निर्मित की जा सकने वाली संख्याओं का एक महत्वपूर्ण हिस्सा मिलेगा। शोध पत्र इस हिस्से के न्यूनतम आकार के लिए एक सटीक सूत्र भी देता है, जो यह दर्शाता है कि आपकी घातें जितनी अधिक "फैली हुई" होंगी (अर्थात $y$ जितना बड़ा होगा), आप उतने ही कम नंबर बना पाएंगे, लेकिन आप हमेशा एक महत्वपूर्ण हिस्सा बनाएंगे।

हालाँकि, शोध पत्र एक दिलचस्प "अपवाद" भी प्रकट करता है। भले ही यह लगभग हर संख्या के लिए काम करता है, इसका मतलब यह नहीं है कि यह हर संख्या के लिए काम करता है। लेखक गोल्डन रेशियो (वह प्रसिद्ध संख्या $\phi \approx 1.618$ जो प्रकृति और कला में अक्सर पाई जाती है) का उपयोग करके एक विशिष्ट, पेचीदा उदाहरण बनाता है। जब आप गोल्डन रेशियो का उपयोग करते हैं, तो इसकी घातों के "पूर्णांक भाग" एक बहुत ही विशेष, लयबद्ध तरीके से व्यवहार करते हैं (वे लुकास संख्याओं से निकटता से संबंधित होते हैं)। लेखक सिद्ध करता है कि यदि आप इस विशिष्ट संख्या का उपयोग करते हैं, तो पूर्णांकों का एक सकारात्मक अनुपात ऐसा होता है जिसे बनाया ही नहीं जा सकता। यह एक विशिष्ट प्रकार की लकड़ी खोजने जैसा है जो, चाहे आप कितनी भी कोशिश करें, आपकी दीवार में एक ऐसा अंतराल छोड़ देती है जिसे आप कभी भर नहीं सकते। यह एक ठोस प्रमाण है कि "गोल्डन रेशियो" इस खेल में एक "खराब खिलाड़ी" है, जो कवरेज में एक स्थायी छेद छोड़ देता है।

पहेली 2: वर्ग-मुक्त संख्याएँ और "जादुई संख्या"

दूसरा प्रश्न अभाज्य संख्याओं के स्थान पर "वर्ग-मुक्त संख्याओं" (वे संख्याएँ जो 4, 9, 16 आदि से विभाज्य नहीं हैं) का उपयोग करता है। एक प्रसिद्ध गणितज्ञ एर्डोस (Erdős) ने अनुमान लगाया था कि यदि आप वर्ग-मुक्त संख्याओं में 2 की घातों को जोड़ते हैं, तो आप हर बड़ी विषम संख्या बना सकते हैं। यह विशिष्ट संस्करण अभी भी अनसुलझा है और बहुत कठिन माना जाता है।

2 की घातों वाले कठिन संस्करण को हल करने के बजाय, लेखक एक थोड़ा अलग प्रश्न पूछता है: क्या हम कोई वास्तविक संख्या $a$ (2 और 3 के बीच) पा सकते हैं ताकि यदि हम उसकी घातों का उपयोग करें, तो हम लगभग हर धनात्मक पूर्णांक बना सकें?

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

बड़ी तस्वीर

संक्षेप में, यह शोध पत्र गणितीय जासूसी कार्य का एक उत्कृष्ट नमूना है। यह दिखाता है कि:

सामान्यतः, यह काम करता है: यदि आप अपनी घातों के लिए एक यादृच्छिक आधार चुनते हैं, तो आप लगभग हमेशा अभाज्य संख्याओं में उन्हें जोड़कर संख्याओं का एक बड़ा संग्रह बना सकते हैं, जो एक सकारात्मक निचली घनत्व की गारंटी देता है।
लेकिन गोल्डन रेशियो से सावधान रहें: यह एक विशिष्ट, प्रसिद्ध संख्या है जहाँ पैटर्न टूट जाता है, जिससे एक स्थायी अंतर रह जाता है।
एक जादुई समाधान मौजूद है: वर्ग-मुक्त समस्या के लिए, जबकि हम 2 की मूल घातों वाले संस्करण को अभी हल नहीं कर सकते, हम जानते हैं कि एक "जादुई" वास्तविक संख्या मौजूद है जो समस्या के एक बहुत ही समान, "घनत्व-एक" (density-one) संस्करण को हल करती है।

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

तकनीकी सारांश: रोमनोफ प्रकार की दो अर्दोस समस्याओं में वास्तविक घातों के पूर्णांक भाग

अवलोकन और समस्या विवरण
यह शोध पत्र अर्दोस-रोमनोफ (Erdős–Romanoff) जांच के ढांचे के भीतर दो योगात्मक समस्याओं की जांच करता है। केंद्रीय विषय पूर्णांक घातों ( $a^k$ ) की कठोर अनुक्रमों को एक वास्तविक आधार के घातों के पूर्णांक भागों ( $\lfloor y^k \rfloor$ ) से प्रतिस्थापित करना है। यह संशोधन योग (summand) की लघुगणकीय विरलता (logarithmic sparseness) को बनाए रखते हुए एक वास्तविक पैरामीटर पेश करता है, जो मीट्रिक (संभाव्यतात्मक) और रचनात्मक दोनों दृष्टिकोणों की अनुमति देता है। यह पत्र दो विशिष्ट प्रश्नों को संबोधित करता है:

अर्दोस-कलमार प्राइम समस्या (The Prime Problem): क्या प्रत्येक वास्तविक $y > 1$ के लिए, सेट $S_y = \{p + \lfloor y^k \rfloor : p \in \mathbb{P}, k \ge 1\}$ का धनात्मक निचला अनंत घनत्व (positive lower asymptotic density) होता है?
वर्ग-मुक्त समस्या (The Square-Free Problem): क्या प्रत्येक पर्याप्त बड़े पूर्णांक को एक वर्ग-मुक्त पूर्णांक और दो की घात के योग के रूप में दर्शाया जा सकता है ( $n = q + 2^k$ )? जबकि स्थिर-आधार (fixed-base) संस्करण खुला बना हुआ है, यह शोध पत्र एक परिवर्तनीय-आधार एनालॉग की खोज करता है जहाँ $2^k$ को $\lfloor a^m \rfloor$ द्वारा प्रतिस्थापित किया गया है।

कार्यप्रणाली
यह शोध पत्र अपने तीन मुख्य प्रमेयों के अनुरूप तीन अलग-अलग कार्यप्रणाली दृष्टिकोणों का उपयोग करता है:

मीट्रिक संख्या सिद्धांत और द्वितीय-क्षण विश्लेषण (Theorem 1.1):
लगभग सभी वास्तविक आधारों के लिए धनात्मक घनत्व स्थापित करने के लिए, लेखक एक नियतात्मक रोमनोफ द्वितीय-क्षण मानदंड (deterministic Romanoff second-moment criterion) को मीट्रिक अनुमानों के साथ जोड़ता है।

द्वितीय-क्षण मानदंड (Second-Moment Criterion): एक मात्रात्मक लेम्मा (Lemma 3.1) व्युत्पन्न किया गया है, जो $P+A$ के निचले घनत्व को $A$ के गणना फलन (counting function) और $A$ के अंतरों के भारित युग्म सहसंबंधों (weighted pair correlations) से जोड़ता है। भार $W(h) = \prod_{p|h}(1+1/p)$ अंकगणितीय प्रगति में अभाजों के वितरण को सेल्बर्ग सीव (Selberg sieve) के माध्यम से नियंत्रित करता है।
मीट्रिक नियंत्रण (Metric Control): मुख्य तकनीकी योगदान यह सिद्ध करना है कि लगभग सभी $y$ के लिए, अनुक्रम $\lfloor y^k \rfloor$ आवश्यक युग्म-सहसंबंध अनुमानों को संतुष्ट करता है। इसमें $\lfloor y^k \rfloor \pmod d$ के वितरण का विश्लेषण शामिल है। प्रमाण अर्दोस-टुरान असमानता (Erdős–Turán inequality) और घातांकीय योगों $\sum e(h y^k / d)$ के अनुमानों का उपयोग करता है। विभाजकों को "छोटे" (जो सम-वितरण तर्कों द्वारा संभाले जाते हैं) और "बड़े" (जो $y^\ell - y^k$ के अवकल अनुमानों द्वारा संभाले जाते हैं) में विभाजित करके, लेखक यह दिखाता है कि लगभग सभी $y$ के लिए भारित युग्म सहसंबंध रैंडम मॉडल की अपेक्षा $\zeta(2)/2\zeta(4)$ से मेल खाते हैं।

कवरिंग कॉंग्रुएंस और लुकास संख्याएँ (Theorem 1.2):
यह प्रदर्शित करने के लिए कि वास्तविक-आधार सेटिंग में भी घनत्व-एक कवरेज की गारंटी नहीं दी जा सकती, यह शोध पत्र एक "अपवादजनक आधार" का निर्माण करता है।

स्वर्ण अनुपात संबंध (Golden Ratio Connection): लेखक $\lfloor \phi^k \rfloor$ (जहाँ $\phi$ स्वर्ण अनुपात है) और लुकास संख्याओं ( $L_k$ ) के बीच पहचान का लाभ उठाता है। विशेष रूप से, $k$ की समता (parity) के आधार पर $\lfloor \phi^k \rfloor$ या $L_k - 1$ के बराबर होता है।
परिमित कवरेज (Finite Covering): घातांकों $k$ को कवर करने के लिए एक परिमित संयुग्मों (congruences) का निर्माण किया गया है। लक्षित पूर्णांकों $n$ के लिए एक विशिष्ट अंकगणितीय प्रगति का चयन करके, लेखक यह सुनिश्चित करता है कि किसी भी प्रतिनिधित्व $n = p + \lfloor \phi^k \rfloor$ के लिए, अभाज $p$ को छोटे अभाजों के एक परिमित सेट में से एक से विभाज्य होना चाहिए। यह $p$ को उन छोटे अभाजों में से एक होने के लिए मजबूर करता है, जिससे प्रगति में प्रतिनिधित्व योग्य पूर्णांकों की संख्या को $O(\log x)$ तक सीमित कर दिया जाता है, जिससे यह सिद्ध होता है कि धनात्मक अनुपात के पूर्णांक छूट जाते हैं।

नेस्टेड-इंटरवल निर्माण और अवशेष कवरेज (Theorem 1.3):
वर्ग-मुक्त समस्या के लिए, यह शोध पत्र एक वास्तविक आधार $a \in (2,3)$ के अस्तित्व को सिद्ध करता है ऐसा कि $\lfloor a^m \rfloor$ वर्ग-मुक्त पूर्णाकों के लिए एक योगात्मक पूरक के रूप में घनत्व एक के साथ कार्य करता है।

अवशेष कवरेज (Residue Covering): प्रमाण $Q_z = \prod_{p \le z} p^2$ मोड्यूलो (modulo) के शिफ़्ट्स के एक परिमित सेट का निर्माण करता है जो वर्ग-मुक्त अवशेषों $R_z$ के साथ उच्च बहुलता (high multiplicity) के साथ प्रतिच्छेद करते हैं।
नेस्टेड अंतराल (Nested Intervals): एक रचनात्मक तर्क (Lemma 5.2) का उपयोग एक एकल वास्तविक संख्या $a$ के लिए एक निर्धारित संयुग्म वर्गों के गणनीय अनुक्रम को प्राप्त करने के लिए किया जाता है। इसे एक नेस्टेड बंद अंतरालों की श्रृंखला $I_0 \supset I_1 \supset \dots$ को परिभाषित करके प्राप्त किया जाता है जहाँ प्रत्येक चरण एक विशिष्ट घातांक $m$ और मान $t = \lfloor a^m \rfloor$ को एक आवश्यक संयुग्म (congruence) को संतुष्ट करने के लिए निर्धारित करता है।
घनत्व तर्क (Density Argument): निर्माण यह सुनिश्चित करता है कि बड़े $x$ के लिए, "अपवादजनक" पूर्णांक (वे जो वर्ग-मुक्त नहीं हैं) उन पूर्णांकों द्वारा हावी होते हैं जो बड़े अभाजों के मोड्यूलो वर्ग-मुक्त होने में विफल रहते हैं, जो कि शून्य घनत्व का सेट है।

मुख्य परिणाम

प्रमेय 1.1 (मीट्रिक प्राइम थ्योरम): लगभग सभी $y > 1$ के लिए, सेट $S_y = \{p + \lfloor y^k \rfloor\}$ का एक निचला अनंत घनत्व $\delta_y$ है जो इस प्रकार है:
$\delta_y \ge \frac{1}{\log y + C_{sv} \zeta(2)/\zeta(4)}$
जहाँ $C_{sv}$ एक पूर्ण सेल्बर्ग-सीव स्थिरांक है। $y \to \infty$ होने पर $1/\log y$ का क्रम इष्टतम दिखाया गया है।
प्रमेय 1.2 (प्राइम्स के लिए अपवादजनक आधार): विशिष्ट आधार $y = \phi = (1+\sqrt{5})/2$ के लिए, वे पूर्णांक जिनका प्रतिनिधित्व $p + \lfloor \phi^k \rfloor$ के रूप में नहीं किया जा सकता, उनका निचला घनत्व धनात्मक है। विशेष रूप से:
$\#\{n \le x : n \notin P + \{\lfloor \phi^k \rfloor\}\} \ge \frac{x}{7845692610} - O(\log x)$
प्रमेय 1.3 (वर्ग-मुक्त घनत्व-एक पूरक): एक वास्तविक संख्या $a \in (2, 3)$ मौजूद है कि जिस सेट के पूर्णांकों का प्रतिनिधित्व $q + \lfloor a^m \rfloor$ (जहाँ $q$ वर्ग-मुक्त है) के रूप में नहीं किया जा सकता, उसका घनत्व शून्य है:
$\#\{n \le x : n \notin Q + \{\lfloor a^m \rfloor\}\} = o(x)$
इस परिणाम को कोरोलरी 5.3 में किसी भी $r \ge 2$ के लिए $r$ -मुक्त पूर्णांकों हेतु विस्तारित किया गया है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह लगभग सभी वास्तविक आधारों के लिए अर्दोस-कलमार अनुमान को हल करता है, जो आधार $y$ पर निर्भर एक सटीक मात्रात्मक निचला बंधन प्रदान करता है। यह रोमनोफ घटना की सीमा को स्पष्ट करता है, यह दिखाते हुए कि जबकि धनात्मक घनत्व सामान्य है, पूर्ण कवरेज (घनत्व एक) सभी वास्तविक आधारों के लिए गारंटीकृत नहीं है, जैसा कि स्वर्ण अनुपात के काउंटर-एग्जांपल से सिद्ध होता है।

वर्ग-मुक्त समस्या के संबंध में, यह शोध पत्र स्थिर-आधार अनुमान ( $2^k + q$ ) को हल नहीं करता है बल्कि परिवर्तनीय-आधार सेटिंग में एक "घनत्व-एक एनालॉग" प्रदान करता है। इसका महत्व इस बात में निहित है कि एक वास्तविक पैरामीटर का लचीलापन उन संयुग्म शर्तों को लागू करने की अनुमति देता है जो स्थिर आधारों के लिए उपलब्ध नहीं हैं, जिससे उन बाधाओं को दूर किया जा सका जो स्थिर-आधार समस्या को कठिन बनाती हैं। यह कार्य दीर्घकालिक योज्य समस्याओं को संबोधित करने के लिए मीट्रिक संख्या सिद्धांत, सीव विधियों और रचनात्मक कवरेज तर्कों को एकीकृत करता है।

इसी तरह के और पेपर