A novel sequential method for building upper and lower bounds of moments of distributions
Solal Martin, Emilie Chouzenoux, Victor Elvira
TL;DR
Addresses the problem of computing bounds on moments of unnormalized distributions by developing a sequential envelope method based on Gaussian tangent majorants/minorants. The approach constructs piecewise Gaussian envelopes using adaptively chosen tangency points, proving convergence of upper and lower bounds to the true integral under mild density conditions. It specializes to variance estimation in importance sampling and demonstrates competitive numerical performance against state-of-the-art envelope methods, with practical guidelines for implementation. This yields guaranteed, controllable bounds for moment integrals, enabling reliable error control and improved proposal tuning in Bayesian inference.
Abstract
Approximating integrals is a fundamental task in probability theory and statistical inference, and their applied fields of signal processing, and Bayesian learning, as soon as expectations over probability distributions must be computed efficiently and accurately. When these integrals lack closed-form expressions, numerical methods must be used, from the Newton-Cotes formulas and Gaussian quadrature, to Monte Carlo and variational approximation techniques. Despite these numerous tools, few are guaranteed to preserve majoration/minoration inequalities, while this feature is fundamental in certain applications in statistics. In this paper, we focus on the integration problem arising in the estimation of moments of scalar, unnormalized, distributions. We introduce a sequential method for constructing upper and lower bounds on the sought integral. Our approach leverages the majorization-minimization framework to iteratively refine these bounds, in an enveloped principle. The method has proven convergence, and controlled accuracy, under mild conditions. We demonstrate its effectiveness through a detailed numerical example of the estimation of a Monte-Carlo sampler variance in a Bayesian inference problem.
