🔢 mathematics

Arithmetic properties of DSOME function

यह शोध पत्र $DSOME(n)$ फलन के लिए एक क्लोज्ड-फॉर्म जनरेटिंग फंक्शन व्युत्पन्न करता है, जो एंड्रयूज और घोष दस्तिदार के हालिया कार्य का विस्तार करते हुए मोड्यूलो 4 और 8 के नए आंतरिक सर्वांगसमताओं (congruences) की खोज को सक्षम बनाता है।

मूल लेखक: Nayandeep Deka Baruah, Pankaj Gogoi

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

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

CC BY 4.0

मूल लेखक: Nayandeep Deka Baruah, Pankaj Gogoi

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

कल्पना कीजिए कि आपके पास नंबर वाले ब्लॉकों का एक विशाल थैला है। आपका काम इन ब्लॉकों से मीनारें (towers) बनाना है, लेकिन एक नियम है: प्रत्येक मीनार के ब्लॉक एक विशिष्ट संख्या को जोड़कर बनी होनी चाहिए, मान लीजिए 5। आप 5 के एक अकेले ब्लॉक से एक मीनार बना सकते हैं, या 1 के पांच ब्लॉकों से, या 3 और 2 से, इत्यादि। गणित में, इन मीनारों को विभाजन (partitions) कहा जाता है।

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

"तौलने" का खेल: SOME और DSOME

उन्होंने इन मीनारों को तौलने के लिए दो विशेष "पैमाने" बनाए:

SOME(n): कल्पना कीजिए कि हर विषम-संख्या वाले ब्लॉक (1, 3, 5...) सोने के भारी धातु से बने हैं, और हर सम-संख्या वाले ब्लॉक (2, 4, 6...) हल्के प्लास्टिक से बने हैं। यह फलन (function) आकार n की प्रत्येक संभावित मीनार के लिए सभी सोने के ब्लॉकों के वजन को जोड़ता है और सभी प्लास्टिक के ब्लॉकों के वजन को घटाता है।
DSOME(n): यह वही खेल है, लेकिन एक ट्विस्ट के साथ। आप केवल ऐसी मीनारें बना सकते हैं जहाँ कोई भी दो ब्लॉक एक ही आकार के न हों। आप दो 2 या दो 3 नहीं रख सकते। यह ऐसा है जैसे आप एक ऐसी मीनार बना रहे हों जहाँ हर कदम का आकार अद्वितीय हो। फिर आप वही सोना-घटा-प्लास्टिक वाला तौल करते हैं।

यह शोध पत्र इस दूसरे, अधिक सख्त संस्करण: DSOME(n) पर केंद्रित है।

बड़ी खोज: एक गुप्त रेसिपी

लेखक, नयंदीप डेका बरुआ और पंकज गोगोई, इन वजनों के छिपे हुए पैटर्न को समझना चाहते थे। वे जानते थे कि एक जटिल, उलझी हुई रेसिपी (एक सूत्र) मौजूद है जो DSOME(n) की गणना करने के लिए उपयोग की जा सकती है, लेकिन पैटर्न खोजने के लिए इसका उपयोग करना कठिन था।

उनकी पहली बड़ी उपलब्धि एक "क्लोज्ड फॉर्म" (closed form) खोजना था। इसे ऐसे समझें जैसे किसी जटिल, 10-चरणीय कुकिंग रेसिपी को एक एकल, सुंदर समीकरण में सरल बनाना। उन्होंने एक साफ, संक्षिप्त सूत्र खोज निकाला जो सभी DSOME संख्याओं को एक साथ उत्पन्न करता है।

छिपी हुई लय (Congruences) ढूंढना

एक बार जब उनके पास यह सुंदर सूत्र आ गया, तो उन्होंने संख्याओं में "लय" या दोहराव वाले पैटर्न खोजने शुरू किए। गणित में, एक लय खोजना अक्सर यह खोजने के समान होता है कि कुछ संख्याएँ एक विशिष्ट संख्या (जैसे 4 या 8) से विभाजित होने पर हमेशा शून्य शेषफल (remainder of zero) देती हैं।

यहाँ उन्होंने क्या पाया, इसे सरल भाषा में समझाया गया है:

"प्रत्येक चौथी" का नियम: उन्होंने सिद्ध किया कि यदि आप एक विशिष्ट अनुक्रम में (जैसे प्रत्येक चौथी संख्या पर) DSOME संख्याओं को देखते हैं, तो परिणाम हमेशा 4 से पूरी तरह विभाज्य होता है। यह एक ड्रम की थाप की तरह है जो हमेशा मुख्य बीट पर ही गिरती है।
"प्रत्येक 25वीं" का नियम: उन्होंने पाया कि यदि आप उन संख्याओं को देखते हैं जो 25 के गुणज से 1 अधिक हैं (जैसे 26, 51, 76...), तो परिणाम हमेशा 4 से विभाज्य होता है।
"गहरा" नियम (Modulo 8): वे और भी गहराई तक गए। उन्होंने खोजा कि बहुत विशिष्ट, बड़ी संख्याओं के लिए (जैसे 125 से विभाजित करने पर 26 शेष देने वाली संख्याएँ), परिणाम 8 से विभाज्य होता है।
"फैमिली ट्री" कनेक्शन: शायद सबसे दिलचस्प खोज इन संख्याओं की विभिन्न पीढ़ियों के बीच एक संबंध है। उन्होंने दिखाया कि एक विशाल संख्या का मान (जैसे 15,625) एक विशिष्ट समीकरण में बहुत छोटी संख्याओं (जैसे 25 या 625) के मानों से गणितीय रूप से जुड़ा हुआ है। यह कहने जैसा है कि एक विशाल ओक के पेड़ का वजन उसके बलूत (acorns) और छोटे पौधों के वजन से एक सटीक सूत्र द्वारा निर्धारित होता है।

क्रिस्टल बॉल (अनुमान/Conjectures)

पत्र के अंत में, लेखक अपने डेटा को देखते हैं और एक शिक्षित अनुमान (conjecture) लगाते हैं। उन्हें संदेह है कि वहां अभी भी और भी छिपी हुई लयें हैं जिन्हें उन्होंने अभी तक सिद्ध नहीं किया है। वे अनुमान लगाते हैं कि यदि आप उन संख्याओं को देखते हैं जो 50 से विभाजित करने पर 21 समाप्त होती हैं, तो परिणाम 8 से विभाज्य होगा, और यदि आप उन संख्याओं को देखते हैं जो 100 से विभाजित करने पर 71 समाप्त होती हैं, तो परिणाम 16 से विभाज्य होगा।

सारांश

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

तकनीकी सारांश: DSOME फलन के अंकगणितीय गुण

समस्या विवरण
यह शोध पत्र $DSOME(n) $फलन के अंकगणितीय गुणों की जांच करता है, जिसे हाल ही में एंड्रयूज और घोष दस्तिदार द्वारा प्रस्तुत किया गया था। इस फलन को एक धनात्मक पूर्णांक$ n$ के विशिष्ट भागों (distinct parts) वाले विभाजनों में सभी विषम भागों के योग से उन विभाजनों के सभी सम भागों के योग को घटाकर परिभाषित किया गया है। जबकि एंड्रयूज और घोष दस्तिदार ने $DSOME(n)$ के जनरेटिंग फंक्शन (generating functions) स्थापित किए और 4 और 5 के मापांक (modulo) में कई सर्वांगसमताओं (congruences) को सिद्ध किया, इस शोध पत्र के लेखक $DSOME(n)$ के जनरेटिंग फंक्शन के लिए एक क्लोज्ड-फॉर्म (closed-form) अभिव्यक्ति प्राप्त करने का लक्ष्य रखते हैं। यह क्लोज्ड-फॉर्म 4 और 8 के मापांक में नई सर्वांगमताओं और आंतरिक सर्वांगसमता संबंधों की खोज के लिए आधार के रूप में कार्य करता है।

कार्यप्रणाली
लेखक $q$ -श्रंखला (q-series) और विभाजन पहचान (partition identities) के सिद्धांत का उपयोग करते हैं। मुख्य कार्यप्रणाली में शामिल है:

एक क्लोज्ड-फॉर्म का व्युत्पत्ति: लेखक $DSOME(n) $के जनरेटिंग फंक्शन को, जो मूल रूप से$ q $-उत्पादों वाले एक अनंत श्रेणी के रूप में व्यक्त किया गया था, मानक$ q $-उत्पादों$ f_n = (q^n; q^n)_\infty$ वाले एक क्लोज्ड-फॉर्म में परिवर्तित करते हैं।
विच्छेदन तकनीकें (Dissection Techniques): विशिष्ट अंकगणितीय प्रगति (जैसे, $5n+r$ ) के संगत गुणांकों को निकालने के लिए, लेखक $f_1$ , $1/f_1$ , और रोजर-रामानुजन फलनों $G(q)$ और $H(q)$ के 5-विच्छेदन (5-dissections) और 2-विच्छेदन का उपयोग करते हैं।
बीजीय हेरफेर (Algebraic Manipulation): प्रमाण मुख्य रूप से रोजर-रामानुजन निरंतर भिन्न (continued fraction) $R(q)$ और उसके संबंधित फलन $T(q) = G(q)/H(q)$ से जुड़ी पहचानों पर आधारित हैं। विशेष रूप से, लेखक जटिल अभिव्यक्तियों को सरल बनाने के लिए $T(q)$ और $T(q^2)$ को जोड़ने वाले पहचानों के एक सेट (लेम्मा 2.1) का उपयोग करते हैं।
मापांक अंकगणित (Modular Arithmetic): लेखक प्राप्त श्रृंखलाओं पर 2, 4, और 8 के मापांक में सर्वांगसमताओं को लागू करते हैं। वे पदों को कम करने और गुणांकों को अलग करने के लिए अक्सर इस गुण का उपयोग करते हैं कि $f_k^{2\ell} \equiv f_{2k}^{2\ell-1} \pmod{2^\ell}$ ।

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

