Table of Contents
Fetching ...

Proximal Approximate Inference in State-Space Models

Hany Abdulsamad, Ángel F. García-Fernández, Simo Särkkä

TL;DR

This work reframes Bayesian smoothing in nonlinear, non-Gaussian state-space models as a dynamic, entropic proximal optimization problem. By enforcing KL-based trust regions and employing forward, reverse, or hybrid Gauss–Markov factorizations, it yields efficient forward–backward recursive smoothing algorithms that operate in log-space and scale linearly with horizon. Themethod leverages two practical posterior approximations—Generalized Statistical Linear Regression and Fourier–Hermite moment matching—to obtain tractable quadratic potentials and closed-form updates for Gaussian marginals. Together, these elements provide a principled, scalable framework that unifies classical smoothing with modern variational inference, enabling accurate inference in complex temporal models with strong computational properties.

Abstract

We present a class of algorithms for state estimation in nonlinear, non-Gaussian state-space models. Our approach is based on a variational Lagrangian formulation that casts Bayesian inference as a sequence of entropic trust-region updates subject to dynamic constraints. This framework gives rise to a family of forward-backward algorithms, whose structure is determined by the chosen factorization of the variational posterior. By focusing on Gauss--Markov approximations, we derive recursive schemes with favorable computational complexity. For general nonlinear, non-Gaussian models we close the recursions using generalized statistical linear regression and Fourier--Hermite moment matching.

Proximal Approximate Inference in State-Space Models

TL;DR

This work reframes Bayesian smoothing in nonlinear, non-Gaussian state-space models as a dynamic, entropic proximal optimization problem. By enforcing KL-based trust regions and employing forward, reverse, or hybrid Gauss–Markov factorizations, it yields efficient forward–backward recursive smoothing algorithms that operate in log-space and scale linearly with horizon. Themethod leverages two practical posterior approximations—Generalized Statistical Linear Regression and Fourier–Hermite moment matching—to obtain tractable quadratic potentials and closed-form updates for Gaussian marginals. Together, these elements provide a principled, scalable framework that unifies classical smoothing with modern variational inference, enabling accurate inference in complex temporal models with strong computational properties.

Abstract

We present a class of algorithms for state estimation in nonlinear, non-Gaussian state-space models. Our approach is based on a variational Lagrangian formulation that casts Bayesian inference as a sequence of entropic trust-region updates subject to dynamic constraints. This framework gives rise to a family of forward-backward algorithms, whose structure is determined by the chosen factorization of the variational posterior. By focusing on Gauss--Markov approximations, we derive recursive schemes with favorable computational complexity. For general nonlinear, non-Gaussian models we close the recursions using generalized statistical linear regression and Fourier--Hermite moment matching.

Paper Structure

This paper contains 30 sections, 14 theorems, 168 equations, 10 algorithms.

Key Result

Proposition 1

The Bayesian posterior characterized by a likelihood $p(y \mathop{\mathrm{\,|\,}}\limits x)$ and a prior $p(x)$ and constrained to lie within a Kullback--Leibler $\varepsilon$-ball centered at $q^{[i]}(x)$ is the maximizer of the constrained nonlinear program eq:static-proximal and takes the form of with a damping parameter $\beta \in [0, 1)$ and a normalizing constant The damping $\beta$ is a pr

Theorems & Definitions (23)

  • Proposition 1: Damped Gibbs posterior
  • Remark 1
  • Remark 2
  • Proposition 2: Optimal forward-Markov posterior
  • Remark 3
  • Remark 4
  • Proposition 3: Optimal reverse-Markov posterior
  • Remark 5
  • Remark 6
  • Corollary 1: Optimal hybrid marginals
  • ...and 13 more