2025/09/30 by Jorgensen, Frederic J. N., Marzouk, Youssef M. · 1 citation
#62F15 #65C35 #93E11 #FOS: Mathematics #G.3 #I.6.5 #Numerical Analysis (math.NA) #Optimization and Control (math.OC) #Probability (math.PR) #Statistics Theory (math.ST)
paper · doi:10.48550/arxiv.2510.00158
The update in the Ensemble Kalman Filter (EnKF), called the Ensemble Kalman Update (EnKU), is widely used for Bayesian inference in inverse problems and data assimilation. At each filtering step, it approximates the solution to a likelihood-free Bayesian inversion from an ensemble of particles (Xi,Yi)∼π sampled from a joint measure π and an observation y_∗∈ℝm. The posterior πX|Y=y_∗ is approximated by transporting (Xi,Yi) through an affine map LEnKUy_∗(x,y) determined by the Kalman gain. While the EnKU is exact for Gaussian joints π in the mean-field limit, exactness alone does not fix the update: infinitely many affine maps Ly_∗ push a Gaussian π to πX|Y=y_∗. This raises a question: which affine map should estimate the posterior? We provide a characterization of the EnKU among all such maps. First, we describe the set EEnKU of laws where the EnKU yields exact conditioning, showing it is larger than the Gaussian family. Next, we prove that, except for a small class of highly symmetric distributions in EEnKU (including Gaussians), the EnKU is the unique exact affine conditioning map. Finally, we ask for the largest possible set F where any measure-dependent affine transport could be exact; after characterizing F, we show the EnKU's exactness set is almost maximal: F=EEnKU\cupSnl-dec, where Snl-dec is a small symmetry class. Thus, among affine transports, the EnKU is near-optimal for exact conditioning beyond Gaussians and is the unique affine update achieving exactness for any measure in F except a subclass of strongly symmetric laws.