Solutions for Hecke Sum Questions of Banerjee and Bringmann

तकनीकी सारांश: बनर्जी और ब्रिंगमैन के हेके सम (Hecke Sum) प्रश्नों के समाधान

समस्या विवरण
यह शोध पत्र एक विशिष्ट अनुमान (conjecture) को संबोधित करता है जो $S(q)$ की श्रृंखला से संबंधित है, जिसे लेखकों ने पूर्व कार्य [3] में विषम लघुतम भाग वाले दो-रंग के विभाजनों (two-color partitions) के संदर्भ में प्रस्तुत किया था। यह श्रृंखला इस प्रकार परिभाषित है:
$$S(q) := \sum_{m\ge0} \frac{(q; q^2)_m^2 q^{2m}}{(-q^2; q^2)_m}$$
लेखकों ने पहले $(q^4; q^4)_\infty S(q)$ के सम भाग (even part) के लिए एक हेके-प्रकार के सूत्र का अनुमान लगाया था। बनर्जी और ब्रिंगमैन [4] ने बाद में अनिश्चित थीटा फलनों (indefinite theta functions), मॉड्यूलर पूर्णता (modular completions) और स्टर्म के प्रमेय (Sturm's theorem) का उपयोग करके इस अनुमान को सिद्ध किया। हालाँकि, उन्होंने आगे की जाँच के लिए दो प्रश्न स्पष्ट रूप से रखे थे:

1. क्या अधिक प्रत्यक्ष प्रमाण संभव है, विशेष रूप से बेली-प्रकार (Bailey-type) के विचारों का उपयोग करते हुए?
2. क्या श्रृंखला के विषम अवशेष वर्गों (odd residue classes) का अध्ययन और लक्षण वर्णन किया जा सकता है?

कार्यप्रणाली
लेखक पूरी तरह से $q$-श्रंखला हेरफेर और बेली युग्मों (Bailey pairs) के सिद्धांत पर आधारित एक प्रत्यक्ष प्रमाण प्रदान करते हैं, जो पिछले प्रमाण में उपयोग की गई मॉड्यूलर पूर्णता तकनीकों से बचता है। मुख्य कार्यप्रणाली में शामिल हैं:

1. दो-चर विशेषण (Two-Variable Refinement): लेखक एक पैरामीटर $a$ को परिभाषित करने के लिए एक परिष्कृत श्रृंखला $S_a(q)$ और उससे जुड़े उत्पाद $P_a(q) = (q^4; q^4)_\infty S_a(q)$ का परिचय देते हैं। यह सामान्य पहचान (identities) प्राप्त करने की अनुमति देता है जहाँ मूल श्रृंखला $S(q)$, $a=1$ के विशेषण के रूप में प्राप्त होती है।
2. बेली युग्म निर्माण (Bailey Pair Construction): प्रमाण आधार $q^2$ के सापेक्ष 1 के संबंध में एक विशिष्ट बेली युग्म $(\alpha_R, \beta_N)$ के निर्माण के लिए मैकोमों के जैकोबी ट्रिपल प्रोडक्ट के परिमित रूप (finite form) का उपयोग करता है।
3. संयुग्मी बेली युग्म मूल्यांकन (Conjugate Bailey Pair Evaluation): एक संयुग्मी बेली युग्म $(\gamma_R, \delta_N)$ का निर्माण किया गया है। $\gamma_R$ के पद का मूल्यांकन एक नए लेम्मा (Lemma 2) पर निर्भर करता है, जो यूलर के विस्तार का एक परिमित रूप है। यह लेम्मा $q$-द्विपद गुणांकों और अनंत उत्पादों वाले एक विशिष्ट योग का मूल्यांकन करता है।
4. बेली रूपांतरण (Bailey's Transform): लेखक $P_a(q)$ के श्रृंखला प्रतिनिधित्व को $a$ और $q$ के मापदंडों वाले द्वि-योग (double sum) के साथ समान करने के लिए बेली रूपांतरण (पहचान $\sum \beta_N \delta_N = \sum \alpha_R \gamma_R$) लागू करते हैं।
5. पैरिटी पृथक्करण (Parity Separation): परिणामी द्वि-योग में घातांकों की पैरिटी (parity) का विश्लेषण करके, लेखक अभिव्यक्ति को सम और विषम भागों ($S_{2,0}$ और $S_{2,1}$) में अलग करते हैं, जिससे प्रत्येक के लिए स्पष्ट हेके-प्रकार के सूत्र प्राप्त होते हैं।

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

• मुख्य प्रमेय (Theorem 1): यह शोध पत्र $P_a(q)$ के सम और विषम भागों के लिए एक दो-चर परिष्करण स्थापित करता है।

  • सम भाग को $a^{2j}$ और $q$ की घातों वाले पदों के योग के रूप में दिया गया है।
  • विषम भाग को $(a^{2j+1} + a^{-2j-1})$ और $q$ की घातों वाले पदों के योग के रूप में दिया गया है।
  • ये सूत्र सीधे बेली रूपांतरण से प्राप्त किए गए हैं बिना मॉड्यूलर रूपों के।

• मूल अनुमान का समाधान (Corollaries 2 & 3): $a=1$ को सेट करके, लेखक मूल सम हेके-प्रकार की पहचान को पुनः प्राप्त करते हैं और $S(q)$ के लिए संगत विषम पहचान प्रदान करते हैं, जो बनर्जी और ब्रिंगमैन द्वारा पूछे गए पहले प्रश्न का उत्तर देता है।

• विषम अवशेष वर्गों का लक्षण वर्णन (Corollary 4): विषम पहचान $4 \pmod 4$ के संबंध में अवशेष वर्गों के बारे में एक उल्लेखनीय गुण प्रकट करती है। विशेष रूप से, $(q^4; q^4)_\infty S(q)$ का वह घटक जिसके घातांक $1 \pmod 4$ के अनुरूप हैं, स्वतः शून्य हो जाता है। $3 \pmod 4$ के अनुरूप वाला घटक श्रृंखला का संपूर्ण विषम भाग बनाता है।

• साइक्लोटोमिक साथी और लुप्त होने के परिणाम (Cyclotomic Companions and Vanishing Results): शोध पत्र नई पहचान उत्पन्न करने के लिए पैरामीटर $a$ के विशेषणों का अन्वेषण करता है:

  • मामला $a=i$: विषम भाग पूरी तरह से शून्य हो जाता है, जिससे एक साथी श्रृंखला $T(q)$ प्राप्त होती है जिसका विस्तार शुद्ध रूप से सम हेके-प्रकार का होता है (Corollary 5)।
  • मामला $a=e^{\pi i/3}$ और $a=e^{2\pi i/3}$: ये विशेषण "साइक्लोटोमिक साथी" $U(q)$ और $V(q)$ उत्पन्न करते हैं। उनके विस्तार में मूलों की इकाई (roots of unity) (विशेष रूप से $2\cos(\pi r/3)$) से प्राप्त आवधिक गुणांकों के साथ परिमित थीटा योग शामिल हैं, जैसा कि कोरोलरी 6 और 7 में विस्तृत है।

• सममिति गुण (Symmetry Properties): लेखक पैरामीटर सममिति को दर्ज करते हैं, यह नोट करते हुए कि $P_{a^{-1}}(q) = P_a(q)$ और $P_{-a}(q) = P_a(-q)$, जो विस्तार के सम और विषम भागों के बीच संरचनात्मक अंतर की व्याख्या करता है।

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