🔢 mathematics

Some new congruences on biregular overpartitions

यह शोध पत्र हीक (Hecke) आइगेनफॉर्म के सिद्धांत, एक न्यूमैन पहचान (Newman identity), और विच्छेदन सूत्रों (dissection formulas) का उपयोग करते हुए, विशिष्ट पैरामीटर युग्मों वाले बाइरेगुलर ओवरपार्टिशन (biregular overpartitions) के लिए $(5,2^t)$ , $(3,2^t)$ , और $(4,3^t)$ के सामान्य मामलों सहित, 3 और 2 की घातों के अंतर्गत नई सर्वांगसमताओं (congruences) के अनंत परिवारों को स्थापित करता है।

मूल लेखक: N. K. Meher

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

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

CC BY 4.0

मूल लेखक: N. K. Meher

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

एक ऐसी दुनिया की कल्पना करें जहाँ संख्याएँ केवल आपकी पॉकेट मनी गिनने या आपके वीडियो गेम स्कोर को ट्रैक करने के उपकरण नहीं हैं, बल्कि एक विशाल, अदृश्य शहर की ईंट और गारे हैं। यह शहर संख्या सिद्धांत (number theory) का क्षेत्र है, जो गणित की एक ऐसी शाखा है जो पूर्ण संख्याओं के बीच छिपे हुए पैटर्न और संबंधों का अध्ययन करती है। इस शहर में, "पार्टिशनिंग" (partitioning) नामक एक दिलचस्प खेल है। कल्पना कीजिए कि आपके पास 4 एक जैसे लेगो ब्रिक्स (Lego bricks) का एक ढेर है। आप उन्हें एक एकल टावर में रख सकते हैं, उन्हें 2-2 के दो टावरों में विभाजित कर सकते हैं, या 3 के एक टावर और एक अकेले ब्रिक से बना सकते हैं। उन्हें व्यवस्थित करने का प्रत्येक तरीका एक "पार्टिशन" है। गणितज्ञों ने सदियों तक इन व्यवस्थाओं को गिनने में समय बिताया है, लेकिन हाल ही में उन्होंने "ओवरपार्टिशन्स" (overpartitions) नामक एक अधिक जटिल संस्करण खेलने में शुरुआत की है। इस संस्करण में, जब भी आपके ढेर में कोई संख्या पहली बार आती है, तो आप उस पर एक छोटी टोपी लगा सकते हैं (या उसे "ओवरलाइन" कर सकते है)। यह नन्ही टोपी संभावित व्यवस्थाओं की संख्या को दोगुना कर देती है, जिससे शहर बहुत अधिक भीड़भाड़ वाला हो जाता है और पैटर्न को खोजना बहुत कठिन हो जाता है।

अब, एक ऐसे जासूस की कल्पना करें जो इस भीड़भाड़ वाले शहर में विशिष्ट सुराग खोजने की कोशिश कर रहा है। आप ऐसी व्यवस्थाओं की तलाश कर रहे हैं जो सख्त नियमों का पालन करती हैं: शायद कोई भी टावर 3 का गुणज (multiple) नहीं हो सकता, या शायद कोई टावर 5 का गुणज नहीं हो सकता। इन्हें "रेगुलर" (regular) पार्टिशन्स कहा जाता है। जब आप नियमों को मिलाते हैं—जैसे "3 का गुणज नहीं और 5 का गुणज भी नहीं"—तो आपको "बाइरेगुलर" (biregular) ओवरपार्टिशन्स मिलते हैं। इस गणित के कोने में बड़ा सवाल यह है: क्या ये संख्याएँ एक गुप्त लय का पालन करती हैं? विशेष रूप से, यदि आप इन विशेष व्यवस्थाओं को गिनते हैं, तो क्या वे 3, 8, या किसी अन्य संख्या से विभाजित होने पर हमेशा 0 का शेषफल छोड़ती हैं? इन "कंग्रुएंसों" (congruences) को खोजना इस शहर में यह खोजने जैसा है कि हर 10वां घर एक नीले दरवाजे वाला है, या हर 7वीं गली हमेशा खाली रहती है। यह उस गहरे, अंतर्निहित क्रम को प्रकट करता है जो अराजकता में दिखाई देता है।

