🔢 mathematics

On a problem of minimal additive complements for not eventually periodic $S$ -difference sets

यह शोध पत्र मा और चेन द्वारा प्रस्तुत, न तो अंततः आवर्ती (not eventually periodic) $S$ -अंतर समुच्चयों के लिए न्यूनतम योगात्मक पूरक (minimal additive complements) के संबंध में एक विशिष्ट समस्या का सकारात्मक उत्तर प्रदान करता है।

मूल लेखक: Min Tang, Wenjing He

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

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

CC BY 4.0

मूल लेखक: Min Tang, Wenjing He

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

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

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

मिन टेंग और वेन्जिंग हे द्वारा लिखा गया यह शोध पत्र उस प्रश्न का उत्तर एक जोरदार "हाँ" के साथ देता है। लेखक इस समस्या के एक विशेष, कठिन संस्करण को हल करते हैं जहाँ $W$ में पत्थरों के बीच के अंतराल $S$ नामक धनात्मक पूर्णांकों की एक परिमित सूची से चुने जाते हैं, और इस सूची का प्रत्येक नंबर अनंत बार अंतराल के रूप में आता है। वे सिद्ध करते हैं कि आप $S$ के लिए कोई भी सूची चुनें (बशर्ते उसमें कम से कम दो अलग-अलग संख्याएँ हों), आप हमेशा एक कभी न दोहराने वाला (never-repeating) पत्थरों का अनुक्रम बना सकते हैं जिसका एक मिनिमल एडिटिव कॉम्प्लीमेंट होता है। वे केवल अनुमान नहीं लगाते; वे इन अनुक्रमों को बनाने के लिए एक विस्तृत, चरण-दर-चरण रेसिपी तैयार करते हैं और गणितीय रूप से सिद्ध करते हैं कि परिणामी हेल्पर टीम वास्तव में सबसे छोटी संभव एक है।

गैप-फिलर्स की कहानी

टैंग और हे के काम को समझने के लिए, आइए इस समस्या को एक विशाल, अनंत मोज़ेक को भरने के खेल के रूप में देखें।

खिलाड़ी

पैटर्न ( $W$ ): कल्पना कीजिए कि पत्थरों की एक रेखा है। एक पत्थर से अगले पत्थर के बीच की दूरी कभी भी यादृच्छिक (रैंडम) नहीं होती; यह हमेशा आपके मेनू $S$ के आकार की एक संख्या होती है। उदाहरण के लिए, आपका मेनू $\{3, 5\}$ हो सकता है। तो, आप 3 कदम कूद सकते हैं, फिर 5, फिर 3, फिर 3, फिर 5 फिर से। नियम यह है कि आपको मेनू के हर आकार का अनंत बार उपयोग करना होगा, और कूदने का पैटर्न कभी भी एक उबाऊ, दोहराव वाले लूप (जैसे 3-5-3-5-3-5 हमेशा) में नहीं बैठना चाहिए। इसे गणितज्ञ "INEP S-डिफरेंस सेट" (अनंत, अंततः आवर्ती नहीं) कहते हैं।
हेल्पर्स ( $C$ ): ये वे पत्थर हैं जिन्हें आप अंतराल में रखते हैं। यदि आप एक हेल्पर पत्थर पर खड़े होते हैं और अपने पैटर्न $W$ में किसी भी पत्थर तक कूदते हैं, तो आप संख्या रेखा के हर पूर्णांक तक पहुँचने में सक्षम होने चाहिए।
लक्ष्य: हेल्पर्स का न्यूनतम सेट खोजें। इसका अर्थ है हेल्पर्स का सबसे छोटा संभव समूह खोजना जहाँ उनका हर एक सदस्य अत्यंत आवश्यक हो। यदि आप एक को भी हटा देते हैं, तो कवरेज टूट जाता है।

पिछला रहस्य
इस शोध पत्र से पहले, गणितज्ञों को कुछ विशिष्ट मेनू के लिए उत्तर पता था। यदि आपका मेनू केवल $\{1, 2\}$ था, या यदि संख्याओं के बीच विशेष संबंध थे (जैसे एक दूसरे का गुणज होना), तो वे समाधान बना सकते थे। लेकिन $\{3, 7, 11\}$ जैसे सामान्य मेनू के लिए, या संख्याओं के किसी भी रैंडम मिश्रण के लिए, सवाल हवा में लटका हुआ था: क्या एक न्यूनतम टीम हमेशा मौजूद होती है? कुछ पिछले कार्यों ने सुझाव दिया था कि यदि अंतराल बहुत नियमित थे, तो शायद आप न्यूनतम टीम नहीं पा पाएंगे, लेकिन यदि वे पर्याप्त अराजक (chaic) थे, तो शायद आप पा सकते थे। इस पेपर के लेखकों ने किसी भी परिमित अंतराल के मेनू के लिए इस मामले को सुलझाने का निर्णय लिया।

