🔢 mathematics

Central limit theorem in Rényi divergence for lattice random variables

यह शोध पत्र स्वतंत्र और समान रूप से वितरित (i.i.d.) लैटिस यादृच्छिक चरों के लिए रेनी विचलन (Rényi divergence) में एक केंद्रीय सीमा प्रमेय स्थापित करता है, जो यह सिद्ध करता है कि विचलन शून्य की ओर तभी अभिसरित होता है जब वह किसी स्तर पर परिमित हो और चर एक सख्त उप-गौसियन (sub-Gaussian) स्थिति को संतुष्ट करते हों, साथ ही एक अनिश्चित क्रम का एडगवर्थ-प्रकार का स्पर्शोन्मुखी विस्तार भी प्रदान करता है।

मूल लेखक: Zhen Fu, Jiange Li

प्रकाशित 2026-08-18

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

CC0 1.0

मूल लेखक: Zhen Fu, Jiange Li

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

प्रायिकता के विशाल परिदृश्य में, एक मौलिक नियम है जिसे केंद्रीय सीमा प्रमेय (सेंट्रल लिमिट थ्योरम) के रूप में जाना जाता है। यह प्रकृति में एक शांत, अपरिहार्य प्रवृत्ति का वर्णन करता है: जब आप बड़ी संख्या में स्वतंत्र, यादृच्छिक घटनाओं को जोड़ते हैं, तो उनका संयुक्त परिणाम एक सुचारू, घंटी के आकार के वक्र (बेल-शेप्ड कर्व) में स्थिर होने लगता है। यह वक्र, जिसे गॉसियन या सामान्य वितरण कहा जाता है, हर जगह दिखाई देता है, भीड़ में लोगों की ऊँचाई से लेकर शेयर बाजारों के उतार-चढ़ाव तक। दशकों से, गणितज्ञ न केवल इस बात में रुचि रखते रहे हैं कि क्या ये योग अंततः एक घंटी के आकार के वक्र की तरह दिखते हैं, बल्कि इसमें भी कि वे इससे कितनी बारीकी से मेल खाते हैं। वे इस निकटता को 'डाइवर्जेंस' (विचलन) नामक एक अवधारणा का उपयोग करके मापते हैं, जो अंतर के लिए एक पैमाने (रूलर) के रूप में कार्य करता है। इस पैमाने पर छोटा मान यह दर्शाता है कि यादृच्छिक योग लगभग पूर्ण घंटी के वक्र से अविभाज्य है, जबकि बड़ा मान एक स्पष्ट अंतर का संकेत देता है।

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

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

शोधकर्ता केवल यह सिद्ध करने तक ही नहीं रुके कि अभिसरण (कन्वर्जेंस) होता है। वे आगे बढ़कर यह भी वर्णित करते हैं कि दो सीढ़ियों के बीच का अंतर चरणों की संख्या बढ़ने के साथ कैसे कम होता है। उन्होंने पाया कि यह कमी एक अनुमानित पैटर्न का अनुसरण करती है, जो बिल्कुल एक गणितीय रेसिपी की तरह है जो आपको वांछित सटीकता के किसी भी स्तर तक शेष त्रुटि की गणना करने की अनुमति देती है। यह पैटर्न व्यक्तिगत चरणों के विशिष्ट आकार पर निर्भर करता है, विशेष रूप से उनके छिपे हुए सांख्यिकीय गुणों पर जिन्हें 'क्यूमुलेंट्स' (cumulants) कहा जाता है। इन गुणों को समझकर, कोई अनुमान लगा सकता है कि यादृच्छिक योग अपने अंतिम रूप में कितनी तेजी से स्थिर होता है।

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

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

तकनीकी सारांश: लैटिस रैंडम वेरिएबल्स के लिए रेनी डाइवर्जेंस में सेंट्रल लिमिट थ्योरम

समस्या विवरण
यह शोध पत्र स्वतंत्र और समान रूप से वितरित (i.i.d.) लैटिस रैंडम वेरिएबल्स के सामान्यीकृत योगों (normalized sums) के मानक गॉसियन वितरण की ओर अभिसरण (convergence) की जांच करता है, जिसे विशेष रूप से क्रम $\alpha > 1$ के रेनी डाइवर्जेंस (Rényi divergence) द्वारा मापा जाता है। जबकि शास्त्रीय सेंट्रल लिमिट थ्योरम (CLT) दुर्बल अभिसरण (weak convergence) का दावा करता है, और एंट्रोपिक CLT (कलबैक-लीब्लर डाइवर्जेंस में) निरंतर चरों के लिए सापेक्ष एंट्रॉपी में अभिसरण स्थापित करता है, लैटिस चरों के लिए रेनी डाइवर्जेंस का व्यवहार अद्वितीय चुनौतियां प्रस्तुत करता है। एक असतत (discrete) सेटिंग में, एक लैटिस सम और एक निरंतर गॉसियन के बीच का डाइवर्जेंस अनंत होता है। इसलिए, लेखक सामान्यीकृत योग $S_n$ की तुलना एक "क्वांटाइज्ड" (quantized) गॉसियन वितरण $Z_n$ से करते हैं, जो $S_n$ के समान ही लैटिस पर समर्थित (supported) है। केंद्रीय समस्या यह स्थापित करना है कि किन आवश्यक और पर्याप्त शर्तों के तहत $n \to \infty$ होने पर रेनी डाइवर्जेंस $D_\alpha(S_n \| Z_n)$ शून्य की ओर अभिसरित होता है, और इस अभिसरण के लिए एसिम्प्टोटिक एक्सपेंशन (asymptotic expansions) प्राप्त करना है।

