论文

ZENO:基于 Zakai 方程神经算子的非线性滤波方法

ZENO: Nonlinear filtering with Zakai Equation Neural Operators

精选理由

一篇把非线性滤波问题用 PDE 和算子学习来解的论文,ZENO 在 Lorenz、Van Der Pol 等系统上验证过,还跑通了线虫全脑数据,做科研的可以看看思路。

arXiv 论文提出 ZENO(Zakai Equation Neural Operator),用神经算子结合 Zakai 方程的物理信息损失来近似潜在随机动力系统的未归一化滤波分布。该方法在期望最大化(EM)框架下同时完成状态推断和 SDE 参数学习。作者在双稳态系统(Double-Well)、Van Der Pol 振荡器和 Lorenz 系统三个模拟系统中验证了后验分布推断能力,并与已有的 latent SDE 方法对比。在秀丽隐杆线虫(C. elegans)全脑成像数据上,ZENO 恢复出前后运动的极限环。

原文 · arXiv cs.LG

ZENO: Nonlinear filtering with Zakai Equation Neural Operators

State inference and parameter learning for nonlinear filters is a core computation for scientific machine learning with varied applications in engineering and neuroscience. The unnormalized filtering distribution is governed by the Zakai equation, a stochastic partial differential equation (SPDE) that combines the forward Kolmogorov operator (known as the Fokker-Planck equation) with observed likelihood updates. Although solving these high-dimensional SPDEs is often impossible analytically and intractable numerically, advances in operator learning and physics-informed machine learning have made it feasible. Harnessing these advances, we introduce the Zakai Equation Neural Operator (ZENO), a model that optimizes a neural operator against a Zakai Equation based physics-informed loss to approximate the exact unnormalized filtering distribution for latent stochastic dynamical systems. We use this ZENO-inferred posterior distribution in an expectation-maximization (EM) framework to perform parameter learning and state inference. We demonstrate ZENO's ability to accurately infer the posterior distribution and learn its corresponding SDE parameters in three simulated stochastic dynamical systems (Double-Well bistable system, Van Der Pol (VDP) oscillator, and Lorenz system) and compare its performance against established methods for latent SDE inference and learning. We show that ZENO recovers previously observed limit cycles representing forward and backward locomotion from a whole-brain imaging dataset of immobilized \textit{C. elegans} nematodes. ZENO is a novel approach to the problem of nonlinear filtering and dynamical inference through the lens of partial differential equations and operator theory.