🔢 mathematics

Separable integer partition classes and Slater's list -- I

यह शोध पत्र स्लेटर की सूची से कई रोजर्स-रामानुजन प्रकार की सर्वसमिकाओं के श्रेणी पक्षों (series sides) के लिए स्वाभाविक संयोजन संबंधी व्याख्याएँ और पैरामीटराइज्ड सामान्यीकरण प्रदान करने हेतु एंड्रयूज के पृथणीय पूर्णांक विभाजन वर्गों (separable integer partition classes) के सिद्धांत को लागू करता है, तत्पश्चात $q$ -हाइपरजियोमेट्रिक रूपांतरणों के माध्यम से वैकल्पिक व्यंजक और अनंत उत्पादों को व्युत्पन्न करता है।

मूल लेखक: Aritram Dhar, Ankush Goswami, Runqiao Li

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

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

CC BY 4.0

मूल लेखक: Aritram Dhar, Ankush Goswami, Runqiao Li

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

कल्पना कीजिए कि आपके पास संख्याओं का एक विशाल, अनंत पुस्तकालय है। इस पुस्तकालय में, संख्याओं को व्यवस्थित करने का एक विशेष तरीका है जिसे पार्टिशन (partitions) कहा जाता है। पार्टिशन को लेगो ब्रिक्स (Lego bricks) के एक ढेर की तरह समझें। यदि आपके पास 5 ब्रिक्स हैं, तो आप उन्हें अलग-अलग तरीकों से जमा कर सकते हैं: 5 की एक एकल मीनार, 4 की एक मीनार जिसके ऊपर 1 हो, 3 की एक मीनार जिसके ऊपर 2 हो, और इसी तरह। प्रत्येक अद्वितीय ढेर एक "पार्टिशन" है।

दशकों से, गणितज्ञ इन ढेरों को देखने के दो अलग-अलग तरीकों को जोड़ने वाले गुप्त नियम खोजने की कोशिश कर रहे हैं। एक तरीका है उन्हें एक-एक करके सूचीबद्ध करना (एक सीरीज/series), और दूसरा तरीका है पूरे संग्रह को एक एकल, सुंदर सूत्र (एक प्रोडक्ट/product) के साथ वर्णित करना।

1950 के दशक में, एल. स्लेटर नामक एक गणितज्ञ ने इन "गुप्त नियमों" (identities) की 130 की एक विशाल सूची संकलित की। वे प्रसिद्ध और सुंदर हैं, लेकिन एक समस्या है: हम जानते हैं कि ये नियम गणितीय रूप से काम करते हैं, लेकिन हम नहीं जानते कि वे एक दृश्य, भौतिक अर्थ में क्यों काम करते हैं। यह ऐसा है जैसे आप जानते हैं कि जादू का खेल काम करता है, लेकिन आप यह नहीं देख पाते कि जादूगर ने खरगोश को कहाँ छिपाया है। इन नियमों के "सीरीज" वाले हिस्से को लेगो ढेरों की तस्वीर में बदलना बहुत कठिन है।

नया उपकरण: "सेपरेबल" (Separable) लेगो सेट

यह शोध पत्र इन ढेरों को देखने का एक नया तरीका पेश करता है, जिसे सेपरेबल इंटीजर पार्टिशन (SIP) क्लासेस कहा जाता है।

कल्पना कीजिए कि आपके पास एक विशेष लेगो सेट है जिसमें एक नियम है:

आपके पास एक बेस (Base) है (नीचे एक छोटा, निश्चित सेट ऑफ ब्रिक्स)।
उस बेस के ऊपर, आप एक टेल (Tail) जोड़ सकते हैं जो एक विशिष्ट संख्या के गुणजों (multiples) से बने ब्रिक्स से बनी है (जैसे कि केवल 4 के समूहों में ब्रिक्स जोड़ना)।

"सेपरेबल" विचार का जादू यह है कि इस विशिष्ट क्लास का प्रत्येक वैध ढेर ठीक एक बेस और एक टेल में विभाजित किया जा सकता है। यह एक विशिष्ट लॉक के लिए एक अद्वितीय चाबी होने जैसा है। यदि आप "बेस" के नियम और "टेल" के नियम समझ जाते हैं, तो आप पूरे संग्रह को समझ सकते हैं।

लेखकों ने क्या किया

