🔢 mathematics

Analytic proofs of Andrews-Bachraoui identities related to two-color partitions with evens in one color

यह शोध पत्र दो-रंगी विभाजन फलनों (two-color partition functions) $F(n)$ और $H(n)$ से संबंधित पूर्व में खुले $q$ -श्रृंखला (q-series) पहचानों के लिए विश्लेषणात्मक प्रमाण प्रदान करता है, और प्रतिबंधित विभाजन फलनों (restricted partition functions) $F_0(n)$ और $F_1(n)$ के लिए 2, 4 और 8 के मापांक (modulo) पर नए सर्वांगसमता (congruences) स्थापित करता है।

मूल लेखक: Gaurab Bardhan, Nipen Saikia

प्रकाशित 2026-07-09

📖 5 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Gaurab Bardhan, Nipen Saikia

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप निर्माण ब्लॉकों (building blocks) के एक विशाल, अनंत गोदाम का संचालन कर रहे हैं। ये ब्लॉक अलग-अलग आकारों के आते हैं (1, 2, 3, 4, आदि) और आप एक विशिष्ट कुल ऊंचाई, जैसे कि 6, तक पहुँचने वाले टावर बनाना चाहते हैं। गणित की दुनिया में, इसे पार्टीशन (partition) कहा जाता है।

यह शोध पत्र इस प्रकार के खेल के एक बहुत ही विशिष्ट, रंगीन संस्करण के बारे में है, जिसका आविष्कार गणितज्ञों एंड्रयूज और बच्राउई (Andrews and Bachraoui) ने किया था, और अब इस शोध पत्र के लेखक, गुरब Bardhan और निपेन साइकिया (Nipen Saikia) द्वारा इसका विस्तृत विश्लेषण किया गया है।

खेल: दो-रंगी ब्लॉकों वाला एक ट्विस्ट

इस विशिष्ट गोदाम में, नियम थोड़े अजीब हैं:

सम-आकार के ब्लॉक (2, 4, 6...) केवल नीले (Blue) हो सकते हैं।
विषम-आकार के ब्लॉक (1, 3, 5...) लाल (Red) या नीले (Blue) दोनों हो सकते हैं।

तो, यदि आप ऊंचाई 3 का एक टावर बनाना चाहते हैं, तो आप इनका उपयोग कर सकते हैं:

तीन नीले 1।
एक लाल 1 और दो नीले 1।
एक नीला 3।
एक लाल 3।
और इसी तरह।

लेखक इन टावरों को बनाने के विभिन्न तरीकों की गणना करने में रुचि रखते हैं। लेकिन वे केवल कुल संख्या नहीं चाहते; वे टावरों को एक "लाल ब्लॉक गणना" (Red Block Count) के आधार पर विशेष श्रेणियों में वर्गीकृत करना चाहते हैं।

श्रेणियाँ: लाल ब्लॉक की समता (Parity)

लेखक दो मुख्य समूहों को परिभाषित करते हैं:

"सम लाल" समूह ( $F_0$ ): वे टावर जहाँ लाल ब्लॉकों की संख्या एक सम संख्या (0, 2, 4...) है।
"विषम लाल" समूह ( $F_1$ ): वे टावर जहाँ लाल ब्लॉकों की संख्या एक विषम संख्या (1, 3, 5...) है।

वे एक सख्त नियम भी देखते हैं जिसे $H(n)$ कहा जाता है, जहाँ आपको एक ही रंग के भीतर एक ही आकार के ब्लॉक का एक से अधिक बार उपयोग करने की अनुमति नहीं है। यह ऐसा है जैसे कि, "आप एक लाल 1 और एक नीला 1 रख सकते हैं, लेकिन आप दो लाल 1 नहीं रख सकते।"

लेखकों ने वास्तव में क्या किया?

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

मिशन 1: "ओपन प्रॉब्लम्स" को हल करना (रेसिपी)

एक पिछले शोध पत्र में, एंड्रयूज और बच्राउई ने कुछ बहुत ही जटिल दिखने वाले फॉर्मूले (समीकरण) लिखे थे जिनका मानना था कि वे इन टावरों के व्यवहार का वर्णन करते हैं। हालाँकि, वे यह सिद्ध नहीं कर सके कि ये फॉर्मूले क्यों काम करते हैं; वे केवल "ओपन प्रॉब्लम्स" (अनसुलझे रहस्य) थे।

