On the number of missing integers in partitions

यहाँ सुभाष चंद भोरिया, प्रमोद एयून्नी और शुभ्रांग्सु संत द्वारा लिखित शोध पत्र "On the Number of Missing Integers in Partitions" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और प्रेरणा

यह शोध पत्र एक विशिष्ट विभाजन सांख्यिकी (partition statistic) की जांच करता है: विभाजनों में लुप्त पूर्णांकों की संख्या (number of missing integers)।

• परिभाषा: एक विभाजन $\pi$ में "लुप्त पूर्णांक" (missing integer) एक धनात्मक पूर्णांक $k$ है, जहाँ $k < \ell(\pi)$ ($\ell(\pi)$ सबसे बड़ा भाग है) और $k$, $\pi$ के किसी भाग के रूप में उपस्थित नहीं है।
• संदर्भ: यह अवधारणा मिनिमल एक्सक्लूडेंट (mex) से निकटता से संबंधित है, जिसे विभाजन में लुप्त होने वाला सबसे छोटा धनात्मक पूर्णांक माना जाता है। जबकि mex का हाल ही में (एंड्रयूज, न्यूमैन और अन्यों द्वारा) व्यापक रूप से अध्ययन किया गया है, यह शोध पत्र केवल सबसे छोटे लुप्त पूर्णांक के बजाय लुप्त पूर्णांकों के संपूर्ण सेट पर ध्यान केंद्रित करता है।
• क्षेत्र: लेखक इस सांख्यिकी का दो अलग-अलग वर्गों में विश्लेषण करते हैं:
  1. अप्रतिबंधित विभाजन (Unrestricted Partitions): मानक पूर्णांक विभाजन।
  2. ओवरपार्टिशन (Overpartitions): ऐसे विभाजन जहाँ किसी भी पूर्णांक के प्रथम आगमन को ओवरलाइन (overlined) किया जा सकता है।
• लक्ष्य: $m$ लुप्त पूर्णांकों वाले विभाजनों के लिए जनरेटिंग फंक्शन (generating functions) प्राप्त करना, सर्वांगसमता संबंध (congruence relations) स्थापित करना, और लुप्त पूर्णांकों की समता (parity) के संबंध में पक्षपात-प्रकार (bias-type) की असमानताओं का प्रस्ताव करना।

2. कार्यप्रणाली

लेखक मुख्य रूप से $q$-श्रृंखला तकनीकों (q-series techniques) और जनरेटिंग फंक्शन्स का उपयोग करते हैं। प्रमुख गणितीय उपकरण शामिल हैं:

• $q$-पॉचहैमर सिंबल (q-Pochhammer Symbol): $(a; q)_n$ और $(a; q)_\infty$।
• $q$-बाइनोमियल प्रमेय (q-Binomial Theorem): श्रृंखला के पूंछ (tails) को योग करने और बंद रूप (closed forms) प्राप्त करने के लिए उपयोग किया गया।
• जैकोबी ट्रिपल प्रोडक्ट आइडेंटिटी (Jacobi Triple Product Identity): 3 और 4 के मॉड्यूल पर सर्वांगसमता स्थापित करने के लिए महत्वपूर्ण।
• यूलर की विभाजन पहचान (Euler's Partition Identity): भिन्न भागों के उत्पादों को अप्रतिबंधित विभाजनों से जोड़ना।
• डिफरेंशिएशन (Differentiation): जनरेटिंग फंक्शन्स से विशिष्ट गणनाओं (जैसे, ठीक एक लुप्त पूर्णांक वाले विभाजन) के गुणांक निकालने के लिए उपयोग किया गया।
• संयोजन संबंधी व्याख्या (Combinatorial Interpretation): लेखक बीजगणितीय परिणामों को विशिष्ट विभाजन संरचनाओं (जैसे, दोहराव वाले भागों वाले विभाजन) से जोड़ने के लिए द्वैत तर्क (bijective arguments) प्रदान करते हैं।

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

A. अप्रतिबंधित विभाजन (Unrestricted Partitions)

जनरेटिंग फंक्शन्स:

• प्रमेय 2.1: लेखक $P_j(n, m)$ के लिए एक सामान्य जनरेटिंग फंक्शन व्युत्पन्न करते हैं, जो $n$ के उन विभाजनों की संख्या है जिनमें ठीक $m$ लुप्त पूर्णांक $\ge j$ हैं।
  $$\sum_{n=1}^\infty \sum_{m=0}^\infty P_j(n, m) w^m q^n = \frac{w^{-j}}{( \frac{w-1}{w}; q)_j} \left( \frac{((w-1)q; q)_\infty}{(wq; q)_\infty} - \sum_{\ell=0}^{j-1} \frac{(\frac{w-1}{w}; q)_\ell}{(q; q)_\ell} (wq)^\ell \right)$$
• उपप्रमेय (Corollary) 2.2: $j=1$ (सभी लुप्त पूर्णांकों) के लिए, जनरेटिंग फंक्शन सरल होकर यह हो जाता है:
  $$\sum_{n=0}^\infty \sum_{m=0}^\infty P(n, m) w^m q^n = \frac{((w-1)q; q)_\infty}{(wq; q)_\infty}$$
• विशेष मामले:
  • $w=0$ रखने पर गैप-फ्री विभाजनों (gap-free partitions) (बिना किसी लुप्त पूर्णांक वाले विभाजन) का जनरेटिंग फंक्शन प्राप्त होता है, जो ज्ञात पहचान $\sum P^*(n)q^n = (-q; q)_\infty$ को पुनः प्राप्त करता है।
  • $w=1$ रखने पर मानक विभाजन जनरेटिंग फंक्शन $1/(q; q)_\infty$ पुनः प्राप्त होता है।
  • $w=0$ पर $w$ के सापेक्ष डिफरेंशिएशन करने से ठीक एक लुप्त पूर्णांक वाले विभाजनों का जनरेटिंग फंक्शन प्राप्त होता है ($P(n, 1)$)। यह दिखाया गया है कि यह उन विभाजनों के समान संख्या में है जहाँ ठीक एक भाग दो बार दोहराया जाता है और अन्य सभी भिन्न होते हैं।

समता और सर्वांगसमता (Parity and Congruences):

• लेखक $Me(n)$(सम संख्या में लुप्त पूर्णांक वाले विभाजन) और$Mo(n)$ (विषम संख्या में लुप्त पूर्णांक वाले विभाजन) को परिभाषित करते हैं।
• उपप्रमेय 2.5: $Me(n) - Mo(n)$ के लिए जनरेटिंग फंक्शन है:
  $$\sum_{n=0}^\infty (Me(n) - Mo(n)) q^n = \frac{(-2q; q)_\infty}{(-q; q)_\infty}$$
• प्रमेय 2.6 (मॉड्यूल 3 पर सर्वांगसमता):
  $$Me(n) - Mo(n) \equiv \begin{cases} 0 \pmod 3 & \text{यदि } n \text{ एक वर्ग नहीं है} \\ 1 \pmod 3 & \text{यदि } n \text{ एक विषम वर्ग है} \\ 2 \pmod 3 & \text{यदि } n \text{ एक सम वर्ग है} \end{cases}$$
  यह परिणाम जैकोबी ट्रिपल प्रोडक्ट पहचान का उपयोग करके प्राप्त किया गया है।

सामान्यीकृत सांख्यिकी (बहुलता/Multiplicity):

• प्रमेय 2.9: लेखक इस अवधारणा को विस्तार देते हैं ताकि उन विशिष्ट पूर्णांकों को गिना जा सके जो सबसे बड़े भाग से कम हैं और जिनकी बहुलता $k$ से कम है। वे सिद्ध करते हैं कि सभी विभाजनों में ऐसे पूर्णांकों की कुल संख्या, $n$ के सभी विभाजनों में $k$ से भिन्न भागों की कुल संख्या के बराबर है।

अनुमान (Conjectures):

• अनुमान 2.7: $n > 34$ के लिए, $Me(n) > Mo(n)$। यह एक "पक्षपात" (bias) का सुझाव देता है जहाँ सम संख्या में लुप्त पूर्णांकों वाले विभाजन अधिक बार आते हैं।
• अनुमान 2.8: $n > 10$ के लिए, $Me(n) - Mo(n) < q(n)$, जहाँ$q(n)$ भिन्न भागों वाले विभाजनों की संख्या है।

B. ओवरपार्टिशन (Overpartitions)

शोध पत्र ओवरपार्टिशन (जहाँ किसी भाग का प्रथम आगमन ओवरलाइन किया जा सकता है) के विश्लेषण का विस्तार करता है।

जनरेटिंग फंक्शन्स:

• प्रमेय 3.1 और उपप्रमेय 3.2: ओवरपार्टिशन के लिए समान जनरेटिंग फंक्शन व्युत्पन्न किए गए हैं। $j=1$ के लिए:
  $$\sum_{n=0}^\infty \sum_{m=0}^\infty P(n, m) w^m q^n = \frac{((w-2)q; q)_\infty}{(wq; q)_\infty}$$
• उपप्रमेय 3.3: गैप-फ्री ओवरपipartition के लिए जनरेटिंग फंक्शन $(-2q; q)_\infty$ है, जो भिन्न भागों वाले ओवरपipartिशन के अनुरूप है।

समता और सर्वांगसमता:

• उपप्रमेय 3.5: ओवरपpartition में अंतर के लिए जनरेटिंग फंक्शन है:
  $$\sum_{n=0}^\infty (Me(n) - Mo(n)) q^n = \frac{(-3q; q)_\infty}{(-q; q)_\infty}$$
• प्रमेय 3.7 (मॉड्यूल 4 पर सर्वांगसमता):
  $$Me(n) - Mo(n) \equiv \begin{cases} 0 \pmod 4 & \text{यदि } n \text{ एक वर्ग नहीं है} \\ 2 \pmod 4 & \text{यदि } n \text{ एक वर्ग है} \end{cases}$$
  लेखक नोट करते हैं कि $Me(n) - Mo(n)$ हमेशा सम होता है क्योंकि ओवरपipartition की कुल संख्या सम होती है।

अनुमान:

• अनुमान 3.6: $n > 27$ के लिए, ओवरपipartition के लिए $Me(n) > Mo(n)$, जो अप्रतिबंधित विभाजनों में पाए गए पक्षपात को दर्शाता है।

4. महत्व और भविष्य की दिशाएँ

• नई सांख्यिकी: यह शोध पत्र न्यूनतम बहिष्कृत (minimal excludant - mex) से आगे बढ़कर, लुप्त पूर्णांकों की गणना के अध्ययन को औपचारिक रूप देता है, जो विभाजनों का एक व्यापक संरचनात्मक विश्लेषण है।
• संयोजन संबंधी संबंध: यह आश्चर्यजनक द्वैत (bijections) स्थापित करता है, जैसे कि ठीक एक लुप्त पूर्णांक वाले विभाजनों और ठीक एक दोहराए गए भाग वाले विभाजनों के बीच संबंध।
• सर्वांगसमता सिद्धांत: लुप्त पूर्णांकों की समता अंतर के लिए मॉड्यूल 3 और 4 पर सर्वांगसमता का व्युत्पन्न, $q$-श्रृंखला पहचानों का उपयोग करते हुए विभाजन सर्वांगसमता परिणामों के भंडार में वृद्धि करता है।
• खुले प्रश्न: लेखक कुछ खुले प्रश्न रेखांकित करते हैं:
  • व्युत्पन्न पहचानों (जैसे, प्रमेय 2.9) के लिए द्वैत प्रमाण (bijective proofs) खोजना।
  • अन्य मॉड्यूल के लिए सर्वांगसमता की जांच करना।
  • $Me(n) - Mo(n)$ अनुक्रमों के लिए एसिम्प्टोटिक (asymptotic) और हार्ड-रामानुजन-राडेमाकर प्रकार के सटीक सूत्र प्राप्त करना।
  • बहुलता परिणामों (प्रमेय 2.9) को ओवरपipartition तक विस्तारित करना।

संक्षेप में, यह शोध पत्र विभाजनों में लुप्त पूर्णांकों के वितरण को समझने के लिए एक कठोर विश्लेषणात्मक ढांचा प्रदान करता है, जो $q$-श्रृंखला और संख्या-सिद्धांत संबंधी सर्वांगसमता के बीच गहरे संबंधों को उजागर करता है।