Logarithms and Stirling numbers associated with delta series

तकनीकी सारांश: डेल्टा श्रेणियों (Delta Series) से संबद्ध लघुगणक और स्टर्लिंग संख्याएँ

समस्या विवरण
संयोजन विश्लेषण (combinatorial analysis) में हालिया विकासों ने शास्त्रीय परिणामों को सामान्यीकृत करने के लिए संभाव्य स्टर्लिंग संख्याओं (probabilistic Stirling numbers) और B-स्टर्लिंग संख्याओं को पेश किया है। हालाँकि, जैसा कि प्रस्तावना में उल्लेख किया गया है, इन सूत्रीकरणों में अक्सर संरचनात्मक कमियाँ होती हैं, विशेष रूप से एक मानक ऑर्थोगोनैलिटी (orthogonality) और व्युत्क्रम संबंधों (inverse relations) का अभाव जो मजबूत व्युत्क्रमण सूत्रों के लिए आवश्यक हैं। इसके अतिरिक्त, कुछ परिभाषाएँ नियतात्मक सीमाओं (deterministic limits) (जैसे, जब एक यादृच्छिक चर $Y=1$ हो) में शास्त्रीय स्टर्लिंग संख्याओं को पुनः प्राप्त करने में विफल रहती हैं। यह शोध पत्र एक एकीकृत ढांचे की आवश्यकता को संबोधित करता है जो इन मौलिक बीजगणितीय गुणों को बहाल करता है और स्टर्लिंग संख्याओं के दायरे को क्षयकारी (degenerate) और संभाव्य वेरिएंट्स तक विस्तारित करता है।

कार्यप्रणाली
लेखक, डे सैन किम और ताएक्युन किम, डेल्टा श्रेणी पर आधारित एक सैद्धांतिक ढांचा स्थापित करते हैं। एक डेल्टा श्रेणी को एक औपचारिक शक्ति श्रेणी (formal power series) $f(t)$ के रूप में परिभाषित किया जाता है जहाँ $f(0)=0$ और $f'(0) \neq 0$ है। कार्यप्रणाली इस प्रकार है:

1. बहुपद अनुक्रमों के साथ जुड़ाव: एक डेल्टा श्रेणी $f(t)$ के लिए, $\bar{f}(t)$ इसके संयोजन व्युत्क्रम (compositional inverse) को दर्शाता है। लेखक एक जनरेटिंग फंक्शन $\sum_{n=0}^\infty p_n(x) \frac{t^n}{n!} = e^{x\bar{f}(t)}$ के माध्यम से बहुपदों के एक अनुक्रम $\{p_n(x)\}$ को परिभाषित करते हैं।
2. सामान्यीकृत स्टर्लिंग संख्याओं की परिभाषा:
   • द्वितीय प्रकार ($S_2(n,k; f(t))$): जनरेटिंग फंक्शन $\frac{1}{k!}(e^{\bar{f}(t)} - 1)^k = \sum_{n=k}^\infty S_2(n,k; f(t)) \frac{t^n}{n!}$ द्वारा परिभाषित।
   • प्रथम प्रकार ($S_1(n,k; f(t)$): जनरेटिंग फंक्शन $\frac{1}{k!}(\bar{e}_{f(t)}(t))^k = \sum_{n=k}^\infty S_1(n,k; f(t)) \frac{t^n}{n!}$ द्वारा परिभाषित, जहाँ $\bar{e}_{f(t)}(t)$, $e^{\bar{f}(t)} - 1$ का संयोजन व्युत्क्रम है।
3. संबद्ध लघुगणकों (Associated Logarithms) का परिचय: शोध पत्र एक "लघुगणक जो $f(t)$ से संबद्ध है" को $\log_{f(t)}(1+t) = f(\log(1+t))$ के रूप में परिभाषित करता है। यह फलन $e^{\bar{f}(t)} - 1$ का संयोजन व्युत्क्रम के रूप में कार्य करता है।
4. सर्वसमिकाओं का व्युत्पत्ति: लैग्रेंज व्युत्क्रमण सूत्रों (Lagrange inversion formulas) और आंशिक बेल बहुपदों (partial Bell polynomials) के गुणों का उपयोग करते हुए, लेखक $f(t)$ से संबद्ध बर्नौली बहुपदों और एक-दूसरे के बीच स्पष्ट संबंधों को जोड़ने वाले स्पष्ट व्यंजक प्राप्त करते हैं।

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

• ऑर्थोगोनैलिटी और व्युत्क्रम संबंधों की बहाली: शोध पत्र सिद्ध करता है कि परिभाषित संख्याएँ $S_1(n,k; f(t))$ और $S_2(n,k; f(t))$ मौलिक ऑर्थोगोनैलिटी और व्युत्क्रम संबंध संतुष्ट करती हैं (प्रपोजिशन 2.1)। विशेष रूप से, $\sum_{k=l}^n S_2(n,k; f(t))S_1(k,l; f(t)) = \delta_{n,l}$, जो यह सुनिश्चित करता है कि वे व्युत्क्रमण सूत्रों के लिए एक सुसंगत युग्म बनाती हैं, एक ऐसा गुण जो हालिया संभाव्य वेरिएंट्स में अक्सर अनुपस्थित होता है।
• शिलोमिल-प्रकार का सूत्र (Schlömilch-type Formula): एक केंद्रीय परिणाम शिलोमिल-प्रकार के सूत्र (थ्योरम 2.7) का व्युत्पत्ति है जो दोनों प्रकार की स्टर्लिंग संख्याओं के बीच एक स्पष्ट संबंध प्रदान करता है:
  $$S_1(n,k; f(t)) = \sum_{j=0}^{n-k} \binom{n+j-1}{n+j-k} \binom{2n-k}{n-k-j} (-1)^j (\bar{f}'(0))^{-n-j} S_2(n-k+j, j; f(t))$$
• संबद्ध लघुगणक के लिए स्पष्ट व्यंजक: शिलोमिल-प्रकार के सूत्र का उपयोग करते हुए, लेखक संबद्ध लघुगणक $\log_{f(t)}(1+t)$ के लिए पूरी तरह से द्वितीय प्रकार की स्टर्लिंग संख्याओं के संदर्भ में एक नया व्यंजक व्युत्पन्न करते हैं (थ्योरम 2.8):
  $$\log_{f(t)}(1+t) = \sum_{n=1}^\infty \left( \sum_{j=0}^{n-1} \binom{2n-1}{n-1-j} (-1)^j (\bar{f}'(0))^{-n-j} S_2(n-1+j, j; f(t)) \right) \frac{t^n}{n!}$$
• ज्ञात परिणामों का एकीकरण: इस ढांचे को विभिन्न मौजूदा संख्या प्रणालियों को एकीकृत करने के लिए दिखाया गया है। शोध पत्र प्रदर्शित करता है कि:
  • शास्त्रीय स्टर्लिंग संख्याएँ तब उत्पन्न होती हैं जब $f(t)=t$ हो।
  • क्षयकारी (degenerate) स्टर्लिंग संख्याएँ तब उत्पन्न होती हैं जब $f(t) = \frac{1}{\lambda}(e^{\lambda t}-1)$ हो।
  • संभाव्य स्टर्लिंग संख्याएँ (एक यादृच्छिक चर $Y$ से संबद्ध) उन डेल्टा श्रेणियों के अनुरूप होती हैं जहाँ $\bar{f}(t) = \log \mathbb{E}[e^{Y_\lambda(t)}]$ है।
  • B-स्टर्लिंग संख्याएँ उस मामले के अनुरूप होती हैं जहाँ जनरेटिंग फंक्शन $B(t) = e^{\bar{f}(t)}$ है।

महत्व
शोध पत्र का दावा है कि यह डेल्टा श्रेणी दृष्टिकोण एक "मजबूत ढांचा" प्रदान करता है जो हालिया संभाव्य और B-स्टर्लिंग संख्या परिभाषाओं में पाई जाने वाली संरचनात्मक विसंगतियों को हल करता है। एक डेल्टा श्रेणी के संयोजन व्युत्क्रम को आधार बनाकर, लेखक यह सुनिश्चित करते हैं कि परिणामी संख्याएँ स्वाभाविक रूप से ऑर्थोगोनैलिटी और व्युत्क्रम संबंध संतुष्ट करती हैं।

इसका महत्व इस ढांचे की बहुमुखी प्रतिभा में निहित है, जिसे पंद्रह ठोस उदाहरणों (अनुभाग 3) द्वारा स्पष्ट किया गया है, जिसमें शामिल हैं:

• संभाव्य और क्षयकारी स्टर्लिंग संख्याएँ।
• लाह संख्याएँ (Lah numbers) और लाह-बेल बहुपद (Lah-Bell polynomials)।
• केंद्रीय फैक्टोरियल (Central factorials) और केंद्रीय बेल बहुपद (Central Bell polynomials)।
• मिटैग-लेफ़लर (Mittag-Leffler) और लैगुएर (Laguerre) बहुपद।

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