🔢 mathematics

Greedy Regular Convolutions

यह शोधपत्र अंकगणितीय फलनों पर एक सीमित, नियमित और समरूप "लालची" (greedy) संवलनों (convolutions) के वर्ग को प्रस्तुत करता है, जो इस बात पर प्रकाश डालता है कि युनिटरी (unitary) और त्रिक (ternary) संवलन वे अद्वितीय मामले हैं जहाँ सभी मूल संख्याएँ समान परिमित रैंक साझा करती हैं, साथ ही एक नवीन "चयनात्मक छँटाई" (selective sifting) प्रक्रिया द्वारा उत्पन्न लंबाई-3 वाले संस्करण का भी विवरण देता है।

मूल लेखक: Jan Snellman

प्रकाशित 2026-08-18

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

CC BY 4.0

मूल लेखक: Jan Snellman

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

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

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

इस सरल, चरण-दर-चरण प्रक्रिया के परिणाम एक आश्चर्यजनक परिदृश्य को प्रकट करते हैं। जब सीमा एक पर सेट की जाती है, तो यह ज्ञात एकल-संख्या समूहों वाली प्रणाली को पुनरुत्पादित करती है। जब सीमा दो होती है, तो यह ज्ञात दो-संख्या समूहों वाली प्रणाली को पुन: निर्मित करती है। हालाँकि, जैसे ही सीमा को बढ़ाकर तीन किया जाता है, प्रणाली मौलिक रूप से बदल जाती है। समूह अब सभी एक ही आकार के नहीं रहते; कुछ में तीन संख्याएँ होती हैं, जबकि अन्य में केवल एक। शोधकर्ता ने मानचित्रित किया कि ये समूह वास्तव में कैसे बनते हैं, यह खोजते हुए कि जो संख्याएँ एक नया समूह शुरू करती हैं—जिन्हें 'प्रिमिटिव एलिमेंट्स' (primitive elements) कहा जाता है—वे एक विशिष्ट, जटिल पैटर्न का पालन करती हैं। तीन की सीमा वाले मामले के लिए, शोधकर्ता ने पाया कि ये शुरुआती संख्याएँ सभी पूर्ण संख्याओं का एक विशिष्ट हिस्सा बनाती हैं, जो एक अनुमानित आवृत्ति के साथ घटित होती हैं।

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

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

तकनीकी सारांश: ग्रीडी रेगुलर कॉन्वोल्यूशन (Greedy Regular Convolutions)

समस्या विवरण
यह शोध पत्र अंकगणितीय फलनों ( $\Gamma$ ) के समुच्चय पर रेगुलर कॉन्वोल्यूशन के वर्गीकरण और निर्माण को संबोधित करता है। नार्कीविच (Narkiewicz) के वर्गीकरण पर आधारित, जो शून्य युक्त अंकगणितीय प्रगति (arithmetic progressions) में प्राकृतिक संख्याओं $\mathbb{N}$ के अपघटन (decompositions) के परिवारों के माध्यम से रेगुलर कॉन्वोल्यूशन को परिभाषित करते हैं, लेखक 'होमोजीनियस' (homogeneous) और 'बाउंडेड' (bounded) रेगुलर कॉन्वोल्यूशन के विशिष्ट वर्ग की जांच करते हैं।

एक रेगुलर कॉन्वोल्यूशन होमोजीनियस है यदि अपघटन संरचना सभी अभाज्य संख्याओं $p$ के लिए समान हो, और बाउंडेड है यदि अंकगणितीय प्रगति के ब्लॉकों की लंबाई किसी पूर्णांक $M$ द्वारा समान रूप से सीमित हो। जबकि डिरिचलेट कॉन्वोल्यूशन (अबाउंडेड) और यूनिटरी कॉन्वोल्यूशन (बाउंडेड, ब्लॉक-लंबाई 1) सुप्रसिद्ध हैं, और टर्नरी कॉलाव्यूशन (बाउंडेड, ब्लॉक-लंबाई 2) गेवेल (Gavell) द्वारा पहचाना गया था, ब्लॉक-लंबाई $d > 2$ वाले रेगुलर कॉन्वोल्यूशन को समझने में एक अंतराल मौजूद है। गेवेल ने सिद्ध किया कि $d > 2$ के लिए, ऐसा कोई रेगुलर होमोजीनियस कॉन्वोल्यूशन मौजूद नहीं है जहाँ सभी ब्लॉकों की लंबाई ठीक $d$ हो। यह शोध पत्र किसी भी $d$ के लिए एक कैनोनिकल (canonical) कॉन्वोल्यूशन को परिभाषित करने का प्रयास करता है जो इस एकरूपता के करीब पहुँचने के लिए ब्लॉकों को यथासंभव भरने का कार्य करता है, जिससे "ग्रीडी" (greedy) कॉन्वोल्यूशन की अवधारणा उत्पन्न होती है।