मास्टर प्लान: पुल बनाना
टैंग और हे ने केवल यह नहीं कहा कि "यह मौजूद है।" उन्होंने इसे बनाया। उनका प्रमाण एक अनंत खाई के ऊपर पुल बनाने के लिए एक वास्तुशिल्प ब्लूप्रिंट की तरह है। उन्होंने अपने निर्माण को दो मुख्य परिदृश्यों में विभाजित किया, जो उनके मेनू $S$ में सबसे छोटी संख्या पर निर्भर करता है।

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

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

परिदृश्य 2: मेनू 1 से बड़ी संख्या से शुरू होता है
यह अधिक कठिन हिस्सा है। यदि आपका सबसे छोटा अंतराल, मान लीजिए, 3 या 5 है, तो आप केवल एकल कदमों से अंतराल नहीं भर सकते। लेखकों को रचनात्मक होना पड़ा।

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

निष्कर्ष
लेखकों का निर्माण कठोर है। उन्होंने कंप्यूटर पर सिमुलेशन नहीं किया या यह सुझाव नहीं दिया कि यह सच हो सकता है; उन्होंने एक गणितीय प्रमाण प्रदान किया। उन्होंने दिखाया कि किसी भी परिमित सेट $S$ के लिए जिसमें कम से कम दो तत्व हैं, आप $S$ की संख्याओं का उपयोग करके अंतराल का एक कभी न दोहराने वाला अनुक्रम बना सकते हैं, और उस अनुक्रम के लिए, एक मिनिमल एडिटिव कॉम्प्लीमेंट हमेशा मौजूद होता है।

उन्होंने प्रभावी रूप से इस समस्या के इस विशिष्ट संस्करण को समाप्त कर दिया। "क्या यह सच है कि किसी भी सेट $S$ के लिए..." वाले प्रश्न का उत्तर एक निश्चित "हाँ" है। यह पेपर पुष्टि करता है कि अंतराल की अराजक, गैर-दोहराव वाली प्रकृति न्यूनतम टीम के अस्तित्व को रोकने में सक्षम नहीं है। वास्तव में, पैटर्न की यही अराजकता ही लेखकों को समाधान को इंजीनियर करने की अनुमति देती है, यह सुनिश्चित करते हुए कि प्रत्येक हेल्पर अपरिहार्य है और पूरी संख्या रेखा कवर की गई है।

तकनीकी सारांश: न अंततः आवर्ती (Not Eventually Periodic) S-अंतर सेट्स के लिए न्यूनतम योगात्मक पूरक (Minimal Additive Complements) की समस्या पर

समस्या विवरण
यह शोध पत्र पूर्णांकों के अनंत समुच्चयों के लिए न्यूनतम योगात्मक पूरकों के अस्तित्व से संबंधित योगात्मक संख्या सिद्धांत (additive number theory) में एक विशिष्ट समस्या को संबोधित करता है। मान लीजिए कि $C$ और $W$ पूर्णांकों के उपसमुच्चय हैं। $C$ , $W$ का एक योगात्मक पूरक (additive complement) है यदि $C + W = \mathbb{Z}$ हो। $C$ एक न्यूनतम योगात्मक पूरक (minimal additive complement) है यदि उसका कोई भी उचित उपसमुच्चय (proper subset) इस स्थिति को संतुष्ट नहीं करता है।

यद्यपि नाथसन, चेन, यांग, किस, सैंडर और अन्यों द्वारा परिमित समुच्चयों और कुछ अनंत समुच्चयों (जैसे कि अनबाउंडेड गैप्स या विशिष्ट आवर्ती संरचनाओं वाले सेट) के लिए न्यूनतम पूरकों के अस्तित्व को स्थापित किया जा चुका है, लेकिन न अंततः आवर्ती समुच्चयों (not eventually periodic sets) के लिए सीमित अंतराल (bounded gaps) वाला मामला कम समझ में आया है। विशेष रूप से, मा और चेन [14] ने निम्नलिखित समस्या प्रस्तुत की थी (उनके कार्य में समस्या 1.3):

माना कि $S$ धनात्मक पूर्णांकों का एक परिमित सेट है जिसमें $|S| \ge 2$ है। क्या एक अनंत, न अंततः आवर्ती सेट $W = \{w_1 < w_2 < \dots\} \subseteq \mathbb{N}$ अस्तित्व में है जिससे:

$W$ का एक न्यूनतम योगात्मक पूरक हो;

$w_{i+1} - w_i$ का अंतर सभी $i$ के लिए $S$ में हो;

प्रत्येक तत्व $s \in S$ , अनुक्रमों $i$ के लिए अनंत बार अंतर $w_{i+1} - w_i$ के रूप में आता है।

ऐसे सेट $W$ को एक INEP $S$ -अंतर सेट (Infinite, Not Eventually Periodic $S$ -difference set) कहा जाता है। पिछले परिणामों ने विशिष्ट उप-मामलों (जैसे कि जब $S$ के तत्व एक-दूसरे को विभाजित करते हैं, या $\gcd(s_1, s_2)=1$ के साथ विशिष्ट मॉडुलर बाधाएं होती हैं) को हल किया था, लेकिन किसी भी सामान्य $S$ के लिए एक सामान्य समाधान का अभाव था।

कार्यप्रणाली (Methodology)
लेखक, तांग और हे, ऐसे सेटों और उनके संगत न्यूनतम पूरकों का निर्माण करके समस्या 2 का सकारात्मक उत्तर प्रदान करते हैं। कार्यप्रणाली $W$ के सेट के इंडक्टिव निर्माण (inductive construction) और एक सावधानीपूर्वक डिज़ाइन किए गए सेट $C$ पर निर्भर करती है।

स्केलिंग के माध्यम से न्यूनीकरण (Reduction via Scaling): लेखक पहले लेम्मा 2.2 का उपयोग करके सामान्य मामले को $\gcd(s_1, \dots, s_l) = 1$ वाले परिदृश्य में कम करने के लिए उपयोग करते हैं। वे सिद्ध करते हैं कि यदि एक स्केल्ड-डाउन सेट के लिए न्यूनतम पूरक मौजूद है, तो एक स्केल्ड-अप सेट $dW$ के लिए एक न्यूनतम पूरक का निर्माण किया जा सकता है।
इंडक्टिव निर्माण (Inductive Construction): प्रमाण को $S$ $S$ के सबसे छोटे तत्व, जिसे $s_1$ $s_{1}$ कहा गया है, के आधार पर दो मामलों में विभाजित किया गया है:
- मामला 1 ( $s_1 = 1$ ): लेखक अनुक्रमों $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ , और $\{c_i\}$ ${c_{i}}$ का इंडक्टिव निर्माण करते हैं। सेट $W$ $W$ को चरणों में बनाया जाता है, जहाँ प्रत्येक चरण $W_i$ $W_{i}$ , पिछले सेट $W_{i-1}$ $W_{i - 1}$ में तीन विलगित (disjoint) उपसमुच्चयों ( $V^{(1)}_{i-1}, V^{(2)}_{i-1}, V^{(3)}_{i-1}$ $V_{i - 1}^{(1)}, V_{i - 1}^{(2)}, V_{i - 1}^{(3)}$ ) को जोड़ता है।
  - चरण 1: आकार 1 (चूंकि $s_1=1$ ) और सबसे बड़े तत्व $s_l$ के स्टेप्स का उपयोग करके एक विशिष्ट अंतराल को भरता है।
  - चरण 2 और 3: अंतराल की लंबाई को $S$ के तत्वों के धनात्मक रैखिक संयोजन (positive linear combinations) के रूप में व्यक्त करने के लिए लेम्मा 2.1 (फ्रोबिनियस कॉइन प्रॉब्लम पर एक परिणाम) का उपयोग करता है। यह लेखकों को अंतराल को $S$ के भीतर के स्टेप्स के साथ भरने की अनुमति देता है, जिससे अंतर सेट गुण सुनिश्चित होता है।
  - सेट $C$ का निर्माण $\{c_i\}_{i=1}^\infty$ के रूप में किया जाता है, जहाँ $c_i$ को विशिष्ट असमानताओं को संतुष्ट करने के लिए चुना जाता है जो यह सुनिश्चित करती हैं कि $C$ को $W$ के साथ जोड़ने पर $\mathbb{Z}$ कवर हो जाए, लेकिन किसी भी तत्व को हटाने पर यह कवरेज टूट जाए।
