🔢 mathematics

Congruences for two-color partitions with odd smallest part

यह शोध पत्र विषम लघुतम भागों और सम भागों पर विशिष्ट प्रतिबंधों वाले द्वि-रंग विभाजनों (two-color partitions) की जांच करता है, उनकी गणनाओं के लिए 2 और 4 के मापांक (modulo) पर सर्वांगसमताएँ स्थापित करता है, उनके क्लोज्ड-फॉर्म एटा-कोशिएंट (eta-quotient) जनरेटिंग फंक्शन्स व्युत्पन्न करता है, और जैसे-जैसे प्रतिबंध पैरामीटर अनंत की ओर बढ़ता है, उसके सीमित अनुक्रम के लिए रामानुजन-प्रकार की सर्वांगसमताएँ सूत्रबद्ध करता है।

मूल लेखक: George E. Andrews, Mohamed El Bachraoui

प्रकाशित 2026-03-10

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

CC BY 4.0

मूल लेखक: George E. Andrews, Mohamed El Bachraoui

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

कल्पना कीजिए कि आप एक जादुई रसोई के मास्टर शेफ हैं। आपका काम केक बनाना है, लेकिन ये साधारण केक नहीं हैं। ये "दो-रंगों वाले विभाजन केक" (Two-Color Partition Cakes) हैं।

यहाँ इस शोध पत्र में वर्णित केक की रेसिपी दी गई है:

सामग्री: आपके पास एक संख्या $n$ (केक का आकार) है। आपको इस संख्या को छोटे पूर्ण संख्याओं (जैसे 5, 3, 2, 1) में तोड़ना होगा जो $n$ के बराबर हों।
रंग: प्रत्येक सामग्री को या तो नीला (Blue) या लाल (Red) रंग से रंगा जा सकता है।
नियम:
- सबसे छोटा टुकड़ा: आपके केक का सबसे छोटा घटक एक विषम संख्या (जैसे 1, 3, 5) होनी चाहिए, और इसे नीला रंगा जाना चाहिए।
- नीला नियम: यदि आपके पास कोई भी सम संख्या (even number) नीली रंग की है, तो वे पर्याप्त "ऊँची" होनी चाहिए। विशेष रूप से, वे आपके सबसे छोटे नीले टुकड़े से कम से कम $2k-1$ इकाइयों बड़ी होनी चाहिए। (यहाँ $k$ मुख्य शेफ द्वारा निर्धारित "कठोरता का स्तर" है)।
- लाल नियम: आप लाल सम संख्याएँ रख सकते हैं, लेकिन आप उनकी पुनरावृत्ति (duplicates) नहीं कर सकते। यदि आप एक लाल 4 का उपयोग करते हैं, तो आप एक और लाल 4 का उपयोग नहीं कर सकते।

लेखक, जॉर्ज एंड्रयूज और मोहम्मद अल बाच्रावी, एक बहुत ही विशिष्ट प्रश्न पूछ रहे हैं: "यदि हम इन नियमों का पालन करते हैं, तो दिए गए आकार $n$ के लिए हम कितने अलग-अलग केक बना सकते हैं?"

वे इस संख्या को $C(k, n)$ कहते हैं। वे जानना चाहते हैं कि क्या इन संख्याओं में कोई छिपे हुए पैटर्न हैं, विशेष रूप से शेषफल (remainders) (जैसे यह पूछना कि: "क्या यह संख्या सम है? क्या यह 4 से विभाज्य है?") के माध्यम से।

बड़ी खोजें

यह शोध पत्र तीन मुख्य प्रकार के पैटर्न प्रकट करने वाला एक खजाना मानचित्र है:

1. "भाजक" संबंध (The $k=1$ Case)

जब कठोरता का स्तर $k=1$ (सबसे उदार नियम) सेट किया जाता है, तो लेखक अपने केक गणनाओं और कुछ पूरी तरह से अलग चीज़ के बीच एक जादुई संबंध पाते हैं: भाजक (Divisors)।

