🔢 mathematics

A sharp lower bound for some reciprocal Rado numbers

यह शोध पत्र सामान्य $r$ और $k$ के लिए विशिष्ट असमानताओं को सिद्ध करते हुए, $r=2$ के मामले में $k$ की कुछ शर्तों के तहत सटीक मान या बेहतर सीमाएँ निर्धारित करते हुए, और नए गणनात्मक परिणाम एवं सामान्यीकरण प्रदान करते हुए, रेसिप्रोकल राडो संख्याओं $f_r(k)$ के लिए तीक्ष्ण निचली सीमाएँ स्थापित करता है।

मूल लेखक: Collier Gaiser, Mojtaba Ramezanpour

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

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

CC BY 4.0

मूल लेखक: Collier Gaiser, Mojtaba Ramezanpour

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

कल्पना कीजिए कि आपके पास नंबर वाले टाइल्स का एक विशाल थैला है, जो 1 से लेकर किसी बहुत बड़ी संख्या $n$ तक है। आपके पास क्रेयॉन (रंगों) का एक सेट भी है। आपका लक्ष्य थैले के हर एक टाइल को रंगना है।

यह शोध पत्र आपके इन रंगीन टाइल्स से जुड़े एक विशिष्ट गणितीय खेल के बारे में है और इसमें "इकाई भिन्नों" (unit fractions - वे भिन्न जिनका ऊपर का नंबर हमेशा 1 होता है, जैसे 1/2, 1/3, 1/4) के बारे में एक बहुत ही विशिष्ट नियम है।

खेल: "रेसिप्रोकल रडो" (Reciprocal Rado) चुनौती

खेल का नियम यह समीकरण है:
$\frac{1}{x_1} + \frac{1}{x_2} + \dots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$

इसे एक रेसिपी की तरह समझें। आपको अपने थैले से $k$ नंबर (इन्हें 'सामग्री' मान लीजिए) चुनने होंगे। जब आप उनके "व्युत्क्रम" (reciprocals - उन्हें उल्टा करने पर, जैसे 1/x) को जोड़ते हैं, तो उनका योग एक अंतिम संख्या (जो "पकवान" है) के व्युत्क्रम के बराबर होना चाहिए।

शर्त: आपके द्वारा चुनी गई सभी सामग्रियां और वह पकवान, एक ही रंग के होने चाहिए।

बड़ा सवाल जो लेखक पूछते हैं वह यह है: आपके टाइल्स का थैला ( $n$ ) कितना बड़ा होना चाहिए ताकि आप समाधान खोजने के लिए कितनी भी कोशिश करें, आपको एक समाधान मिलने की गारंटी हो?

इस न्यूनतम संख्या को रेसिप्रोकल रडो नंबर कहा जाता है, जिसे $f_r(k)$ द्वारा दर्शाया जाता है।

$r$ आपके पास मौजूद रंगों की संख्या है।
$k$ आपकी रेसिपी में सामग्रियों की संख्या है।

लेखकों की खोज: "सुरक्षा जाल" (The Safety Net)

लेखक एक "शार्प लोअर बाउंड" (sharp lower bound) खोजना चाहते थे। सरल शब्दों में, वे एक "सुरक्षा जाल" का आकार सिद्ध करना चाहते थे। वे कहना चाहते थे, "यदि आपका थैला इस विशिष्ट संख्या से छोटा है, तो आप हमेशा टाइल्स को इस तरह रंगने का तरीका ढूंढ सकते हैं जिससे कोई भी एक-रंगीन रेसिपी काम न करे।"

उन्होंने दो मुख्य बातें सिद्ध कीं:

दो सामग्रियों के लिए ( $k=2$ ): यदि आपके पास $r$ रंग हैं, तो समाधान को मजबूर करने के लिए आपके थैले का आकार कम से कम लगभग $4^{r/2}$ बड़ा होना चाहिए।
- उपमा: कल्पना कीजिए कि आप एक दराज में एक विशिष्ट जोड़ी मेल खाने वाले मोजों को छिपाने की कोशिश कर रहे हैं। लेखकों ने गणना की कि दराज में आपको कितने मोजे रखने होंगे जिससे यह गणितीय रूप से असंभव हो जाए कि बिना उन्हें एक ही रंग का बनाए आप जोड़ी को छिपा सकें।
तीन या अधिक सामग्रियों के लिए ( $k \ge 3$ ): यदि आपके पास $r$ रंग हैं, तो आपके थैले का आकार कम से कम $(2r - 1) \times k^r$ बड़ा होना चाहिए।
- उपमा: जैसे-जैसे रेसिपी अधिक जटिल होती जाती है (अधिक सामग्रियां), "छिपाने की जगह" ढूँढना कठिन होता जाता है, लेकिन लेखकों ने एक ऐसा फॉर्मूला खोजा जो गारंटी देता है कि जब थैला पर्याप्त बड़ा हो जाएगा, तो छिपाने की जगह गायब हो जाएगी।

