🔢 mathematics

Possible Sizes of Sumsets

यह शोध पत्र $h$ -गुना योगसमुच्चयों (sumsets) के संभावित कार्डिनैलिटीज़ पर नाथन्सन के प्रश्न को यह सिद्ध करके हल करता है कि पर्याप्त बड़े सेट आकार $k$ के लिए, संभावित आकारों की सीमा $R(h,k)$ , $\binom{h-1}{2}$ अपवादों के एक विशिष्ट सेट को छोड़कर, सैद्धांतिक सीमाओं के भीतर सभी पूर्णांकों से मिलकर बनी है, जिसमें दहलीज (threshold) $h=3$ के लिए $k > 2$ के रूप में स्थापित की गई है।

मूल लेखक: Isaac Rajagopal

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

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

CC BY 4.0

मूल लेखक: Isaac Rajagopal

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

कल्पना कीजिए कि आप एक रसोई में शेफ हैं जहाँ आपके पास एकमात्र सामग्री पूर्ण संख्याएँ (whole numbers) हैं। आपके पास एक विशिष्ट रेसिपी है: इन संख्याओं की एक मुट्ठी लें, उन्हें हर संभव तरीके से मिलाएँ, और देखें कि आप कितने अद्वितीय कुल स्वाद (योग/sums) बना सकते हैं। यह 'एडिटिव कॉम्बिनेटोरिक्स' (additive combinatorics) की दुनिया है, जो गणित की एक शाखा है जो इस बात का अध्ययन करती है कि संख्याएँ आपस में कैसे व्यवहार करती हैं। मुख्य प्रश्न सरल लेकिन पेचीदा है: यदि आप सामग्रियों की एक विशिष्ट संख्या चुनते हैं, मान लीजिए $k$ संख्याएँ, और आप उन्हें $h$ बार मिलाते हैं, तो आप कितने अलग-अलग परिणाम प्राप्त कर सकते हैं?

इसे बिल्डिंग ब्लॉक्स के खेल की तरह समझें। यदि आपके पास ब्लॉक्स का एक छोटा, व्यवस्थित ढेर (एक अंक प्रगति/arithmetic progression) है, तो उन्हें जोड़ने से आपको परिणामों का एक अनुमानित, सघन समूह मिलता है। लेकिन यदि आप अपने ब्लॉक्स को दूर-दूर बिखेर देते हैं (जैसे कि 2 की घातें/powers of 2), तो परिणाम एक विशाल, विरल परिदृश्य में बदल जाते हैं। गणितज्ञों ने लंबे समय से सोचा है कि इन परिणाम समूहों के सभी संभावित "आकार" क्या हो सकते हैं? क्या आप प्राप्त परिणामों के न्यूनतम और अधिकतम के बीच की कोई भी संख्या प्राप्त कर सकते हैं, या क्या वहाँ कुछ वर्जित अंतराल (forbidden gaps) हैं जहाँ ब्लॉक्स का कोई भी संयोजन कभी नहीं पहुँच सकता?

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

द ग्रेट समसेट हंट (The Great Sumset Hunt)

मान लीजिए कि आपके पास $k$ अलग-अलग पूर्णांकों का एक थैला है। आप एक खेल खेलने का निर्णय लेते हैं: अपने थैले से $h$ संख्याएँ चुनें (आप एक ही संख्या को एक से अधिक बार चुन सकते हैं), उन्हें जोड़ें, और उनका कुल योग लिखें। यदि आप इसे हर संभव संयोजन के लिए करते हैं, तो आपको एक नई सूची प्राप्त होती है। इस नई सूची का "आकार" बस इस बात का माप है कि उसमें कितने अद्वितीय नंबर मौजूद हैं।

गणितज्ञ इस नई सूची को $h$ -फोल्ड समसेट ( $h$ -fold sumset) कहते हैं। बड़ा सवाल यह है कि: यदि आप सामग्रियों की संख्या ( $k$ ) और उन्हें मिलाने की संख्या ( $h$ ) को स्थिर रखते हैं, तो इस नई सूची के सभी संभावित आकार क्या हो सकते हैं?

लंबे समय से, हम न्यूनतम और अधिकतम आकारों को जानते थे। न्यूनतम तब होता है जब आपके नंबर एक साथ कसकर पैक होते हैं, जैसे $1, 2, 3, 4$। अधिकतम तब होता है जब वे एक ज्यामितीय श्रेणी (geometric series) की तरह फैले होते हैं, जैसे $1, 2, 4, 8$। लेकिन इनके बीच में क्या है? क्या आप न्यूनतम और अधिकतम के बीच की हर संख्या प्राप्त कर सकते हैं, या क्या वहाँ "भूतिया संख्याएँ" (ghost numbers) हैं जो अस्तित्व में ही नहीं हो सकतीं?