उपमा: कल्पना कीजिए कि आपके पास एक संख्या $N$ है। "भाजक" वे संख्याएँ हैं जो $N$ को पूरी तरह से विभाजित करती हैं (जैसे 6 के भाजक 1, 2, 3, 6 हैं)।
खोज: आकार $n$ के लिए आप जितने केक बना सकते हैं (इस $k=1$ नियम के तहत), वह संख्या $2n-1$ के भाजकों की संख्या के समान व्यवहार करती है।
"विषम" रहस्य: उन्होंने सिद्ध किया कि केक की संख्या विषम (2 से विभाज्य नहीं) केवल तभी होती है जब $2n-1$ एक पूर्ण वर्ग (perfect square) हो (जैसे 1, 9, 25, 49)। यदि $2n-1$ एक वर्ग है, तो आपको विषम संख्या में केक मिलेंगे। यदि यह नहीं है, तो आपको सम संख्या में केक मिलेंगे।
"Mod 4" रहस्य: वे और गहराई तक गए। उन्होंने दिखाया कि यदि आप 4 से भाग देने पर शेषफल देखते हैं, तो उत्तर पूरी तरह से इस बात पर निर्भर करता है कि $2n-1$ $2 n - 1$ के कितने अभाज्य गुणनखंड (prime factors) विषम संख्या में मौजूद हैं। यह एक कोड की तरह है:
- यदि "विषमता गणना" (oddness count) 0 है, तो शेषफल 1 या 3 होगा।
- यदि "विषमता गणना" 1 है, तो शेषफल 2 होगा।
- यदि "विषमता गणना" 2 या अधिक है, तो शेषफल 0 होगा (इसका अर्थ है कि संख्या 4 से पूरी तरह विभाज्य है)।

2. "सम/विषम" पैटर्न (The $k=2$ और $k=3$ Case)

जब उन्होंने नियमों को कड़ा किया (कठोरता स्तर $k=2$ या $k=3$ सेट किया), तो पैटर्न बदल गए लेकिन वे अनुमानित रहे।

$k=2$ के लिए: उन्होंने पाया कि यदि आप आकार $4n$ (जैसे 4, 8, 12) का केक बनाते हैं, तो इसे करने के तरीके हमेशा 4 के गुणज होते हैं। यदि आकार $4n-2$ (जैसे 2, 6, 10) है, तो तरीकों की संख्या हमेशा 4 के गुणज से 2 अधिक होती है।
$k=3$ के लिए: इसी प्रकार, 4 के गुणज वाले आकारों के लिए, तरीकों की संख्या हमेशा 4 से विभाज्य होती है।

ऐसा लगता है जैसे रसोई में एक लय (rhythm) है। हर बार जब आप केक के आकार में "4-स्टेप" पर पहुँचते हैं, तो व्यंजनों की संख्या एक अनुमानित तरीके से रीसेट हो जाती है।

3. "अनंत शेफ" (The Limit)

लेखकों ने यह भी पूछा: "क्या होता है यदि हम कठोरता नियम $k$ को अनंत रूप से बड़ा कर दें?"

उपमा: कल्पना कीजिए कि नीले सम नंबरों को सबसे छोटे टुकड़े से अनंत दूरी पर होना होगा। वास्तव में, इसका अर्थ यह है कि आप कोई भी नीला सम नंबर नहीं रख सकते।
परिणाम: यह एक नया, अनंत अनुक्रम (sequence) बनाता है। लेखक संदेह करते हैं कि यह नया अनुक्रम प्रसिद्ध "रामानुजन-शैली" के पैटर्न का अनुसरण करता है।
अनुमान: वे अनुमान लगाते हैं (मजबूत संदेह है) कि इस अनंत अनुक्रम के लिए:
- आकार $8n+4$ के केक हमेशा 4 से विभाज्य होते हैं।
- आकार $8n+6$ के केक हमेशा 8 से विभाज्य होते हैं।
  यह रामानुजन के समान है, जिन्होंने पाया था कि साधारण विभाजन (बिना रंगों के) के तरीके 5, 7 और 11 के लिए इसी तरह के नियमों का पालन करते हैं।

यह क्यों महत्वपूर्ण है?

आप पूछ सकते हैं, "रंगीन केक गिनने से किसे फर्क पड़ता है?"

गणित की दुनिया में, ये "केक" वास्तव में जेनरेटिंग फंक्शन्स (generating functions) हैं। ये शक्तिशाली उपकरण हैं जिनका उपयोग गणितज्ञ भौतिकी, कंप्यूटर विज्ञान और क्रिप्टोग्राफी में समस्याओं को हल करने के लिए करते हैं।

