On the behaviour of the backward interpretation of Feynman-Kac formulae under verifiable conditions

We consider the time behaviour associated to the sequential Monte Carlo estimate of the backward interpretation of Feynman-Kac formulae. This is particularly of interest in the context of performing smoothing for hidden Markov models. We prove a central limit theorem under weaker assumptions than adopted in the literature. We then show that the associated asymptotic variance expression for additive functionals grows at most linearly in time under hypotheses that are weaker than those currently existing in the literature. The assumptions are verified for some hidden Markov models.