द फॉरबिडन ट्राएंगल (The Forbidden Triangle)

शोध पत्र एक ज्ञात तथ्य की पुष्टि करने से शुरू होता है: कुछ संख्याएँ पाना असंभव है। कल्पना कीजिए कि आप एक ग्राफ खींच रहे हैं जहाँ क्षैज अक्ष (horizontal axis) आपके सामग्री थैले का आकार ( $k$ ) है और ऊर्ध्वाधर अक्ष (vertical axis) उन्हें मिलाने की संख्या ( $h$ ) है। लेखक एक विशिष्ट आकार को $\Delta_{h,k}$ (डेल्टा) कहता है।

इस $\Delta_{h,k}$ को संभावनाओं के मानचित्र पर एक "वर्जित त्रिकोण" (forbidden triangle) के रूप में समझें। शोध पत्र एक कठिन नियम सिद्ध करता है: चाहे आप अपनी संख्याओं को कैसे भी व्यवस्थित करें, आपके समसेट का आकार इस त्रिकोण के अंदर कभी नहीं जा सकता।

उदाहरण के लिए, यदि आपके पास 7 संख्याएँ हैं और आप उन्हें 6 बार मिलाते हैं, तो आकारों का एक विशिष्ट रेंज पूरी तरह से खाली होता है। आप 37 के आकार का एक समसेट प्राप्त कर सकते हैं, और आप 924 के आकार का एक समसेट प्राप्त कर सकते हैं, लेकिन यदि वे इस वर्जित क्षेत्र में आते हैं, तो आप 40, 41, या 42 के आकार का समसेट प्राप्त नहीं कर सकते। लेखक इसे "व्यास" (diameter) (सेट के सबसे छोटे और सबसे बड़े नंबर के बीच की दूरी) के उपयोग वाले एक चतुर तर्क से सिद्ध करता है। यदि संख्याएँ बहुत करीब हैं, तो योग बहुत छोटे होंगे; यदि वे बहुत दूर हैं, तो योग बहुत बड़े होंगे। "वर्जित त्रिकोण" वह अजीब मध्य क्षेत्र है जिसे पहुँचा ही नहीं जा सकता।

गैप्स को भरना (मुख्यतः)

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

यह पानी से एक बाल्टी भरने जैसा है। आप जानते हैं कि आप निचले हिस्से (वर्जित त्रिकोण) को नहीं भर सकते, लेकिन एक बार जब आप उस पार पहुँच जाते हैं, तो आप बाल्टी को किसी भी स्तर तक भर सकते हैं, त्रिकोण के ठीक ऊपर से लेकर किनारे तक। वहाँ कोई अन्य रहस्यमय अंतराल नहीं हैं।

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

तीन का विशेष मामला (The Special Case of Three)

शोध पत्र $h=3$ के मामले के लिए एक लंबे समय से चले आ रहे पहेली को भी हल करता है। यहाँ, लेखक सिद्ध करता है कि पूर्ण रेंज प्राप्त करने के लिए आपको बहुत बड़े थैले की आवश्यकता भी नहीं है। यदि आपके पास 2 से अधिक संख्याएँ ( $k > 2$ ) हैं, तो आप एक विशिष्ट "भूतिया संख्या": $3k - 1$ को छोड़कर हर संभव समसेट आकार प्राप्त कर सकते हैं।

उदाहरण के लिए, यदि आपके पास 5 संख्याएँ हैं और आप उन्हें 3 बार मिलाते हैं, तो संभावित आकार न्यूनतम से अधिकतम तक सब कुछ हैं, सिवाय संख्या 14 के। आप 13 प्राप्त कर सकते हैं, आप 15 प्राप्त कर सकते हैं, लेकिन 14 असंभव है। यह इस विशिष्ट परिदृश्य के लिए एक पूर्ण और सटीक उत्तर है।

अभी भी क्या रहस्य है?

जबकि शोध पत्र बड़े सेटों और $h=3$ के विशिष्ट मामले के लिए समस्या को हल करता है, यह कुछ दरवाजे खुले छोड़ देता है। लेखक एक साहसी अनुमान (conjecture) लगाता है कि यह "पूर्ण रेंज except द ट्राएंगल" वाला नियम वास्तव में छोटे सेटों के लिए भी लागू हो सकता है, जब तक कि सामग्रियों की संख्या $k$ , मिश्रणों की संख्या $h$ से बड़ी हो।

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

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

तकनीकी सारांश: योगसमुच्चयों (Sumsets) के संभावित आकार

