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 (SMC) estimate of the backward interpretation of Feynman-Kac Formulae. This is particularly of interest in the context of performing smoothing for hidden Markov models (HMMs). We prove a central limit theorem (CLT) 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 HMMs.

[1]  Simon J. Godsill,et al.  On sequential Monte Carlo sampling methods for Bayesian filtering , 2000, Stat. Comput..

[2]  P. Moral,et al.  On the stability of interacting processes with applications to filtering and genetic algorithms , 2001 .

[3]  A. Doucet,et al.  Monte Carlo Smoothing for Nonlinear Time Series , 2004, Journal of the American Statistical Association.

[4]  P. Moral.  Feynman-Kac Formulae: Genealogical and Interacting Particle Systems with Applications , 2004 .

[5]  Gersende Fort,et al.  Forgetting the initial distribution for Hidden Markov Models , 2007 .

[6]  R. Douc,et al.  Limit theorems for weighted samples with applications to sequential Monte Carlo methods , 2008 .

[7]  Sylvain Le Corff,et al.  Non-asymptotic deviation inequalities for smoothed additive functionals in non-linear state-space models with applications to parameter estimation , 2010, 1012.4183.

[8]  Sumeetpal S. Singh,et al.  A backward particle interpretation of Feynman-Kac formulae , 2009, 0908.2556.

[9]  Aurélien Garivier,et al.  Sequential Monte Carlo smoothing for general state space hidden Markov models , 2011, 1202.2945.

[10]  Sumeetpal S. Singh,et al.  Particle approximations of the score and observed information matrix in state space models with application to parameter estimation , 2011 .

[11]  N. Whiteley.  Stability properties of some particle filters , 2011, 1109.6779.

[12]  R. Douc,et al.  Long-term stability of sequential Monte Carlo methods under verifiable conditions , 2012, 1203.6898.