विशेष मामला: दो रंग ( $r=2$ )

यह शोध पत्र उस परिदृश्य पर गहराई से विचार करता है जहाँ आपके पास केवल लाल और नीला क्रेयॉन हैं। यह इस खेल का सबसे सामान्य संस्करण है।

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

"परफेक्ट" मिलान: यदि $k$ $k$ का मान 2 की घात के साथ 3 का गुणज है (जैसे 6, 12, 24), तो जादुई संख्या ठीक $3k^2$ $3 k^{2}$ है।
- उदाहरण: यदि आपको 6 सामग्रियां चाहिए, तो थैले का आकार ठीक $3 \times 6^2 = 108$ है।
"विषम अभाज्य" (Odd Prime) ट्विस्ट: यदि $k$ $k$ एक विषम अभाज्य संख्या की घात है (जैसे 3, 5, 7, 9, 11, 25), तो जादुई संख्या थोड़ी अधिक है: कम से कम $3k^2 + 1$ $3 k^{2} + 1$ ।
- उपमा: यह एक पहेली की तरह है जहाँ अधिकांश टुकड़े एक बॉक्स में पूरी तरह फिट हो जाते हैं, लेकिन यदि टुकड़े का आकार "अभाज्य संख्या" जैसा है, तो वह थोड़ा बाहर निकल आता है, जिसके लिए थोड़े बड़े बॉक्स की आवश्यकता होती है।

कंप्यूटर जासूसी कार्य

लेखकों ने केवल कागज पर गणित नहीं किया; उन्होंने "जासूस" के रूप में काम करने के लिए कंप्यूटर का उपयोग किया। उन्होंने 25 तक के आकार के नंबरों वाले बैग को रंगने के हर संभव तरीके का परीक्षण करने के लिए कोड लिखा।

उन्होंने पुष्टि की कि 6, 8, 10, 12 आदि जैसी संख्याओं के लिए, फॉर्मूला $3k^2$ पूरी तरह काम करता है।
उन्होंने पुष्टि की कि विषम अभाज्य घातों जैसे 5, 7, 9, 11 के लिए, फॉर्मूले को उस अतिरिक्त "+1" की आवश्यकता होती है।
उन्होंने यह भी पाया कि एक पिछले अध्ययन में गलती थी (जिसने दावा किया था कि संख्या 39 है जबकि इसे कम से कम 75 होना चाहिए था), और उन्होंने उसे सुधारा।

अपने कंप्यूटर परिणामों के आधार पर, उन्होंने एक कंजैक्चर (एक मजबूत अनुमान) बनाया:

"यदि $k$ एक विषम अभाज्य घात नहीं है (और $k$ कम से कम 4 है), तो जादुई संख्या ठीक $3k^2$ है।"

सामान्यीकृत रेसिपी (The Generalized Recipe)

अंत में, लेखों ने खेल के एक अधिक जटिल संस्करण को देखा जहाँ सामग्रियों के "भार" (coefficients) होते हैं। केवल $1/x$ जोड़ने के बजाय, आप $2/x$ या $5/x$ जोड़ सकते हैं।

उन्होंने सिद्ध किया कि इन भारों के साथ भी, आप अभी भी एक "सुरक्षा जाल" का आकार निकाल सकते हैं। यह आकार सबसे छोटे भार और सभी भारों के योग पर निर्भर करता है। यह यह कहने जैसा है कि, "भले ही आपकी रेसिपी में भारी मसालों की आवश्यकता हो, फिर भी हम बता सकते हैं कि गारंटी के लिए आपको कितना बड़ा भंडार गृह (pantry) चाहिए।"

सारांश

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

तकनीकी सारांश: कुछ रेसिप्रोकल रडो संख्याओं के लिए एक तीक्ष्ण निचला बाउंड (Sharp Lower Bound)