समस्या का विवरण
यह शोध पत्र $k$ आकार के पूर्णांकों के एक उपसमुच्चय के लिए $h$ -फोल्ड योगसमुच्चयों (h-fold sumsets) के संभावित कार्डिनैलिटी (cardinalities) के सेट को निर्धारित करने की समस्या को संबोधित करता है। मान लीजिए $A \subset \mathbb{Z}$ और $|A|=k$ है। $h$ -फोल्ड योगसमुच्चय को $hA = \{a_1 + \dots + a_h : a_i \in A\}$ के रूप में परिभाषित किया गया है। नाथनसन (Nathanson) ने संभावित कार्डिनैलिटी के रेंज को $R(h,k) := \{|hA| : A \subset \mathbb{Z}, |A|=k\}$ के रूप में परिभाषित किया है। जबकि $R(2,k)$ का रूप एर्डोस और सेमरडी (Erdős and Szemerédi) द्वारा स्थापित किया गया था, और $R(h,3)$ को नाथनसन द्वारा निर्धारित किया गया था, मनमाने $h, k \in \mathbb{N}$ के लिए $R(h,k)$ की संरचना एक खुला प्रश्न बना हुआ था। विशेष रूप से, यह शोध पत्र निश्चित $h$ और बड़े $k$ के लिए $R(h,k)$ के सटीक पूर्णांकों के सेट को चरित्रित करने का प्रयास करता है।

कार्यप्रणाली (Methodology)
लेखक संरचनात्मक संख्या सिद्धांत (structural number theory), गैर-रचनात्मक अस्तित्व तर्क (non-constructive existence arguments), और जनरेटिंग फंक्शन विश्लेषण (generating function analysis) के संयोजन का उपयोग करते हैं।

व्यास नियंत्रण के माध्यम से अपवर्जन (Exclusion via Diameter Control): उन पूर्णांकों की पहचान करने के लिए जो $R(h,k)$ में नहीं हैं, शोध पत्र लेव (Lev [Lev96]) के परिणामों का उपयोग करता है जो सेट $A$ के व्यास (diameter) से संबंधित हैं। व्यास $d = \text{diam}(A)$ को परिभाषित करके और फ्रीमैन-प्रकार के प्रमेयों (Freiman-type theorems) से प्राप्त $|hA| $पर इंडक्टिव बाउंड्स लागू करके, लेखक सिद्ध करते हैं कि पूर्णांकों के कुछ अंतराल असंभव योगसमुच्चय आकार हैं। ये असंभव मान एक सेट$ \Delta_{h,k}$ बनाते हैं, जो पैरामीटर स्पेस में ज्यामितीय रूप से एक त्रिभुज जैसा दिखता है।
इंडक्टिव ग्राफ तर्क (मामला $h=3$ ): $h=3$ के विशिष्ट मामले के लिए, प्रमेय 1.7 का प्रमाण गैर-रचनात्मक है और यह एक ग्राफ $G_k$ में शामिल इंडक्टिव तर्क पर निर्भर करता है। $G_k$ के शीर्ष (vertices) आकार $k$ के सेट $A$ के जोड़ों $(|2A|, |3A|)$ का प्रतिनिधित्व करते हैं। लेखक विशिष्ट शीर्षों के बीच कनेक्टिविटी प्रदर्शित करने के लिए इस ग्राफ में पथों (paths) का निर्माण करते हैं, जिससे यह सिद्ध होता है कि $|3A|$ के संभावित मानों का सेट एक निरंतर अंतराल (contiguous interval) बनाता है (विशिष्ट अंतराल को छोड़कर)।
विच्छिन्न संघों के माध्यम से निरंतर भिन्नता (सामान्य $h$ के लिए): सामान्य $h$ और बड़े $k$ के लिए, प्रमेय 1.4 का प्रमाण $A$ को "सघन" घटकों (जो अंकगणितीय प्रगति (arithmetic progressions) के समान हैं) और "विरल" घटकों (जो सिडोन सेट (Sidont sets) या ज्यामितीय अनुक्रमों के समान हैं) के विच्छिन्न संघों के रूप में निर्मित करके आधारित है।
- जनरेटिंग फंक्शन्स: लेखक एक जनरेटिंग फंक्शन $F_A(z) = \sum |nA|z^n$ को परिभाषित करते हैं। वे सिद्ध करते हैं कि विच्छिन्न संघ $A \sqcup B$ के लिए, जनरेटिंग फंक्शन गुणात्मक रूप से व्यवहार करता है: $F_{A \sqcup B}(z) = F_A(z)F_B(z)$ ।
- अंतराल कनेक्टिविटी (Interval Connectivity): इन निर्मित सेटों (विशेष रूप से सघन भाग के आकार और विरल भाग में घातांकों) के मापदंडों को बदलकर, लेखक इन मापदंडों को $|hA| $में मैप करने वाला एक फलन$ f$ परिभाषित करते हैं। वे डिस्क्रीट ग्रिड पर गैर-बढ़ते फलनों (non-increasing functions) से संबंधित एक लेम्मा (लेम्मा 4.5) का उपयोग यह सिद्ध करने के लिए करते हैं कि इस फलन का इमेज एक अंतराल है। यह सुनिश्चित करता है कि मापदंडों को बदलकर, $|hA|$ के सभी मध्यवर्ती पूर्णांक मान प्राप्त किए जा सकते हैं।

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