लेखकों ने स्लेटर की सूची से कई रहस्यमय नियमों को लिया और पूछा, "क्या हम एक विशेष लेगो सेट (एक SIP क्लास) बना सकते हैं जहाँ 'बेस' के नियम समीकरण के बाईं ओर के जटिल गणित से मेल खाते हों?"

यहाँ उन्होंने इसे चरण-दर-चरण किया:

पैटर्न खोजना: उन्होंने स्लेटर की एक सूची से एक विशिष्ट पहचान (math identity) को देखा। उसका बायां हिस्सा संख्याओं का एक उलझा हुआ योग था।
क्लास बनाना: उन्होंने लेगो ब्रिक्स को जमाने के लिए एक नया सेट बनाया। उदाहरण के लिए, "दो ब्रिक्स के बीच का अंतर कम से कम 2 होना चाहिए, लेकिन यदि ब्रिक सम (even) है, तो अंतर कम से कम 4 होना चाहिए।"
विभाजन: उन्होंने दिखाया कि इन नियमों का पालन करने वाला कोई भी ढेर एक "बेस" (जटिल हिस्सा) और एक "टेल" (आसान, दोहराव वाला हिस्सा) में अलग किया जा सकता है।
अनुवाद: क्योंकि वे "बेस" और "टेल" को समझते थे, वे उस उलझे हुए योग का प्रतिनिधित्व करने वाला एक नया, सामान्यीकृत सूत्र लिख सके।
जादू का खेल: उन्होंने उस सामान्यीकृत सूत्र को एक साफ, सरल प्रोडक्ट में बदलने के लिए उन्नत गणितीय उपकरणों (q-hypergeometric transformations) का उपयोग किया।

परिणाम

ऐसा करके, उन्होंने दो बड़ी चीजें हासिल कीं:

उन्होंने नियमों को एक चेहरा दिया: उन्होंने स्लेटर्स की आइडेंटिटीज के "सीरीज" पक्ष की व्याख्या करने का एक भौतिक, दृश्य तरीका खोजा। केवल संख्याओं की एक स्ट्रिंग देखने के बजाय, अब हम इसे एक विशिष्ट प्रकार के लेगो स्टैक के रूप में देख सकते हैं जिसमें एक "बेस" और एक "टेल" है।
उन्होंने नए रहस्य खोजे: नियमों को सामान्य बनाकर (ब्रिक्स के विभिन्न प्रकारों को गिनने के लिए $x$ और $y$ जैसे वेरिएबल्स जोड़कर), उन्होंने नई आइडेंटिटीज खोजीं जो स्लेटर की मूल सूची में नहीं थीं। कुछ मामलों में, ये नए सूत्र वापस प्रसिद्ध अनंत उत्पादों (infinite products) में सरल हो गए, जिससे यह सिद्ध हुआ कि पुराने नियम एक बिल्कुल नए तरीके से सही थे।

एक सरल उपमा: ट्रेन

समीकरण के "सीरीज" पक्ष को एक लंबे, घुमावदार ट्रेन ट्रैक की तरह समझें जिसमें बहुत सारे स्विच और मोड़ हैं। इसे समझना कठिन है कि यह कहाँ जा रहा है।
"प्रोडक्ट" पक्ष को एक सीधी, हाई-स्पीड बुलेट ट्रेन की तरह समझें।

लंबे समय तक, हम जानते थे कि घुमावदार ट्रैक उसी मंजिल तक ले जाता है जहाँ बुलेट ट्रेन जाती है, लेकिन हम उनके बीच का संबंध नहीं देख पा रहे थे।

यह शोध पत्र एक ट्रांसफर स्टेशन (SIP क्लास) बनाता है।

वे दिखाते हैं कि घुमावदार ट्रैक वास्तव में एक लोकोमोटिव (बेस) द्वारा खींची जा रही समान बॉक्सकारों की एक लंबी श्रृंखला (टेल) से बना है।
एक बार जब आप समझ जाते हैं कि ट्रेन केवल एक लोकोमोटिव + बॉक्सकार है, तो आप आसानी से गणना कर सकते हैं कि वह कहाँ जा रही है।
फिर वे दिखाते हैं कि यह विशिष्ट ट्रेन कॉन्फ़िगरेशन गणितीय रूप से बुलेट ट्रेन (प्रोडक्ट) के समान है।

यह क्यों मायने रखता है?