समस्या विवरण
यह शोध पत्र अंकगणितीय रामसे सिद्धांत (arithmetic Ramsey theory) के अंतर्गत एक समस्या का समाधान करता है जो "रेसिप्रोकल रडो संख्याओं" (reciprocal Rado numbers) से संबंधित है। विशेष रूप से, यह इकाई भिन्नों (unit fractions) से संबंधित समीकरण की जांच करता है:
$\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_k} = \frac{1}{x_{k+1}}$
जहाँ $x_1, \dots, x_k$ अनिवार्य रूप से भिन्न नहीं बल्कि धनात्मक पूर्णांक हैं। मान लीजिए कि $f_r(k)$ उस न्यूनतम धनात्मक पूर्णांक $n$ को दर्शाता है कि प्रत्येक $r$ -रंगों (r-coloring) के लिए, समुच्चय $\{1, 2, \dots, n\}$ में इस समीकरण का एक मोनोक्रोमैटिक (एक ही रंग का) समाधान अवश्य मिलता है। हालांकि ब्राउन और रोडलर [4] तथा लेफमैन [11] ने स्थापित किया है कि पर्याप्त बड़े मानों के लिए ऐसा $n$ अस्तित्व में होता है, लेकिन $f_r(k)$ के सटीक मान और सटीक बाउंड्स अभी भी काफी हद तक अज्ञात हैं। इस शोध पत्र का लक्ष्य $f_r(k)$ के मौजूदा निचले बाउंड्स में सुधार करना और विशिष्ट मामलों के लिए, विशेष रूप से जब $r=2$ हो, सटीक मान या अधिक सटीक बाउंड्स निर्धारित करना है।

कार्यप्रणाली
लेखक संयोजनकारी निर्माण (combinatorial construction), संख्या-सिद्धांत संबंधी तर्क और कम्प्यूटेशनल सत्यापन के संयोजन का उपयोग करते हैं:

रचनात्मक निचली सीमाएँ (Constructive Lower Bounds): $f_r(k)$ के लिए निचली सीमाएँ स्थापित करने के लिए, लेखक अंतराल $\{1, 2, \dots, N\}$ के स्पष्ट $r$ -रंगों का निर्माण करते हैं जो मोनोक्रोमैटिक समाधानों से बचते हैं। ये निर्माण पूर्णांक समुच्चय को विशिष्ट रंगों वाले विलगित अंतरालों ( $A_1, A'_i, A''_i$ ) में विभाजित करते हैं। प्रमाण का मुख्य आधार रेसिप्रोकल समीकरण के पदों के परिमाण का विश्लेषण करना है। एक प्रमुख उपकरण लेम्मा 2.1 है, जो एक विशिष्ट सीमा के भीतर भिन्न पूर्णांकों के रेसिप्रोकल के बीच के अंतर के लिए एक निचली सीमा प्रदान करता है, जिसका उपयोग यह दिखाने के लिए किया जाता है कि एक ही रंग वर्ग के भीतर समाधान होने का अनुमान विरोधाभास उत्पन्न करता है।
$r=2$ के लिए केस विश्लेषण: 2-रंगों के मामले के लिए, लेखक $k$ के विशिष्ट रूपों का विश्लेषण करते हैं। वे यह प्रदर्शित करने के लिए इंडक्शन (induction) और 2 की घातों एवं $k$ के गुणकों से संबंधित विशिष्ट बीजगणितीय पहचानों का उपयोग करते हैं कि विशिष्ट स्थितियों (जैसे, जब $k$ एक विषम अभाज्य घात हो) के तहत $\{1, \dots, 3k^2\}$ के रंग निर्धारण में मोनोक्रोमैटिक समाधान उत्पन्न नहीं होते हैं।
कम्प्यूटेशनल सत्यापन: लेखकों ने $k$ के उन श्रेणियों के लिए $f_2(k)$ और $f_3(k)$ के सटीक मानों की गणना करने के लिए पायथन स्क्रिप्ट (जिसमें AI टूल्स जैसे ChatGPT 5.5 और ChatGPT Codex की सहायता ली गई) और बूलियन संतुष्टि (Boolean Satisfiability) सॉल्वर (Cadical195 और Glucose3) का उपयोग किया। ये गणनाएं AMD Ryzen 7 9800X3D प्रोसेसर पर की गई थीं।

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

सुधारित सामान्य निचली सीमाएँ (Improved General Lower Bounds):
यह शोध पत्र दो प्राथमिक प्रमेय सिद्ध करता है जो मौजूदा बाउंड्स (जैसे $f_r(k) \ge k^r$ ) में सुधार करते हैं:
- $r \ge 1$ के लिए, $f_r(2) \ge 4^{r/2}$ ।
- $k \ge 3$ और $r \ge 1$ के लिए, $f_r(k) \ge (2r - 1)k^r$ ।
  लेखक उल्लेख करते हैं कि $r=2$ के लिए, बाउंड $f_2(k) \ge 3k^2$ अनंत रूप से कई $k$ के लिए तीक्ष्ण (sharp) है।
$r=2$ के लिए सटीक मान और कड़े बाउंड्स:
- केस $k = 3 \cdot 2^m$ : लेखक सिद्ध करते हैं कि यदि $k$ , $3 \cdot 2^m$ (धनात्मक पूर्णांक $m$ के लिए) के रूप में है, तो $f_2(k) = 3k^2$ है।
- केस $k = p^m$ (विषम अभाज्य घात): यदि $k$ एक विषम अभाज्य घात है, तो लेखक सिद्ध करते हैं कि $f_2(k) \ge 3k^2 + 1$ ।
- कम्प्यूटेशनल परिणाम: शोध पत्र $k \in \{2, \dots, 25\}$ के लिए $f_2(k)$ के गणना किए गए मानों की एक तालिका प्रदान करता है। ये परिणाम मायर्स और पैरिश [12] के $f_2(5)$ के संबंध में पिछले दावे को सुधारते हैं, यह दिखाते हुए कि यह 39 के बजाय 80 है (जो नए निचले बाउंड के अनुरूप है)। डेटा यह सुझाव देता है कि $f_2(k) = 3k^2$ तभी होता है जब $k$ विषम अभाज्य घात न हो (यदि $k \ge 4$ हो)।
गुणांकों का सामान्यीकरण (Generalization to Coefficients):
लेखक अपने निचले बाउंड परिणामों को मनमाने धनात्मक पूर्णांक गुणांकों वाले समीकरणों के लिए सामान्यीकृत करते हैं:
$\frac{a_1}{x_1} + \frac{a_2}{x_2} + \cdots + \frac{a_k}{x_k} = \frac{1}{x_{k+1}}$
वे स्थापित करते हैं कि 2-रंगों के लिए, $f(a_1, a_2) \ge 2\min\{a_1, a_2\}(a_1+a_2)^2$ और $k \ge 3$ के लिए, $f(a_1, \dots, a_k) \ge (2\min\{a_i\} + 1)(\sum a_i)^2$ ।
$r=3$ के लिए कम्प्यूटेशनल डेटा:
$k \in \{2, 3, 4, 5\}$ के लिए $f_3(k)$ के नए कम्प्यूटेशनल परिणाम दिए गए हैं। लेखक देखते हैं कि उनका निकाला गया निचला बाउंड $f_3(k) \ge 7k^3$ काफी ढीला (loose) प्रतीत होता है, क्योंकि गणना किए गए मान इस बाउंड से काफी अधिक हैं।

महत्व और दावे
शोध पत्र का दावा है कि यह सामान्य मामले में रेसिप्रोकल रडो संख्याओं के लिए पहले तीक्ष्ण निचले बाउंड प्रदान करता है और $k$ के विशिष्ट अनंत परिवारों की पहचान करता है जहाँ $f_2(k)$ का निचला बाउंड सटीक है। लेखक रेखांकित करते हैं कि उनका कार्य उस दहलीज (threshold) की समझ को परिष्कृत करता है जिस पर रेसिप्रोकल समीकरणों के मोनोक्रोमैटिक समाधान अपरिहार्य हो जाते हैं।

लेखक अपने निष्कर्षों को निम्नलिखित रूप में विनम्रतापूर्वक प्रस्तुत करते हैं:

कन्जेक्चर (अनुमान) 1.3 प्रस्तावित करना: कि $k \ge 4$ के लिए, $f_2(k) = 3k^2$ तभी होता है जब $k$ विषम अभाज्य घात न हो।
खुले प्रश्नों की पहचान करना: जिसमें $f_3(k)$ के निचले बाउंड में सुधार करना, विषम अभाज्य घात होने पर $f_2(k)$ के बाउंड को परिष्कृत करना, और यह निर्धारित करना शामिल है कि क्या सभी $k \ge 4$ के लिए एक द्विघात (quadratic) ऊपरी बाउंड मौजूद है।
यह नोट करना: कि हालांकि उनके निचले बाउंड विशिष्ट मामलों के लिए तीक्ष्ण हैं, लेकिन $r \ge 3$ के लिए सामान्य व्यवहार अभी भी अनुसंधान का विषय है, जैसा कि $f_3(k)$ के लिए उनके सैद्धांतिक निचले बाउंड और कम्प्यूटेशनल परिणामों के बीच के अंतर से संकेत मिलता है।

शोध पत्र अपने कम्प्यूटेशनल प्रयासों में AI-सहायता प्राप्त कोडिंग की उपयोगिता को स्वीकार करते हुए समाप्त होता है और इकाई भिन्नों के न्यूनतम दूरी गुणों (प्रॉब्लम 5.4) में आगे के शोध को आमंत्रित करता है।