Convergence Analysis of a Greedy Algorithm for Conditioning Gaussian Random Variables
Daniel Winkle, Ingo Steinwart, Bernard Haasdonk
TL;DR
This work addresses the difficult problem of conditioning Gaussian random variables in Banach spaces by introducing an operator $M$ that maps the observed variable $Y$ to the conditional variable $Z=\mathbb{E}(X|Y)$, enabling transfer of convergence rates from $cov(Y)$ to $cov(X|Y)$. It shows that conditioning corresponds to orthogonal projections across Gaussian spaces and derives a kernel-based representation for the conditioned process via RKHS theory. By applying the $P$-greedy algorithm to the conditioning measurements, the authors establish polynomial convergence rates for the conditional covariance and provide explicit bounds in terms of Kolmogorov widths. The theoretical framework is complemented by several examples, including Brownian motion with partial observations and noisy measurement models, and by proofs detailing the extension of the operator $M_W$ and the projection structure. This integrates Gaussian conditioning with kernel methods and greedy approximation to yield practical convergence guarantees for high-dimensional conditioning problems.
Abstract
In the context of Gaussian conditioning, greedy algorithms iteratively select the most informative measurements, given an observed Gaussian random variable. However, the convergence analysis for conditioning Gaussian random variables remains an open problem. We adress this by introducing an operator $M$ that allows us to transfer convergence rates of the observed Gaussian random variable approximation onto the conditional Gaussian random variable. Furthermore we apply greedy methods from approximation theory to obtain convergence rates. These greedy methods have already demonstrated optimal convergence rates within the setting of kernel based function approximation. In this paper, we establish an upper bound on the convergence rates concerning the norm of the approximation error of the conditional covariance operator.