इस शोध पत्र से पहले, स्लेटर की 130 में से कई आइडेंटिटीज बंद बक्सों की तरह थीं। हम जानते थे कि संयोजन (गणितीय प्रमाण) क्या है, लेकिन हमारे पास उन्हें खोलने और उनके अंदर का खजाना देखने के लिए चाबी नहीं थी (कॉम्बिनेटोरियल अर्थ)।

यह शोध पत्र एक मास्टर की (master key) (SIP फ्रेमवर्क) प्रदान करता है। यह केवल एक बॉक्स नहीं खोलता; यह हमें कई बॉक्सों को व्यवस्थित रूप से खोलने का तरीका देता है। यह अमूर्त बीजगणित (abstract algebra) को ब्लॉक बनाने के खेल में बदल देता है, जिससे गणितज्ञ इन संख्याओं को केवल गणना करने के बजाय उनकी संरचना को "देख" सकते हैं।

संक्षेप में, लेखकों ने 130 रहस्यमय गणितीय पहेलियों की एक सूची ली, उन्हें हल करने के लिए एक नया प्रकार का लेगो सेट बनाया, और इस प्रक्रिया में, वे पुरानी पहेलियों को देखने के नए तरीके और नई पहेलियाँ भी खोज निकले।

यहाँ अरित्रम धर, अंकुश गोस्वामी और रनकियाओ ली के शोध पत्र "Separable Integer Partition Classes and Slater's List - I" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण (Problem Statement)

