Extending recent work of Nath, Saikia, and Sarma on $k$-tuple $\ell$-regular partitions

तकनीकी सारांश: नाथ, सैकिया और सरमा के $k$-टुपल $\ell$-रेगुलर पार्टिशन्स पर हालिया कार्य का विस्तार

समस्या विवरण
यह शोध पत्र $T_{\ell,k}(n)$ के अंकगणितीय गुणों की जांच करता है, जो एक गैर-ऋणात्मक पूर्णांक $n$ के $\ell$-रेगुलर $k$-टुपल पार्टिशन्स (partitions) की संख्या है। एक $\ell$-रेगुलर पार्टिशन को एक ऐसे पार्टिशन के रूप में परिभाषित किया गया है जहाँ कोई भी भाग (part) $\ell$ से विभाज्य नहीं होता है। एक $k$-टुपल पार्टिशन $k$ पार्टिशन्स $(\lambda_1, \dots, \lambda_k)$ का एक क्रमित अनुक्रम (ordered sequence) होता है जिनका योग $n$ है, जहाँ प्रत्येक $\lambda_i$ अपने संबंधित योग का एक $\ell$-रेगुलर पार्टिशन है। लेखक विशेष रूप से $\ell=2$ और $k=3$ के मामले पर ध्यान केंद्रित करते हैं, जिसे $T_2(n) := T_{2,3}(n)$ के रूप में denoted किया गया है।

यह कार्य नाथ, सैकिया और सरमा [12] के एक हालिया अध्ययन से प्रेरित है, जिन्होंने $T_2(n)$ के लिए 24 और 6 modulo पर कई परिवारों के सर्वांगसमता (congruences) स्थापित किए थे। अपने समापन संबंधी टिप्पणियों में, नाथ, सैकिया और सरमा ने अनुमान लगाया था कि $p$ अभाज्य (primes) और $t$ पूर्णांकों से जुड़ी विशिष्ट स्थितियों के तहत $T_2(n)$, 6 modulo पर अनंत सर्वांगसमताओं के सेट को संतुष्ट करता है।

कार्यप्रणाली (Methodology)
लेखक $q$-सीरीज हेरफेर (manipulations) और जनरेटिंग फंक्शन्स (generating functions) पर आधारित पूरी तरह से प्रारंभिक (elementary) तकनीकों का उपयोग करते हैं। वे उन्नत मॉडुलर फॉर्म्स या जटिल विश्लेषणात्मक विधियों का उपयोग नहीं करते हैं। उनके दृष्टिकोण का मूल भाग है:

1. जनरेटिंग फंक्शन्स: $T_{\ell,k}(n)$ के लिए जनरेटिंग फंक्शन का उपयोग करना, जो $\sum T_{\ell,k}(n)q^n = f_\ell^k / f_1^k$ द्वारा दिया गया है, जहाँ $f_k = (q^k; q^k)_\infty$ है।
2. शास्त्रीय पहचान (Classical Identities): मानक $q$-सीरीज पहचानों का लाभ उठाना, जिसमें यूलर का पेंटागोनल नंबर थ्योरम (लेम्मा 2.1), जैकोबी ट्रिपल प्रोडक्ट आइडेंटिटी के वेरिएंट्स (लेम्मा 2.2, 2.3), और $f_1$ तथा $f_2$ की विशिष्ट एक्सपेंशन (लेम्मा 2.4–2.6) शामिल हैं।
3. सर्वांगसमता गुण (Congruence Properties): $q$-पोचहामर प्रतीकों (q-Pochhammer symbols) के लिए द्विपद प्रमेय (Binomial Theorem) का उपयोग करके प्राइम पावर्स modulo पर सर्वांगसमता प्राप्त करना (लेम्मा 2.7, 2.8)। विशेष रूप से, वे जनरेटिंग फंक्शन में गुणांकों (coefficients) को अलग करने के लिए इस गुण का उपयोग करते हैं कि $f_{p^k} \equiv f_p^{k-1} \pmod{p^k}$।
4. क्वाड्रेटिक फॉर्म विश्लेषण (Quadratic Form Analysis): 8 modulo पर सर्वांगसमता सिद्ध करने के लिए, लेखक विशिष्ट पूर्णांकों को द्विघात रूपों (quadratic forms) के योग के रूप में प्रतिनिधित्व करने के विश्लेषण का उपयोग करते हैं (जैसे, $x^2 + 2y^2$ या $x^2 + y^2$)। वे लेजेंड्रे सिंबल (Legendre symbols) का उपयोग यह प्रदर्शित करने के लिए करते हैं कि कुछ विशिष्ट पूर्णांक इन रूपों द्वारा प्रतिनिधित्व नहीं किए जा सकते हैं, जिससे यह सिद्ध होता है कि जनरेटिंग फंक्शन के संगत गुणांक 8 modulo शून्य हो जाते हैं।

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