- मामला 2 ( $s_1 \ge 2$ ): यह मामला अधिक जटिल है क्योंकि स्टेप साइज 1 उपलब्ध नहीं है। लेखक अनुक्रमों $\{d_i\}$ ${d_{i}}$ , $\{W_i\}$ ${W_{i}}$ , और मापदंडों के सेट $\{c^{(1)}_i, \dots, c^{(s_1)}_i\}$ ${c_{i}^{(1)}, \dots, c_{i}^{(s_{1})}}$ का निर्माण करते हैं।
  - वे एक फलन $h(s_1; r)$ को परिभाषित करते हैं जो $s_1$ द्वारा किसी विशिष्ट $s_j$ को विभाजित करने पर प्राप्त शेषफल $r$ पर आधारित है।
  - निर्माण में विशिष्ट मॉडुलर गुणों वाले तत्वों के ब्लॉक्स बनाना शामिल है। सेट $C$ का निर्माण प्रत्येक चरण में $s_1$ अंकगणितीय प्रगतियों (arithmetic progressions) के संघ (union) के रूप में किया जाता है (शिफ्टेड)।
  - मामले 1 की तरह, अंतराल को $S$ के स्टेप्स के साथ भरने के लिए लेम्मा 2.1 का उपयोग किया जाता है। निर्माण यह सुनिश्चित करता है कि निर्मित ब्लॉक्स के बीच के "गैप्स" को $C$ की विशिष्ट संरचना द्वारा भरा जाता है, जबकि $W$ के आंतरिक अंतराल $S$ के भीतर रहते हैं।
न्यूनतमता का सत्यापन (Verification of Minimality): दोनों मामलों के लिए, लेखक कठोरता से सिद्ध करते हैं कि निर्मित $C$ एक न्यूनतम पूरक है। इसमें यह दिखाना शामिल है कि किसी भी $n \in \mathbb{Z}$ के लिए, $n \in W+C$ है, और किसी भी विशिष्ट तत्व $c \in C$ के लिए, एक पूर्णांक $n$ मौजूद है कि $n \in W+c$ है लेकिन $n \notin W + (C \setminus \{c\})$ है। यह $d_i$ की इंडक्टिव परिभाषाओं और निर्मित सेट्स की विलगता (disjointness) का लाभ उठाते हुए, योग-समुच्चय (sumset) में उत्पन्न होने वाले विशिष्ट "होल्स" (holes) का विश्लेषण करके प्राप्त किया जाता है।

मुख्य परिणाम
यह शोध पत्र निम्नलिखित मुख्य प्रमेय स्थापित करता है:

प्रमेय 1.1: माना कि $l \ge 2$ एक धनात्मक पूर्णांक है और $S = \{s_1, s_2, \dots, s_l\}$ धनात्मक पूर्णांकों का एक सेट है जिसमें $1 \le s_1 < s_2 < \dots < s_l$ है। एक INEP $S$ -अंतर सेट $W$ अस्तित्व में है और $W$ का एक न्यूनतम पूरक अस्तित्व में है।

यह परिणाम पिछले प्रमेयों (परिचय में प्रमेय E, F, और G) का सामान्यीकरण करता है जो $S$ के तत्वों के बीच विशिष्ट संबंधों (जैसे विभाज्यता या सह-अभाज्यता की स्थिति) तक सीमित थे। वर्तमान कार्य इन प्रतिबंधों को हटा देता है, जो किसी भी परिमित सेट $S$ के लिए (जहाँ $|S| \ge 2$ ) अस्तित्व को सिद्ध करता है।

महत्व और दावे
लेखक दावा करते हैं कि उनका कार्य एक एकीकृत प्रमाण ढांचा (unified proof framework) प्रदान करता है जो ज्ञात परिणामों के दायरे को किसी भी $S$ -अंतर सेट तक विस्तारित करता है। मा और चेन द्वारा प्रस्तुत समस्या 2 को हल करके, यह शोध पत्र किसी भी वैध $S$ के लिए परिभाषित अनंत, न अंततः आवर्ती सेटों के लिए न्यूनतम योगात्मक पूरकों के अस्तित्व के प्रश्न को सुलझाता है।

यह शोध पत्र $|S|=1$ वाले सेट्स (जो आवर्तता के आधार पर या तो तुच्छ है या असंभव है) के लिए समस्या को हल करने का दावा नहीं करता है, न ही यह ऐसे सभी सेट्स को चरित्रित करने का दावा करता है, बल्कि यह किसी भी दिए गए वैध $S$ के लिए कम से कम एक ऐसे सेट के अस्तित्व को सिद्ध करता है। यह कार्य प्रमेयों F और G के रचनात्मक विचारों पर आधारित है लेकिन सामान्य मामले को संभालने के लिए उन्हें संश्लेषित करता है।

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

गैप-फिलर्स की कहानी

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