🔢 mathematics

Intersections of sumsets in additive number theory

यह शोध पत्र उन स्थितियों की जांच करता है जिनके अंतर्गत एक योगात्मक अबेलियन अर्धसमूह (additive abelian semigroup) में समुच्चयों के एक निरंतर घटते क्रम के प्रतिच्छेदन का $h$ -गुना योगसमुच्चय (h-fold sumset), उनके संबंधित $h$ -गुना योगसमुच्चयों के प्रतिच्छेदन के बराबर होता है।

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

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

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

CC BY 4.0

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

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

एक ऐसी दुनिया की कल्पना करें जो पूरी तरह से संख्याओं से बनी है, जहाँ सबसे रोमांचक खेल "योग" (addition) है। इस क्षेत्र में, जिसे गणितज्ञों द्वारा एडिटिव नंबर थ्योरी (Additive Number Theory) के रूप में जाना जाता है, तारे दूर स्थित सूर्य नहीं हैं बल्कि पूर्णांकों के समूह हैं—जैसे कि सभी सम संख्याएँ, या सभी अभाज्य संख्याएँ, या बस कुछ चुनिंदा अंक। इस खेल का मुख्य आकर्षण समसेट (sumset) है। यदि आप संख्याओं के एक समूह को लेते हैं और उनमें से प्रत्येक के $h$ संभावित संयोजनों को आपस में जोड़ते हैं, तो आप एक नया, बड़ा समूह बनाते हैं जिसे $h$ -फोल्ड समसेट कहा जाता है। यह बिल्कुल वैसा ही है जैसे लेगो ब्रिक्स (Lego bricks) के एक बैग को लेना और देखना कि आप ठीक $h$ ब्रिक्स को जोड़कर कितने अद्वितीय टावर बना सकते हैं।

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

द ग्रेट समसेट श्रिंक-रे (The Great Sumset Shrink-Ray)

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

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

गणितीय रूप से, इसे इस प्रकार लिखा जाता है:
$hA = \bigcap_{q=1}^{\infty} hA_q$
साधारण भाषा में: यदि आप अंतिम, सिकुड़े हुए सेट को लेते हैं और उसमें $h$ वस्तुओं को जोड़ते हैं, तो क्या आपको वही परिणाम मिलेगा जो तब मिलता जब आप पिछले सभी बड़े सेट्स के समसेट्स को लेते और उन संख्याओं को पाते जो उन सभी में समान थीं?

कभी-कभी, उत्तर एक जोरदार हाँ होता है। कभी-कभी, यह एक पेचीदा नहीं होता है। नाथसन का शोध पत्र हमें बताता है कि जादू कब काम करता है और कब विफल होता है।

जब जादू सच साबित होता है

कुछ दुनियाओं में, नियम बहुत सख्त और व्यवस्थित होते हैं। नाथसन सिद्ध करते हैं कि यदि आप एक ऐसी दुनिया में काम कर रहे हैं जहाँ एक विशिष्ट योग बनाने के तरीकों की संख्या परिमित (finite) है (अर्थात आप एक ही संख्या को अनंत अलग-अलग तरीकों से नहीं बना सकते), तो जादू हमेशा काम करता है।

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

यह इन स्थितियों में सत्य है:

संख्याओं के ग्रिड: जैसे ग्राफ पेपर पर बिंदु (पूर्णांक लैटिस)।
बद्ध सेट (Bounded sets): संख्याओं के संग्रह जो हर दिशा में अनंत तक नहीं फैलते।

इन मामलों में, शोध पत्र पूरी निश्चितता के साथ सिद्ध करता है कि सिकुड़े हुए सेट का समसेट पिछले सभी सेट्स के प्रतिच्छेदन के ठीक बराबर है। यहाँ "श्रिंक-रे" योग के नियमों को नहीं तोड़ता है।

जब जादू टूट जाता है

लेकिन क्या होगा यदि दुनिया अधिक जंगली हो? क्या होगा यदि आपके पास संख्याओं का एक अनंत बैग हो जहाँ आप एक ही योग को अनंत अलग-अलग तरीकों से बना सकते हैं? यहाँ, जादू नाटकीय रूप से विफल हो सकता है।

