🔢 mathematics

Some new congruences and identities for $SOME(n)$ , $DSOME(n)$ , $\overline{SOME}(n)$ functions and analogues

यह शोध पत्र $SOME(n)$ , $DSOME(n)$ , और $\overline{SOME}(n)$ विभाजन फलनों (partition functions) के लिए नई सर्वसमताओं, सर्वांगसमताओं, एकदिष्टता परिणामों और विभाज्यता गुणों को स्थापित करता है, साथ ही इन फलनों के सामान्य और रंगीन विभाजन रूपांतरों (colored partition analogues) को भी प्रस्तुत और विश्लेषित करता है।

मूल लेखक: Gaurab Bardhan, Nipen Saikia

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

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

CC BY 4.0

मूल लेखक: Gaurab Bardhan, Nipen Saikia

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

कल्पना कीजिए कि आपके पास लेगो ब्रिक्स (Lego bricks) का एक विशाल बैग है। प्रत्येक ईंट का एक आकार है (1, 2, 3, आदि)। किसी संख्या का "विभाजन" (partition) केवल उस संख्या को बनाने का एक तरीका है जिसमें ठीक उतने ही कुल ईंटों का उपयोग किया गया हो। उदाहरण के लिए, यदि आपका लक्ष्य संख्या 4 है, तो आप चार 1 के ईंटों से, या दो 2 के ईंटों से, या एक 3 और एक 1 से, या इसी तरह से एक टावर बना सकते हैं।

गणितज्ञ यह गिनने में बहुत रुचि रखते हैं कि वे किसी भी संख्या के लिए कितने अलग-अलग टावर बना सकते हैं। लेकिन यह शोध पत्र केवल टावरों को गिनने के बारे में नहीं है; यह उन्हें एक बहुत ही विशिष्ट, विचित्र तरीके से तौलने के बारे में है।

यहाँ उन कार्यों का विवरण दिया गया जो लेखक, गौरब भारदन और निपेन सैकिया कर रहे हैं, जिसे सरल भाषा में समझाया गया है:

1. "विषम बनाम सम" का पैमाना (The "Odd vs. Even" Scale)

इस कहानी के मुख्य पात्र तीन फलन (functions) हैं: SOME(n), DSOME(n), और $\overline{\text{SOME}}(n)$ ।

इन फलनों को एक विशेष तराजू के रूप में सोचें।

SOME(n): आप $n$ ईंटों के साथ बनाए जा सकने वाले प्रत्येक संभावित टावर को देखते हैं। प्रत्येक टावर के लिए, आप सभी विषम-संख्या वाली ईंटों (1, 3, 5...) के आकार को जोड़ते हैं और सभी सम-संख्या वाली ईंटों (2, 4, 6...) के आकार को घटाते हैं। फिर, आप सभी टावरों के लिए इन परिणामों को जोड़ देते हैं।
DSOME(n): यह वही खेल है, लेकिन आप केवल ऐसे टावर बनाते हैं जहाँ कोई भी दो ईंटें एक ही आकार की नहीं हैं (एक "विशिष्ट" विभाजन)।
$\overline{\text{SOME}}(n)$ : यह "ओवरपार्टीशन" (Overpartition) संस्करण है। कल्पना कीजिए कि आपकी कुछ ईंटों पर एक विशेष "हाइलाइटर" का निशान है। आप उसी आकार की एक नियमित ईंट या एक हाइलाइट की हुई ईंट का उपयोग कर सकते हैं, लेकिन आप एक ही हाइलाइट की हुई ईंट का दो बार उपयोग नहीं कर सकते। यह फलन इन विशेष हाइलाइट किए गए टावरों के लिए विषम-माइनस-सम गणना करता है।

बड़ा प्रश्न: लेखक पूछ रहे हैं, "जब हम यह अजीब गणित करते हैं, तो क्या परिणाम किसी छिपे हुए पैटर्न का पालन करते हैं?"

2. "जादुई नियम" (The "Magic Rules" - Congruences)

गणित में, "कंग्रुएंस" (congruence) एक गुप्त कोड की तरह है जो कहता है, "यदि आप इस संख्या को 4 (या 5, या 8) से विभाजित करते हैं, तो शेषफल हमेशा 0 होगा।"

लेखकों ने कई ऐसे गुप्त कोड खोजे हैं:

"4 से विभाज्यता" का नियम: यदि आप 4, 8, 12 आदि जैसी संख्या लेते हैं और उन्हें SOME या DSOME फलनों से गुजारते हैं, तो परिणाम हमेशा 4 से पूरी तरह विभाज्य होता है। यह ऐसा है जैसे ब्रह्मांड यह सुनिश्चित करता है कि ये विशिष्ट संख्याएँ हमेशा दो-दो के जोड़ों में आती हैं।
"पूर्ण वर्ग" का नियम: यदि आपकी संख्या $n$ एक पूर्ण वर्ग (जैसे 1, 4, 9, 16) है और वह विषम है, तो परिणाम हमेशा 4 के गुणज से 2 अधिक होता है। यदि यह पूर्ण वर्ग नहीं है, तो परिणाम 4 का एक गुणज होता है।
"5 से विभाज्यता" का नियम: उन्होंने पुष्टि की कि कुछ संख्याओं के लिए (जैसे 2, 7, 12... जो $5n+2$ हैं), परिणाम हमेशा 5 से विभाज्य होता है।

उन्होंने केवल ये नियम खोजे नहीं हैं; उन्होंने उन्हें जटिल बीजगणितीय सूत्रों (generating functions) का उपयोग करके सिद्ध किया है, जो ब्लूप्रिंट की तरह हैं जो एक साथ पूरे अनंत टावरों के संग्रह का वर्णन करते हैं।

3. "मोनोटोनिसिटी" (The "Monotonicity" - The Staircase Effect)

सबसे दिलचस्प निष्कर्षों में से एक वृद्धि (growth) के बारे में है।
एक सीढ़ी की कल्पना करें। लेखकों ने सिद्ध किया कि यदि आप किसी संख्या $n$ के लिए "विषम घटाव सम" (Odd minus Even) स्कोर देखते हैं, और फिर $n-2$ (दो कदम पीछे) के लिए स्कोर देखते हैं, तो $n$ का स्कोर लगभग हमेशा अधिक या उसके बराबर होता है।

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

4. "सामान्य एनालॉग" (The "General Analogue" - The Universal Rule)

लेखकों ने केवल इन तीन विशिष्ट फलनों तक ही सीमित नहीं रहे। उन्होंने एक सार्वभौमिक संस्करण बनाया जिसे SP(n) कहा जाता है।

रूपक: कल्पना कीजिए कि आपके पास टावर बनाने के लिए एक नियम पुस्तिका है। शायद आप केवल अभाज्य (prime) आकार की ईंटों की अनुमति देते हैं, या शायद आप केवल 3 के गुणज वाली ईंटों की अनुमति देते हैं। SP(n) एक ऐसा फलन है जो आपके द्वारा बनाए गए किसी भी नियम पुस्तिका के लिए काम करता है।
खोज: उन्होंने सिद्ध किया कि चाहे आप अपनी ईंटों को कैसे भी प्रतिबंधित करें, यदि आप आकार $4n$ के टावर के लिए "विषम घटाव सम" स्कोर लेते हैं, तो यह हमेशा 4 से विभाज्य होगा। यह एक सार्वभौमिक नियम है जो इस तथ्य पर निर्भर नहीं करता कि आप अपने लेगो निर्माण को कैसे सीमित करते हैं।

5. "रंगीन" संस्करण (The "Colorful" Version)

अंत में, उन्होंने एक ऐसी दुनिया की कल्पना की जहाँ प्रत्येक ईंट अलग-अलग रंगों में आती है।

यदि आपके पास आकार 3 की एक ईंट है, तो शायद वह लाल, नीली या हरी हो सकती है।
उन्होंने इन "रंगीन विभाजनों" को संभालने के लिए Sc(n) नामक एक फलन बनाया।
परिणाम: उन्होंने पाया कि यदि प्रत्येक ईंट के आकार के लिए आप जितने रंगों की अनुमति देते हैं वे एक विशिष्ट पैटर्न का पालन करते हैं, तो अंतिम "विषम घटाव सम" स्कोर हमेशा एक विशिष्ट संख्या (जैसे 3 या 4) से विभाज्य होगा। यह ऐसा है जैसे, "यदि आप अपने ईंटों को 3 के समूहों में रंगते हैं, तो गणित हमेशा पूरी तरह से संतुलित रहेगा।"

सारांश

साधारण शब्दों में, यह शोध पत्र संख्याओं के बारे में एक जासूसी कहानी है। लेखकों ने विभाजनों (संख्याओं को तोड़ने के तरीकों) को गिनने और तौलने के एक बहुत ही विशिष्ट तरीके को देखा। उन्होंने देखा कि संख्याओं के टूटने की अराजक प्रकृति के बावजूद, परिणामों में कठोर, अनुमानित पैटर्न (विभाज्यता के नियम) और एक स्थिर ऊपर की ओर रुझान (monotonicity) मौजूद हैं। उन्होंने यह भी दिखाया कि ये पैटर्न केवल एक विशिष्ट प्रकार की संख्या के लिए संयोग नहीं हैं, बल्कि विभाजन से जुड़े "गणितीय खेलों" के एक पूरे परिवार पर लागू होते हैं।