कार्यप्रणाली (Methodology)
लेखक इन कॉन्वोल्यूशन को उत्पन्न करने के लिए एक रचनात्मक प्रक्रिया प्रस्तुत करते हैं, जिसे लंबाई $d$ के ग्रीडी कॉन्वोल्यूशन के रूप में नामित किया गया है। यह कार्यप्रणाली दो प्राथमिक निरूपणों पर निर्भर करती है:

ट्री निर्माण (Tree Construction): दिए गए $d$ के लिए, शीर्षों $\{0, 1, \dots, n\}$ पर रूटेड पेड़ों (rooted trees) का एक अनुक्रम $T_d(n)$ परिभाषित किया जाता है। पूर्णांकों को क्रमिक रूप से जोड़ा जाता है। एक पूर्णांक $n+1$ को मौजूदा शाखा $0 \to k \to 2k \to \dots \to mk$ में एक लीफ (leaf) के रूप में जोड़ा जाता है यदि $n+1 = (m+1)k$ और $m+1 \le d$ हो। यदि कई ऐसी शाखाएं मौजूद हैं, तो सबसे छोटे $k$ वाली शाखा को चुना जाता है (ग्रीडी नियम)। यदि ऐसी कोई शाखा मौजूद नहीं है, तो एक नई शाखा $0 \to (n+1)$ शुरू की जाती है। इन पेड़ों की सीमा $\mathbb{N}$ का अपघटन $\Pi(d)$ परिभाषित करती है।
मैट्रिक्स निरूपण (Matrix Representation): अपघटन को एक $d \times \mathbb{N}$ मैट्रिक्स $A(d, N)$ द्वारा समतुल्य रूप से उत्पन्न किया जाता है जहाँ प्रविष्टि (entry) $(i, j) = ij $है। कॉलम को प्रोसेस किया जाता है; यदि कोई मान$ ar,c$ किसी पिछले कॉलम में दिखाई देता है, तो वर्तमान कॉलम को "प्रून" (prune) कर दिया जाता है (रो $r$ के नीचे शून्य सेट कर दिया जाता है)। गैर-शून्य कॉलम $\mathbb{P}$ (धनात्मक पूर्णांकों) के विभाजन $S(d)$ के भागों का प्रतिनिधित्व करते हैं।

लेखक अपघटन के प्रत्येक ब्लॉक में सबसे छोटे धनात्मक तत्व (primitive elements) के उपयोग से उनके बीजगणितीय ढांचे को समझने का प्रयास करते हैं। $d=2$ और $d=3$ के लिए प्रिमिटिव तत्वों के सेट का विश्लेषण करने के लिए, लेखक एक पुनरावर्ती सीव-जैसे (sieve-like) प्रक्रिया पेश करते हैं जिसे सिलेक्टिव सिफ्टिंग (selective sifting) कहा जाता है, जिसे $s(S)$ द्वारा दर्शाया जाता है। यह प्रक्रिया उत्तरोत्तर एक पूर्णांक $n$ को सेट में शामिल करती है जब तक कि उसे $ab $के रूप में न बनाया जा सके जहाँ$ a \in S $और$ b$ पहले से ही सिफ्टेड सेट में है।

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

