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

Sulla convergenza debole delle distribuzioni gaussiane condizionate

Informazioni Fondamentali

ID Articolo: 2510.12412
Titolo: On weak convergence of Gaussian conditional distributions
Autori: Sarah Lumpp, Mathias Drton
Classificazione: math.ST stat.TH
Data di Pubblicazione: 14 ottobre 2025 (preprint arXiv)
Link Articolo: https://arxiv.org/abs/2510.12412

Riassunto

La convergenza debole della distribuzione congiunta non implica generalmente la convergenza delle distribuzioni condizionate. In particolare, quando le distribuzioni gaussiane congiunte convergono a un limite gaussiano singolare, le distribuzioni condizionate non necessariamente convergono. Da un punto di vista algebrico, ciò è dovuto al fatto che il complemento di Schur non è una funzione continua degli elementi della matrice in corrispondenza di matrici di covarianza singolari. I risultati di questo articolo chiariscono le condizioni speciali sotto le quali le distribuzioni gaussiane condizionate convergono comunque, e illustrano come ciò consenta di ragionare sulla indipendenza condizionata in una nuova classe di modelli grafici.

Contesto di Ricerca e Motivazione

Problema Centrale

Il problema centrale affrontato da questa ricerca è: quando una sequenza di distribuzioni gaussiane $X^{(m)} \sim N(0, Σ^{(m)})$ converge debolmente a una distribuzione gaussiana singolare $X \sim N(0, Σ)$ , le distribuzioni condizionate $N(0, Σ_{R|S}^{(m)})$ convergono a $N(0, Σ_{R|S})$ ?

Importanza del Problema

Significato Teorico: La convergenza delle distribuzioni condizionate è un problema fondamentale nella teoria della probabilità, essenziale per comprendere il comportamento limite delle distribuzioni
Valore Applicativo: Nei modelli grafici, l'analisi dell'indipendenza condizionata dipende dalle proprietà delle distribuzioni condizionate, in particolare nei nuovi modelli grafici definiti dall'equazione di Lyapunov continua

Limitazioni dei Metodi Esistenti

Discontinuità nel Caso Generale: L'operazione di pseudoinversa $(·)^+$ non è continua in corrispondenza di matrici singolari, causando la possibile non convergenza della matrice di covarianza condizionata $Σ_{R|S} = Σ_{R,R} - Σ_{R,S}(Σ_{S,S})^+Σ_{S,R}$
Restrizioni nei Casi Speciali: I risultati noti si applicano principalmente a sequenze di matrici a rango costante, mentre le applicazioni pratiche spesso incontrano matrici di rango pieno che convergono a matrici singolari

Motivazione della Ricerca

Ispirato dal lavoro di Boege et al. (2025) sull'indipendenza condizionata, gli autori considerano il caso più impegnativo: ogni $Σ^{(m)}$ è di rango pieno, mentre la matrice di covarianza limite $Σ$ è singolare.

Contributi Principali

Stabilire Condizioni di Convergenza: Propone condizioni sufficienti per la convergenza delle distribuzioni gaussiane condizionate, anche nel caso di limiti singolari
Generalizzazione del Lemma del Determinante Matriciale: Sviluppa una versione generalizzata del lemma del determinante matriciale per analizzare il comportamento asintotico di matrici singolari
Applicazione ai Modelli Grafici: Dimostra come applicare i risultati teorici all'analisi dell'indipendenza condizionata in modelli grafici definiti dall'equazione di Lyapunov continua
Caso Particolare delle Matrici Toeplitz: Fornisce una dimostrazione alternativa intuitiva per matrici Toeplitz speciali

Dettagli Metodologici

Definizione del Compito

Data una sequenza di vettori gaussiani casuali $X^{(m)} \sim N(0, Σ^{(m)})$ che converge debolmente a $X \sim N(0, Σ)$ , dove $Σ^{(m)}$ è invertibile ma $Σ$ è singolare. Per sottoinsiemi disgiunti $S, R ⊆ [p]$ , determinare se la matrice di covarianza condizionata $Σ_{R|S}^{(m)}$ converge a $Σ_{R|S}$ .

Risultati Teorici Fondamentali

Teorema Principale (Teorema 1.2)

Sia $Σ^{(m)}$ una sequenza di matrici simmetriche $p×p$ invertibili con limite singolare $Σ$ , e soddisfi lo sviluppo: $Σ^{(m)} = Σ + \frac{1}{m}Σ^{(1,∞)} + o\left(\frac{1}{m}\right)$

Per $S ⊂ [p]$ con $k = |S| < p$ , $R = [p] \setminus S$ , se le matrici $Σ$ e $Σ^{(1,∞)}$ soddisfano:

(i) $f(U, Σ_{S,S}^{(1,∞)}) ≠ 0$ , dove $U$ proviene dalla decomposizione di rango simmetrico $Σ_{S,S} = UBU^T$
(ii) $\text{im}(Σ_{S,R}) ⊆ \text{im}(Σ_{S,S})$

allora la matrice di covarianza condizionata $Σ_{R|S}^{(m)}$ converge a $Σ_{R|S}$ .

Definizione della Funzione Chiave

La funzione $f: \mathbb{R}^{k×r} × \mathbb{R}^{k×k} → \mathbb{R}$ è definita come: $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]})$

Punti di Innovazione Tecnica

1. Generalizzazione del Lemma del Determinante Matriciale

Lemma 3.1: Per matrici $U, V ∈ \mathbb{R}^{k×r}$ , $G ∈ \mathbb{R}^{k×k}$ , $B ∈ \mathbb{R}^{r×r}$ , dove $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)$

undefined