यह शोध पत्र $q$ -श्रृंखला (q-series) और पूर्णांक विभाजन (integer partitions) के सिद्धांत में एक महत्वपूर्ण अंतराल को संबोधित करता है: स्लेटर की सूची (Slater's list) की कई पहचानों (identities) के लिए कॉम्बिनेटोरियल व्याख्याओं का अभाव।

संदर्भ: 1950 के दशक में संकलित, स्लेटर की सूची में 130 रोजर्स-रमनुजन प्रकार की पहचानें (श्रृंखला-उत्पाद पहचान) शामिल हैं।
समस्या: जबकि इन पहचानों के विश्लेषणात्मक प्रमाण मुख्य रूप से बेली पेयर (Bailey pair) तकनीकों पर निर्भर करते हैं, कई पहचानों के 'श्रृंखला पक्ष' (series sides) के लिए पूर्णांक विभाजनों के रूप में स्वाभाविक कॉम्बिनेटोरियल व्याख्याओं का अभाव है। 'उत्पाद पक्ष' (product sides) की व्याख्या करना आमतौर पर आसान होता है (विशिष्ट सर्वांगसमता शर्तों के साथ विभाजनों के रूप में), लेकिन श्रृंखला पक्ष को विभाजन संबंधी बाधाओं (partition constraints) से जोड़ना अक्सर कठिन होता है।
लक्ष्य: लेखक स्लेटर की सूची की चुनितिकृत पहचानों के लिए स्वाभाविक विभाजन-सैद्धांतिक व्याख्याएँ प्रदान करने और एक विशिष्ट संरचनात्मक ढांचे का उपयोग करके उनके पैरामीटराइज्ड सामान्यीकरण (parameterized generalizations) प्राप्त करने का लक्ष्य रखते हैं।

2. कार्यप्रणाली: सेपरेबल इंटीजर पार्टीशन (SIP) वर्ग

मुख्य कार्यप्रणाली एंड्रयूज के सेपरेबल इंटीजर पार्टीशन (SIP) वर्गों के सिद्धांत पर आधारित है।

परिभाषा: एक मॉड्यूल $k$ के साथ एक SIP वर्ग $\mathcal{P}$ विभाजनों का एक समूह है जहाँ प्रत्येक विभाजन $\lambda$ को एक "आधार" (basis) भाग $\mathbf{b}$ और एक "पूंछ" (tail) $\boldsymbol{\pi}$ में अद्वितीय रूप से विभाजित किया जा सकता है, जहाँ $\boldsymbol{\pi}$ $k$ के गुणजों से बना होता है। विशेष रूप से, $\lambda_i = b_i + \pi_i$ , जहाँ $\mathbf{b}$ एक परिमित आधार सेट $B$ से संबंधित है और $\boldsymbol{\pi}$ गैर-ऋणात्मक $k$ के गुणजों का एक विभाजन है।
जनरेटिंग फंक्शन: एक SIP वर्ग के लिए जनरेटिंग फंक्शन इस प्रकार दिया जाता है:
$\sum_{\lambda \in \mathcal{P}} q^{|\lambda|} = \sum_{n=0}^{\infty} \frac{B(n; q)}{(q^k; q^k)_n}$
जहाँ $B(n; q)$ लंबाई $n$ वाले आधार विभाजनों का जनरेटिंग फंक्शन है।
दृष्टिकोण:
1. स्लेटर की किसी पहचान के श्रृंखला पक्ष की पहचान करना।
2. एक विशिष्ट SIP वर्ग $\mathcal{P}$ का निर्माण करना जिसका जनरेटिंग फंक्शन श्रृंखला पक्ष से मेल खाता हो।
3. न्यूनतम अंतराल शर्तों (जैसे, भागों के बीच का अंतर कम से कम 2 होना चाहिए, या विशिष्ट समता/parity प्रतिबंध) को स्थापित करके "आधार" विभाजनों को परिभाषित करना।
4. आधार जनरेटिंग फंक्शनों पर पुनरावृत्ति संबंधों (recurrence relations) का उपयोग करके श्रृंखला रूप को सिद्ध करना।
5. मूल स्लेटर पहचानों और उनके सामान्यीकरणों को पुनः प्राप्त करने के लिए $q$ -हाइपरजियोमेट्रिक रूपांतरणों (जैसे, वॉटसन का रूपांतरण, सीयर्स का रूपांतरण, जैकोबी का ट्रिपल प्रोडक्ट) को लागू करना।

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

यह शोध पत्र स्लेटर की सूची की विशिष्ट पहचानों का विश्लेषण करता है, जिन्हें उनके विभाजन प्रतिबंधों की प्रकृति के आधार पर वर्गीकृत किया गया है।

A. मोड 4 के अंतर्गत प्रतिबंधित अंतराल वाले विभाजन (धारा 3)

कवर की गई पहचान: स्लेटर की (4), (25), (51), और (55)।
निर्माण: लेखक $\mathcal{P}_4$ नामक एक 'स्ट्रिक्ट पार्टीशन' वर्ग को परिभाषित करते हैं जिसमें अंतराल की शर्तें भागों की समता (parity) पर निर्भर करती हैं (उदाहरण के लिए, यदि दोनों भाग विषम हैं, तो अंतर $\equiv 2 \pmod 4$ है; यदि दोनों सम हैं, तो $\equiv 0 \pmod 4$ है)।
सामान्यीकरण: वे $x$ (विषम भाग), $y$ (सम भाग), और $q$ को शामिल करते हुए एक 3-चर (variable) जनरेटिंग फंक्शन व्युत्पन्न करते हैं।
$\sum_{\lambda \in \mathcal{P}_4} x^{o(\lambda)} y^{e(\lambda)} q^{|\lambda|} = \sum_{n=0}^{\infty} \frac{(-yq/x; q^2)_n x^n q^{n^2}}{(q^4; q^4)_n}$
परिणाम: पैरामीटर्स को विशिष्ट मान देकर, वे स्लेटर की (4) और (25) के उत्पाद पक्षों को पुनः प्राप्त करते हैं और (51) तथा (55) के लिए नए उत्पाद संबंध प्राप्त करते हैं। वे संबंधित पहचानों के लिए नए प्रमाण भी प्रदान करते हैं।

B. स्ट्रिक्ट ओवरपार्टिशन्स (धारा 4)

कवर की गई पहचान: स्लेटर की (8) और (13)।
निर्माण: लेखक स्ट्रिक्ट ओवरपार्टिशन्स ( $\mathcal{S}$ ) पेश करते हैं, जहाँ भाग भिन्न (distinct) होते हैं, और भाग $\ge 2$ को तब "ओवरलाइन" किया जा सकता है यदि अगले भाग से अंतराल $\ge 2$ हो।
सामान्यीकरण: वे लेबेग की पहचान (Lebesgue's identity) के साथ एक संबंध स्थापित करते हैं। इन ओवरपार्टिशन्स का जनरेटिंग फंक्शन निम्नलिखित देता है:
$\sum_{n=0}^{\infty} \frac{(-aq; q)_n}{(q; q)_n} z^n q^{n(n+1)/2} = (-aq^2; q^2)_\infty (-zq; q)_\infty \sum_{n=0}^{\infty} \frac{(-aq)^n}{(q)_n (-zq)^n}$
परिणाम: यह ढांचा स्लेटर की (8) के लिए एक कॉम्बिनेटोरियल व्याख्या प्रदान करता है और स्लेटर की (13) के लिए एक नया प्रमाण देता है, जिसमें दो अनंत उत्पादों का योग शामिल है। लेखक रोजर्स-रमनुजन पहचानों से जुड़ने वाले इन परिणामों के सीमा व्यवहार (limit behavior) पर भी चर्चा करते हैं।

C. पोजीशनल गैप कंडीशंस वाले विभाजन (धारा 5)

कवर की गई पहचान: स्लेटर की (15) और (19)।
निर्माण: लेखक इंडेक्स की समता और पोजीशनल गैप्स ( $\lambda_{2i} - \lambda_{2i+1}$ $λ_{2 i} - λ_{2 i + 1}$ और $\lambda_{2i-1} - \lambda_{2i}$ $λ_{2 i - 1} - λ_{2 i}$ पर प्रतिबंध) के आधार पर $\mathcal{G}$ $G$ और $\mathcal{G}'$ $G^{'}$ वर्ग परिभाषित करते हैं।
- (15) के लिए: $\lambda_{2i} - \lambda_{2i+1}$ सम है, और सबसे छोटे भाग पर विशिष्ट प्रतिबंध हैं।
- (19) के लिए: $\lambda_{2i-1} - \lambda_{2i} \ge 3$ के साथ समता प्रतिबंध हैं।
परिणाम: वे इन वर्गों के लिए जनरेटिंग फंक्शन व्युत्पन्न करते हैं।
- (19) के लिए, वे उत्पाद पक्ष $(q^2, q^3, q^5; q^5)_\infty / (q^2; q^2)_\infty$ को सिद्ध करने के लिए सफलतापूर्वक सीयर्स के रूपांतरण और रोजर्स की पहचान को लागू करते हैं।
- (15) के लिए, वे विभाजन व्याख्या और श्रृंखला रूप प्रदान करते हैं, लेकिन वर्तमान ढांचे के भीतर उत्पाद पक्ष में रूपांतरण को विश्लेषणात्मक रूप से चुनौतीपूर्ण बताते हैं।

D. कॉम्बिनेटोरियल परिप्रेक्ष्य (धारा 6)

लेखक बायजेक्टिव प्रूफ (bijective proofs) की क्षमता पर चर्चा करते हैं। वे स्लेटर की (5) का उदाहरण देते हुए, एक संशोधित फेरर्स आरेख (डर्फी स्क्वायर विश्लेषण) का उपयोग करके विषम भागों वाले विभाजनों और एक विशिष्ट श्रृंखला रूप के बीच सीधा बायजेक्शन प्रदान करते हैं।
वे यह भी प्रस्तावित करते हैं कि अन्य पहचानों के लिए, सम और विषम लंबाई वाले विभाजनों के अंतर को स्पष्ट करने के लिए SIP वर्गों पर 'इनवोल्यूशन' (involutions) का निर्माण किया जा सकता है, जो पूर्ण बायजेक्टिव प्रमाणों की ओर ले जा सकता है।

4. महत्व

व्यवस्थित ढांचा: यह शोध पत्र प्रदर्शित करता है कि SIP ढांचा उन रोजर्स-रमनुजन प्रकार की श्रृंखलाओं के कॉम्बिनेटोरियल अर्थ को डिकोड करने के लिए एक शक्तिशाली और व्यवस्थित उपकरण है, जिन्हें पहले केवल विश्लेषणात्मक रूप से समझा गया था।
नए सामान्यीकरण: यह केवल ज्ञात पहचानों को पुनः सिद्ध नहीं करता है; यह बहु-चर (multi-variable) सामान्यीकरण पेश करता है (जैसे विषम/सम भागों या ओवरलाइन किए गए भागों को ट्रैक करना) जो पहले अज्ञात थे।
विश्लेषण और कॉम्बिनेटरिक्स के बीच सेतु: कठिन श्रृंखलाओं को SIP जनरेटिंग फंक्शनों में बदलकर, लेखक बेली पेयर (विश्लेषणात्मक प्रमाण) और विभाजन संबंधी बाधाओं (कॉम्बिनेटोरियल संरचना) के बीच के अंतर को पाटते हैं।
भविष्य की दिशाएं: यह कार्य स्लेटर की सूची की व्यापक कॉम्बिनेटोरियल समझ के लिए आधार तैयार करता है, यह सुझाव देते हुए कि शेष कई पहचानों को उपयुक्त SIP वर्ग बनाकर और मानक $q$ -हाइपरजियोमेट्रिक रूपांतरण लागू करके हल किया जा सकता है।