Proof of a conjecture of Andrews and El Bachraoui on the parity of two-color partitions

तकनीकी सारांश: दो-रंगी विभाजनों (Two-Color Partitions) की समता (Parity) पर एंड्रयूज और एल बाचराओई के एक अनुमान का प्रमाण

समस्या विवरण
यह शोध पत्र एंड्रयूज और एल बाचराओई द्वारा प्रस्तावित एक अनुमान को संबोधित करता है, जो एक विशिष्ट $q$-श्रंखला के गुणांकों $to(n)$ की समता (parity) से संबंधित है। श्रृंखला $To(q)$ को इस प्रकार परिभाषित किया गया है:
$$To(q) := \sum_{n \ge 0} to(n)q^n = \sum_{n \ge 0} \frac{(-q)^{2n}}{(q; q^2)_{n+1}} q^{2n}$$
एंड्रयूज और एल बाचराओई ने पहले यह स्थापित किया था कि यदि संबंधित श्रृंखला $C(q) = (q)_\infty To(q)$ के गुणांक $c(n)$ गैर-शून्य हैं, तो $24n + 28$ को द्विचर द्विघाती रूप (binary quadratic form) $x^2 + 3y^2$ द्वारा निरूपित किया जा सकता है। इसी से प्रेरित होकर, उन्होंने $to(n)$की समता के लिए एक समान निरूपण गुण का अनुमान लगाया: विशेष रूप से, यदि$8n + 9$को द्विचर द्विघाती रूप$x^2 + 2y^2$द्वारा निरूपित नहीं किया जा सकता है, तो$to(n) \equiv 0 \pmod 2$ होगा।

कार्यप्रणाली
लेखक $To(q)$का विश्लेषण करने के लिए मौलिक$q$-श्रंखला पहचानों और मॉड्यूलर अंकगणित तकनीकों का उपयोग करते हैं। प्रमाण रणनीति इस प्रकार आगे बढ़ती है:

1. जनरेटिंग फलनों का अपघटन (Decomposition of Generating Functions): लेखक एक ज्ञात पहचान का उपयोग करते हैं जो $C(q)$ को थेटा फलनों $\Psi(q)$, $T(q)$, और $\Theta(q)$ से जोड़ती है:
   $$2qC(q) = \Psi(q)T(q) - (q)_\infty \Theta(q)$$
   जहाँ $\Psi(q)$, $T(q)$, और $\Theta(q)$ को त्रिकोणीय और पंचकोणीय संख्याओं (triangular and pentagonal numbers) वाली विशिष्ट योगों द्वारा परिभाषित किया गया है।

2. बीजीय हेरफेर (Algebraic Manipulation): $To(q) = C(q)/(q)_\infty$ के रूप में $To(q)$को व्यक्त करके, लेखक इन थेटा फलनों के संदर्भ में$2qTo(q)$के लिए एक व्यंजक प्राप्त करते हैं। वे फिर विशिष्ट समता योगदानों को अलग करने के लिए$T(q)$और$\Theta(q)$ को सम और विषम सूचकांकों (indices) में विभाजित करते हैं, जिसमें सहायक श्रृंखलाओं $S(q)$ और $R(q)$ का उपयोग किया जाता है।

3. मॉड्यूलर न्यूनीकरण (Modular Reduction): प्रमाण का मुख्य भाग इन व्यंजकों को 2 modulo में कम करने में निहित है। लेखक यूलर के पंचकोणीय संख्या प्रमेय (Euler's Pentagonal Number Theorem) और एटा-कोटिएंट्स (eta-quotients) के गुणों का उपयोग यह दिखाने के लिए करते हैं कि:
   $$\frac{\Psi(q)}{(q)_\infty} \equiv \sum_{m \in \mathbb{Z}} q^{m(3m+1)} \pmod 2$$
   यह $qTo(q)$ के लिए व्यंजक को केवल विषम सूचकांकों वाली श्रृंखलाओं के उत्पादों के योग के रूप में पुनर्गठित करने की अनुमति देता है।

4. गुणांक विश्लेषण (Coefficient Analysis): लेखक परिणामी श्रृंखला में $q^{n+1}$ के गुणांक का modulo 2 में विश्लेषण करते हैं। वे प्रदर्शित करते हैं कि यदि $to(n)$विषम है (अर्थात,$to(n) \not\equiv 0 \pmod 2$), तो$n+1$को विषम पूर्णांकों$r$और अनिश्चित पूर्णांकों$m$ के बीच तीन विशिष्ट बीजीय रूपों में से एक से प्राप्त होना चाहिए।

मुख्य योगदान और परिणाम
इस शोध पत्र का प्राथमिक योगदान अनुमान 1.2 (पाठ में कथन 1.3 के रूप में वर्णित) का कठोर प्रमाण है। लेखक स्थापित करते हैं कि:
$$to(n) \not\equiv 0 \pmod 2 \implies 8n + 9 \text{ को } x^2 + 2y^2 \text{ द्वारा निरूपित किया जाता है}$$
प्रमाण प्रत्येक उन तीन मामलों के लिए $x^2 + 2y^2$ के निरूपण का निर्माण करके प्राप्त होता है जहाँ $to(n)$ का गुणांक modulo 2 में गैर-शून्य है:

• मामला 1: यदि $n+1 = \frac{m(m+1)}{2}$ विषम $m$ के लिए है, तो $8n+9 = (2m+1)^2 + 2(0)^2$।
• मामला 2: यदि $n+1 = \frac{r(3r+1)}{2} + m(3m+1)$ विषम $r$ के लिए है, तो $8n+9 = (2r+4m+1)^2 + 2(2r-2m)^2$।
• मामला 3: यदि $n+1 = \frac{r(3r+1)}{2} + (2r+1) + m(3m+1)$ विषम $r$ के लिए है, तो $8n+9 = (2r-4m+1)^2 + 2(2r+2m+2)^2$।

तदनुसार, यदि $8n+9$ को $x^2 + 2y^2$ द्वारा निरूपित नहीं किया जा सकता है, तो इनमें से कोई भी मामला घटित नहीं हो सकता, जिसका अर्थ है कि $to(n) \equiv 0 \pmod 2$।

महत्ता और दावे
शोध पत्र यह दावा करता है कि यह इन दो-रंगी विभाजनों की समता के संबंध में एंड्रयूज और एल बाचराओई के अनुमान को हल करता है। लेखक उल्लेख करते हैं कि उनका कार्य स्वतंत्र रूप से और एक अन्य कार्य [4] के साथ समवर्ती रूप से किया गया था, जो काफी भिन्न विधियों का उपयोग करके समान प्रमेय को सिद्ध करता है। इसका महत्व इन प्रतिबंधित दो-रंगी विभाजनों के अंकगणितीय गुणों और द्विचर द्विघाती रूपों के निरूपण संख्याओं के बीच एक सटीक संबंध स्थापित करने में निहित है, जो प्रतिबंधित दो-रंगी विभाजनों के ज्ञात सर्वांगसमता गुणों (congruence properties) का विस्तार करता है। यह शोध पत्र इस विशिष्ट अनुमान के समाधान के अलावा कोई नए अनुप्रयोग या भविष्य के निहितार्थ प्रस्तावित नहीं करता है।