बार्डन और साइकिया ने आगे बढ़कर एनालिटिक प्रूफ (विश्लेषणात्मक प्रमाण) प्रदान किए।

उपमा: कल्पना कीजिए कि किसी ने आपको केक की एक जादुई रेसिपी दी है जिसका स्वाद एकदम सही है, लेकिन उन्होंने यह स्पष्ट नहीं किया कि सामग्री इस तरह से क्यों मिलती है। इन लेखकों ने वह "रसायन विज्ञान की पाठ्यपुस्तक" लिखी जो यह सिद्ध करती है कि रेसिपी हर बार काम करती है।
उन्होंने दो विशिष्ट, जटिल समीकरणों (जिन्हें पेपर में 1.1 और 1.2 लेबल किया गया है) को सिद्ध किया जो इन रंगीन पार्टीशन को अनंत गणितीय उत्पादों (infinite mathematical products) से जोड़ते हैं।

मिशन 2: "छिपे हुए पैटर्न" खोजना (कंग्रुएंस - Congruences)

शोध पत्र का दूसरा भाग एक जासूसी कहानी की तरह है जो संख्याओं में पैटर्न की तलाश कर रहा है। लेखकों ने पूछा: "यदि मैं एक निश्चित आकार का टावर बनाता हूँ, तो क्या मैं भविष्यवाणी कर सकता हूँ कि इसे बनाने के तरीकों की संख्या सम है या विषम, या 4 या 8 से विभाज्य है?"

उन्होंने कुछ आश्चर्यजनक नियम खोजे:

वर्ग नियम (The Square Rule): यदि टावर की कुल ऊंचाई ( $n$ ) एक पूर्ण वर्ग (जैसे 1, 4, 9, 16) या एक पूर्ण वर्ग का दोगुना (जैसे 2, 8, 18) है, तो टावर बनाने के तरीकों की संख्या विषम (odd) होती है।
"अन्यथा" नियम (The "Otherwise" Rule): यदि ऊंचाई उन विशेष संख्याओं में से नहीं है, तो टावर बनाने के तरीकों की संख्या सम (even) होती है।

वे और भी गहराई तक गए, यह पता लगाया कि संख्याएँ 4 या 8 से कब विभाज्य होती हैं। उदाहरण के लिए, उन्होंने पाया कि कुछ ऊंचाइयों (जैसे $4n+3$ ) के लिए, टावर बनाने के तरीकों की संख्या हमेशा 4 से विभाज्य होती है।

"सुधार" नोट

लेखकों ने एंड्रयूज और बच्राउई के मूल कार्य में एक छोटी सी गलती को भी ठीक किया। मूल पेपर में उनके फॉर्मूलों में कुछ चिन्ह गलत थे (प्लस के बजाय माइनस)। इस पेपर के लेखकों ने उन चिन्हों को सुधारा और एक विशिष्ट उदाहरण (ऊंचाई 6) के लिए सही पार्टीशन की सूची प्रदान की, जिससे स्पष्ट हुआ कि कौन से टावर "सम लाल" समूह में आते हैं और कौन से "विषम लाल" समूह में।

सारांश

सरल शब्दों में, यह शोध पत्र एक गणितीय प्रमाण और पैटर्न खोजने का अभ्यास है।

इसने सत्यापित किया कि रंगीन ब्लॉक टावरों का वर्णन करने वाले दो जटिल फॉर्मूले सही हैं।
इसने मूल फॉर्मूलों में कुछ टाइपो (लिखने की गलतियों) को सुधारा।
इसने खोजा कि इन रंगीन ब्लॉकों के टावर बनाने के तरीकों की संख्या इस आधार पर सख्त नियमों का पालन करती है कि टावर की ऊंचाई एक वर्ग संख्या है या नहीं, और क्या वह संख्या 2, 4, या 8 से विभाज्य है।

