Über schwache Konvergenz von bedingten Gaußschen Verteilungen

Grundinformationen

• Paper-ID: 2510.12412
• Titel: On weak convergence of Gaussian conditional distributions
• Autoren: Sarah Lumpp, Mathias Drton
• Klassifikation: math.ST stat.TH
• Veröffentlichungsdatum: 14. Oktober 2025 (arXiv-Preprint)
• Paper-Link: https://arxiv.org/abs/2510.12412

Zusammenfassung

Die schwache Konvergenz von Gelenkverteilungen impliziert in der Regel nicht die Konvergenz von bedingten Verteilungen. Insbesondere wenn gemeinsame Gaußsche Verteilungen gegen eine singuläre Gaußsche Grenzverteilung konvergieren, konvergieren die bedingten Verteilungen nicht notwendigerweise. Aus algebraischer Perspektive liegt dies daran, dass das Schur-Komplement bei singulären Kovarianzmatrizen keine stetige Funktion der Matrixelemente ist. Die Ergebnisse dieser Arbeit erläutern spezielle Bedingungen, unter denen Gaußsche bedingte Verteilungen dennoch konvergieren, und zeigen durch Beispiele, wie dies es ermöglicht, in einer neuen Klasse von Graphenmodellen über bedingte Unabhängigkeit zu argumentieren.

Forschungshintergrund und Motivation

Kernproblem

Das Kernproblem dieser Untersuchung ist: Wenn eine Folge von Gaußschen Verteilungen $X^{(m)} \sim N(0, Σ^{(m)})$ schwach gegen eine singuläre Gaußsche Verteilung $X \sim N(0, Σ)$ konvergiert, konvergieren dann die bedingten Verteilungen $N(0, Σ_{R|S}^{(m)})$ gegen $N(0, Σ_{R|S})$?

Bedeutung des Problems

1. Theoretische Relevanz: Die Konvergenz bedingter Verteilungen ist ein grundlegendes Problem der Wahrscheinlichkeitstheorie und von großer Bedeutung für das Verständnis des Grenzverhaltens von Verteilungen
2. Anwendungswert: In Graphenmodellen hängt die Analyse von bedingter Unabhängigkeit von den Eigenschaften bedingter Verteilungen ab, besonders in neuartigen Graphenmodellen, die durch kontinuierliche Lyapunov-Gleichungen definiert werden

Einschränkungen bestehender Methoden

1. Unstetigkeit im allgemeinen Fall: Die Pseudoinverse $(·)^+$ ist bei singulären Matrizen unstetig, was dazu führt, dass die bedingte Kovarianzmatrix $Σ_{R|S} = Σ_{R,R} - Σ_{R,S}(Σ_{S,S})^+Σ_{S,R}$ möglicherweise nicht konvergiert
2. Einschränkungen in Spezialfällen: Bekannte Ergebnisse gelten hauptsächlich für Matrixfolgen konstanten Ranges, während in praktischen Anwendungen häufig Matrizen vollen Ranges gegen singuläre Matrizen konvergieren

Forschungsmotivation

Inspiriert durch die Arbeiten von Boege et al. (2025) zur bedingten Unabhängigkeit betrachten die Autoren den anspruchsvolleren Fall: Jede $Σ^{(m)}$ ist invertierbar, während die Grenz-Kovarianzmatrix $Σ$ singulär ist.

Kernbeiträge

1. Konvergenzbedingungen etablieren: Ausreichende Bedingungen für die Konvergenz Gaußscher bedingter Verteilungen werden vorgestellt, auch im singulären Grenzfall
2. Verallgemeinerung des Matrixdeterminanten-Lemmas: Eine erweiterte Version des Matrixdeterminanten-Lemmas wird entwickelt, um das asymptotische Verhalten singulärer Matrizen zu analysieren
3. Anwendung auf Graphenmodelle: Die Anwendung der theoretischen Ergebnisse auf die Analyse bedingter Unabhängigkeit in Graphenmodellen, die durch kontinuierliche Lyapunov-Gleichungen definiert werden, wird demonstriert
4. Spezialfall Toeplitz-Matrizen: Ein intuitiver alternativer Beweis wird für spezielle Toeplitz-Matrizen bereitgestellt

Methodische Details

Aufgabendefinition

Gegeben ist eine Folge von Gaußschen Zufallsvektoren $X^{(m)} \sim N(0, Σ^{(m)})$, die schwach gegen $X \sim N(0, Σ)$ konvergiert, wobei $Σ^{(m)}$ invertierbar, aber $Σ$ singulär ist. Für disjunkte Teilmengen $S, R ⊆ [p]$ ist zu bestimmen, ob die bedingte Kovarianzmatrix $Σ_{R|S}^{(m)}$ gegen $Σ_{R|S}$ konvergiert.

Zentrale theoretische Ergebnisse

Hauptsatz (Satz 1.2)

Sei $Σ^{(m)}$ eine Folge invertierbarer symmetrischer $p×p$-Matrizen mit singulärer Grenzmatrix $Σ$ und Entwicklung: $Σ^{(m)} = Σ + \frac{1}{m}Σ^{(1,∞)} + o\left(\frac{1}{m}\right)$

Für $S ⊂ [p]$ mit $k = |S| < p$, $R = [p] \setminus S$, konvergiert die bedingte Kovarianzmatrix $Σ_{R|S}^{(m)}$ gegen $Σ_{R|S}$, wenn die Matrizen $Σ$ und $Σ^{(1,∞)}$ folgende Bedingungen erfüllen:

(i) $f(U, Σ_{S,S}^{(1,∞)}) ≠ 0$, wobei $U$ aus der symmetrischen Rangzerlegung $Σ_{S,S} = UBU^T$ stammt
(ii) $\text{im}(Σ_{S,R}) ⊆ \text{im}(Σ_{S,S})$

Definition der Schlüsselfunktion

Die Funktion $f: \mathbb{R}^{k×r} × \mathbb{R}^{k×k} → \mathbb{R}$ ist definiert als: $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]})$

Technische Innovationen

1. Verallgemeinerung des Matrixdeterminanten-Lemmas

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

2. Anwendung der Cramerschen Regel

Jedes Element der bedingten Kovarianzmatrix wird als: $v_m^T A_m^{-1} w_m = \frac{\det(A_m[j])}{\det(A_m)}$ ausgedrückt und das asymptotische Verhalten von Zähler und Nenner wird analysiert, um die Konvergenz zu beweisen.

3. Rauschbehandlung

Lemma 3.2 behandelt die Auswirkungen zusätzlicher Rauschterme $D^{(m)} = o(1/m)$ und stellt sicher, dass der Hauptasymptotikterm nicht beeinträchtigt wird.

Experimentelle Einrichtung

Anwendungsszenario: Kontinuierliche Lyapunov-Gleichung

Betrachtet werden Gaußsche Verteilungen, die die kontinuierliche Lyapunov-Gleichung erfüllen: $MΣ + ΣM^T + 2I_p = 0$ wobei $M$ eine stabile Matrix ist, deren Nullmuster die Graphenstruktur kodiert.

Konkrete Beispiele

Beispiel 2.1: Trek $T_4: 1 ← 2 → 3 → 4$

Konstruktion einer stabilen Matrix: