A proof of Andrews-El Bachraoui's conjecture on the parity of coefficients of a $q$-series

तकनीकी सारांश: एक q-श्रंखला के गुणांकों की समता पर एंड्रयूज-एल बाच्राओई के अनुमान का प्रमाण

समस्या विवरण
यह शोध पत्र एंड्रयूज और एल बाच्राओई द्वारा प्रस्तुत एक विशिष्ट $q$-श्रंखला, $T_o(q)$ के गुणांकों की समता (parity) के संबंध में एक अनुमान को संबोधित करता है। श्रंखला $T_o(q)$ को एक विभाजन फलन $s_1(n)$ के जनक फलन (generating function) $S_1(q)$ के "विषम साथी" (odd companion) के रूप में परिभाषित किया गया है। फलन $s_1(n)$ एक पूर्णांक $n$ के लिए दो-रंग वाले विशिष्ट भागों वाले विभाजनों की संख्या गिनता है, इस प्रतिबंध के अधीन कि सबसे छोटा भाग केवल एक निर्धारित रंग में होता है, जबकि सभी बड़े भाग दोनों रंगों में या दोनों में हो सकते हैं।

एंड्रयूज और एल बाच्राओई ने पहले $s_1(n)$ का modulo 4 के तहत पूर्ण विवरण स्थापित किया था। हालांकि, उन्होंने $T_o(q)$ की श्रंखला के गुणांकों $t_o(n)$ की समता (modulo 2) के प्रश्न को खुला छोड़ दिया था। उन्होंने अनुमान लगाया था कि $t_o(n) \equiv 0 \pmod 2$ होगा यदि $8n + 9$ में एक अभाज्य भाजक $p \equiv 5, 7 \pmod 8$ विषम घातांक के रूप में मौजूद है (अर्थात, यदि $8n + 9$ को द्विघाती रूप $x^2 + 2y^2$ द्वारा निरूपित नहीं किया जा सकता है)।

कार्यप्रणाली
लेखक इस अनुमान को हल करने और अन्य सर्वांगसमताओं (congruences) को व्युत्पन्न करने के लिए शास्त्रीय $q$-श्रंखला पहचान, माड्यूलर अंकगणित और द्विघाती रूपों के सिद्धांत के संयोजन का उपयोग करते हैं।

1. श्रंखला हेरफेर और माड्यूलर न्यूनीकरण: प्रमाण की शुरुआत अनंत उत्पादों और योगों के संदर्भ में $2qT_o(q)$ को व्यक्त करने के लिए यूलर के पेंटागोनल नंबर प्रमेय और एंड्रयूज एवं एल बाच्राओई द्वारा स्थापित पहचानों का उपयोग करके होती है। modulo 2 के अंतर्गत कार्य करते हुए, लेखक पहचान $(q; q)_\infty^2 \equiv (q^2; q^2)_\infty \pmod 2$ का उपयोग करके $T_o(q)$ के व्यंजक को सरल बनाते हैं।

2. द्विघाती रूपों से संबंध: बीजगणितीय हेरफेर के माध्यम से, गुणांक $t_o(n)$ को द्विघाती रूपों से संबंधित डायोफेंटाइन समीकरणों के पूर्णांक समाधानों की संख्या से जोड़ा जाता है। विशेष रूप से, $t_o(n)$ की समता $2(6k+1)^2 + (12m+1)^2 = 3(8n+9)$ और संबंधित वेरिएंट्स वाले समीकरणों की समाधान क्षमता पर निर्भर करती है।

3. प्रतिनिधित्व सिद्धांत का अनुप्रयोग: लेखक द्विघाती रूप $x^2 + 2y^2$ द्वारा एक पूर्णांक के प्रतिनिधित्व की संख्या से संबंधित एक शास्त्रीय परिणाम का आह्वान करते हैं। यह परिणाम बताता है कि एक पूर्णांक $N$ के पास $x^2 + 2y^2$ द्वारा शून्य प्रतिनिधित्व तब होता है जब उसके अभाज्य गुणनखंडन में एक अभाज्य $q \equiv 5, 7 \pmod 8$ विषम घात के रूप में मौजूद हो। $3(8n+9)$ के अभाज्य गुणनखंडन का विश्लेषण करके, लेखक यह प्रदर्शित करते हैं कि $8n+9$ पर आधारित स्थिति व्युत्पन्न डायोफेंटाइन समीकरणों के समाधानों के अस्तित्व को समाप्त कर देती है, जिससे $t_o(n)$ का सम होना सुनिश्चित होता है।