तकनीकी सारांश: SOME(n), DSOME(n) और उनके अनुरूपों के लिए नई सर्वांगसमताएँ और सर्वसमताएँ

समस्या विवरण और संदर्भ
यह शोध पत्र एंड्रयूज और दस्तिडार (2026) तथा गिरीश और हेमंतकुमार द्वारा प्रस्तुत विभाजन-संबंधी फलनों (partition-related functions) के अंकगणितीय गुणों की जांच करता है। विशेष रूप से, यह निम्नलिखित पर केंद्रित है:

SOME(n): एक धनात्मक पूर्णांक $n$ के सभी साधारण विभाजनों (ordinary partitions) में सभी विषम भागों के योग और सभी सम भागों के योग का अंतर।
DSOME(n): $n$ के भिन्न भागों वाले विभाजनों (partitions into distinct parts) पर गणना किया गया इसी प्रकार का अंतर।
$\overline{\text{SOME}}(n)$ : SOME(n) का एक ओवरपार्टिशन (overpartition) अनुरूप।

जबकि पिछले कार्यों ने 4, 5 और 2 की घातों के लिए इन फलनों के जनरेटिंग फंक्शन और सर्वांगसमताओं को स्थापित किया था, इस शोध पत्र का लक्ष्य नई सर्वसमताओं को प्राप्त करना, एकदिष्टता (monotonicity) परिणामों को स्थापित करना, और इन अवधारणाओं को विभाजनों के स्वैच्छिक परिवारों और कलर पार्टीशन (color partitions) तक सामान्यीकृत करना है।

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