कार्यप्रणाली (Methodology)
लेखक एक "सेंट्रल-टेल" (central–tail) अपघटन रणनीति का उपयोग करते हैं, जो बोबकोव, चिस्त्याकोव और गोट्ज़ के निरंतर मामले के कार्य से अनुकूलित है, लेकिन लैटिस सेटिंग की विशिष्ट कठिनाइयों (विशेष रूप से फिशर इंफॉर्मेशन और डी ब्रुइन पहचान की अनुपस्थिति) को संबोधित करने के लिए संशोधित की गई है।

सेंट्रल रीजन विश्लेषण: वितरण के मुख्य भाग (मध्यम विचलन) के लिए, लेखक एडजवर्थ-प्रकार के लोकल लिमिट थ्योरम का उपयोग करते हैं। वे टेलर विस्तार और पॉइसन समेशन फॉर्मूला को मिलाते हैं। पॉइसन समेशन फॉर्मूला उन्हें लैटिस पर योगों को संगत गॉसियन इंटीग्रल्स से जोड़ने की अनुमति देता है, जिससे यह प्रदर्शित होता है कि लैटिस संरचना केवल घातांकीय रूप से छोटे त्रुटियों को ही पेश करती है, जिससे मुख्य पद का बहुपद-क्रम (polynomial-order) एसिम्प्टोटिक विस्तार सुरक्षित रहता है।
टेल रीजन विश्लेषण: प्राथमिक कठिनाई पूंछ (tails) को नियंत्रित करने में निहित है, जहाँ लोकल लिमिट थ्योरम अपर्याप्त है। लेखक संभाव्यता द्रव्यमान फलन (probability mass function) $p_{n,k}$ $p_{n, k}$ पर एक गैर-समान बिंदुवार सीमा (non-uniform pointwise bound) स्थापित करते हैं। यह सीमा निम्नलिखित पर निर्भर करती है:
- कॉम्प्लेक्स और फूरियर विश्लेषण: वे चरित्रिक फलन (characteristic function) को जटिल तल (complex plane) तक विस्तारित करते हैं और एक शिफ्टेड फूरचर इन्वर्जन फॉर्मूला का उपयोग करते हैं। निरंतर मामले में जहाँ कंटूर शिफ्टिंग क्षय (decay) पर निर्भर करती है, वहीं लैटिस सेटिंग फूरियर इंटीग्रेंड की आवधिकता (periodicity) का लाभ उठाती है। यह आवधिकता यह सुनिश्चित करती है कि वर्टिकल कंटूर इंटीग्रल सटीक रूप से रद्द हो जाएं, जिससे मौलिक अंतराल (fundamental interval) पर प्रभावी सीमाएं प्राप्त होती हैं।
- सख्त सब-गॉसियनिटी (Strict Sub-Gaussianity): एक परिमित कॉनवल्यूशन स्तर पर डाइवर्जेंस की परिमितता लैपलेस ट्रांसफॉर्म पर एक सख्त सब-गॉसियन शर्त को दर्शाती है, $E[e^{tX}] < e^{\beta t^2/2}$ जहाँ $t \neq 0$ । यह स्थिति टेल प्रोबेबिलिटी के क्षय दर को स्थापित करने के लिए महत्वपूर्ण है।
- डिस्क्रीट गॉसियन स्मूथिंग: सब-गॉसियन व्यवहार को बढ़ाने के लिए, लेखक एक डिस्क्रीट गॉसियन स्मूथिंग ऑपरेटर (वेइरस्ट्रैस ट्रांसफॉर्म के समान) पेश करते हैं।
अनिवार्यता प्रमाण (Necessity Proof): सख्त सब-ग meskipun गॉसियन शर्त की अनिवार्यता को हुल्डर की असमानता (Hölder's inequality) की क्रमिक स्थिरता वाले विरोधाभास तर्क के माध्यम से सिद्ध किया गया है। वे मान लेते हैं कि किसी गैर-शून्य बिंदु पर समानता बनी रहती है, झुके हुए मापों (tilted measures) का निर्माण करते हैं, और दिखाते हैं कि जबकि रेनी अभिसरण यह दर्शाता है कि ये माप टोटल वेरिएशन (total variation) में करीब आ जाते हैं, उनके केंद्रों की ज्यामितीय पृथकता (क्रम $\sqrt{n}$ ) उन्हें अधिकतम टोटल वेरिएशन मानों की ओर धकेल देती है, जिससे एक विरोधाभास उत्पन्न होता है।

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

आवश्यक और पर्याप्त शर्तें (थ्योरम 1.1): यह शोध पत्र स्थापित करता है कि $D_\alpha(S_n \| Z_n) \to 0$ $D_{α} (S_{n} ∥ Z_{n}) \to 0$ होगा यदि और केवल यदि:
1. डाइवर्जेंस किसी प्रारंभिक कॉनवल्यूशन स्तर पर परिमित है ( $n_0$ के लिए $D_\alpha(S_{n_0} \| Z_{n_0}) < \infty$ )।
2. रैंडम वेरिएबल एक सख्त सब-गॉसियन शर्त को संतुष्ट करता है: $E[e^{tX}] < e^{\beta t^2/2}$ सभी $t \in \mathbb{R}, t \neq 0$ के लिए, जहाँ $\beta = \alpha/(\alpha-1)$ है।
एसिम्प्टोटिक एक्सपेंशन: इन शर्तों के तहत, लेखक डाइवर्जेंस के लिए एक произво $s \geq 3$ क्रम के एडजवर्थ-प्रकार का एसिम्प्टोटिक एक्सपेंशन प्राप्त करते हैं:
$D_\alpha(S_n \| Z_n) = \frac{1}{\alpha-1} \sum_{j=1}^{\lfloor s/2 - 1 \rfloor} b_j n^{-j} + o(n^{-(s-2)/2})$
जहाँ गुणांक $b_j$ , $X$ के क्युमुलेट्स (cumulants) के बहुपद हैं।
लैटिस काउंटरपार्ट: परिणाम निरंतर चरों के लिए बोबकोव, चिस्त्याकोव और गोट्ज़ द्वारा स्थापित रेनी एंट्रोपिक CLT के डिस्क्रीट समकक्ष के रूप में कार्य करते हैं।
तकनीकी उपकरण: शोध पत्र जटिल कंटूर इंटीग्रेशन का उपयोग करके लैटिस प्रोबेबिलिटीज़ पर परिष्कृत बिंदुवार सीमाओं और क्वांटाइज्ड गॉसियन मोमेंट्स के अनुप्रयोग के माध्यम से लैटिस विश्लेषण के लिए विशिष्ट उपकरण विकसित करता है।

महत्व और दावे
लेखक इस कार्य को सूचना-सैद्धांतिक सीमा थ्योरम (information-theoretic limit theorems) के डिस्क्रीट डोमेन में एक कठोर विस्तार के रूप में प्रस्तुत करते हैं। वे नोट करते हैं कि जबकि पिछले कार्यों (जैसे ताकानो; गवेलकिस और कोंटोयियानिस) ने लैटिस चरों के लिए कलबैक-लीब्लर डाइवर्जेंस ( $\alpha=1$ ) को संबोधित किया था, $\alpha > 1$ के लिए रेनी डाइवर्जेंस के अभिसरण को काफी हद तक अनछुआ छोड़ दिया गया था। $\alpha > 1$ के लिए सख्त सब-गॉसियन शर्त को एक आवश्यक परिशोधन के रूप में रेखांकित किया गया है, जो KL डाइवर्जेंस के लिए आवश्यक कमजोर मोमेंट स्थितियों से भिन्न है।

यह शोध पत्र दावा करता है कि इसकी अनिवार्यता दिशा (necessity direction) का प्रमाण मौजूदा निरंतर प्रमाणों की तुलना में एक वैचारिक रूप से भिन्न और संभावित रूप से सरल तर्क प्रदान करता है, जो उच्च-शक्ति लैपलेस ट्रांसफॉर्म अनुमानों के बजाय हुल्डर की असमानता की स्थिरता और टोटल वेरिएशन अनुमानों पर निर्भर करता है। इसके अतिरिक्त, प्राप्त एसिम्प्टोटिक एक्सपेंशन डाइवर्जेंस के अभिसरण की दर को परिष्कृत करता है, जो यह मात्रा निर्धारित करता है कि लैटिस संरचना और उच्च-क्रम के क्युमुलेट्स डाइवर्जेंस को कैसे प्रभावित करते हैं। परिणामों को यह भी नोट किया गया है कि वे रिलेटिव टालिस एंट्रॉपी (relative Tsallis entropy) के लिए भी मान्य हैं क्योंकि यह छोटे मानों के लिए रेनी डाइवरेज के एसिम्प्टोटिक रूप से समतुल्य है।

इसी तरह के और पेपर