ग्रीडी कॉन्वोल्यूशन की परिभाषा: शोध पत्र किसी भी धनात्मक पूर्णांक $d$ के लिए ग्रीडी कॉलाव्यूशन $G(d)$ को औपचारिक रूप से परिभाषित करता है। यह स्थापित करता है कि $G(1)$ यूनिटरी कॉलाव्यूशन के अनुरूप है और $G(2)$ टर्नरी कॉलावलेशन के अनुरूप है।
एकरूप ब्लॉक लंबाई की विशिष्टता: शोध पत्र (गेवेल के प्रति श्रेय देते हुए) यह सिद्ध करता है कि $d > 2$ के लिए, ऐसा कोई रेगुलर होमोजीनियस कॉलाव्यूशन मौजूद नहीं है जहाँ सभी ब्लॉकों की लंबाई ठीक $d$ हो। ग्रीडी निर्माण को एक प्राकृतिक विकल्प के रूप में प्रस्तुत किया गया है जहाँ ब्लॉक की लंबाई $\le d$ है, लेकिन आवश्यक रूप से समान नहीं है।
$d=3$ का विस्तृत विश्लेषण:
- यह दिखाया गया है कि $G(3)$ के लिए ब्लॉक की लंबाई या तो 3 या 1 होती है।
- प्रिमिटिव तत्वों के सेट को पूर्ण रैंक (3) और रैंक 1 में विभाजित किया गया है।
- पूर्ण रैंक वाले प्रिमिटिव्स के सेट $M$ को उन पूर्णांकों के रूप में पहचाना गया है जहाँ $m = 4^i 9^j k$ और $\gcd(k, 6)=1$ (OEIS A339690)।
- रैंक-1 प्रिमिटिव्स के सेट को $6M$ के रूप में पहचाना गया है।
- $d=3$ के लिए प्रिमिटिव्स के पूर्ण सेट का नेचुरल डेंसिटी (natural density) $7/12$ निकाला गया है।
- लेखक प्रदर्शित करते हैं कि $d=3$ के लिए प्रिमिटिव्स के सेट को $S = \{2, 3, 6\}$ के साथ सिलेक्टिव सिफ्टिंग के माध्यम से वर्णित किया जा सकता है।
सिलेक्टिव सिफ्टिंग फ्रेमवर्क: शोध पत्र सिफ्टिंग विधि को सामान्यीकृत करता है, $s(\{p\})$ , $s(\{p, q, pq\})$ और अन्य विशिष्ट सेटों के लिए क्लोज्ड-फॉर्म विवरण प्रदान करता है। यह स्थापित करता है कि $d=2$ और $d=3$ के लिए, प्रिमिटिव सेट सटीक रूप से विशिष्ट $S$ के लिए $s(S)$ हैं।
$d=4$ का विश्लेषण:
- शोध पत्र $G(4)$ के लिए डेटा प्रस्तुत करता है, जिसमें रैंक 1, 2 और 4 के प्रिमिटिव्स की उपस्थिति दर्ज है, लेकिन रैंक 3 प्रिमिटिव्स का अभाव है।
- यह देखा गया है कि $d=4$ के लिए प्रिमिटिव्स का सेट एक परिमित (finite) सिलेक्टिव सिफ्टिंग सेट $S$ द्वारा सटीक रूप से प्रतिनिधित्व नहीं किया जा सकता है।
- एक अनुमान प्रस्तावित किया गया है कि $d=4$ के लिए रैंक-4 प्रिमिटिव्स का सेट $2^a 3^b$ के रूप के अनंत $S$ द्वारा उत्पन्न सिलेक्टिव सिफ्टिंग सेट के "करीब" है।
सांख्यिकीय गुण: शोध पत्र विभिन्न मामलों के लिए नेचुरल डेंसिटी की गणना करता है और ब्लॉक की लंबाई तथा क्रमिक प्रिमिटिव्स के बीच की दूरी के वितरण को प्लॉट करता है, यह नोट करते हुए कि प्रिमिटिव्स के बीच औसत दूरी उनके नेचुरल डेंसिटी का व्युत्क्रम (reciprocal) है।

महत्व और दावे
शोध पत्र दावा करता है कि यह यूनिटरी/टर्नरी मामलों और उच्च-क्रम यूनिफॉर्म ब्लॉक लेंथ के बीच के अंतराल को भरने के लिए रेगुलर कॉलाव्यूशन के एक नए परिवार के लिए एक व्यवस्थित निर्माण प्रदान करता है। इसकी प्राथमिक महत्ता निम्नलिखित में निहित है:

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

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

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