नाथसन हमें पूर्णांकों (धनात्मक और ऋणात्मक संख्याएं) का उपयोग करके एक जीवंत उदाहरण देते हैं। एक ऐसे सेट्स के अनुक्रम की कल्पना करें जहाँ प्रत्येक सेट $A_q$ में वे सभी संख्याएं शामिल हैं जिनका पूर्ण मान (absolute value) $q$ या उससे अधिक है (जैसे $100, 101, 102... $और$ -100, -101, -102... $)। जैसे-जैसे$ q$ बढ़ता है, सेट छोटे होते जाते हैं, अंततः शून्य (या एक परिमित सेट यदि आप कुछ विशिष्ट संख्याएं जोड़ते हैं) तक सिकुड़ जाते हैं।

इस जंगली परिदृश्य में, कुछ अजीब होता है। भले ही अंतिम सेट $A$ बहुत छोटा (या खाली भी) हो सकता है, पिछले विशाल सेट्स ( $hA_q$ ) के समसेट्स ने सभी पूर्णांकों को कवर किया होगा!

विशाल सेट्स इतने बड़े हैं कि आप उनमें से $h$ को जोड़कर कोई भी संख्या बना सकते हैं।
लेकिन अंतिम, सिकुड़ा हुआ सेट उन संख्याओं को बनाने के लिए बहुत छोटा है।

इसलिए, सभी विशाल समसेट्स का प्रतिच्छेदन "सभी पूर्णांक" है, लेकिन अंतिम छोटे सेट का समसेट केवल "कुछ संख्याएं" है। समानता टूट जाती है! शोध पत्र दिखाता है कि यदि कोई सेट एक "नॉन-बेसिस" (nonbasis) है (अर्थात वह समूह की हर संख्या नहीं बना सकता), तो आप अक्सर एक ऐसा सिकुड़ने वाला अनुक्रम बना सकते हैं जहाँ बड़े सेट्स के समसेट्स सब कुछ कवर करते हैं, लेकिन अंतिम सेट नहीं।

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

"मैक्सिमल नॉन-बेसिस" का जाल

एक विशेष प्रकार का सेट है जिसे मैक्सिमल नॉन-बेसिस (maximal nonbasis) कहा जाता है। एक ऐसे सेट की कल्पना करें जो बस हर संख्या बनाने में असमर्थ है। यदि आप इसमें एक भी नई संख्या जोड़ते हैं, तो यह अचानक सब कुछ बनाने में सक्षम हो जाता है। नाथसन सिद्ध करते हैं कि यदि आप इनमें से एक "barely failing" (मुश्किल से विफल होने वाले) सेट से शुरुआत करते हैं और उसे सिकोड़ते हैं, तो समानता हमेशा विफल हो जाती है।

क्यों? क्योंकि आप जिनसे सेट को सिकोड़ रहे हैं ( $A_q$ ), वे अंतिम सेट से बड़े हैं। चूंकि अंतिम सेट "मैक्सिमल" है, इसलिए कोई भी बड़ा सेट स्वतः ही एक "बेसिस" (basis) है (अर्थात वह सब कुछ बना सकता है)। इसलिए, अनुक्रम में प्रत्येक $hA_q$ "सभी पूर्णांकों" का सेट है। उनका प्रतिच्छेदन "सभी पूर्णांक" है। लेकिन अंतिम सेट $A$ अभी भी एक "नॉन-बेसिस" है, इसलिए इसका समसेट $hA$ कुछ संख्याओं को छोड़ देता है। "सभी पूर्णांकों" और "छूटी हुई संख्याओं" के बीच का अंतर ही वह जगह है जहाँ समानता विफल हो जाती है।

चिकनी आकृतियों की सुचारू दुनिया

शोध पत्र लोकल कॉम्पैक्ट ग्रुप्स (locally compact groups) की दुनिया में भी जाता है, जो चिकने, निरंतर स्थानों (जैसे एक वृत्त या एक रेखा खंड) के बारे में बात करने का एक फैंसी तरीका है जहाँ आप "आकार" (आयतन) को माप सकते हैं।

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

शोध पत्र इन आकृतियों के "आयतन" (Haar measure) को भी देखता है। यह सिद्ध करता है कि यदि सिकुड़ते हुए आकृतियों के समसेट्स का आयतन एक विशिष्ट संख्या के करीब पहुँचता है, तो अंतिम समसेट का आयतन भी ठीक वही संख्या होता है। यह निरंतरता की एक गारंटी है: जैसे-जैसे आकृतियाँ सुचारू रूप से सिकुड़ती हैं, उनका "सम-आयतन" भी सुचारू रूप से सिकुड़ता है।

