🔢 mathematics

The greedy 3-sumfree sequence $S_{1,g,g+1}$

यह शोधपत्र किसी भी $g \ge 2$ के लिए $1$, $g$ , और $g+1$ से शुरू होने वाले ग्रीडी (greedy) 3-समफ्री (3-sumfree) अनुक्रम में पूर्णांकों के सटीक सेट को निर्धारित करता है, जो बोस्मा आदि (Bosma et al.) के एक अनुमान का प्रत्यक्ष प्रमाण और अनुक्रम का एक स्पष्ट अंततः आवर्ती (eventual periodic) विवरण प्रदान करता है।

मूल लेखक: Orion Shtrezi

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

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

CC BY 4.0

मूल लेखक: Orion Shtrezi

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

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

इस क्लब के लिए नियम है "नो ट्रिपल सम" (No Triple Sum) नियम।
यदि क्लब के अंदर पहले से ही तीन अलग-अलग लोग मौजूद हैं, तो आप एक नए व्यक्ति को अंदर नहीं आने दे सकते जिसका नंबर उन तीनों के योग (sum) के बराबर हो।

ओरियन श्ट्रेजी (Orion Shtrezi) के एक शोध पत्र ने इस रहस्य को सुलझाया है कि क्या होता है जब पहले तीन लोग लाइन में होते हैं:

1
g (एक संख्या जिसे आप चुनते हैं, जैसे 2, 3, या 100)
g + 1 (आपके द्वारा चुनी गई संख्या के ठीक बाद वाली संख्या)

लेखक पूछते हैं: एक बार जब हम इन तीन से शुरुआत करते हैं, तो अंततः कौन सी संख्याएँ लाइन में शामिल होंगी, और कौन सी हमेशा के लिए खारिज कर दी जाएंगी?

बड़ी खोज: एक अनुमानित पैटर्न

इस शोध पत्र से पहले, गणितज्ञों ने छोटी संख्याओं के लिए उत्तर का अनुमान लगाया था लेकिन उनके पास हर संभावित शुरुआती संख्या के लिए प्रमाण नहीं था। श्ट्रेजी ने सिद्ध किया कि उत्तर आश्चर्यजनक रूप से सुव्यवस्थित है और एक दोहराव वाले लय (rhythm) का पालन करता है, जैसे कि एक गाने का कोरस (chorus)।

यहाँ पैटर्न सरल अंग्रेजी (हिंदी अनुवाद के संदर्भ में सरल भाषा) में दिया गया है:

"वीआईपी" (VIP) शुरुआत: पहली कुछ संख्याएँ विशेष हैं और अभी तक लय में फिट नहीं बैठती हैं। ये हैं 1, g, g+1, 2g तक, और फिर 2g+1 और 6g+1 तक। इन्हें क्लब के संस्थापक मान लीजिए।
"कोरस" (दोहराव वाला हिस्सा): उन संस्थापकों के बाद, बाकी की लाइन एक पूर्ण, दोहराव वाले चक्र में आ जाती है।
- कल्पना कीजिए कि एक घड़ी का चेहरा है जिसमें विशिष्ट संख्या में घंटे हैं (मान लीजिए कि कुल घंटे M हैं)।
- वे संख्याएँ जो अंदर आती हैं, वे इस घड़ी के चेहरे पर दो विशिष्ट "ज़ोन" (zones) में आती हैं।
- ज़ोन A: घड़ी के शुरुआत के पास संख्याओं का एक ब्लॉक।
- ज़ोन B: घड़ी के मध्य के पास संख्याओं का एक ब्लॉक।
- कोई भी संख्या जो इन दोनों ज़ोन में आती है, अंदर आ जाती है। कोई भी संख्या जो उनके बीच के "अंतरालों" (gaps) में आती है, उसे खारिज कर दिया जाता है।

लेखक ने इसे कैसे सिद्ध किया (दो-चरणीय तर्क)

इस पैटर्न को सही साबित करने के लिए, लेखक ने एक चतुर दो-चरणीय तर्क का उपयोग किया, जैसे कि ताले को दोनों तरफ से चेक करना:

चरण 1: "अस्वीकृति" परीक्षण (प्रस्ताव 2 - Proposition 2)
लेखक ने दिखाया कि पैटर्न के बाहर की कोई भी संख्या (जो अंतराल में है) खारिज होने के लिए मजबूर है।

उपमा: कल्पना कीजिए कि एक संख्या जो पैटर्न में फिट नहीं बैठती है। लेखक ने सिद्ध किया कि आप हमेशा क्लब में पहले से मौजूद तीन अलग-अलग लोगों को ढूंढ सकते जिनके नंबरों का योग उस बाहरी संख्या के बराबर हो। चूंकि नियम कहता है "तीन का योग नहीं", इसलिए उस बाहरी व्यक्ति को तुरंत बाहर निकाल दिया जाता है।
गणित: उन्होंने दिखाया कि प्रत्येक "अंतराल" वाली संख्या को "अनुमत" सूची के तीन अलग-अलग नंबरों को जोड़कर बनाया जा सकता है।

