🔢 mathematics

A positive answer to the Owings's sumsets question

यह शोधपत्र यह सिद्ध करके ओविन्स के समसेट (sumsets) प्रश्न को सकारात्मक रूप से हल करता है कि प्राकृतिक संख्याओं के किसी भी 2-रंगों (2-coloring) के लिए, एक अनंत उपसमुच्चय $B$ का अस्तित्व है जिससे समसेट $B+B$ एकवर्णीय (monochromatic) होता है, और साथ ही इस परिणाम के भारित सामान्यीकरण (weighted generalizations) भी प्रस्तुत करता है।

मूल लेखक: Wen Huang, Zhengxing Lian, Song Shao, Rongzhong Xiao, Leiye Xu, Shuhao Zhang

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

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

CC BY 4.0

मूल लेखक: Wen Huang, Zhengxing Lian, Song Shao, Rongzhong Xiao, Leiye Xu, Shuhao Zhang

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

कल्पना कीजिए कि आप एक विशाल, कभी न खत्म होने वाली पार्टी की मेजबानी कर रहे हैं जहाँ हर मेहमान को 1, 2, 3 और इसी तरह से अनंत तक एक नंबर दिया गया है। अब, कल्पना कीजिए कि आपके पास लाल रंग की एक बाल्टी और नीले रंग की एक बाल्टी है। आप हर एक मेहमान को या तो लाल या नीला रंग देने का फैसला करते हैं, जिससे एक अराजक, रंगीन भीड़ बन जाती है। सवाल यह है कि दशकों से गणितज्ञों को इस बात ने उलझा रखा है कि क्या आप हमेशा मेहमानों का एक गुप्त समूह ढूंढ सकते हैं जो एक ही रंग के हों, और जब आप उन्हें जोड़ी बनाने के लिए (उनके नंबरों को जोड़कर) "डांस" करने के लिए जोड़ते हैं, तो परिणामी डांस पार्टनर भी उसी रंग के होते हैं?

अध्ययन का यह क्षेत्र कॉम्बिनेटरियल नंबर थ्योरी (combinatorial number theory) कहलाता है, और यह मूल रूप से संख्याओं के विशाल, अस्त-व्यस्त ढेरों में छिपे पैटर्न खोजने की कला है। इसे कॉटन कैंडी के बादल में एक विशिष्ट आकार खोजने जैसा समझें। गणितज्ञ लंबे समय से जानते हैं कि यदि आपके पास संख्याओं का एक बड़ा समूह है, तो आप ऐसे पैटर्न पा सकते हैं जहाँ आप अलग-अलग संख्याओं को जोड़ते हैं (जैसे $x + y$ जहाँ $x$ और $y$ अलग हैं)। लेकिन इस खेल में एक पेचीदा नियम है कि आप आमतौर पर किसी संख्या को खुद से नहीं जोड़ सकते (जैसे $x + x$ )। यदि आप किसी संख्या को खुद के साथ नाचने की अनुमति देते हैं, तो रंगों के आधार पर पैटर्न कभी-कभी गायब हो सकते हैं। ओइंग्स (Owings) का प्रश्न, जिसे एक बड़ा रहस्य माना जाता था, यह था कि क्या "स्वयं के साथ न नाचने" का यह नियम ही दो-रंगों की दुनिया में एक पूर्ण, समान-रंगीन जोड़ी-समूह खोजने में एकमात्र बाधा था।

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

हालाँकि, कहानी एक साधारण "हमने इसे हल कर लिया" के साथ समाप्त नहीं होती है। लेखकों ने अपनी खोज की सीमाओं का परीक्षण भी किया। उन्होंने पूछा, "क्या होगा यदि हम दो के बजाय तीन संख्याओं को जोड़ना चाहें?" ( $x + y + z$ )। उन्होंने लाल और नीले रंग की पेंटिंग का एक विशिष्ट, चतुर उदाहरण बनाया जहाँ आप ऐसा समूह नहीं पा सकते जो तीन-तरफा योग के लिए काम करे। इसलिए, जबकि दो-संख्या वाला संस्करण एक गारंटीकृत जीत है, तीन-संख्या वाला संस्करण एक हार है। उन्होंने समस्या के "वेटेड" (weighted) संस्करणों की भी खोज की, जहाँ आप गुणकों (multipliers) के साथ संख्याओं को जोड़ सकते हैं (जैसे $2x + 3y$ )। उन्होंने पाया कि इन "वेटेड" खेलों के लिए, आप अभी भी एक पैटर्न की गारंटी दे सकते हैं, लेकिन केवल तभी जब आप संख्याओं में एक मामूली बदलाव या समायोजन की अनुमति दें। यदि आप बहुत सख्त होने की कोशिश करते हैं या दो से अधिक रंगों का उपयोग करते हैं, तो पैटर्न फिर से टूट जाता है।

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

"A Positive Answer to the Owings's Sumsets Question" का तकनीकी सारांश

