🔢 mathematics

Inverse problems for sumset sizes of finite sets of integers

यह शोध पत्र पूर्णांकों के परिमित समुच्चयों के लिए योग-समुच्चय (sumset) आकारों के अनुक्रम की जांच करता है, जो कि विषमरूप (affinely inequivalent) समुच्चयों के लिए इन अनुक्रमों के बीच संबंधों का विश्लेषण करता है और उनकी वृद्धि दरों एवं विन्यासों की तुलना करता है।

मूल लेखक: Melvyn B. Nathanson

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

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

CC BY 4.0

मूल लेखक: Melvyn B. Nathanson

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

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

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

बढ़ते हुए संख्या के ढेरों का रहस्य

इस शोध पत्र में, लेखक मेलविन बी. नाथनसन (Melvyn B. Nathanson), पूर्णांकों के परिमित सेटों (finite sets) के "समसेट आकार" (sumset size) की जांच करते हैं। आइए इसे एक सरल रूपक के साथ समझते हैं। कल्पना कीजिए कि आपके पास अद्वितीय पत्थरों का एक छोटा सा संग्रह है, मान लीजिए एक सेट $A$ । यदि आप इस ढेर से दो पत्थर लेते हैं और उनके मानों को आपस में जोड़ते हैं, तो आपको संख्याओं का एक नया ढेर मिलता है जिसे "2-फोल्ड समसेट" ( $2A$ ) कहा जाता है। यदि आप तीन पत्थर लेते हैं, तो आपको "3-फोल्ड समसेट" ( $3A$ ) मिलता है, और इसी तरह। यह शोध पत्र इन ढेरों के आकार (अद्वितीय वस्तुओं की संख्या) को ट्रैक करता है जैसे-जैसे आप मिश्रण में और अधिक पत्थर जोड़ते जाते हैं।

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

महान पहचान परिवर्तन (The Great Identity Swap)

असली जादू तब होता है जब लेखक पूछते हैं: क्या संख्याओं के दो अलग सेट बढ़ते समय बिल्कुल एक जैसे दिख सकते हैं?

दो अलग-अलग लेगो (LEGO) बॉक्स की कल्पना करें। बॉक्स A में एक लाल ईंट और एक नीली ईंट है। बॉक्स B में एक हरी ईंट और एक पीली ईंट है। यदि आप उन्हें एक के ऊपर एक रखकर मीनारें बनाते हैं, तो शायद दोनों बॉक्सों से बनने वाली मीनारों की ऊंचाइयों की संख्या समान हो सकती है। शोध पत्र सिद्ध करता है कि यह केवल एक इत्तेफाक नहीं है; यह एक निश्चित आकार के सेटों के लिए एक सामान्य घटना है।

लेखक विशिष्ट "एफाइनली इनइक्विवेलेंट" (affinely inequivalent) सेटों का निर्माण करते हैं। सरल शब्दों में, इसका अर्थ है दो ऐसे सेट जो एक-दूसरे की साधारण प्रतियां नहीं हैं (जैसे सभी संख्याओं को 1 से बढ़ाना या 2 से खींचना)। वे वास्तव में अलग आकार के हैं। शोध पत्र दिखाता है कि आकार $k \ge 3$ के सेटों के लिए, आप ऐसे सेटों के जोड़े पा सकते हैं जहाँ $h=2$ से शुरू होने वाले प्रत्येक चरण के लिए उनके समसेट्स में वस्तुओं की संख्या समान होती है।

उदाहरण के लिए, शोध पत्र स्पष्ट रूप से आकार 3 के दो सेटों का निर्माण करता है:

सेट A: $\{0, 2, 7\}$
सेट B: $\{0, 3, 7\}$

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

दोलन का नृत्य (The Oscillation Dance)

लेकिन कहानी और भी चंचल हो जाती है। शोध पत्र "दोलन" (oscillation) नामक एक घटना की खोज करता है। कल्पना कीजिए कि दो धावक हैं, सेट A और सेट B। कभी-कभी A आगे होता है (उसका समसेट बड़ा होता है), कभी-कभी B आगे होता है। शोध पत्र पूछता है: क्या हम उन्हें जितनी बार चाहें उतनी बार बढ़त बदल सकते हैं?

लेखक विशिष्ट पैटर्न के लिए "हाँ" का उत्तर देते हैं। सेटों में संख्याओं को सावधानीपूर्वक चुनकर (विशेष रूप से, ऐसे सेट जो संख्याओं के एक ठोस ब्लॉक के साथ एक दूर स्थित अतिरिक्त संख्या की तरह दिखते हैं), शोध पत्र यह प्रदर्शित करता है कि आप एक ऐसी स्थिति तैयार कर सकते हैं जहाँ:

पहले कुछ चरणों के लिए, दोनों सेट समान संख्या में योग (sums) उत्पन्न करते हैं।
फिर, एक विशिष्ट चरण के लिए, सेट B अचानक सेट A की तुलना में अधिक योग उत्पन्न करता है।
और यह अंतर आगे बढ़ने के साथ बढ़ता जाता है।

शोध पत्र सिद्ध करता है कि किसी भी संख्या $h_1$ के चरणों के लिए, आप ऐसे दो सेट पा सकते हैं जो $h_1$ तक समान हैं, लेकिन फिर सेट B आगे निकल जाता है और उसके बाद हमेशा आगे रहता है। यह दो धावकों की दौड़ की तरह है जहाँ वे पहले मील तक बराबरी पर होते हैं, लेकिन फिर एक अचानक तेज हो जाता है और फिर कभी पीछे मुड़कर नहीं देखता।

आकार बदलने वाली दौड़

शोध पत्र तीन या अधिक सेटों से जुड़े एक अधिक जटिल खेल में भी उतरता है। केवल दो धावकों की तुलना करने के बजाय, $n$ धावकों वाली दौड़ की कल्पना करें। लेखक "नॉर्मलाइजेशन" (normalization) नामक एक अवधारणा पेश करते हैं, जो यह रैंक करने जैसा है कि वर्तमान में कौन आगे है, चाहे उनकी वास्तविक गति कुछ भी हो। यदि सेट A सबसे छोटा है, सेट B बीच वाला है, और सेट C सबसे बड़ा है, तो उनकी "रैंक्ड ऑर्डर" (ranked order) (1, 2, 3) है।

शोध पत्र एक दिलचस्प सवाल पूछता है: क्या हम ऐसे सेटों का समूह पा सकते हैं जो एक विशिष्ट, पूर्व-नियोजित अनुक्रम में अपनी रैंकिंग बदल देता है? उदाहरण के लिए, क्या हम तीन ऐसे सेट पा सकते हैं जहाँ:

चरण 1 पर, क्रम A < B < C है।
चरण 2 पर, क्रम बदलकर C < A < B हो जाता है।
चरण 3 पर, यह फिर से बदलकर B < C < A हो जाता है।

शोध पत्र इसे पूरी तरह से हल नहीं करता है लेकिन इस खेल के नियम निर्धारित करता है। हालाँकि, जनवरी 2025 में जोड़े गए एक अंतिम अपडेट में, शोध पत्र नोट करता है कि एक अन्य गणितज्ञ, नोआ क्राविट्ज़ (Noah Kravitz) ने हाल ही में सिद्ध किया है कि हाँ, आप वास्तव में अपने मनचाहे रैंकिंग अनुक्रमों का पालन करने वाले सेट बना सकते हैं, जब तक कि आप चाहें, और फिर एक अंतिम, स्थायी क्रम में स्थिर हो सकते हैं।

क्या अज्ञात है