चरण 2: "प्रवेश" परीक्षण (प्रस्ताव 3 - Proposition 3)
लेखक ने दिखाया कि पैटर्न के अंदर की कोई भी संख्या अस्वीकृति से सुरक्षित है।

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

परिणाम

यह सिद्ध करके कि पैटर्न के बाहर की हर चीज़ को खारिज कर दिया जाता है और पैटर्न के अंदर की हर चीज़ को प्रवेश दिया जाता है, लेखक ने पुष्टि की कि अनुक्रम (sequence) बिल्कुल वैसा ही है जैसा वह पैटर्न भविष्यवाणी करता है।

संक्षेप में:
यदि आप एक संख्या रेखा को 1, एक संख्या g, और g+1 के साथ शुरू करते हैं, और आप लगातार सबसे छोटी संख्या जोड़ते हैं जो तीन पिछले नंबरों का योग नहीं है, तो आपको एक ऐसी श्रृंखला मिलेगी जो शुरू में अराजक (chaotic) दिखती है लेकिन फिर एक बहुत ही अनुमानित, दोहराव वाली लय में स्थिर हो जाती है। यह शोध पत्र किसी भी शुरुआती संख्या g के लिए इस लय का सटीक सूत्र प्रदान करता है।

यह अन्य गणितज्ञों की एक टीम (बॉस्मा, ब्रुइन, आदि) द्वारा किए गए अनुमान की पुष्टि करता है और बिना कंप्यूटर द्वारा हर मामले की जांच किए एक सीधा, तार्किक प्रमाण प्रदान करता है।

तकनीकी सारांश: ग्रीडी 3-समफ्री अनुक्रम $S_{1,g,g+1}$

समस्या विवरण
यह शोध पत्र ग्रीडी 3-समफ्री अनुक्रम $S_{x,y,z}$ के अभिलक्षणन (characterization) पर आधारित है, जिसे $x, y, z$ से शुरू होने वाले धनात्मक पूर्णांकों के बढ़ते अनुक्रम के रूप में परिभाषित किया गया है, जहाँ प्रत्येक अगला पद पिछले पद से बड़ा वह न्यूनतम पूर्णांक है जिसे तीन पूर्ववर्ती पदों के योग के रूप में व्यक्त नहीं किया जा सकता है। विशेष रूप से, लेखक प्रत्येक पूर्णांक $g \ge 2$ के लिए $S_{1,g,g+1}$ की जांच करते हैं। जबकि बोस्मा और अन्य [1] ने पहले 'वॉलनट' (Walnut) ऑटोमैटिक थ्योरम प्रूवर का उपयोग करके विशिष्ट छोटे मामलों ( $g=2, 3, 4$ ) के लिए स्पष्ट विवरण स्थापित किया था और सभी $g \ge 2$ के लिए एक समान सूत्र का अनुमान लगाया था, एक सामान्य प्रमाण अभी भी खुला था।

कार्यप्रणाली
लेखक ऑटोमेटेड थ्योरम प्रूवर पर निर्भर रहने के बजाय एक प्रत्यक्ष अंतराल-समसेट (interval-sumset) तर्क का उपयोग करते हैं। कार्यप्रणाली इस प्रकार है:

उम्मीदवार सेट ( $A_g$ ) की परिभाषा: शोध पत्र मॉड्यूलर अंकगणित के आधार पर एक विशिष्ट सेट $A_g$ को परिभाषित करता है। मान लीजिए $m = 10g + 3$ , $e = 2g + 1$ , और $f = 6g + 1$ । सेट $A_g$ प्रारंभिक पदों $\{1, e, f\}$ और आवधिक अंतरालों $I_k$ और $J_k$ के संघ (union) से बना है, जहाँ $k \ge 0$ है, जिन्हें निम्नानुसार परिभाषित किया गया है:
- $I_k = km + [g, 2g]$
- $J_k = km + [6g + 2, 7g + 1]$
  सेट $A_g$ को इन विविक्त (disjoint) घटकों के संघ के रूप में निर्मित किया गया है।
दो प्रस्तावों में न्यूनीकरण: यह सिद्ध करने के लिए कि $S_{1,g,g+1} = A_g$ , इसे पूर्णांकों की "फोर्स्ड" (forced) प्रकृति (एक पूर्णांक 'फोर्स्ड' है यदि वह तीन भिन्न तत्वों का योग है) के संबंध में दो गुणों को सत्यापित करने में बदल दिया गया है:
- प्रस्ताव 2: प्रत्येक पूर्णांक $n > g + 1$ जो $A_g$ में नहीं है, वह 'फोर्स्ड' है (अर्थात, उसे $A_g$ के तीन भिन्न तत्वों के योग के रूप में लिखा जा सकता है)।
- प्रस्ताव 3: $A_g$ के भीतर का कोई भी तत्व 'फोर्स्ड' नहीं है (अर्थात, $A_g$ का कोई भी तत्व तीन भिन्न तत्वों के योग के रूप में नहीं लिखा जा सकता है)।
अंतराल अंकगणित (Interval Arithmetic): प्रमाण का मुख्य भाग अंतरालों के समसेट की गणना करना है। अंतरालों के समसेट (जैसे, $b_3[u, v] = [3u+3, 3v-3]$ ) के लिए मौलिक पहचानों का उपयोग करते हुए, लेखक प्रदर्शित करते हैं कि $A_g$ में अंतराल ठीक से $A_g$ के तीन भिन्न तत्वों के योग द्वारा कवर किए गए हैं, जबकि $A_g$ के तीन तत्वों के योग हमेशा $A_g$ के पूरक (विशेष रूप से, एक आवधिक पूरक पैटर्न $C$ ) में आते हैं।
आगमनात्मक सत्यापन (Inductive Verification): लेखक $n$ पर आगमन (induction) का उपयोग करके यह दिखाने के लिए कि ग्रीडी नियम ठीक $A_g$ के तत्वों को स्वीकार करता है। यदि $n \notin A_g$ , तो वह $n$ से छोटे तत्वों द्वारा 'फोर्स्ड' है (जो अनुक्रमिक परिकल्पना के अनुसार अनुक्रम में हैं), इसलिए उसे बाहर कर दिया जाता है। यदि $n \in A_g$ , तो वह $n$ से छोटे तत्वों द्वारा 'फोर्स्ड' नहीं है, इसलिए उसे स्वीकार किया जाता है।

मुख्य परिणाम
यह शोध पत्र प्रमेय 1 को स्थापित करता है, जो सभी $g \ge 2$ के लिए अनुक्रम $S_{1,g,g+1}$ का सटीक अभिलक्षणन प्रदान करता है:
एक पूर्णांक $z$ , $S_{1,g,g+1}$ का सदस्य है यदि और केवल यदि:
$z \in \{1, 2g + 1, 6g + 1\} \quad \text{या} \quad z \pmod{10g + 3} \in [g, 2g] \cup [6g + 2, 7g + 1].$

शोध पत्र आगे अनुक्रम की संरचना का विवरण देता है:

प्रारंभिक पद: अनुक्रम $1, g, g+1, \dots, 2g, 2g+1, 6g+1$ से शुरू होता है।
अंततः आवधिकता (Eventual Periodicity): पहले $g+4$ पदों के बाद, अनुक्रम $m = 10g + 3$ के अंतर्गत आवधिक हो जाता है।
आवधिक संरचना: दोहराने वाला ब्लॉक (repeating block) की लंबाई $2g + 1$ है और इसमें निम्नलिखित अवशेष (residues) शामिल हैं:
$6g + 2, 6g + 3, \dots, 7g + 1, g, g + 1, \dots, 2g.$

महत्व और दावे
शोध पत्र बोस्मा, ब्रुइन, फोक्किनक, ग्रुबे, रॉयजेल और ट्रम्प [1] द्वारा प्रतिपादित अनुमान का प्रत्यक्ष प्रमाण प्रदान करने का दावा करता है। हालांकि इस अनुमान को $2 \le g \le 10$ के लिए यांत्रिक रूप से सत्यापित किया गया था, यह कार्य विश्लेषणात्मक माध्यमों के माध्यम से इसे सभी पूर्णांकों $g \ge 2$ के लिए विस्तारित करता है। लेखक स्पष्ट रूप से कहते हैं कि उनका दृष्टिकोण अंतराल-समसेट तर्कों का उपयोग करते हुए एक "प्रत्यक्ष प्रमाण" प्रदान करता है, जो पूर्व के कार्यों में प्रयुक्त कम्प्यूटेशनल विधियों के विपरीत है। शोध पत्र अनुक्रम की पूर्ण स्पष्ट व्याख्या भी प्रदान करता है, जिसमें प्री-पीरियड (preperiod) और दोहराने वाले ब्लॉक दोनों शामिल हैं, जिससे अनुक्रम की संरचना पूरी तरह से हल हो जाती है।

बड़ी खोज: एक अनुमानित पैटर्न

लेखक ने इसे कैसे सिद्ध किया (दो-चरणीय तर्क)

परिणाम

तकनीकी सारांश: ग्रीडी 3-समफ्री अनुक्रम S1,g,g+1S_{1,g,g+1}S1,g,g+1​

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

तकनीकी सारांश: ग्रीडी 3-समफ्री अनुक्रम $S_{1,g,g+1}$