असंभव मानों का लक्षण वर्णन (प्रमेय 1.3): शोध पत्र एक सेट $\Delta_{h,k}$ को परिभाषित करता है जिसमें $\binom{h-1}{2}$ विशिष्ट पूर्णांक (जो $\min\{h,k\}-2$ अंतरालों में व्यवस्थित हैं) शामिल हैं और सिद्ध करता है कि $R(h,k) \cap \Delta_{h,k} = \emptyset$ । यह टेंग-ज़िंग (Tang–Xing) और शिनिना (Schinina) के पिछले परिणामों का सामान्यीकरण करता है।
अनंत पूर्णता (Asymptotic Completeness) (प्रमेय 1.4): किसी भी निश्चित $h \in \mathbb{N}$ के लिए, एक स्थिरांक $k_h$ मौजूद है कि यदि $k > k_h$ , तो $R(h,k)$ का सेट ठीक $[hk - h + 1, \binom{h+k-1}{h}]$ है, जिसमें से $\Delta_{h,k}$ को घटाया गया है। लेखक एक स्पष्ट (यद्यपि संभवतः ढीला/loose) बाउंड $k_h \leq 2^{20h^2}$ प्रदान करते हैं।
$h=3$ के लिए सटीक समाधान (प्रमेय 1.7): शोध पत्र सिद्ध करता है कि $h=3$ और $k > 2$ के लिए, $R(3,k) = \{3k-2\} \cup [3k, \binom{k+2}{3}]$ है। यह पुष्टि करता है कि $R(3,k)$ में एकमात्र गैप एकल पूर्णांक $3k-1$ है, जो सेट $\Delta_{3,k}$ के अनुरूप है।
$N(h,k)$ के लिए बहुपद बाउंड (Polynomial Bound): शोध पत्र नोट करता है (टिप्पणी 1.8 में) कि न्यूनतम $N$ जिसके लिए $R(h,k)$ को $[0,N]$ के उपसमुच्चयों द्वारा प्राप्त किया जा सकता है, $k$ में बहुपद है (विशेष रूप से $N(h,k) \leq k^{10h^3}$ ), यह परिणाम ChatGPT 5.5 Pro की सहायता से अनुकूलित किया गया है।

महत्व और दावे

शोध पत्र दावा करता है कि वह निश्चित $h$ और पर्याप्त बड़े $k$ के लिए नाथनसन की समस्याओं 8 और 9 को हल करता है। यह स्थापित करता है कि बड़े $k$ के लिए, संभावित योगसमुच्चय आकार का सेट "लगभग" एक अंतराल है, जिसमें केवल एक विशिष्ट, छोटा सेट गायब है जो मापदंडों की ज्यामिति द्वारा निर्धारित होता है।

लेखक इस बात पर जोर देते हैं कि उनके प्रमाण गैर-रचनात्मक (non-constructive) हैं; जबकि वे प्रत्येक वैध कार्डिनैलिटी के लिए एक सेट $A$ के अस्तित्व की गारंटी देते हैं, वे किसी विशिष्ट लक्ष्य आकार के लिए एक स्पष्ट निर्माण प्रदान नहीं करते हैं। इसके बजाय, वे यह दिखाने के लिए निरंतरता-प्रकार के तर्कों पर भरोसा करते हैं कि प्राप्त आकारों का सेट एक अंतराल है।

शोध पत्र कन्जेक्चर 1.6 (Conjecture 1.6) को प्रस्तावित करता है, जो सुझाव देता है कि प्रमेय 1.4 का अनंत परिणाम केवल $k > k_h$ के लिए ही नहीं, बल्कि सभी $k > h$ के लिए सत्य है। लेखक स्वीकार करते हैं कि $k < h-1$ के लिए, लेव (Lev) के ज्ञात परिणामों के कारण यह कन्जेक्चर विफल हो जाता है। यह कार्य नए अनुसंधान दिशाओं को खोलता है, जिसमें टुपल्स $(|A|, |2A|, \dots, |hA|)$ को अधिक सटीक रूप से नियंत्रित करना और टॉर्शन (torsion) वाले समूहों या प्रतिबंधित योगसमुच्चयों तक इन परिणामों का विस्तार करना शामिल है।

द ग्रेट समसेट हंट (The Great Sumset Hunt)

द फॉरबिडन ट्राएंगल (The Forbidden Triangle)

गैप्स को भरना (मुख्यतः)

तीन का विशेष मामला (The Special Case of Three)

अभी भी क्या रहस्य है?

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