"एटा-क्वोटिएंट" (Eta-Quotient) संबंध: शोध पत्र दिखाता है कि इन केक-गिनती सूत्रों को "एटा-क्वोटिएंट्स" का उपयोग करके फिर से लिखा जा सकता है। इन एटा-क्वोटिएंट्स को संख्याओं का "डीएनए" (DNA) मान लीजिए। यह डीएनए केक की समस्या को मॉड्यूलर फॉर्म्स (Modular Forms) से जोड़ता है, जो जटिल ज्यामिति में अत्यधिक सममित (symmetrical) आकृतियाँ हैं।
सेतु (The Bridge): इन सर्वांगसमताओं (congruences) को सिद्ध करके, लेखक सरल गिनती के खेल और गहरी, जटिल ज्यामिति के बीच एक सेतु बना रहे हैं। वे दिखा रहे हैं कि संख्याओं के बारे में रंग भरने के सरल नियम भी ऐसी संरचनाएं पैदा करते हैं जो गणित के मौलिक नियमों के साथ प्रतिध्वनित होती हैं।

संक्षेप में

यह शोध पत्र एक जासूसी कहानी है। जासूसों (एंड्रयूज और अल बाच्रावी) ने संख्याओं को रंगने (नीला और लाल) के एक विशिष्ट तरीके को देखा, जिसमें सख्त नियम थे। उन्होंने पाया कि इन व्यवस्थाओं की कुल गणना यादृच्छिक (random) नहीं है; यह निम्नलिखित पर आधारित एक सख्त, लयबद्ध कोड का पालन करती है:

भाजक (कैसे संख्याएँ एक-दूसरे को विभाजित करती हैं)।
पूर्ण वर्ग (जैसे 1, 4, 9, 16)।
मॉड्यूलर अंकगणित (4 या 8 से भाग देने पर शेषफल)।

उन्होंने विशिष्ट मामलों के लिए इन नियमों को सिद्ध किया और शिक्षित अनुमान (conjectures) लगाए कि ये पैटर्न तब भी बने रहते हैं जब नियम अनंत रूप से सख्त हो जाते हैं। यह सरल गिनती के माध्यम से गहरे, छिपे हुए सामंजस्य (symmetries) को प्रकट करने का एक सुंदर उदाहरण है।

यहाँ जॉर्ज ई. एंड्रयूज और मोहम्मद एल बाक्रावी के शोध पत्र "Congruences for Two-Color Partitions with Odd Smallest Part" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ

यह शोध पत्र पूर्णांक विभाजनों (integer partitions) के एक विशिष्ट परिवार के अंकगणितीय गुणों की जांच करता है। विशेष रूप से, यह एक निश्चित धनात्मक पूर्णांक $k$ द्वारा परिभाषित बाधाओं के अधीन, एक पूर्णांक $n$ के दो-रंगीन विभाजनों (जहाँ भागों को नीला या लाल रंग दिया जा सकता है) पर ध्यान केंद्रित करता है, जिसे $C(k, n)$ द्वारा दर्शाया गया है:

सबसे छोटा भाग $s(\pi)$ विषम (odd) होना चाहिए और वह नीले रंग में कम से कम एक बार उपस्थित होना चाहिए।
प्रत्येक नीला सम भाग (even blue part) सबसे छोटे भाग $s(\pi)$ से कम से कम $2k - 1$ अधिक होना चाहिए।
एक ही रंग के सम भाग (even parts) विशिष्ट (distinct) होने चाहिए।

लेखक $k=1, 2, 3$ के मामलों के लिए, $C_k(q)$ के जनरेटिंग फंक्शन (generating function) के गुणांकों $C(k, n)$ के लिए modulo 4 (और modulo 2) के लिए सर्वांगसमता (congruences) स्थापित करने का लक्ष्य रखते हैं। इसके अतिरिक्त, वे इन जनरेटिंग फंक्शन्स के लिए बंद-रूप सूत्र (closed-form formulas) प्राप्त करने और $k \to \infty$ के रूप में अनुक्रम के व्यवहार का अन्वेषण करने का प्रयास करते हैं।

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

लेखक संयोजन विश्लेषण (combinatorial analysis) और $q$ -श्रृंखला तकनीकों (q-series techniques) के एक परिष्कृत संयोजन का उपयोग करते हैं।