यह शोध पत्र गणितज्ञ एन.के. मेहेर द्वारा बनाया गया एक खजाना मानचित्र है, जो हमें बाइरेगुलर ओवरपार्टिशन्स की दुनिया में नए, छिपे हुए पैटर्न की ओर ले जाता है। जबकि पिछले जासूसों ने पहले ही विशिष्ट मोहल्लों (जैसे कि जब वर्जित संख्याएँ 4 और 3 हों) में कुछ नीले दरवाजे खोज लिए थे, मेहेर ने नए क्षेत्रों में खोज का विस्तार किया है। यह शोध पत्र वर्जित संख्याओं के जोड़ों पर ध्यान केंद्रित करता है, जैसे कि (2, 9), (5, 2), और (5, 4), और यहाँ तक कि (5, 2t) जैसे सामान्य परिवारों पर, जहाँ t कोई भी संख्या 3 या उससे बड़ी है।

एक शक्तिशाली टूलकिट का उपयोग करते हुए जिसमें "जेनरेटिंग फंक्शन्स" (generating functions - जो एक तरह के जादुई नुस्खे हैं जो संख्याओं की एक सूची को एक एकल, बहते हुए समीकरण में बदल देते हैं), "डिससेक्शन फॉर्मूला" (dissection formulas - उन समीकरणों को छोटे, प्रबंधनीय टुकड़ों में काटने का एक तरीका), और "हेके आइजनफॉर्म्स" (Hecke eigenforms - एक उच्च-स्तरीय गणितीय संरचना जो इन पैटर्न के फिंगरप्रिंट के रूप में कार्य करती है) शामिल हैं, मेहेर सिद्ध करते हैं कि ये नए मोहल्ले रहस्यों से भरे हुए हैं। यह शोध पत्र केवल अनुमान नहीं लगाता; यह पूर्ण निश्चितता के साथ सिद्ध करता है कि इन विशिष्ट नियमों के जोड़ों के लिए, संख्याओं के अनंत परिवार हैं जो 3 या 2 की घातों (powers) से पूरी तरह विभाज्य हैं।

उदाहरण के लिए, शोध पत्र दिखाता है कि यदि आप "कोई 2 या 9 का गुणज नहीं" के नियम के तहत अपने ओवरपार्टिशन्स को व्यवस्थित करने के तरीकों को देखते हैं, तो आप पाएंगे कि कुछ संख्याओं (जैसे 6n + 3) के लिए गणना हमेशा 4 से विभाज्य होती है, और अन्य (जैसे 6n + 5) के लिए यह हमेशा 8 से विभाज्य होती है। यह ऐसा है जैसे शहर में एक सख्त ज़ोनिंग कानून है जो कुछ ब्लॉकों को खाली या पूरी तरह से विभाज्य होने के लिए मजबूर करता है। लेखक यह भी खोजता है कि ये पैटर्न गुणात्मक रूप से दोहराते हैं: यदि आप एक संख्या लेते हैं जो पैटर्न में फिट बैठती है और उसे एक विशिष्ट अभाज्य संख्या (जैसे 5) से गुणा करते हैं, तो नई संख्या भी पैटर्न में फिट बैठती है, अक्सर एक अनुमानित परिवर्तन के साथ।

यह शोध पत्र एक कठोर प्रमाण (rigorous proof) है, जिसका अर्थ है कि ये केवल भाग्यशाली अनुमान या कंप्यूटर सिमुलेशन नहीं हैं; ये तर्क से प्राप्त गणितीय तथ्य हैं। मेहेर स्थापित करते हैं कि (5, 2t) जैसे जोड़ों के लिए जहाँ t 3 या उससे अधिक है, और (3, 2t) या (4, 3t) के लिए किसी भी t के लिए, संख्याओं के अनंत अनुक्रम हैं जहाँ इन विशेष व्यवस्थाओं की गणना 3 या 8 मोड्यूलो (modulo) में शून्य हो जाती है। यह हमारे ज्ञान का एक महत्वपूर्ण विस्तार है, जो यह दर्शाता है कि इन ओवरपार्टिशन्स की छिपी हुई लय पहले से कहीं अधिक जटिल और व्यापक है, जो संख्याओं के अनंत शहर में नए "नीले दरवाजे" प्रकट करती है।

तकनीकी सारांश: बाइरेगुलर ओवरपार्टिशन पर कुछ नई सर्वांगसमताएं (New Congruences)