यह शोध पत्र पूरी तरह से शुद्ध गणित (संख्या सिद्धांत) के क्षेत्र के भीतर रहता है। यह दावा नहीं करता है कि इन निष्कर्षों का उपयोग इंजीनियरिंग, चिकित्सा या कंप्यूटर विज्ञान के लिए किया जाएगा; यह केवल इस पहेली को हल करता है कि ये विशिष्ट संख्याएँ कैसे व्यवहार करती हैं।

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

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

$F_0(n)$ : उन विभाजनों की संख्या जहाँ लाल विषम भागों की गणना सम है।
$F_1(n)$ : उन विभाजनों की संख्या जहाँ लाल विषम भागों की गणना विषम है।
$H(n)$ : उन विभाजनों की संख्या जहाँ एक ही रंग के भाग दोहराए नहीं जाते हैं।

मुख्य उद्देश्य $F(n)$ और $H(n)$ से जुड़ी दो $q$ -श्रृंखला पहचानों के लिए विश्लेषणात्मक प्रमाण प्रदान करना है, जो पहले खुले प्रश्नों के रूप में सूचीबद्ध थे, और $F_0(n)$ तथा $F_1(n)$ के लिए 2, 4 और 8 के मापांक (modulo) पर नई सर्वांगसमता गुणों को स्थापित करना है। इसके अतिरिक्त, यह लेख एंड्रयूज और बचराउई के मूल कार्य में प्रस्तुत जनरेटिंग फलनों (generating functions) में पाई गई त्रुटियों को सुधारता है।

कार्यप्रणाली (Methodology)
लेखक विभाजनों के सिद्धांत और $q$ -श्रृंखलाओं से संबंधित मानक तकनीकों का उपयोग करते हैं। कार्यप्रणाली में शामिल हैं:

जनरेटिंग फलन (Generating Functions): $F_0(n)$ और $F_1(n)$ के लिए जनरेटिंग फलनों का उपयोग करना, जो $(q; q)_\infty$ वाले अनंत $q$ -उत्पादों (infinite $q$ -products) के रूप में व्यक्त किए गए हैं। शोध पत्र पिछले साहित्य में पाए गए इन उत्पादों के अंशों (numerators) में चिन्हों के संबंध में एक सुधार को नोट करता है।
टेलीस्कोपिंग योग (Telescoping Sums): $q$ -श्रृंखला पहचानों के लिए, लेखक विशिष्ट अनुक्रमों ( $A_n, B_n, C_n, D_n$ ) को परिभाषित करते हैं और यह प्रदर्शित करते हैं कि श्रृंखला के पद टेलीस्कोपिंग अंतर (जैसे, $A_n - A_{n-1}$ ) का प्रतिनिधित्व करते हैं। इन अंतरों को जोड़ने और $n \to \infty$ तक सीमा (limit) लेने के माध्यम से, वे बंद-रूप (closed-form) पहचान प्राप्त करते हैं।
थीटा फलन और विच्छेदन (Theta Functions and Dissections): सर्वांगसमताओं को सिद्ध करने के लिए, लेखक रामानुजन के सामान्य थीटा फलन $f(\alpha, \beta)$ और उसके विशेष मामलों $\phi(q)$ और $\psi(q)$ का उपयोग करते हैं। वे गुणांकों को निकालने के लिए 2-विच्छेदन सूत्रों (2-dissection formulas) और $q$ -उत्पादों के मॉड्यूलर अंकगणित गुणों (विशेष रूप से 2, 4, 8 और 16 के मापांक पर) को लागू करते हैं।
संख्या सिद्धांत फलन (Number Theoretic Functions): 8 के मापांक पर सर्वांगसमताओं के प्रमाणों में, लेखक विभाजक फलन $\sigma(n)$ , दो वर्गों के योग के रूप में एक पूर्णांक के प्रतिनिधित्व की संख्या $r_2(n)$ , और $u^2 + 2v^2$ के रूप में प्रतिनिधित्व की संख्या का उपयोग करते हैं। वे जैकोबी प्रतीकों (Jacobi symbols) और विभाजक योगों के माध्यम से इन संबंधों को स्थापित करते हैं ताकि विभाजन फलनों के व्यवहार को स्पष्ट किया जा सके।

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

