Exact affine conditioning beyond Gaussians: a unique characterization of the ensemble Kalman update

The analysis step of the stochastic ensemble Kalman filter, called the ensemble Kalman update (EnKU), is widely used for approximating posterior distributions in inverse problems and data assimilation. The EnKU approximates the posterior distribution πXmid Y=y_star by pushing forward the joint distribution (X,Y)~π through an affine map LEnKUπ,y_star(x,y) that depends only on the covariance structure of π and the observation y_star. While the EnKU yields the exact posterior for Gaussian π in the mean-field, this property alone does not uniquely determine the EnKU. In fact, there are infinitely many affine maps Lπ, y_star that achieve such exact conditioning. In this paper, we offer a novel characterization of the EnKU among all such affine maps. We first exhaustively characterize the set EEnKU of joint distributions for which the EnKU yields exact conditioning, showing that it is much larger than the set of Gaussians. Next, we show that except for a small class of highly symmetric distributions within EEnKU, the EnKU is the unique exact affine conditioning map. Further, we characterize the largest possible set of distributions F for which a distribution-dependent, weakly observation-dependent, affine map exists, a class of transports that naturally includes the EnKU. We show that F=EEnKUcupSnl-dec with a small symmetry class Snl-dec, meaning that for affine conditioning beyond the Gaussian setting, the EnKU has an exact set that is essentially maximally large.