जनरेटिंग फंक्शन्स (Generating Functions): जनरेटिंग फंक्शन $C_k(q)$ का निर्माण सबसे छोटे विषम भाग $2n+1$ पर योग करके किया जाता है। नीले भागों को $q^{2n+1}(-q^{2n+2k}; q^2)_\infty / (q^{2n+1}; q^2)_\infty$ द्वारा और लाल भागों को $(-q^{2n+2}; q^2)_\infty / (q^{2n+1}; q^2)_\infty$ द्वारा जनरेट किया जाता है।
$q$ -श्रृंखला पहचान (q-Series Identities): प्रमाण मुख्य रूप से बेसिक हाइपरजियोमेट्रिक श्रृंखलाओं के सिद्धांत से जुड़ी शास्त्रीय रूपांतरणों और पहचानों पर निर्भर करते हैं, जिनमें शामिल हैं:
- हेन का रूपांतरण (Heine's transformation) और रोजर्स-फाइन पहचान (Rogers–Fine identity)।
- बहुत-अच्छी तरह से व्यवस्थित (very-well-poised) $_8\phi_7$ श्रृंखलाओं के लिए वाटसन का रूपांतरण (Watson's transformation)।
- $_3\phi_2$ श्रृंखलाओं के लिए तीन-पद रूपांतरण सूत्र (Three-term transformation formulas)।
- एंड्रयूज और रामानुजन द्वारा दी गई विशिष्ट पहचानें, जो अनंत उत्पादों (infinite products) और योगों से संबंधित हैं।
मॉड्यूलर अंकगणित (Modular Arithmetic): लेखक modulo 2 और 4 के सापेक्ष गुणांकों का विश्लेषण करते हैं। वे भाजक फलन (divisor function) $d(N)$ के गुणों और अभाज्य गुणनखंडन (prime factorization) में घातांकों की समता (parity) का उपयोग करते हैं।
एटा-कोटिएंट्स (Eta-Quotients): शोध पत्र जनरेटिंग फंक्शन्स को मॉड्यूलर फॉर्म से जोड़ता है, विशेष रूप से कॉंग्रुएंस सबग्रुप $\Gamma_0(4)$ पर भार 0 वाले एटा-कोटिएंट्स के रूप में सामान्य कारकों की पहचान करता है।

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

A. $k=1$ के लिए सर्वांगसमता (Congruences)

शोध पत्र $C(1, n)$ और भाजक फलन $d(N)$ के बीच एक गहरा संबंध स्थापित करता है।

प्रमेय 1 (Theorem 1): $C(1, n) \equiv d(2n-1) \pmod 4$ ।
परिणाम (Corollaries):
- $C(1, n)$ विषम है यदि और केवल यदि $2n-1$ एक पूर्ण वर्ग है (अर्थात, $n = 2k(k+1)+1$ )।
- $C(1, n) \pmod 4$ का मान $2n-1$ के गुणनखंडन में विषम घातांकों वाले अभाज्य गुणनखंडों की संख्या द्वारा निर्धारित होता है।
- एक रामानुजन-प्रकार की सर्वांगसमता सिद्ध की गई है: $C(1, 9n+8) \equiv 0 \pmod 4$ ।

B. $k=2$ और $k=3$ के लिए सर्वांगसमता

प्रमेय 2 (Theorem 2): $k=2$ $k = 2$ के लिए, गुणांक निम्नलिखित संतुष्ट करते हैं:
- $C(2, 4n) \equiv 0 \pmod 4$
- $C(2, 4n-2) \equiv 2 \pmod 4$
- फलस्वरूप, $C(2, n) \equiv n \pmod 2$ ।
प्रमेय 3 (Theorem 3): $k=3$ के लिए, $C(3, 4n) \equiv 0 \pmod 4$ ।
समता परिणाम (Parity Results): शोध पत्र $C(3, n)$ की समता के लिए स्थितियाँ निकालता है, यह दिखाते हुए कि यह विषम है यदि और केवल यदि $n \equiv 1, 3 \pmod 6$ ।

C. बंद-रूप सूत्र (Closed-Form Formulas)

लेखक अनंत उत्पादों (एटा-कोटिएंट्स) और श्रृंखलाओं के रूप में $C_1(q), C_2(q),$ और $C_3(q)$ के लिए स्पष्ट बंद-रूप अभिव्यक्तियाँ व्युत्पन्न करते हैं।

प्रमेय 4 (Theorem 4): $C_1(q)$ को $q^{n^2+n}$ वाली एक श्रृंखला और $(-q)^n$ वाली एक सरल श्रृंखला के संयोजन के रूप में व्यक्त किया गया है।
प्रमेय 5 (Theorem 5): $C_2(q)$ को एक मानक एटा-कोटिएंट द्वारा गुणज वाले $q$ के एक परिमेय फलन में सरल बनाया गया है:
$C_2(q) = \frac{2q}{(1+q)^2} \frac{(-q^2; q^2)_\infty^2}{(q; q^2)_\infty^2} - \frac{q}{(1+q)^2}$
प्रमेय 6 (Theorem 6): $C_3(q)$ के लिए एक समान, लेकिन अधिक जटिल बंद रूप प्रदान किया गया है।

D. सीमित अनुक्रम ( $k \to \infty$ )

शोध पत्र एक सीमित अनुक्रम $c(n)$ को परिभाषित करता है जो $C(q) = \lim_{k \to \infty} C_k(q)$ के अनुरूप है।

लेखक व्यापक कम्प्यूटेशनल साक्ष्यों के आधार पर इस सीमित अनुक्रम के लिए रामानुजन-प्रकार की अनुमानित अवधारणाएँ (Ramanujan-type conjectures) प्रस्तुत करते हैं:
- अनुमान 1 (Conjecture 1): $c(8n+4) \equiv 0 \pmod 4$ ।
- अनुमान 2 (Conjecture 2): $c(8n+6) \equiv 0 \pmod 8$ ।
वे उल्लेख करते हैं कि सीमा के लिए जनरेटिंग फंक्शन में एक अनिश्चित द्विघात रूप (indefinite quadratic form) के साथ एक हेके-प्रकार की श्रृंखला (Hecke-type series) शामिल है, जो मॉक मॉड्यूलर फॉर्म (mock modular forms) के साथ गहरे संबंधों का सुझाव देती है।

4. महत्व

संयोजन संख्या सिद्धांत (Combinatorial Number Theory): यह कार्य दो-रंगीन विभाजनों के अध्ययन का विस्तार करता है, जो combinatorics को modular forms से जोड़ने वाला एक समृद्ध क्षेत्र है। यह नए, गैर-तुच्छ (non-trivial) modulo 4 सर्वांगसमता प्रदान करता है, जिन्हें modulo 2 की तुलना में स्थापित करना सामान्यतः कठिन होता है।
भाजक फलनों से संबंध: परिणाम $C(1, n) \equiv d(2n-1) \pmod 4$ महत्वपूर्ण है क्योंकि यह विभाजन गणना फलन को सीधे शास्त्रीय भाजक फलन से जोड़ता है, जो एक दुर्लभ और सुरुचिपूर्ण संबंध है।
मॉड्यूलर फॉर्म (Modular Forms): जनरेटिंग फंक्शन्स को एटा-कोटिएंट्स के रूप में व्यक्त करके, शोध पत्र इन विभाजन अनुक्रमों को $\Gamma_0(4)$ पर भार 0 वाले मॉड्यूलर फॉर्म के ढांचे के भीतर रखता है, जो मॉड्यूलर फॉर्म के सिद्धांत का उपयोग करके भविष्य के प्रमाणों के द्वार खोलता है (जैसा कि अनुमानों में सुझाया गया है)।
रामानुजन-प्रकार की घटनाएँ (Ramanujan-Type Phenomena): $C(1, 9n+8) \equiv 0 \pmod 4$ जैसी सर्वांगसमता की खोज रामानुजन की प्रसिद्ध विभाजन सर्वांगसमताओं ( $p(5n+4) \equiv 0 \pmod 5$ ) की नकल करती है, जो रंगीन विभाजन सिद्धांत में ऐसी व्यापक श्रेणियों के अस्तित्व का सुझाव देती है।

संक्षेप में, यह शोध पत्र एक विशिष्ट वर्ग के दो-रंगीन विभाजनों के अंकगणितीय गुणों को समझने के लिए एक कठोर विश्लेषणात्मक ढांचा प्रदान करता है, जो सटीक सूत्र, सिद्ध सर्वांगसमता और सम्मोहक अनुमान प्रदान करता है जो combinatorics, $q$ -series और modular forms को जोड़ते हैं।