समस्या विवरण
यह शोध पत्र $\bar{B}_{\ell_1, \ell_2}(n)$ के अंकगणितीय गुणों की जांच करता है, जो $n$ के $(\ell_1, \ell_2)$ -बाइरेगुलर ओवरपार्टिशन की संख्या है। एक ओवरपार्टिशन वह विभाजन है जहाँ प्रत्येक भाग के पहले आगमन को ओवरलाइन किया जा सकता है। एक बाइरेगुलर ओवरपार्टिशन वह है जिसमें कोई भी भाग $\ell_1$ या $\ell_2$ से विभाज्य नहीं होता है, जबकि यहाँ $\gcd(\ell_1, \ell_2)=1$ और $\ell_1, \ell_2 > 1$ की शर्तें लागू हैं। जबकि नजी, अह्मिया और रामीरेज़ [18]; अलानाज़ी, मुनागी और सैकिया [1]; और पाउडेल, सेलर्स और वांग [21] के हालिया कार्यों ने $(4,3)$ , $(4,9)$ , और $(8,3)$ जैसे विशिष्ट युग्मों के लिए सर्वांगसमताएं स्थापित की हैं, इस शोध पत्र का लक्ष्य इन परिणामों को नए युग्मों और मापदंडों के सामान्य परिवारों तक विस्तारित करना है।

कार्यप्रणाली
लेखक शास्त्रीय $q$ -श्रंखला हेरफेर (manipulations), विच्छेदन सूत्रों (dissection formulas), और मॉड्यूलर फॉर्म के सिद्धांत का संयोजन उपयोग करता है। मुख्य उपकरण निम्नलिखित हैं:

जेनरेटिंग फंक्शन्स (Generating Functions): $\bar{B}_{\ell_1, \ell_2}(n)$ के जेनरेटिंग फंक्शन को एक एटा-कोटिएंट (Equation 1.1) के रूप में व्यक्त किया गया है।
विच्छेदन सूत्र (Dissection Formulas): शोध पत्र विभिन्न विच्छेदन पहचानों (लेम्मा 2.5–2.10) का उपयोग करता है जो रामानुजन के कार्य और बाद के साहित्य से प्राप्त की गई हैं, ताकि विशिष्ट पूर्णांकों (जैसे, $q^{2n}, q^{3n}$ आदि) के मोड्यूलो के आधार पर जेनरेटिंग फंक्शन के पदों को अलग किया जा सके।
मॉड्यूलर फॉर्म और हेके आइगेनफॉर्म (Modular Forms and Hecke Eigenforms): लेखक विशिष्ट एटा-कोटिएंट्स को $M_k(\Gamma_0(N), \chi)$ के स्थानों में मॉड्यूलर फॉर्म के रूप में पहचानता है। इन रूपों को हेके आइगेनफॉर्म के रूप में सिद्ध करके, शोध पत्र गुणांकों के लिए पुनरावृत्ति संबंध (recurrence relations) प्राप्त करने के लिए हेके ऑपरेटरों $T_p$ के गुणों का लाभ उठाता है।
न्यूमैन की पहचान (Newman's Identity): विशिष्ट मामलों के लिए, शोध पत्र $p \equiv 1 \pmod m$ के लिए अभाज्य संख्याओं के संबंध में एटा फंक्शन्स के उत्पादों के गुणांकों के संबंध में न्यूमैन [19] द्वारा दी गई एक पहचान को लागू करता है।
सर्वांगसमता गुण (Congruence Properties): $f_m$ के $p^k$ के मोड्यूलो में घातों के लिए एक मानक सर्वांगसमता (लेम्मा 2.8) का बार-बार उपयोग 3 और 2 की घातों के मोड्यूलो में अभिव्यक्तियों को सरल बनाने के लिए किया जाता है।

प्रमुख योगदान और परिणाम
शोध पत्र निम्नलिखित युग्मों $(\ell_1, \ell_2)$ के लिए 3 और 2 की घातों के मोड्यूलो में अनंत सर्वांगसमता परिवारों को स्थापित करता है:

विशिष्ट युग्म: $(2, 9), (5, 2), (5, 4), (8, 3),$ और $(5, 8)$ ।
सामान्य परिवार:
- सभी $t \geq 3$ के लिए $(5, 2^t)$ ।
- सभी $t \geq 1$ के लिए $(3, 2^t)$ ।
- सभी $t \geq 1$ के लिए $(4, 3^t)$ ।

अनुभागों के अनुसार विशिष्ट निष्कर्ष:

अनुभाग 3 ( $\bar{B}_{2,9}(n)$ ): लेखक सिद्ध करता है कि $\bar{B}_{2,9}(6n+3) \equiv 0 \pmod 4$ और $\bar{B}_{2,9}(6n+5) \equiv 0 \pmod 8$ है। हेके आइगेनफॉर्म सिद्धांत का उपयोग करते हुए, $6p_1^2 \dots p_{k+1}^2 n + \dots$ के तर्क वाले रूपों के लिए 8 के मोड्यूलो में अनंत सर्वांगसमता परिवार प्राप्त किए गए हैं, जहाँ अभाज्य $p_i \geq 5$ और $p_i \not\equiv 1 \pmod 6$ हैं। 8 और 3 के मोड्यूलो में गुणात्मक सूत्र भी स्थापित किए गए हैं।
अनुभाग 4 ( $\bar{B}_{5,2^t}(n)$ ): $t \geq 3$ के लिए, शोध पत्र दिखाता है कि $\bar{B}_{5,2^t}(4n+3) \equiv 0 \pmod 8$ है। यह $p \not\equiv 1 \pmod 4$ के वर्ग वाले तर्कों के लिए 8 के मोड्यूलो में अनंत सर्वांगसमता परिवार व्युत्पन्न करता है। $p \pmod{20}$ पर निर्भर एक फलन $f(p)$ वाले गुणात्मक सूत्र प्रस्तुत किए गए हैं।
अनुभाग 5 और 6 ( $\bar{B}_{5,2}(n)$ और $\bar{B}_{5,4}(n)$ ): इन विशिष्ट मामलों के लिए 4 के मोड्यूलो में समान सर्वांगसमताएं स्थापित की गई हैं, जिसमें $\bar{B}_{5,2}(4n+3) \equiv 0 \pmod 4$ और $\bar{B}_{5,4}(4n+3) \equiv 0 \pmod 4$ शामिल हैं।
अनुभाग 7 ( $\bar{B}_{8,3}(n)$ ): शोध पत्र सिद्ध करता है कि $\bar{B}_{8,3}(36n+33) \equiv 0 \pmod 3$ है।
अनुभाग 8 ( $\bar{B}_{4,3^t}(n)$ ): सभी $t \geq 1$ के लिए, लेखक स्थापित करता है कि $\bar{B}_{4,3^t}(3n) \equiv 0 \pmod 8$ (यदि $n \geq 1$ ) और $6n+4, 12n+7,$ और $3n+2$ के तर्कों के लिए 4 के मोड्यूलो में विभिन्न सर्वांगसमताएं।
अनुभाग 9 ( $\bar{B}_{3,2^t}(n)$ ): सभी $t \geq 1$ के लिए, शोध पत्र सिद्ध करता है कि $\bar{B}_{3,2^t}(16n+6) \equiv \bar{B}_{3,2^t}(16n+10) \equiv \bar{B}_{3,2^t}(16n+14) \equiv 0 \pmod 8$ है।

महत्व
शोध पत्र का दावा है कि वह $(\ell_1, \ell_2)$ के उन नए अनंत सर्वांगसमता परिवारों को प्रदान करके बाइरेगुलर ओवरपार्टिशन पर मौजूदा साहित्य का विस्तार करता है जो पहले कवर नहीं किए गए थे या पूरी तरह से सामान्यीकृत नहीं थे। हेके आइगेनफॉर्म के सिद्धांत और न्यूमैन की पहचान का उपयोग करके, लेखक विशिष्ट गणनात्मक उदाहरणों से आगे बढ़कर इन विभाजन फलनों के संरचनात्मक गुणों को स्थापित करता है। उनके परिणाम प्रतिबंधित भाग विभाज्यता वाले ओवरपार्टिशन के अंकगणितीय व्यवहार की व्यापक समझ में योगदान देते हैं, विशेष रूप से 3 और 2 की घातों के मोड्यूलो में पैटर्न को उजागर करते हैं। यह कार्य इन नई सर्वांगसमताओं के लिए एक कठोर बीजगणितीय ढांचा प्रदान करने हेतु मॉड्यूलर फॉर्म और $q$ -श्रंखला के मूलभूत सिद्धांतों पर निर्भर करता है।

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