[论文解读] On residual and guided proposals for diffusion bridge simulation

Frank van der Meulen, Moritz Schauer|arXiv (Cornell University)|Aug 16, 2017

Statistical Methods and Bayesian Inference参考文献 2被引用 4

一句话总结

本文比较了在扩散过程贝叶斯推断中模拟扩散桥的残差提议与引导提议方法。结果表明，两种方法在数学上密切相关，计算复杂度相似，但引导提议能更准确地捕捉漂移动力学中的局部非线性特征。数值示例显示，与残差提议相比，引导提议能更精确地近似真实桥接路径。

ABSTRACT

Recently Whitaker et al. (2017) considered Bayesian estimation of diffusion driven mixed effects models using data-augmentation. The missing data, diffusion bridges connecting discrete time observations, are drawn using a "residual bridge construct". In this paper we compare this construct (which we call residual proposal) with the guided proposals introduced in Schauer et al. 2017. It is shown that both approaches are related, but use a different approximation to the intractable stochastic differential equation of the true diffusion bridge. It reveals that the computational complexity of both approaches is similar. Some examples are included to compare the ability of both proposals to capture local nonlinearities in the dynamics of the true bridge.

研究动机与目标

• 比较残差提议与引导提议在模拟扩散桥方面的性能及其理论基础。
• 探究在捕捉非线性漂移动力学方面，引导提议是否相比残差提议具有优势。
• 阐明两种方法之间的数学关系及其在实现中的权衡。
• 在具有已知或模拟真实桥接路径的示例SDE上评估两种方法的实证性能。
• 为在扩散过程贝叶斯推断中选择残差提议与引导提议提供实际参考。

提出的方法

• 在不进行离散化的情况下推导残差提议相对于真实扩散桥的似然，建立了理论基础。
• 通过引入包含残差过程的修正漂移项，将残差提议重新解释为引导提议的特例。
• 提出一种基于确定性动力系统解的时变漂移校正的线性引导提议框架。
• 采用欧拉离散化方法并使用精细时间步长（例如10⁻⁴）来模拟真实桥接路径、引导提议路径与残差提议路径，以进行比较。
• 在确定性解可用的情况下，采用Bladt和Sørensen（2014）的方法来模拟真实桥接路径。
• 在所有模拟中使用相同的维纳增量，以确保引导提议与残差提议之间的公平比较。

实验结果

研究问题

• RQ1 残差提议与引导提议在数学上如何关联？残差提议能否被视为引导提议的特例？
• RQ2 每种方法的计算复杂度如何？在实现成本方面它们如何比较？
• RQ3 在存在非线性漂移动力学的情况下，哪种提议方法能更准确地近似真实扩散桥？
• RQ4 当漂移包含多个势阱或复杂非线性特征时，引导提议是否能优于残差提议？
• RQ5 在何种条件下，引导提议框架相比残差方法具有实际优势？

主要发现

• 通过基于残差过程的校正项，残差提议可被重新解释为引导提议的特例。
• 残差提议与引导提议的计算复杂度相近，因为两者均需求解结构相似的SDE。
• 在示例5.1（线性漂移）中，引导提议比残差提议更接近真实桥接路径。
• 在示例5.2（正弦非线性漂移）中，由于漂移存在多个势阱，残差与引导提议均未能准确捕捉真实桥接动力学，但引导提议表现略优。
• 在示例5.3（含正弦项的非线性漂移）中，引导提议比残差提议更准确地反映了真实桥接路径，尤其当确定性解接近目标时更为明显。
• 引导提议框架更具灵活性，可被调整以更好地逼近复杂动力学，而残差提议受限于仅依赖确定性路径的特性。