जबकि यह शोध पत्र कई पहेलियों को सुलझाता है, यह दूसरों के लिए द्वार खुला छोड़ देता है। यह पूछता है कि क्या हम धावकों को एक जटिल, वैकल्पिक पैटर्न (जैसे A जीतता है, फिर B जीतता है, फिर A फिर से जीतता है) में बढ़त बदलते हुए देख सकते हैं। यह यह भी पूछता है कि क्या हम ऐसा करते हुए दोनों सेटों में "अधिकतम संख्या" को बिल्कुल समान रख सकते हैं। ये खुले प्रश्न हैं जो अगली पीढ़ी के संख्या जासूसों को कदम रखने के लिए आमंत्रित करते हैं।

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

तकनीकी सारांश: पूर्णांकों के परिमित समुच्चयों के योग-समुच्चय आकारों के लिए व्युत्क्रम समस्याएँ (Inverse Problems)

समस्या विवरण
यह शोध पत्र पूर्णांकों के एक परिमित समुच्चय $A$ के लिए योग-समुच्चय आकारों (sumset sizes) के अनुक्रम $(|hA|)_{h=1}^{\infty}$ से संबंधित व्युत्क्रम समस्याओं की जांच करता है। केंद्रीय प्रश्न यह है कि यह अनुक्रम $A$ के संरचनात्मक गुणों, विशेष रूप से इसके 'एफाइन तुल्यता वर्ग' (affine equivalence class) को किस हद तक निर्धारित करता है। दो समुच्चय $A$ और $B$ तब एफाइन रूप से तुल्य कहलाते हैं जब $B = \lambda A + \mu$ हो, जहाँ $\lambda$ एक परिमेय संख्या ( $\lambda \neq 0$ ) और $\mu$ एक स्थिरांक है। चूंकि एफाइन रूपांतरण योग-समुच्चय आकारों को संरक्षित करते हैं ($|hA| = |hB| $सभी$ h $के लिए), इसलिए अनुक्रम$ (|hA|)$ एक एफाइन अपरिवर्तनीय (invariant) है। यह पत्र पूछता है कि क्या यह अपरिवर्तनीय समान कार्डिलिटी (cardinality) वाले एफाइन रूप से भिन्न समुच्चयों के बीच अंतर करने के लिए पर्याप्त है। विशेष रूप से, यह अन्वेषण करता है:

क्या ऐसे एफाइन रूप से भिन्न समुच्चय $A$ और $B$ मौजूद हैं जिनके लिए सभी $h \geq 1$ के लिए $|hA| = |hB|$ है?
भिन्न समुच्चयों के लिए योग-समुच्चय आकारों की तुलनात्मक वृद्धि दर, जिसमें यह भी शामिल है कि क्या विशिष्ट थ्रेशोल्ड (threshold) पर असमानता $|hA| < |hB|$ उलट सकती है।
"दोलन" (oscillating) व्यवहारों का अस्तित्व, जहाँ $h$ बढ़ने के साथ योग-समुच्चय आकारों का सापेक्ष क्रम कई बार बदल जाता है।

कार्यप्रणाली (Methodology)
लेखक संरचनात्मक विश्लेषण, स्पष्ट निर्माण (explicit construction) और स्पर्शोन्मुखी अनुमान (asymptotic estimation) के संयोजन का उपयोग करता है:

प्रत्यक्ष समस्या के आधार: यह शोध पत्र स्थापित परिणामों (प्रमेय 1 और 2) पर निर्भर करता है जो यह बताते हैं कि पर्याप्त बड़े $h$ के लिए, योग-समुच्चय आकार $|hA|$, $A$ के अधिकतम तत्व और संबद्ध 'न्यूमेरिकल सेमग्रुप' (numerical semigroup) के 'जीनस' (genus) द्वारा निर्धारित एक अंकगणितीय प्रगति का अनुसरण करता है।
स्पष्ट निर्माण: व्युत्क्रम प्रश्नों को संबोधित करने के लिए, यह पत्र समुच्चयों के विशिष्ट परिवारों का निर्माण करता है। प्राथमिक उदाहरणों में $A_{\ell, w} = [0, \ell] \cup \{w\}$ के रूप में सेट शामिल हैं, जहाँ $[0, \ell]$ पूर्णांकों का एक अंतराल है और $w$ एक अतिरिक्त तत्व है।
अंतराल ओवरलैप विश्लेषण: $|hA_{\ell, w}|$ के आकार की गणना करने की कार्यप्रणाली अंतराल के संघ (union) के रूप में $h$ -गुना योग-समुच्चय को विघटित करने पर आधारित है: $I_j = jw + (h-j)[0, \ell]$ । कार्डिलिटी का निर्धारण इन अंतरालों के बीच ओवरलैप स्थितियों का विश्लेषण करके किया जाता है, जो $h, \ell,$ और $w$ के बीच संबंध पर निर्भर करते हैं।
तुलनात्मक विश्लेषण: $w$ (जैसे, $w$ और $w+1$ की तुलना करना) पैरामीटर को बदलकर, यह पत्र $|hA| $और$ |hB|$ के लिए सटीक सूत्र प्राप्त करता है ताकि यह दिखाया जा सके कि वे कहाँ और कैसे भिन्न या समान होते हैं।

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

योग-समुच्चय आकार अनुक्रम की गैर-विशिष्टता (Non-Uniqueness):
शोध पत्र सिद्ध करता है कि अनुक्रम $(|hA|)_{h=1}^{\infty}$ $A$ के एफाइन तुल्यता वर्ग को अद्वितीय रूप से निर्धारित नहीं करता है।

प्रमेय 4: प्रत्येक पूर्णांक $k \geq 3$ के लिए, ऐसे एफाइन रूप से भिन्न समुच्चय $A$ और $B$ मौजूद हैं जिनका $|A| = |B| = k$ है और सभी $h \geq 2$ के लिए $|hA| = |hB|$ है।
निर्माण: $k=3$ के लिए, यह दिखाया गया है कि समुच्चय $\{0, 2, 7\}$ और $\{0, 3, 7\}$ सभी $h$ के लिए समान योग-समुच्चय आकार रखते हैं। $k \geq 4$ के लिए, $\{0, 3, 5, 6\} \cup [8, k+3]$ और $\{0, 4, 5, 6\} \cup [8, k+3]$ जैसे सेट उदाहरण के रूप में कार्य करते हैं।

विशिष्ट सेट वर्गों के लिए सटीक सूत्र:

प्रमेय 5: $A_{\ell, w} = [0, \ell] \cup \{w\}$ के लिए योग-समुच्चय के आकार $|hA_{\ell, w}|$ का सटीक सूत्र प्रदान करता है। यह सूत्र इस बात पर निर्भर करता है कि $h$ छोटा है (अंतराल विलग/disjoint हैं) या बड़ा (अंतराल ओवरलैप होते हैं), जिसे $w/\ell$ से संबंधित एक थ्रेशोल्ड द्वारा परिभाषित किया गया है।
प्रमेय 6: प्रमेय 5 को $\ell=1$ (समुच्चय $\{0, 1, w\}$ के रूप में) के मामले के लिए विशिष्ट बनाता है, जो $\{0, 1, w\}$ द्वारा उत्पन्न न्यूमेरिकल सेमग्रुप के जीनस से संबंधित है।

नियंत्रित विचलन और दोलन (Controlled Divergence and Oscillations):