क्लोज्ड-फॉर्म जनरेटिंग फंक्शन (प्रमेय 1.1):
मुख्य सैद्धांतिक योगदान $DSOME(n)$ के जनरेटिंग फंक्शन को एक क्लोज्ड-फॉर्म में व्यक्त करना है:
$\sum_{n=0}^{\infty} DSOME(n)q^n = \frac{1}{8} \left( \frac{f_2}{f_1} - \frac{f_1^7}{f_2^3} \right)$
यह अभिव्यक्ति मूल श्रेणी प्रतिनिधित्व की तुलना में अधिक प्रत्यक्ष हेरफेर की अनुमति देती है।
4 के मापांक में नई सर्वांगमताएं (प्रमेय 1.2):
क्लोज्ड-फॉर्म और 5-विच्छेदन तकनीकों का उपयोग करते हुए, लेखक सिद्ध करते हैं कि सभी $n \ge 0$ और $1 \le r \le 4$ के लिए:
$DSOME(25n + 5r + 1) \equiv 0 \pmod 4$
यह लुप्त गुणांकों (vanishing coefficients) के एक व्यापक परिवार की पहचान करके पिछले परिणामों का विस्तार करता है।
8 के मापांक में नई सर्वांगमताएं (प्रमेय 1.3):
लेखक एक मजबूत 8 के मापांक वाली सर्वांगमता स्थापित करते हैं। सभी $n \ge 0$ और $1 \le r \le 4$ के लिए:
$DSOME(625n + 125r + 26) \equiv 0 \pmod 8$
यह परिणाम फलन के भीतर एक गहरे अंकगणितीय ढांचे को प्रदर्शित करता है।
आंतरिक सर्वांगमताएं (प्रमेय 1.4):
शोध पत्र विभिन्न पैमानों पर $DSOME(n) $के मानों को जोड़ने वाले पुनरावर्ती संबंधों (आंतरिक सर्वांगमताओं) को व्युत्पन्न करता है। विशेष रूप से, यह$ DSOME(15n + 651) $को$ DSOME(25n+1)$, $DSOME(625n+26) $, और$ DSOME(n)$ के रैखिक संयोजनों से जोड़ने वाले संबंधों को 8 के मापांक में सिद्ध करता है।

महत्व और दावे
लेखक कहते हैं कि जनरेटिंग फंक्शन का क्लोज्ड-फॉर्म अभिव्यक्ति इन नई खोजों के लिए प्रमुख सक्षमकर्ता (enabler) है। फलन को $f_1$ और $f_2$ के संदर्भ में व्यक्त करके, वे मूल श्रेणी परिभाषा से स्पष्ट न होने वाली सर्वांगमताओं को खोजने के लिए मानक विच्छेदन विधियों को लागू करने में सक्षम हुए।

शोध पत्र विनम्रतापूर्वक निष्कर्ष निकालता है कि हालांकि ये 4 और 8 के मापांक में नई सर्वांगमताएं महत्वपूर्ण हैं, "कहीं अधिक सर्वांगमताएं अभी खोजी जानी बाकी हैं।" संख्यात्मक गणनाओं के आधार पर, लेखक भविष्य के अन्वेषण के लिए दो अनुमान (conjectures) प्रस्तावित करते हैं:

$DSOME(50n + 21) \equiv 0 \pmod 8$
$DSOME(100n + 71) \equiv 0 \pmod{16}$

यह कार्य एंड्रयूज और घोष दस्तिदार द्वारा शुरू किए गए अध्ययन के निरंतरता के रूप में स्वयं को स्थापित करता है, जो विशिष्ट भागों वाले विभाजन-संबंधित फलनों के अंकगणितीय गुणों के विश्लेषण के लिए एक अधिक सुदृढ़ बीजीय ढांचा प्रदान करता है।