The Auxiliary Variable Trick for deriving
We present a Forward-Backward Kalman smoother derivation that functions for small observation noise. Whilst this smoother can be found by judicious transformation of the standard Forward-Backward equations, we introduce an auxiliary variable trick which greatly simplifies the derivation, based on the probabilistic interpretation of the Kalman Filter, allowing one to work directly with moments of the distribution. The trick is of potential interest for the simple derivation of smoothing type inference in other related systems.