4. Modulo 8 और घनत्व तक विस्तार: $s_1(n)$ के लिए modulo 8 के अंतर्गत अनंत सर्वांगसमताओं के परिवार को सिद्ध करने के लिए, लेखक $S_1(q)$ के व्यंजक को $T_o(q)$ के व्युत्पन्न विस्तार के साथ जोड़ते हैं। वे $u(n)$ का विश्लेषण करते हैं, जो विशिष्ट द्विघाती रूपों द्वारा $24n+3$ के प्रतिनिधित्व को गिनता है। लेजेंड्र सिंबल (Legendre symbol) और $p \equiv 5, 7 \pmod 8$ के अभाज्य मान (valuation) के गुणों का उपयोग करते हुए, वे दिखाते हैं कि विशिष्ट अंकगणितीय प्रगति के लिए, प्रासंगिक द्विघाती रूपों के पास कोई समाधान नहीं होता है। अंत में, घनत्व परिणाम स्थापित करने के लिए, लेखक "लैक्यूनरी" (lacunary) पावर सीरीज़ (ऐसी श्रंखला जिनके गैर-शून्य गुणांकों का घनत्व शून्य होता है) के संबंध में लैंडौ के एक प्रमेय को लागू करते हैं, यह तर्क देते हुए कि $s_1(n)$ के घटक लैक्यूनरी हैं।

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

• अनुमान 1.2 की पुष्टि: मुख्य परिणाम एंड्रयूज और एल बाच्राओई के अनुमान की पुष्टि है। लेखक स्थापित करते हैं कि यदि $8n + 9$ को $x^2 + 2y^2$ द्वारा निरूपित नहीं किया जा सकता है (अर्थात, इसमें एक अभाज्य भाजक $p \equiv 5, 7 \pmod 8$ विषम घातांक के साथ है), तो $t_o(n) \equiv 0 \pmod 2$ होता है।
• Modulo 8 के लिए अनंत सर्वांगसमता परिवार: यह शोध पत्र प्रमेय 1.4 को सिद्ध करता है, जो $s_1(n)$ के लिए सर्वांगसमताओं का एक अनंत परिवार प्रदान करता है। किसी भी अभाज्य $p \equiv 5, 7 \pmod 8$ और पूर्णांक $n, k \ge 0$ के लिए, जहाँ $p \nmid n$, निम्नलिखित सत्य है:
  $$s_1\left(p^{2k+1}n + \frac{p^{2k+2}-1}{8}\right) \equiv 0 \pmod 8.$$
  लेखक $p=5$ और $k=0$ के साथ एक ठोस उदाहरण प्रदान करते हैं, जो दिखाता है कि $s_1(25n + 8 + 5j) \equiv 0 \pmod 8$ है जहाँ $j \in \{0, 5, 10, 15\}$।
• प्राकृतिक घनत्व परिणाम: यह शोध पत्र प्रमेय 1.5 को सिद्ध करता है, जो यह दर्शाता है कि उन पूर्णांकों का सेट जिनके लिए $s_1(n)$, 8 से विभाज्य नहीं है, का प्राकृतिक घनत्व (natural density) शून्य है। दूसरे शब्दों में, $s_1(n)/8$ का प्राकृतिक घनत्व 1 के साथ पूर्णांक मान प्राप्त होता है।

महत्व
यह शोध पत्र दो-रंग वाले विशिष्ट विभाजनों और अवतल संरचनाओं (concave compositions) से संबंधित एक विभाजन फलन के अंकगणितीय गुणों के संबंध में एक विशिष्ट अनुमान की पुष्टि करता है। विषम साथी श्रंखला $T_o(q)$ के गुणांकों की समता को हल करके, लेखक $S_1(q)$ की संरचना की गहरी समझ प्रदान करते हैं। इसके अलावा, modulo 8 के लिए सर्वांगसमताओं की स्थापना और घनत्व परिणाम, $s_1(n)$ के ज्ञात व्यवहार को पूर्व में ज्ञात modulo 4 परिणामों से आगे बढ़ाता है।

लेखक निष्कर्ष निकालते हैं कि भविष्य के अनुसंधान के लिए एक स्वाभाविक दिशा इन सर्वांगसमताओं को उच्च घातों (moduli 16, 32, आदि) तक विस्तारित करना और उन पूर्णांकों के अंकगणितीय घनत्व को निर्धारित करना है जहाँ $s_1(n) \equiv 0 \pmod{2^k}$ (निश्चित $k \ge 4$ के लिए) होता है।