2025-11-25T13:52:17.039270

On weak convergence of Gaussian conditional distributions

Lumpp, Drton

Weak convergence of joint distributions generally does not imply convergence of conditional distributions. In particular, conditional distributions need not converge when joint Gaussian distributions converge to a singular Gaussian limit. Algebraically, this is due to the fact that at singular covariance matrices, Schur complements are not continuous functions of the matrix entries. Our results lay out special conditions under which convergence of Gaussian conditional distributions nevertheless occurs, and we exemplify how this allows one to reason about conditional independence in a new class of graphical models.

academic

गॉसियन सशर्त वितरणों के कमजोर अभिसरण पर

मूल जानकारी

पेपर ID: 2510.12412
शीर्षक: गॉसियन सशर्त वितरणों के कमजोर अभिसरण पर
लेखक: Sarah Lumpp, Mathias Drton
वर्गीकरण: math.ST stat.TH
प्रकाशन तिथि: 14 अक्टूबर 2025 (arXiv प्रीप्रिंट)
पेपर लिंक: https://arxiv.org/abs/2510.12412

सारांश

संयुक्त वितरण का कमजोर अभिसरण आमतौर पर सशर्त वितरणों के अभिसरण का अर्थ नहीं देता है। विशेष रूप से, जब संयुक्त गॉसियन वितरण एकवचन गॉसियन सीमा में परिवर्तित होते हैं, तो सशर्त वितरण आवश्यक रूप से परिवर्तित नहीं होते हैं। बीजगणितीय दृष्टिकोण से, यह इसलिए है क्योंकि एकवचन सहप्रसरण मैट्रिक्स पर, Schur पूरक मैट्रिक्स तत्वों का सतत फलन नहीं है। इस पेपर के परिणाम उन विशेष शर्तों को स्पष्ट करते हैं जहाँ गॉसियन सशर्त वितरण अभी भी परिवर्तित होते हैं, और यह उदाहरण देते हैं कि यह कैसे ग्राफ मॉडल के एक नए वर्ग में सशर्त स्वतंत्रता के बारे में तर्क करने की अनुमति देता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

मूल समस्या

इस अनुसंधान द्वारा समाधान की जाने वाली मूल समस्या यह है: जब गॉसियन वितरण अनुक्रम $X^{(m)} \sim N(0, Σ^{(m)})$ एकवचन गॉसियन वितरण $X \sim N(0, Σ)$ में कमजोर रूप से परिवर्तित होते हैं, तो क्या सशर्त वितरण $N(0, Σ_{R|S}^{(m)})$ को $N(0, Σ_{R|S})$ में परिवर्तित होते हैं?

समस्या की महत्ता

सैद्धांतिक महत्व: सशर्त वितरण का अभिसरण संभाव्यता सिद्धांत में एक मौलिक समस्या है, जो वितरण की सीमा व्यवहार को समझने के लिए महत्वपूर्ण है
अनुप्रयोग मूल्य: ग्राफ मॉडल में, सशर्त स्वतंत्रता का विश्लेषण सशर्त वितरण के गुणों पर निर्भर करता है, विशेष रूप से निरंतर Lyapunov समीकरण द्वारा परिभाषित नए ग्राफ मॉडल में

मौजूदा विधियों की सीमाएं

सामान्य स्थिति में असंतुलन: छद्म-व्युत्क्रम संचालन $(·)^+$ एकवचन मैट्रिक्स पर असंतत है, जिससे सशर्त सहप्रसरण मैट्रिक्स $Σ_{R|S} = Σ_{R,R} - Σ_{R,S}(Σ_{S,S})^+Σ_{S,R}$ परिवर्तित नहीं हो सकता है
विशेष स्थितियों की सीमाएं: ज्ञात परिणाम मुख्य रूप से स्थिर-रैंक मैट्रिक्स अनुक्रमों पर लागू होते हैं, जबकि व्यावहारिक अनुप्रयोगों में अक्सर पूर्ण-रैंक मैट्रिक्स के एकवचन मैट्रिक्स में परिवर्तित होने का सामना करना पड़ता है

अनुसंधान प्रेरणा