खुले प्रश्न

नाथनसन केवल पहेली को हल नहीं करते हैं; वे हमें कुछ नए रहस्य भी देते हैं:

सफलता का पैटर्न: एक दिए गए सिकुड़ने वाले अनुक्रम के लिए, कौन से संख्या $h$ (2, 3, 4...) समानता को काम करने देते हैं, और कौन से नहीं? क्या कोई पैटर्न है?
चेन रिएक्शन: यदि 3 संख्याओं को जोड़ने के लिए समानता काम करती है, तो क्या यह स्वतः ही 4 संख्याओं को जोड़ने के लिए भी काम करेगी? या यह 4 के लिए काम करती है लेकिन 3 के लिए विफल हो जाती है?
असंभव सेट: क्या आप पूर्णांकों का एक ऐसा सेट खोज सकते हैं जो इतना जिद्दी हो कि चाहे आप इसे कैसे भी सिकोड़ें, समसेट की समानता प्रत्येक संख्या $h$ के लिए विफल हो जाए?

निष्कर्ष (The Takeaway)

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

नाथनसन ने एक स्पष्ट रेखा खींची है: यदि किसी योग को बनाने के तरीकों की संख्या परिमित है, तो समानता बनी रहती है। यदि सेट एक "मैक्सिमल नॉन-बेसिस" है, तो समानता विफल हो जाती है। बाकी सब के लिए, भविष्य के गणितज्ञों के लिए उस विचित्र, बदलते परिदृश्य को खोजने का द्वार खुला है जहाँ संख्याएँ सिकुड़ती हैं और योग गायब हो जाते हैं।

तकनीकी सारांश: योगात्मक संख्या सिद्धांत में योगसमुच्चयों (Sumsets) के प्रतिच्छेदन

समस्या विवरण
यह शोध पत्र एक प्रतिच्छेदन के $h$ -फोल्ड योगसमुच्चय (sumset) और उनके $h$ -फोल्ड योगसमुच्चयों के प्रतिच्छेदन के बीच संबंध की जांच करता है। मान लीजिए कि $S$ एक योगात्मक अबेलियन अर्धसमूह (additive abelian semigroup) है और $A$ , $S$ का एक उपसमुच्चय है। एक धनात्मक पूर्णांक $h$ के लिए, $h$ -फोल्ड योगसमुच्चय को $hA = \{a_1 + \dots + a_h : a_i \in A\}$ के रूप में परिभाषित किया गया है।

मुख्य प्रश्न $S$ में उपसमुच्चयों के एक घटते अनुक्रम $(A_q)_{q=1}^\infty$ के बारे में है, जहाँ $A = \bigcap_{q=1}^\infty A_q$ है। जबकि समावेशन $hA \subseteq \bigcap_{q=1}^\infty hA_q$ हमेशा सत्य होता है, यह शोध पत्र उन स्थितियों की जांच करता है जिनमें समानता प्राप्त की जा सकती है:
$h \left( \bigcap_{q=1}^\infty A_q \right) = \bigcap_{q=1}^\infty hA_q$
लेखक यह उल्लेख करते हैं कि यह समावेशन उचित (proper) हो सकता है, और ऐसे उदाहरण प्रदान करते हैं जहाँ योगसमुच्चयों का प्रतिच्छेदन, प्रतिच्छेदन के योगसमुच्चय से बड़ा होता है।

कार्यप्रणाली और ढांचा
यह शोध पत्र संय combinación (combinatorial) तर्कों, अर्धसमूहों और समूहों के टोपोलॉजिकल गुणों, और मापन सिद्धांत (measure theory) के संयोजन का उपयोग करता है। विश्लेषण को तीन प्राथमिक संदर्भों में विभाजित किया गया है:

विविक्त समूह और अर्धसमूह (Discrete Groups and Semigroups): तत्वों को योग के रूप में दर्शाने की संख्या ( $r_{S,h}(x)$ ) पर परिमितता की शर्तों का उपयोग करना।
आधार (Basis) और गैर-आधार (Nonbasis) गुण: आधारों (जो संपूर्ण अर्धसमूह को उत्पन्न करते हैं) या गैर-आधारों (जो ऐसा करने में विफल रहते हैं) के आधार पर सेटों का विश्लेषण करना, जिसमें 'मैक्सिमल गैर-आधार' की अवधारणा भी शामिल है।
स्थानीय रूप से कॉम्पैक्ट समूह (Locally Compact Groups): कॉम्पैक्टनेस (compactness), अनुक्रमों के अभिसरण (convergence), और हॉर मापन (Haar measure) से संबंधित टोपोलॉजिकल तर्कों को लागू करना।

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

परिमित निरूपण वाले विविक्त अर्धसमूह (प्रमेय 1):
शोध पत्र यह स्थापित करता है कि यदि $S$ एक योगात्मक अबेलियन अर्धसमूह है जहाँ किसी भी तत्व को $h$ तत्वों के योग के रूप में दर्शाने की संख्या परिमित है ( $r_{S,h}(x) < \infty$ ), तो किसी भी घटते अनुक्रम $(A_q)$ के लिए समानता बनी रहती है जो $A$ की ओर अभिसरित होता है। इसका प्रमाण एक विशिष्ट तत्व $x$ के लिए $h$ -टुपल्स (h-tuples) के परिमित सेट पर लागू 'पिजनहोल सिद्धांत' (pigeonhole principle) पर आधारित है।
लैटिस बिंदु (Lattice Points) (प्रमेय 2):
प्रमेय 1 के प्रत्यक्ष अनुप्रयोग के रूप में, परिणाम को गैर-ऋणात्मक लैटिस बिंदुओं $\mathbb{N}_0^d$ के योगात्मक अर्धसमूह और पूर्णांक लैटिस बिंदुओं $\mathbb{Z}^d$ के समूह तक विस्तारित किया गया है, जहाँ निरूपणों की संख्या ज्ञात रूप से परिमित है।
आधार गुण (Theorem 3):
यदि $A$ , $S$ के लिए क्रम $h_0$ का एक आधार है (अर्थात $h_0 A = S$ ), तो $h_0 A = \bigcap h_0 A_q$ । इसके अतिरिक्त, यदि $S$ में एक योगात्मक तत्समक (additive identity) है, तो यह समानता सभी $h \ge h_0$ के लिए विस्तारित होती है। प्रमाण यह देखता है कि यदि $A \subseteq A_q$ और $h_0 A = S$ है, तो $h_0 A_q = S$ सभी $q$ के लिए होगा, जिससे प्रतिच्छेदन स्वतः ही $S$ के बराबर हो जाता है।
$\mathbb{R}^d$ के उपसमूहों में गैर-आधार (Theorem 4):
इसके विपरीत, यदि $A$ , $\mathbb{R}^d$ के एक उपसमूह $G$ (जहाँ $G$ में $\mathbb{Z}^d$ सम्मिलित है) के लिए क्रम $h_0$ का एक गैर-आधार है, तो शोध पत्र एक विशिष्ट घटता अनुक्रम $(A_q)$ का निर्माण करता है ताकि $A = \bigcap A_q$ हो, लेकिन $h_0 A \neq \bigcap h_0 A_q$ हो। यह $A$ को बड़े नॉर्म्स (norms) वाले तत्वों के सेटों ( $A^\sharp_q$ ) के साथ जोड़कर किया जाता है, जो यह सुनिश्चित करता है कि $h A_q$ सभी $q$ के लिए संपूर्ण समूह $G$ को कवर करता है, जबकि $h A$ एक उचित उपसमुच्चय बना रहता है।
बद्ध पूर्णांक सेट (Bounded Integer Sets) (Theorem 5):
पूर्णांकों के एक अनंत सेट $A$ के लिए जो नीचे से बद्ध (bounded below) है लेकिन जिसमें सभी पर्याप्त बड़े पूर्णांक शामिल नहीं हैं, शोध पत्र एक अस्तित्व संबंधी परिणाम देता है कि एक 'एसिम्प्टोटिक रूप से सख्ती से घटता' (asymptotically strictly decreasing) अनुक्रम $(A_q)$ मौजूद है जिसके लिए सभी $h \in \mathbb{N}$ के लिए समानता बनी रहती है। इसे प्राकृतिक संख्याओं की पूंछ (tails) को $A$ में जोड़कर बनाया जाता है जो सीमा (limit) में शून्य हो जाती हैं।
मैक्सिमल गैर-आधार (Maximal Nonbases) (Theorem 6):
एक महत्वपूर्ण परिणाम मैक्सिमल गैर-आधारों से संबंधित है। यदि $A$ , क्रम $h$ का एक मैक्सिमल गैर-आधार है (अर्थात $A$ , क्रम $h$ का आधार नहीं है, लेकिन कोई भी उचित सुपरसेट आधार है), तो किसी भी एसिम्प्टोटिक रूप से सख्ती से घटते अनुक्रम $(A_q)$ के लिए, जो $A$ की ओर अभिसरित होता है, समानता विफल हो जाती है: $hA \neq \bigcap hA_q$ । ऐसा इसलिए है क्योंकि कोई भी उचित सुपरसेट $A_q$ , क्रम $h$ का एक आधार होगा, जिसका अर्थ है $hA_q = S$ , जबकि $hA \neq S$ ।
स्थानीय रूप से कॉम्पैक्ट समूह (Theorems 7–9):
क्षेत्र को स्थानीय रूप से कॉम्पैक्ट अबेलियन समूहों तक विस्तारित किया गया है।
- प्रमेय 7: यदि $(A_q)$ एक घटता अनुक्रम है जो कॉम्पैक्ट उपसमुच्चयों का है और $A$ की ओर अभिसरित होता है, तो $hA = \bigcap hA_q$ । इसका प्रमाण $A_1$ की कॉम्पैक्टनेस का उपयोग करके योगकर्ताओं (summands) के अभिसारी उप-अनुक्रमों को निकालने और कॉम्पैक्ट सेटों के 'फाइनाइट इंटरसेक्शन प्रॉपर्टी' का उपयोग करने पर आधारित है ताकि यह सुनिश्चित किया जा सके कि सीमा बिंदु (limit points) $A$ में ही रहें।
- प्रमेय 8: प्रमेय 7 को $\mathbb{R}^d$ पर लागू करता है।
- प्रमेय 9: हॉर मापन (Haar measure) को संबोधित करता है। यदि $(A_q)$ कॉम्पैक्ट सेट हैं जहाँ $\mu(hA_q) = \theta_{h,q}$ और यह $\theta_h$ की ओर अभिसरित होता है, तो $\mu(hA) = \theta_h$ ।