जनरेटिंग फंक्शन्स (Generating Functions): अनंत उत्पादों और श्रेणियों का हेरफेर, जिसमें $(a; q)_\infty$ और $g_t = (q^t; q^t)_\infty$ जैसे मानक संकेतों का उपयोग किया गया है।
रामानुजन के थीटा फंक्शन्स (Ramanujan's Theta Functions): श्रृंखला निरूपणों को रूपांतरित करने और विश्लेषण करने के लिए $\phi(q)$ , $\psi(q)$ , और $f(-q)$ का उपयोग।
लैम्बर्ट श्रंखला और भाजक योग (Lambert Series and Divisor Sums): $\sigma(n)$ (भाजकों का योग) और $r_k(n)$ (वर्गों के योग के रूप में निरूपण) से संबंधित श्रृंखलाओं का विस्तार।
ट्रंकेटेड पेंटागोनल नंबर थ्योरम (Truncated Pentagonal Number Theorem): एकदिष्टता गुणों को सिद्ध करने के लिए एंड्रयूज और मर्का के परिणामों का अनुप्रयोग।
लॉगैरिद्मिक डिफरेंशिएशन (Logarithmic Differentiation): सामान्यीकृत फलनों के लिए जनरेटिंग फंक्शन्स प्राप्त करने हेतु उपयोग।
मोबियस इनवर्जन (Möbius Inversion): कलर पार्टीशन के संदर्भ में विभाज्यता की शर्तों को स्थापित करने के लिए अनुप्रयोग।

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

1. SOME(n) और DSOME(n) के लिए सर्वसमताएँ और सर्वांगसमताएँ

नई सर्वसमता (प्रमेय 3.1): लेखक एक पुनरावृत्ति संबंध (recurrence relation) सिद्ध करते हैं जो SOME(n) को विभाजन फलन $p(n)$ और भाजक योग $\sigma(n)$ से जोड़ता है:
$\text{SOME}(n) + 4 \sum_{i=1}^{\lfloor n/2 \rfloor} p(n-2i)\sigma(i) = n p(n)$
4 और 8 के मॉड्युलो में सर्वांगसमता (प्रमेय 3.2 और 3.3): यह स्थापित किया गया है कि यदि $n$ एक विषम पूर्ण वर्ग है, तो $\text{SOME}(n) \equiv 2 \pmod 4$ (और $\pmod 8$ ) होगा, अन्यथा $0$ होगा।
सामान्य सर्वांगसमता (प्रमेय 3.4): वर्गों के योग के रूप में पूर्णांकों के निरूपणों के योगों को शामिल करते हुए $\text{SOME}(n) \equiv 0 \pmod{2^{\alpha+2}}$ के लिए एक स्थिति प्रदान की गई है।
DSOME(n) सर्वसमताएँ (प्रमेय 3.5 और 3.6): लेखक $pd(n) $(विशिष्ट विभाजनों) और$ \sigma(n) $को शामिल करते हुए$ \text{DSOME}(n) $के लिए एक स्पष्ट सूत्र प्राप्त करते हैं, और यूलर के पेंटागोनल नंबर प्रमेय का उपयोग करके$ \text{DSOME}(n) $और$ \text{SOME}(n)$ के बीच एक संबंध स्थापित करते हैं।

2. एकदिष्टता परिणाम (Monotonicity Results)

प्रमेय 3.8 और 3.12: ट्रंकेटेड पेंटागोनल नंबर थ्योरम का उपयोग करते हुए, लेखक सिद्ध करते हैं कि $n \ge 2$ के लिए $\text{SOME}(n) \ge \text{SOME}(n-2)$ है।
उपप्रमेय (Corollaries): यह निहित करता है कि अनुक्रम $\{\text{SOME}(2n)\}$ और $\{\text{SOME}(2n-1)\}$ एकदिष्ट रूप से बढ़ते हुए (monotonically increasing) हैं। फलस्वरूप, $n$ के विभाजनों में सभी विषम भागों का योग, सभी सम भागों के योग से अधिक या उसके बराबर है। इसी प्रकार के एकदिष्टता परिणाम $\overline{\text{SOME}}(n)$ के लिए भी सिद्ध किए गए हैं।

3. सामान्य अनुरूप SP(n)

परिभाषा: यह शोध पत्र $SP(n) $को विभाजनों के किसी भी स्वैच्छिक परिवार$ P(n)$ पर (विषम भाग - सम भाग) के योग के रूप में परिभाषित करता है।
विभाज्यता गुण:
- प्रमेय 4.1: किसी भी विभाजन $\lambda$ के लिए, विषम और सम भागों के योग का अंतर $\omega(\lambda) \equiv n \pmod 4$ संतुष्ट करता है।
- प्रमेय 4.3 और 4.4: लेखक $L = \text{lcm}(2, k)$ के सापेक्ष विशिष्ट अवशेषों (residues) के अनुरूप भागों की गणना के आधार पर $SP(n) \equiv 0 \pmod k$ के लिए आवश्यक और पर्याप्त स्थितियाँ स्थापित करते हैं। विशेष रूप से, $SP(n) \equiv 0 \pmod 3$ तभी होता है जब 1 या 2 (mod 6) के अनुरूप भागों की संख्या, 4 या 5 (mod 6) के अनुरूप भागों की संख्या के बराबर हो।

4. कलर पार्टीशन अनुरूप $S_c(n)$

परिभाषा: यह शोध पत्र $S_c(n)$ को उन विभाजनों के लिए परिभाषित करता है जहाँ आकार $j$ के भाग $c_j$ अलग-अलग रंगों में दिखाई देते हैं।
जनरेटिंग फंक्शन (प्रमेय 5.1): लॉगैरिद्मिक डिफरेंशिएशन का उपयोग करके एक क्लोज्ड-फॉर्म जनरेटिंग फंक्शन प्राप्त किया गया है।
विभाज्यता की स्थिति (प्रमेय 5.2): $S_c(n) \equiv 0 \pmod k$ के लिए एक आवश्यक और पर्याप्त स्थिति सिद्ध की गई है: यह तभी सत्य होता है जब सभी $j \ge 1$ के लिए $k$ , $j c_j$ को विभाजित करता है।
उपप्रमेय: मॉड्युलो 3 और 4 के लिए विशिष्ट विभाज्यता नियम और $k$ के गुणजों के रूप में प्रतिबंधित भागों वाले मामलों के लिए नियम प्राप्त किए गए हैं।

महत्व और दावे
यह शोध पत्र निम्नलिखित द्वारा विभाजन अंतर फलनों (partition difference functions) के अंकगणितीय सिद्धांत को विस्तारित करने का दावा करता है:

नई सर्वसमताएँ प्रदान करना जो इन फलनों को शास्त्रीय विभाजन और भाजक फलनों से जोड़ती हैं।
एकदिष्टता स्थापित करना, जो इन विशिष्ट अंतर फलनों के लिए पहले से उजागर नहीं की गई थी।
स्वैच्छिक विभाजन परिवारों ($SP(n) $) और कलर पार्टीशन ($ S_c(n)$) के माध्यम से ढांचे को सामान्यीकृत करना, जिससे विभिन्न विभाज्यता घटनाओं को एक एकल सैद्धांतिक संरचना के तहत एकीकृत किया जा सके।
2 की घातों और अन्य पूर्णांकों के मॉड्युलो में विशिष्ट सर्वांगसमताएँ सिद्ध करना, जिससे इन फलनों के अंकगणितीय व्यवहार की समझ को परिष्कृत किया जा सके।

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