Boege et al. (2025) द्वारा सशर्त स्वतंत्रता पर काम से प्रेरित होकर, लेखकों ने अधिक चुनौतीपूर्ण स्थिति पर विचार किया: जहाँ प्रत्येक $Σ^{(m)}$ पूर्ण-रैंक है, लेकिन सीमा सहप्रसरण मैट्रिक्स $Σ$ एकवचन है।

मूल योगदान

अभिसरण शर्तें स्थापित करना: गॉसियन सशर्त वितरणों के अभिसरण के लिए पर्याप्त शर्तें प्रस्तावित करना, यहाँ तक कि एकवचन सीमा स्थितियों में भी
मैट्रिक्स सारणिक लेम्मा का सामान्यीकरण: एकवचन मैट्रिक्स के स्पर्शोन्मुख व्यवहार का विश्लेषण करने के लिए मैट्रिक्स सारणिक लेम्मा के सामान्यीकृत संस्करण का विकास
ग्राफ मॉडल अनुप्रयोग: निरंतर Lyapunov समीकरण द्वारा परिभाषित ग्राफ मॉडल में सशर्त स्वतंत्रता विश्लेषण के लिए सैद्धांतिक परिणामों को कैसे लागू करें यह दिखाना
Toeplitz मैट्रिक्स विशेष मामला: विशेष Toeplitz मैट्रिक्स के लिए सहज वैकल्पिक प्रमाण प्रदान करना

विधि विवरण

कार्य परिभाषा

गॉसियन यादृच्छिक वेक्टर अनुक्रम $X^{(m)} \sim N(0, Σ^{(m)})$ दिया गया है जो $X \sim N(0, Σ)$ में कमजोर रूप से परिवर्तित होते हैं, जहाँ $Σ^{(m)}$ व्युत्क्रमणीय है लेकिन $Σ$ एकवचन है। असंबद्ध उपसमुच्चय $S, R ⊆ [p]$ के लिए, निर्धारित करें कि क्या सशर्त सहप्रसरण मैट्रिक्स $Σ_{R|S}^{(m)}$ को $Σ_{R|S}$ में परिवर्तित होते हैं।

मूल सैद्धांतिक परिणाम

मुख्य प्रमेय (प्रमेय 1.2)

मान लीजिए $Σ^{(m)}$ व्युत्क्रमणीय सममित $p×p$ मैट्रिक्स का अनुक्रम है, जिसमें एकवचन सीमा $Σ$ है, और निम्नलिखित विस्तार को संतुष्ट करता है: $Σ^{(m)} = Σ + \frac{1}{m}Σ^{(1,∞)} + o\left(\frac{1}{m}\right)$

$S ⊂ [p]$ और $k = |S| < p$ , $R = [p] \setminus S$ के लिए, यदि मैट्रिक्स $Σ$ और $Σ^{(1,∞)}$ निम्नलिखित को संतुष्ट करते हैं:

(i) $f(U, Σ_{S,S}^{(1,∞)}) ≠ 0$ , जहाँ $U$ सममित रैंक अपघटन $Σ_{S,S} = UBU^T$ से आता है
(ii) $\text{im}(Σ_{S,R}) ⊆ \text{im}(Σ_{S,S})$

तब सशर्त सहप्रसरण मैट्रिक्स $Σ_{R|S}^{(m)}$ को $Σ_{R|S}$ में परिवर्तित होते हैं।

मुख्य फलन परिभाषा

फलन $f: \mathbb{R}^{k×r} × \mathbb{R}^{k×k} → \mathbb{R}$ को निम्नानुसार परिभाषित किया गया है: $f(U,G) = (-1)^{s([k-r])} \sum_{\substack{α⊆[k] \\ |α|=k-r}} (-1)^{s(α)} \det\begin{pmatrix} G_{[k],α} & U \end{pmatrix} \det(U_{[k]\setminus α,[r]})$

तकनीकी नवाचार बिंदु

1. मैट्रिक्स सारणिक लेम्मा का सामान्यीकरण

लेम्मा 3.1: मैट्रिक्स $U, V ∈ \mathbb{R}^{k×r}$ , $G ∈ \mathbb{R}^{k×k}$ , $B ∈ \mathbb{R}^{r×r}$ के लिए, जहाँ $r < k$ : $\det\left(UBV^T + \frac{1}{m}G\right) = \frac{1}{m^{k-r}} \cdot \det(B) \cdot f_{\text{asy}}(U, V, G) + o\left(\frac{1}{m^{k-r}}\right)$

-1 & 1 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 1 & -1 & 0 \\ 0 & 0 & 1 & -1 \end{pmatrix}$$ समाधान प्राप्त करना: $$Σ_4 = \begin{pmatrix} 3/2 & 1/2 & 1/2 & 3/8 \\ 1/2 & 1 & 1/2 & 1/4 \\ 1/2 & 1/2 & 3/2 & 7/8 \\ 3/8 & 1/4 & 7/8 & 15/8 \end{pmatrix}$$ सत्यापित करना कि $(Σ_4)_{14|23} = 1/10 ≠ 0$। ## प्रायोगिक परिणाम ### Toeplitz मैट्रिक्स अनुप्रयोग $n$-आयामी सममित Toeplitz मैट्रिक्स के लिए: $$T_n = (-|i-j|)_{i,j=1,\ldots,n}$$ **लेम्मा 4.1** विशिष्ट मैट्रिक्स $U$ और $G$ के लिए सिद्ध करता है: $$f(U,G) = 2^{k+1-|\{1,n_l\}|-|\{1,n_r\}|} ≠ 0$$ ### मुख्य परिणाम सत्यापन **प्रस्ताव 4.2** (Boege et al. 2025 का प्रस्ताव 4.5): किसी भी लंबाई के trek $T: 1 ← ··· → p$ के लिए, निरंतर Lyapunov समीकरण को संतुष्ट करने वाला सहप्रसरण मैट्रिक्स $Σ$ मौजूद है, जैसे कि $X_1 \not\perp X_p | X_2, \ldots, X_{p-1}$। प्रमाण मैट्रिक्स अनुक्रम $M^{(m)}$ का निर्माण करके किया जाता है, जैसे कि संबंधित समाधान प्रमेय 1.2 की शर्तों को संतुष्ट करते हैं, जिससे सशर्त स्वतंत्रता का अस्तित्व सुनिश्चित होता है। ## संबंधित कार्य ### सैद्धांतिक आधार 1. **Stewart (1969), Ben-Israel and Greville (2003)**: स्थिर-रैंक मैट्रिक्स अनुक्रमों के छद्म-व्युत्क्रम की निरंतरता 2. **Lauritzen (1996, 2024)**: सशर्त वितरण अभिसरण का सामान्य सिद्धांत 3. **Bérczi et al. (2023)**: इस कार्य ने इसके अनुभाग 7 के परिणामों को सामान्यीकृत किया ### अनुप्रयोग पृष्ठभूमि 1. **Dettling et al. (2023), Varando and Hansen (2020)**: निरंतर Lyapunov ग्राफ मॉडल 2. **Boege et al. (2025)**: ग्राफ मॉडल में सशर्त स्वतंत्रता का लक्षण वर्णन ## निष्कर्ष और चर्चा ### मुख्य निष्कर्ष 1. विशिष्ट शर्तों के तहत, यहाँ तक कि जब सीमा सहप्रसरण मैट्रिक्स एकवचन हो, गॉसियन सशर्त वितरण अभी भी परिवर्तित हो सकते हैं 2. शर्त (i) सुनिश्चित करती है कि Schur पूरक का हर शून्य की ओर प्रवृत्त न हो, शर्त (ii) छवि स्थान की संगतता सुनिश्चित करती है 3. सैद्धांतिक परिणाम निरंतर Lyapunov ग्राफ मॉडल में सशर्त स्वतंत्रता विश्लेषण में सफलतापूर्वक लागू होते हैं ### सीमाएं 1. **शर्त प्रतिबंधकता**: विशिष्ट मैट्रिक्स संरचना शर्तों को संतुष्ट करने की आवश्यकता है 2. **कम्प्यूटेशनल जटिलता**: फलन $f$ की गणना में बहु-योग शामिल होते हैं, बड़े मैट्रिक्स के लिए गणना कठिन हो सकती है 3. **अनुप्रयोग सीमा**: मुख्य रूप से गॉसियन वितरण के लिए, अन्य वितरण परिवारों के लिए विस्तार अज्ञात है ### भविष्य की दिशाएं 1. **शर्तें शिथिल करना**: अधिक सामान्य अभिसरण शर्तें खोजना 2. **कम्प्यूटेशनल अनुकूलन**: शर्त सत्यापन के लिए अधिक कुशल एल्गोरिदम विकसित करना 3. **गैर-गॉसियन विस्तार**: परिणामों को अन्य वितरण परिवारों तक सामान्यीकृत करना ## गहन मूल्यांकन ### लाभ 1. **सैद्धांतिक कठोरता**: मैट्रिक्स सारणिक लेम्मा के सामान्यीकरण से मुख्य प्रमेय तक पूर्ण गणितीय प्रमाण ढांचा प्रदान करता है 2. **व्यावहारिक मूल्य**: ग्राफ मॉडल में वास्तविक समस्याओं को हल करता है, विशेष रूप से निरंतर Lyapunov समीकरण के अनुप्रयोग 3. **विधि नवाचार**: मैट्रिक्स विश्लेषण, संभाव्यता सिद्धांत और ग्राफ सिद्धांत को चतुराई से संयोजित करता है 4. **लेखन स्पष्टता**: पेपर संरचना स्पष्ट है, उदाहरण समृद्ध हैं, समझने में आसान है ### कमियां 1. **शर्त जटिलता**: प्रमेय शर्तों का सत्यापन कठिन हो सकता है, विशेष रूप से फलन $f$ की गणना 2. **अनुप्रयोग सीमा**: मुख्य रूप से विशिष्ट प्रकार की मैट्रिक्स संरचनाओं पर लागू होता है, सामान्यता में सुधार की आवश्यकता है 3. **संख्यात्मक स्थिरता**: लगभग-एकवचन मैट्रिक्स के लिए, संख्यात्मक गणना में स्थिरता समस्याएं हो सकती हैं ### प्रभाव 1. **सैद्धांतिक योगदान**: एकवचन सीमा के तहत सशर्त वितरण अभिसरण के लिए नए गणितीय उपकरण प्रदान करता है 2. **अनुप्रयोग संभावनाएं**: ग्राफ मॉडल, समय श्रृंखला विश्लेषण आदि क्षेत्रों में संभावित अनुप्रयोग मूल्य है 3. **विधि प्रेरणा**: समान मैट्रिक्स सीमा समस्याओं को संभालने के लिए नई सोच प्रदान करता है ### लागू परिदृश्य 1. **ग्राफ मॉडल विश्लेषण**: विशेष रूप से निरंतर Lyapunov समीकरण द्वारा परिभाषित मॉडल 2. **समय श्रृंखला**: विशिष्ट सहप्रसरण संरचना वाली बहुभिन्न समय श्रृंखला 3. **सांख्यिकीय अनुमान**: सशर्त वितरण सीमा व्यवहार का विश्लेषण करने की आवश्यकता वाली सांख्यिकीय समस्याएं ## संदर्भ पेपर कई महत्वपूर्ण संबंधित कार्यों का हवाला देता है, जिनमें शामिल हैं: - Ben-Israel and Greville (2003): सामान्यीकृत व्युत्क्रम सिद्धांत - Lauritzen (1996, 2024): ग्राफ मॉडल और सशर्त वितरण सिद्धांत - Boege et al. (2025): विसरण प्रक्रियाओं में सशर्त स्वतंत्रता के अनुप्रयोग - Stewart (1969): सामान्यीकृत व्युत्क्रम की निरंतरता सिद्धांत --- यह पेपर सैद्धांतिक और अनुप्रयोग दोनों स्तरों पर महत्वपूर्ण योगदान देता है, एकवचन सीमा के तहत सशर्त वितरण व्यवहार को समझने के लिए नए गणितीय उपकरण प्रदान करता है, और ग्राफ मॉडल में सशर्त स्वतंत्रता विश्लेषण में सफलतापूर्वक लागू होता है।