खुले प्रश्न (Open Problems)
शोध पत्र निम्नलिखित खुले प्रश्न प्रस्तुत करते हैं:

समस्या 1: सख्ती से घटते अनुक्रमों का एक सामान्य वर्गीकरण।
समस्या 2: क्या गैर-आधारों के लिए भी समानता बनी रहती है जो मैक्सिमल गैर-आधार नहीं हैं।
समस्या 3: दिए गए अनुक्रम के लिए उन पूर्णांकों $h$ का लक्षण वर्णन जिनके लिए समानता सत्य है।
समस्या 4: क्रम $h$ के लिए समानता और क्रम $h+1$ या $h-1$ के बीच निहितार्थ की जांच करना।
समस्या 5: उन सेटों $A$ की पहचान करना जिनके लिए एक ऐसा अनुक्रम मौजूद है जहाँ सभी $h \in \mathbb{N}$ के लिए समानता विफल हो जाती है।

महत्व
यह शोध पत्र इस बात का कठोर वर्गीकरण प्रदान करता है कि योगसमुच्चय (sumset) लेने और प्रतिच्छेदन (intersection) लेने की क्रियाएं कब आपस में कम्यूट (commute) करती हैं। यह रेखांकित करता है कि यह कम्यूटेटिविटी (commutativity) काफी हद तक अंतर्निहित अर्धसमूह की संरचनात्मक गुणों (निरूपणों की परिमितता), सेटों के टोपोलॉजिकल गुणों (कॉम्पैक्टनेस), और सीमित सेट $A$ के योगात्मक आधार गुणों पर निर्भर करती है। परिणाम विविक्त और निरंतर दोनों परिवेशों में योगसमुच्चयों के व्यवहार को स्पष्ट करते हैं, समानता के लिए विशिष्ट काउंटर-उदाहरण (गैर-आधारों के माध्यम से) और पर्याप्त स्थितियाँ (कॉम्पैक्टनेस या परिमित निरूपण गणनाओं के माध्यम से) प्रदान करते हैं।