Proof of a conjecture of Banerjee,Bringmann and Bachraoui on infinite families of congruences

यहाँ जुएजी सन (Juejie Sun) और ओलिविया एक्स.एम. याओ (Olivia X.M. Yao) के शोध पत्र "Proof of a conjecture of Banerjee, Bringmann and Bachraoui on infinite families of congruences" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र पूर्णांक विभाजनों (integer partitions) के सिद्धांत में एक विशिष्ट समस्या को संबोधित करता है, जो प्रतिबंधित दो-रंग विभाजनों (restricted two-color partitions) पर केंद्रित है।

• संदर्भ: एंड्रयूज (Andrews) और बाच्राउरी (Bachraoui) ने पहले $c(k, n)$ नामक एक अनुक्रम को परिभाषित किया था, जो विशिष्ट बाधाओं के अधीन दो रंगों (नीले और लाल) में $n$ के विभाजनों की गणना करता है: सबसे छोटा भाग विषम होना चाहिए और वह नीले रंग में होना चाहिए; सम नीले भाग सबसे छोटे भाग के सापेक्ष बड़े होने चाहिए; और एक ही रंग के सम भाग भिन्न (distinct) होने चाहिए।
• सीमित अनुक्रम (Limiting Sequence): उन्होंने $C_k(q)$ के जनक फलन (generating function) का अध्ययन किया और $k \to \infty$ के रूप में इसके सीमा मान $C(q) = \sum c(n)q^n$ का अध्ययन किया।
• अनुमान (The Conjecture): बनर्जी, ब्रिंगमैन और बाच्राउरी (BBB) ने हाल ही में $c(n)$ के लिए 4 और 8 के मॉड्युलो (modulo) पर कई विशिष्ट सर्वांगसमताओं (congruences) को सिद्ध किया। हालाँकि, उन्होंने $c(n)$ के लिए 4 और 8 के मॉड्युलो पर अनंत परिवारों (infinite families) के संबंध में एक व्यापक अनुमान (Conjecture 1.5) प्रस्तुत किया।
  • विशेष रूप से, उन्होंने अनुमान लगाया कि सभी पूर्णांकों $n, k \geq 0$ के लिए:
    1. $c\left(\frac{2^{2k+3}n + 11 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 4$
    2. $c\left(\frac{2^{2k+3}n + 17 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 8$
    3. $c\left(\frac{2^{2k+4}n + 38 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 4$
• महत्व: इस अनुमान को सिद्ध करने से न केवल BBB अनुमान हल होगा, बल्कि यह एंड्रयूज और बाच्राउरी द्वारा दिए गए पहले के सरल अनुमानों को भी सिद्ध करेगा (जो $k=0$ के मामले के अनुरूप हैं)।

2. कार्यप्रणाली (Methodology)

लेखक $q$-श्रृंखला पहचान (q-series identities), मॉड्यूलर फॉर्म्स (modular forms), और मॉक थीटा फलनों (mock theta functions) के एक परिष्कृत संयोजन का उपयोग करते हैं। प्रमाण की रणनीति मुख्य रूप से वॉटसन (Watson) के एक शास्त्रीय पहचान द्वारा संवर्धित, बनर्जी, ब्रिंगमैन और बाच्राउरी द्वारा स्थापित परिणामों पर निर्भर करती है।

मुख्य गणितीय उपकरण:

• जनक फलन (Generating Functions): लेखक $C(q)$ के लिए BBB द्वारा व्युत्पन्न स्पष्ट जनक फलन का उपयोग करते हैं, जो $C(q)$ को तृतीय-क्रम के मॉक थीटा फलन $\omega(q)$ और मैकइंटोश (McIntosh) के द्वितीय-क्रम के मॉक थीटा फलन $B(q)$ से जोड़ता है।
• विच्छेदन तकनीकें (Dissection Techniques): प्रमाण का मूल भाग जनक फलनों को "विच्छेदित" (dissecting) करना है। इसका अर्थ है उन पदों को निकालना जहाँ $q$ की घात विशिष्ट सर्वांग conformidadों को संतुष्ट करती है (उदाहरण के लिए, विषम या सम घात वाले पदों को निकालना) ताकि उप-अनुक्रमों के लिए नए जनक फलन प्राप्त किए जा सकें।
• वॉटसन की पहचान (Watson's Identity): एक महत्वपूर्ण चरण में $f(q^8)$, $\omega(-q)$, और $\omega(-q^4)$ को अनंत उत्पादों से जोड़ने वाली वॉटसन द्वारा सिद्ध एक पहचान का उपयोग करना शामिल है।
• श्रृंखलाओं पर मॉड्यूलर अंकगणित (Modular Arithmetic on Series): लेखक 4 और 8 के मॉड्युलो पर $q$-श्रृंखलाों पर बीजगणितीय हेरफेर करते हैं। वे मॉक थीटा फलनों (विशेष रूप से $a_B(n)$) के गुणांकों के लिए ज्ञात सर्वांगमताओं और अनंत उत्पादों के गुणों (जैसे $f_m \equiv f_{2m} \pmod 2$) का उपयोग करते हैं।

प्रमाण संरचना:

1. लेम्मा 2.1 (Lemma 2.1): लेखक पहले एक पुनरावर्ती संबंध (recursive relation) स्थापित करते हैं (लेम्मा 2.1) जो $c(2^{2k+2}n + \dots)$ को 8 के मॉड्युलो पर $c(4n+3)$ से जोड़ता है। यह वॉटसन की पहचान को BBB जनक फलन में प्रतिस्थापित करके और विच्छेदन (विषम/सम घातों को निकालना) की एक श्रृंखला करके प्राप्त किया जाता है।
2. लेम्मा 2.2 (Lemma 2.2): वे $32n+15$, $32n+23$, और $64n+51$ के रूप के तर्कों के लिए उच्च मॉड्युली (modulo 4 और 8) के लिए विशिष्ट आधार मामलों (base cases) को सिद्ध करते हैं। इसमें लेम्मा 2.1 द्वारा प्राप्त जनक फलनों का और अधिक विच्छेदन शामिल है।
3. आगमनात्मक चरण (Inductive Step): लेम्मा 2.1 के पुनरावर्ती संबंध को लेम्मा 2.2 के आधार मामलों के साथ जोड़कर, लेखक $k$ पर गणितीय आगमन (mathematical induction) का उपयोग करके Conjecture 1.5 में वर्णित अनंत सर्वांगता के सामान्य परिवारों को सिद्ध करते हैं।

3. मुख्य योगदान (Key Contributions)

• अनुमान 1.5 का समाधान: प्राथमिक योगदान बनर्जी, ब्रिंगमैन और बाच्राउरी द्वारा प्रस्तावित अनंत सर्वांगता परिवार का कठोर प्रमाण है।
• परिणामों का एकीकरण: यह पत्र प्रदर्शित करता है कि जटिल अनंत सर्वांगता परिवार (किसी भी $k$ के लिए) $k=0, 1$ के विशिष्ट मामलों और जनक फलन की पुनरावर्ती संरचना के प्रत्यक्ष परिणाम हैं।
• पिछले कार्य का विस्तार: जबकि BBB ने विशिष्ट मामलों को सिद्ध करने के लिए मॉड्यूलर फॉर्म और मॉक थीटा फंक्शन के गहरे संबंधों का उपयोग किया, सन और याओ इन परिणामों को सभी $k$ के लिए सामान्य बनाने के लिए $q$-श्रृंखला पहचानों का उपयोग करके एक अधिक प्रत्यक्ष कॉम्बिनेटोरियल-एनालिटिक प्रमाण प्रदान करते हैं।

4. परिणाम (Results)

यह पत्र $C(q)$ के गुणांकों $c(n)$ के लिए निम्नलिखित सर्वांगताओं की पुष्टि करता है:

1. Modulo 4:
   $$c\left(\frac{2^{2k+3}n + 11 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 4$$
2. Modulo 8:
   $$c\left(\frac{2^{2k+3}n + 17 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 8$$
3. Modulo 4 (दूसरा परिवार):
   $$c\left(\frac{2^{2k+4}n + 38 \cdot 4^k + 1}{3}\right) \equiv 0 \pmod 4$$

ये परिणाम पूर्व ज्ञात सर्वांगमताओं को दर्शाते हैं:

• $c(8n+4) \equiv 0 \pmod 4$
• $c(8n+6) \equiv 0 \pmod 8$
• $c(16n+13) \equiv 0 \pmod 4$
• $c(32n+23) \equiv 0 \pmod 8$

5. महत्व और भविष्य की दिशाएँ (Significance and Future Directions)

• सैद्धांतिक प्रभाव: यह कार्य प्रतिबंधित दो-रंगी विभाजनों के अंकगणितीय गुणों की समझ को सुदृढ़ करता है। यह दर्शाता है कि विभाजन सर्वांगता समस्याओं को हल करने के लिए मॉक थीटा फंक्शन को शास्त्रीय $q$-श्रृंखला पहचानों के साथ जोड़ने की शक्ति क्या है।
• पद्धतिगत मूल्य: यह पत्र विभिन्न पैमानों ($n$ बनाम $2^k n$) के गुणांकों के बीच पुनरावर्ती संबंध स्थापित करके सर्वांगता के अनंत परिवारों को सिद्ध करने के लिए एक टेम्पलेट के रूप में कार्य करता है।
• भविष्य का कार्य: लेखक दो स्वाभाविक विस्तार सुझाते हैं:
  1. इन सर्वांगमताओं को उच्च मॉड्युली (जैसे, modulo 16, 32) तक विस्तारित करना।
  2. उन पूर्णांकों $n$ के अंकगणितीय घनत्व (arithmetic density) को निर्धारित करना जिनके लिए निश्चित $k$ के लिए $c(n) \equiv 0 \pmod{2^k}$ होता है। यह इस बात की संभाव्यतात्मक समझ प्रदान करेगा कि ये विभाजन $2$ की घातों के मॉड्युलो में कितनी बार शून्य होते हैं।

संक्षेप में, सन और याओ ने $q$-श्रृंखला तकनीकों का लाभ उठाकर एक व्यापक वर्ग की सर्वांगता को सिद्ध करके विभाजन सिद्धांत में एक महत्वपूर्ण खुले प्रश्न को सफलतापूर्वक हल किया है, जो पिछले निष्कर्षों को एकीकृत और विस्तारित करता है।