समस्या विवरण (Problem Statement)
यह शोध पत्र 1974 में ओइंग्स द्वारा उठाए गए संयोजन संख्या सिद्धांत (combinatorial number theory) के एक विशिष्ट प्रश्न (Problem E2409) को संबोधित करता है। प्रश्न यह है: प्राकृतिक संख्याओं $\mathbb{N}$ के किसी भी उपसमुच्चय $B$ के लिए, क्या एक अनंत समुच्चय $A \subset \mathbb{N}$ का अस्तित्व है ताकि योग-समुच्चय (sumset) $A+A = \{x+y : x,y \in A\}$ पूरी तरह से $B$ के भीतर हो या पूरी तरह से इसके पूरक $\mathbb{N} \setminus B$ के भीतर हो?

यह समस्या $\mathbb{N}$ के परिमित रंगीकरण (finite colorings) के संदर्भ में स्थित है। जबकि हिंडमैन के प्रमेय (Hindman's Theorem, 1974) की गारंटी है कि किसी भी परिमित रंगीकरण के लिए, एक अनंत अनुक्रम का अस्तित्व होता जिसके परिमित योग (पुनरावृत्ति के बिना) एक ही रंग के होते हैं, अनियंत्रित योग-समुच्चय $A+A$ (जहाँ $x+x$ की अनुमति है) एक अलग चुनौती प्रस्तुत करता है। हिंडमैन ने पहले ही दिखाया था कि $r \ge 3$ रंगों के लिए उत्तर नकारात्मक है, और $r=2$ के लिए, उन्होंने विशिष्ट आंशिक मामलों के लिए सकारात्मक उत्तर दिए थे। 2-रंगीकरण (2-colorings) के लिए सामान्य मामला खुला रह गया था।

कार्यप्रणाली (Methodology)
लेखक इस समस्या को हल करने के लिए टोपोलॉजिकल डायनेमिक्स (topological dynamics) और अल्ट्राफिल्टर थ्योरी (ultrafilter theory) के संयोजन का उपयोग करते हैं।

टोपोलॉजिकल डायनेमिकल सिस्टम्स: प्रमाण एक विशिष्ट सिम्बोलिक डायनेमिकल सिस्टम के ढांचे का उपयोग करता है जो रंगीकरण फलन (coloring function) पर आधारित है, जहाँ $X$ एक कॉम्पैक्ट हाउज़डॉर्फ स्पेस (compact Hausdorff space) है और $T$ एक निरंतर मानचित्र (continuous map) है।
अल्ट्राफिल्टर्स: अनुक्रमों के साहसी व्यवहार (asymptotic behavior) का विश्लेषण करने के लिए अल्ट्राफिल्टर्स के स्थान $\beta\mathbb{N}_0$ का उपयोग किया जाता है। लेखक $\beta\mathbb{N}_0$ की बीजगणितीय संरचना (विशेष रूप से, एक कॉम्पैक्ट राइट-टोपोलॉजिकल सेमीग्रुप होना) और मिनिमल लेफ्ट आइडियल्स (minimal left ideals) तथा इडेम्पोटेंट्स (idempotents) के गुणों का उपयोग करते हैं।
विरोधाभास तर्क (Contradiction Argument): मुख्य प्रमेय (Theorem 1.1) का प्रमाण विरोधाभास द्वारा आगे बढ़ता है। लेखक एक ऐसे 2-रंगीकरण $b$ $b$ के अस्तित्व को मानते हैं जहाँ कोई भी अनंत समुच्चय $B$ $B$ मोनोक्रोमैटिक (एक ही रंग का) $B+B$ $B + B$ नहीं देता है।
- वे एक कॉम्पैक्ट स्पेस $X$ में रंगीकरण के "एफाइन एनकोडिंग" (affine encoding) को परिभाषित करते हैं।
- वे एक निरंतर इनवोल्यूशन (involution) $J$ (कोऑर्डिनेट-वाइज कॉम्प्लीमेंटेशन) और इंडेक्स के डबलिंग मैप (doubling map) से संबंधित एक मानचित्र $\Delta$ पेश करते हैं।
- मिनिमल सबसिस्टम और इडेम्पोटेंट अल्ट्राफिल्टर्स के गुणों का उपयोग करते हुए, वे एक संरचनात्मक गुण प्राप्त करते है: किसी भी नॉन-प्रिंसिपल अल्ट्राफिल्टर $p$ के लिए, बिंदु $(p+p)c$ (जहाँ $c$ एनकोडेड कलरिंग है) को $J(Dp)c $के बराबर होना चाहिए, जहाँ$ D$ डबलिंग मैप का विस्तार है।
- यह एक नए रंगीकरण $h$ के निर्माण की ओर ले जाता है जिसके विशिष्ट गुण हैं: $h^{-1}(1)$ "थिक" (arbitrarily long अंतराल/intervals को समाहित करता है) है, फिर भी कोई भी अनंत $B$ ऐसा नहीं है जिसका $h$ के तहत मोनोक्रोमैटिक $B+B$ हो।
- $h^{-1}(1)$ की मोटाई (thickness) अंततः एक मोनोक्रोमैटिक योग-समुच्चय के अस्तित्व को मजबूर करती है, जो प्रारंभिक परिकल्पना का खंडन करती है।

मुख्य योगदान और परिणाम (Key Contributions and Results)

थ्योरम 1.1 (मुख्य परिणाम): यह शोध पत्र ओइंग्स के प्रश्न का सकारात्मक उत्तर प्रदान करता है। यह सिद्ध करता है कि प्राकृतिक संख्याओं के किसी भी 2-रंगीकरण ( $\mathbb{N} = C_1 \sqcup C_2$ ) के लिए, एक इंडेक्स $i \in \{1, 2\}$ और एक अनंत समुच्चय $B \subset \mathbb{N}$ का अस्तित्व है ताकि $B+B \subset C_i$ हो।
वेटेड रूप (Theorems 1.6 and 1.7): लेखक $\{mx + \ell y\}$ ${m x + ℓ y}$ के रूप में वेटेड योग-समुच्चय (weighted sumsets) की जांच करते हैं।
- थ्योरम 1.6: $m \neq \ell$ के लिए, एक अनंत $B$ और एक शिफ्ट $t \in \{0, m+\ell\}$ मौजूद है ताकि सेट $\{(m+\ell)x : x \in B\} \cup \{mx + \ell y + t : x, y \in B, x < y\}$ मोनोक्रोमैटिक हो।
- थ्योरम 1.7: $m > 1$ के लिए, एक अनंत $B$ मौजूद है ताकि $\{2mx : x \in B\} \cup \{m(x+y) : x, y \in B, x < y\}$ मोनोक्रोमैटिक हो।
सीमाएँ और प्रति-उदाहरण (Limitations and Counterexamples): यह शोध पत्र इन परिणामों की सीमाओं को स्पष्ट करता है:
- 3-रंगीकरण (3-Colorings): प्रपोजिशन 5.1 दर्शाता है कि यह परिणाम 3-रंगीकरण के लिए विफल हो जाता है; एक प्रति-उदाहरण बनाया गया है जहाँ कोई भी अनंत $B$ शिफ्ट के साथ मोनोक्रोमैटिक वेटेड योग-समुच्चय उत्पन्न नहीं करता है।
- प्रश्न 1.9 (पूर्ण वेटेड सिमेट्री): यह शोध पत्र प्रश्न 1.9 का नकारात्मक उत्तर देता है। प्रपोजिशन 5.2 दिखाता है कि $m \neq \ell$ के लिए, एक 2-रंगीकरण मौजूद है जहाँ सेट $\{mx + \ell y + t_1 : x < y\} \cup \{mx + \ell y + t_2 : x > y\}$ किसी भी अनंत $B$ और शिफ्ट $t_1, t_2$ के लिए कभी भी मोनोक्रोमैटिक नहीं होता है।
- 3-फोल्ड संमित (3-Fold Sums): सेक्शन 5.3 एक 2-रंगीकरण का निर्माण करता है जहाँ ओइंग्स के प्रश्न का 3-फोल्ड रूप विफल हो जाता है (अर्थात, कोई भी अनंत $B$ मौजूद नहीं है जिससे $B+B+B$ मोनोक्रोमैटिक हो)।

महत्व (Significance)
यह शोध पत्र संयोजन संख्या सिद्धांत में एक लंबे समय से खुले प्रश्न को हल करके पुष्टि करता है कि अनियंत्रित योग-समुच्चय $A+A$ , 3 या अधिक रंगों के मामले के विपरीत, 2-रंगीकरण के तहत अच्छी तरह से व्यवहार करता है। लेखक नोट करते हैं कि यह परिणाम पुनरावृत्ति (repetitions) के संबंध में हिंडमैन के प्रमेय से भिन्न है, क्योंकि यह विशेष रूप से इस मामले को संबोधित करता है जहाँ तत्वों को स्वयं में जोड़ा जा सकता है।

इसके अलावा, यह कार्य टोपोलॉजिकल डायनेमिक्स और अल्ट्राफिल्टर थ्योरी को कॉम्बिनेटरियल नंबर थ्योरी से जोड़ता है, जो योग-समुच्चय संरचनाओं का विश्लेषण करने के लिए एक मजबूत ढांचा प्रदान करता है। यह शोध पत्र इन संरचनाओं की सटीक सीमाओं को भी रेखांकित करता है, यह दिखाते हुए कि जबकि 2-फोल्ड मामला मान्य है, 3-फोल्ड संमित या मनमाने शिफ्ट के साथ सममित वेटेड संमित (symmetric weighted sums) के सामान्यीकरण 2-रंगीकरण सेटिंग में लागू नहीं होते हैं। ये परिणाम प्राकृतिक संख्याओं में "बड़े" (large) उपसमुच्चयों और उनके विभाजन के तहत उनकी संरचनात्मक गुणों की व्यापक समझ में योगदान करते हैं।

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