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

On weak convergence of Gaussian conditional distributions

基本信息

论文ID: 2510.12412
标题: On weak convergence of Gaussian conditional distributions
作者: Sarah Lumpp, Mathias Drton
分类: math.ST stat.TH
发表时间: 2025年10月14日 (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)$