“静态后验可用温度序列 $\gamma t=\text{prior}\times\text{likelihood}^{\beta t}$ 从先验逐步走到后验;相邻温度根据权重退化自适应选择。状…”
形式陈述 ​
设隐藏状态空间模型为
且给定状态后观测条件独立。目标是观测
设第
传播。若已重采样,未归一化新权重为
若本步跳过重采样,则还需乘旧权重
支持条件要求提议覆盖转移—似然乘积有正质量的状态。固定
的粒子乘积估计是无偏的,这一性质支撑 pseudo-marginal 方法;取对数后则因 Jensen 不等式产生偏差。
直觉
转移模型把每个粒子推向下一时刻可能到达的位置,观测似然再给“与新数据相符”的位置投票。重采样让高票粒子拥有更多后代,下一次传播便把计算集中到当前可信区域。这是预测、校正、资源再分配的循环。
bootstrap 提议在看见观测前就按状态动力学移动;当观测很尖锐时,大多数预测粒子会落在低似然区,权重迅速坍缩。使用
例子与边界
设二状态链每步以概率
四个等权 bootstrap 粒子经一次实际传播得到
于是粒子过滤估计
罕见而精确的观测会造成真实退化:若所有 bootstrap 粒子都落在
保存完整路径还会遭遇祖先退化。反复重采样后,当前粒子可能多样,但它们在早期时刻往往共享同一个祖先,因而固定滞后之外的平滑分布很差。增加当前状态 ESS 不会恢复已丢失谱系;需要 backward simulation、ancestor sampling 或专门平滑器。固定
推论与应用
粒子滤波适用于非线性、非高斯且能模拟状态转移、评估观测似然的在线模型。输出不只是点估计:加权粒子给过滤不确定性,归一化常数增量给预测似然,祖先结构支持有限范围的路径推断。每项输出有不同退化机制,应分别诊断。
若转移近线性高斯,Kalman 滤波给解析基准,粒子法未必值得其随机成本;若状态维数升高而观测只容许很薄区域,所需粒子数可能急剧增长。改进应优先让提议利用当前观测,再控制重采样方差,最后才单纯增加粒子数。报告应包含粒子数、重采样方案与时刻、ESS 轨迹、log-likelihood 方差以及独立随机种子重复结果。
参考资料
- N. J. Gordon, D. J. Salmond, and A. F. M. Smith, “Novel Approach to Nonlinear/Non-Gaussian Bayesian State Estimation,” IEE Proceedings F 140(2), 1993, pp. 107–113.
- Arnaud Doucet, Nando de Freitas, and Neil Gordon, eds., Sequential Monte Carlo Methods in Practice, Springer, 2001, Chs. 1–2.
- Pierre Del Moral, Feynman-Kac Formulae, Springer, 2004, Chs. 7–9.