प्रमेय 8: यह प्रदर्शित करता है कि किसी भी $k \geq 3$ और किसी भी थ्रेशोल्ड $h_1 \geq 1$ के लिए, आकार $k$ के ऐसे समुच्चय $A$ और $B$ मौजूद हैं कि सभी $h \leq h_1$ के लिए $|hA| = |hB| $, लेकिन सभी$ h > h_1 $के लिए,$ |hB| = |hA| + (h - h_1) > |hA|$। यह सिद्ध करता है कि आप ऐसे सेट बना सकते हैं जो एक मनमाने बिंदु तक योग-समुच्चय आकार द्वारा अविभेद्य हैं, जिसके बाद एक दूसरे पर पूरी तरह से हावी हो जाता है।
दोलन उदाहरण: शोध पत्र प्रयोगात्मक डेटा और सैद्धांतिक निर्माण प्रस्तुत करता है जो सुझाव देते हैं कि योग-समुच्चय आकार दोलन कर सकते हैं। यह ऐसे समुच्चयों के जोड़े का निर्माण करता है जहाँ छोटे $h$ के लिए $|hA| > |hB| $, मध्यवर्ती$ h $के लिए$ |hA| < |hB| $, और बड़े$ h $के लिए फिर से$ |hA| > |hB|$ (अधिकतम तत्व द्वारा निर्धारित स्पर्शोन्मुखी व्यवहार के कारण) होता है।

सामान्यीकृत $\tau$ -प्रकार की समस्याएँ:
यह पत्र समुच्चयों के $n$ -टुपल्स (tuples) की तुलना करने के लिए एक ढांचा पेश करता है। यह एक नॉर्मलाइजेशन मैप $\tau$ को परिभाषित करता है जो पूर्णांकों के एक टुपल को रैंक के टुपल में परिवर्तित करता है (जैसे, $(3, 1, 2) \to (2, 1, 3)$ )।

समस्या 6–8: ये खुले प्रश्न पूछते हैं कि क्या हम एक $n$ -टुपल सेट $(A_1, \dots, A_n)$ का निर्माण कर सकते हैं जिससे उनके योग-समुच्चय आकारों का सापेक्ष क्रम (जिसे $\tau(|hA|)$ द्वारा एनकोड किया गया है) $h$ के बढ़ने के साथ पैटर्न के एक निर्धारित अनुक्रम का पालन करे।

महत्व और खुली समस्याएँ
यह शोध पत्र स्थापित करता है कि योग-समुच्चय आकार का अनुक्रम एक कमजोर अपरिवर्तनीय (weak invariant) है; यह सभी एफाइन रूप से भिन्न समुच्चयों के बीच अंतर नहीं कर सकता है। जबकि स्पर्शोन्मुखी व्यवहार अच्छी तरह से समझा गया है (अंततः एक अंकगणितीय प्रगति), "छोटे $h$ " वाला व्यवहार जटिल है और समान या दोलन करने वाले विकास प्रोफाइल बनाने के लिए महत्वपूर्ण लचीलापन प्रदान करता है।

लेखक स्पष्ट रूप से इस कार्य को "तुलनात्मक योगात्मक संख्या सिद्धांत" (comparative additive number theory) की शुरुआत के रूप में रूपरेखा देता है, यह देखते हुए कि कई समस्याएँ अभी भी खुली हैं:

समस्या 2 और 3: क्या हम ऐसे सेट बना सकते हैं जहाँ असमानता $|hA| > |hB| $और$ |hA| < |hB|$ एक निश्चित सीमा तक कितनी भी बार बदलती रहे?
समस्या 4: क्या हम ऐसे सेट बना सकते हैं जहाँ असमानता $h$ की समता (parity) (विषम बनाम सम) के आधार पर बदलती है?
समस्या 6 और 7: क्या हम $n$ -टुपल सेटों के लिए किसी भी निर्धारित सापेक्ष क्रमों (normalizations) के अनुक्रम को साकार कर सकते हैं?

शोध पत्र यह उल्लेख करते हुए समाप्त होता है कि नोआ क्रावित ने हाल ही में एक प्रमेय (प्रमेय 9) सिद्ध किया है जो इन सामान्यीकृत दोलन प्रश्नों में से कुछ का सकारात्मक रूप से उत्तर देता है, यह पुष्टि करते हुए कि किसी भी वांछित क्रमों के परिमित अनुक्रम (और एक अंतिम स्थिर क्रम) के लिए, एक ऐसा टुपल मौजूद है जो इस अनुक्रम को साकार करता है।