जनरेटिंग फलनों का सुधार: शोध पत्र एंड्रयूज और बचराउई के मूल कार्य में प्रस्तुत $F_0(n)$ और $F_1(n)$ के जनरेटिंग फलनों में त्रुटियों की पहचान करता है और उन्हें सुधारता है, विशेष रूप से $q$ -उत्पाद अंशों में चिन्हों के संबंध में।
खुली पहचानों का प्रमाण: लेखक दो पहचानों (पाठ में 1.1 और 1.2 के रूप में लेबल की गई) के लिए कठोर विश्लेषणात्मक प्रमाण प्रदान करते हैं, जो $F(n)$ और $H(n)$ से संबंधित अनंत श्रृंखलाओं और उत्पादों से जुड़ी हैं। ये पहचानें साहित्य में पहले अप्रामाणित थीं।
2 के मापांक पर सर्वांगसमता:
- यह सिद्ध किया गया है कि $F_i(n) \equiv 1 \pmod 2$ यदि और केवल यदि $n$ एक पूर्ण वर्ग या दो पूर्ण वर्गों का गुणनफल है; अन्यथा, $F_i(n) \equiv 0 \pmod 2$ ।
- इससे $F_i(Mn+r) \pmod 2$ के शून्य होने के संबंध में उपकोश (corollaries) प्राप्त होते हैं, जो इस पर आधारित है कि क्या $r$ एक विशिष्ट द्विघात अवशेष (quadratic residue) सेट से संबंधित है।
4 के मापांक पर सर्वांगसमता:
- शोध पत्र $n$ के वर्ग, दो वर्गों के गुणनफल, या दोनों में से न होने के आधार पर $F_0(n)$ और $F_1(n)$ के लिए विशिष्ट मान स्थापित करता है।
- विभाजक फलन $\sigma(k)$ के शामिल होने वाला एक पुनरावर्ती संबंध $n F_i(n) \pmod 2$ के लिए व्युत्पन्न किया गया है।
8 के मापांक पर सर्वांगसमता:
- $F_0(2n)$ और $F_1(2n)$ के लिए 8 के मापांक पर विस्तृत लक्षण वर्णन प्रदान किए गए हैं, जो इस आधार पर अंतर करते हैं कि $n$ एक विषम/सम पूर्णांक का वर्ग है या दो वर्गों का गुणनफल है।
- $4n+1$ के तर्क के लिए, लेखक $\varepsilon(n)$ (जो 1 है यदि $n$ एक प्रोनिक संख्या $a(a+1)$ है) और जैकोबी प्रतीकों वाले एक विभाजक योग फलन $D(n)$ को शामिल करते हुए एक सूत्र व्युत्पन्न करते हैं।
- $4n+3$ के तर्क के लिए, $F_0(4n+3)$ के मान को 8 के मापांक पर $2P_r + 16P_s$ के रूप में $n$ के प्रतिनिधित्व की समता (parity) पर निर्भर दिखाया गया है, जहाँ $P_j$ सामान्यीकृत पंचकोणीय संख्याएँ (generalized pentagonal numbers) हैं।

महत्व
यह शोध पत्र मुख्य रूप से $F(n)$ और $H(n)$ के इन विशिष्ट दो-रंग विभाजन फलनों की विश्लेषणात्मक संरचना के संबंध में एंड्रयूज और बचराउई द्वारा छोड़े गए खुले प्रश्नों को हल करके अपनी महत्ता का दावा करता है। इन $q$ -श्रृंखला पहचानों के लिए प्रमाण प्रदान करके, लेखक $F(n)$ और $H(n)$ के आसपास के सैद्धांतिक ढांचे को मान्य करते हैं। इसके अलावा, 2, 4 और 8 के मापांक पर सर्वांगसमताओं की स्थापना इन विभाजनों के वितरण की गहरी अंकगणितीय समझ प्रदान करती है। यह कार्य पूर्व साहित्य के लिए एक सुधार के रूप में कार्य करता है और संबंधित प्रतिबंधित विभाजन फलनों (जैसे कि सम भागों की समता या कुल भागों पर आधारित) के विभाज्यता गुणों में भविष्य के अन्वेषणों के लिए एक आधार प्रदान करता है।