1. अनुमान 1.1 की पुष्टि:
   लेखक नाथ, सैकिया और सरमा द्वारा प्रस्तावित अनुमान का एक अधिक सशक्त संस्करण सिद्ध करते हैं।

• थ्योरम 1.2: किसी भी धनात्मक पूर्णांक $t$ के लिए जहाँ $\gcd(t, 6)=1$ और $N \in \{33, 57\}$, सर्वांगसमता $T_2\left(\frac{9n + Nt^2 - 1}{8}\right) \equiv 0 \pmod{24}$ सभी $n \ge 0$ के लिए सत्य है।
• कोरोलरी 1.3: यह परिणाम सीधे तौर पर अनुमान 1.1 की पुष्टि करता है, जो निर्दिष्ट मापदंडों के लिए 6 modulo (और वास्तव में 24 modulo) पर अनंत सर्वांगसमताओं के परिवार को स्थापित करता है।

2. नए अनंत सर्वांगसमता परिवार:
   यह शोध पत्र 8 और 24 modulo पर सर्वांगसमताओं के एक नए, अत्यंत प्रारंभिक प्रमाण को स्थापित करता है।

• थ्योरम 1.4: मान लीजिए $p$ एक अभाज्य है ऐसा कि $p \equiv 3, 5,$ या $7 \pmod 8$। $n, \alpha \ge 0$ के लिए, जहाँ $p \nmid n$, निम्नलिखित सत्य है:
  $$T_2\left(\frac{p^{2\alpha+1}n + p^{2\alpha+2} - 1}{8}\right) \equiv 0 \pmod 8.$$
• इसके अतिरिक्त, यदि $3 \nmid n$, तो सर्वांगसमता सुदृढ़ होकर निम्न हो जाती है:
  $$T_2\left(\frac{p^{2\alpha+1}n + p^{2\alpha+2} - 1}{8}\right) \equiv 0 \pmod{24}.$$
• कोरोलरी 1.5: एक विशिष्ट मामला निकाला गया है जहाँ $p \neq 3$ के लिए मॉडुलस 24 की सर्वांगसमता सत्य है।

3. पिछले परिणामों का सामान्यीकरण:
   लेखक दिखाते हैं कि नाथ, सैकिया और सरमा द्वारा पहले स्थापित की गई सर्वांगसमता (शोध पत्र में समीकरण 3) 24 modulo (न कि केवल 6 modulo) पर सत्य है और $p \equiv 3 \pmod 8$ वाले अभाज्य तक विस्तारित होती है।

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

"समापन विचार" (Closing Thoughts) अनुभाग में, लेखक नोट करते हैं कि उनके गणनात्मक परिणाम आगे के विभाज्यता गुणों का सुझाव देते हैं, विशेष रूप से $T_2(n)$, कुछ अंकगणितीय प्रगति (जैसे, $T_2(25n+8)$, $T_2(49n+13)$, आदि) के लिए 32 से विभाज्य प्रतीत होता है और $T_2(7n+6)$, 29 से विभाज्य हो सकता है। हालाँकि, वे स्पष्ट रूप से कहते हैं कि ये अवलोकन इच्छुक पाठकों के लिए खुले प्रश्नों के रूप में छोड़े गए हैं और वे इस कार्य में इन विशिष्ट उच्च-मॉडुलस सर्वांगसमताओं का दावा नहीं करते हैं। शोध पत्र निष्कर्ष निकालता है कि इन्हें स्थापित प्रमेयों के बजाय भविष्य के अनुसंधान के लिए संभावित दिशाओं के रूप में फ्रेम किया गया है।