精读笔记

Problem Setting

这篇论文解决的不是普通粒子退化问题，而是结构性模型失配下的持续 proposal-likelihood mismatch。标准 bootstrap PF 用 assumed dynamics 做传播，观测只在权重阶段进入；一旦动力学有系统偏差，粒子云会沿错误流场移动，似然不断惩罚这些粒子，权重方差累积，ESS 崩塌。

关键矛盾是：GNC 这类系统里动力学模型通常有强先验结构，但在关键阶段又不完全可信；观测信息能纠偏，但若只在 posterior correction 阶段使用，纠偏已经太晚。以前方法卡在要么维持 prior proposal 的简单性但失配时脆弱，要么构造更复杂的全局 proposal / flow / transport，但计算和建模成本高，并且未必显式处理局部 measurement-dynamics compatibility。

Motivation

作者的核心观察是：粒子退化不只是采样数不够，也不只是高维 curse；在结构性 mismatch 下，它首先是 propagation geometry 错了。粒子在进入 likelihood evaluation 之前，已经被错误动力学推到与观测几何不一致的区域，所以权重阶段承担了过多系统误差。

已有路线缺的是一种局部、在线、低成本的 compatibility enforcement。transport、implicit sampling、particle flow、score-based proposal 都可以看成在分布层面移动粒子，但这篇论文想在 infinitesimal dynamics 层面改写信息流：观测不是传播之后才出现，而是在传播时就约束漂移方向。

Core Idea

GPF 的真正核心是把观测模型 h 的 Jacobian 当作局部几何结构，用它定义 measurement-consistent subspace，然后把名义漂移的传播和观测增量对齐。粒子传播不再是“先按 f 走，再用 likelihood 惩罚”，而是“传播方向本身就被观测几何校正”。

这个方法引入的 inductive bias 很明确：当模型有结构性不确定时，状态演化至少应在一阶上解释当前观测增量。它把观测从 correction signal 提前为 proposal-shaping signal。这和 prior PF 的本质区别是信息流位置变了；和 flow/transport 方法的区别是它不求全局 map，而是每个粒子局部闭式投影。理论上它可能更 scalable，是因为粒子间不耦合，不需要解全局优化或 PDE；但其 generalization 依赖观测 Jacobian 是否真的捕捉了有效纠偏方向。

Method

第一，构造 reference innovation increment。它的作用是把观测增量中由名义动力学可解释的部分扣掉，剩余量被解释为 measurement-dynamics inconsistency。需要它是因为方法要在传播阶段知道当前粒子沿 f 走会造成多大观测不一致。

第二，定义局部 compatibility condition。它不是硬约束粒子落在观测流形上，而是在一阶 Taylor 意义上要求状态增量经过 H 后能解释观测增量。核心变化是把 h 的微分几何结构放进 proposal dynamics。

第三，用 Moore-Penrose / 正则化伪逆给出粒子级投影。P_parallel = H^T(HH^T)^dagger H 本质上选择那些会影响观测的一阶状态方向。它解决的是 partial observability 下只在可观测方向做几何校正的问题；不可观测方向仍主要靠动力学和扩散探索。

第四，保留 diffusion 和 likelihood weighting。作者强调 projected dynamics 只是 proposal，不是 posterior SDE；后验仍通过 change of measure / importance weights 恢复。这一步是为了避免方法变成 ad hoc measurement nudging，但文中对离散 proposal ratio 的严格处理不够充分。

第五，引入 co-state lambda。lambda 的实际价值更像诊断量：它衡量局部观测增量无法被名义 dynamics 解释的程度。论文把它连接到 mismatch residual、weight dispersion、ESS 和 error growth，形成一个可解释的 failure indicator。

Key Insight / Why It Works

最可能有效的核心原因是 representation alignment：GPF 让 proposal 的局部运动方向与观测诱导的可观测几何对齐，从而减少粒子进入低似然区域的概率。它不是增加粒子数，也不是简单 resampling trick，而是在重要性采样前改变样本分布，让权重不再承担全部模型失配。

更具体地说，若真实 mismatch Delta f 的一部分位于观测可见方向，投影可通过 dy 把这部分误差提前吸收进状态传播。这样 log-weight 的方差会下降，ESS 维持得更好，估计误差不会因权重塌缩被放大。论文的核心贡献应是这个“把 mismatch 分解为 measurement-consistent component 与 orthogonal residual”的视角，而不是具体 Euler-Maruyama 实现。

但这里也有明显上限：如果 mismatch 主要在观测不可见子空间，或者 H 的局部线性化不可靠，则 GPF 无法凭空恢复信息。此时所谓 robustness 会退化为普通带观测 nudging 的 proposal，甚至可能注入测量噪声。co-state 作为诊断量有启发性，但它是否真能独立预测 degeneracy，而不只是和 innovation norm 重命名后的相关量，文中未充分说明。

哪些可能只是 engineering / scaling：实验中的大幅提升很可能部分来自该 lunar descent 设置里观测几何与重力参数失配方向高度匹配；N=500、正则化伪逆、resampling 阈值等并非关键理论创新。增益来源不清的是：究竟来自几何投影本身，还是来自在 proposal 中直接注入当前观测增量所带来的 guided proposal 效应。

Relation To Prior Work

这篇最接近的谱系是 guided proposals、optimal / auxiliary proposals、feedback particle filters、particle flow、controlled SMC，以及更宽泛的 nudging / innovation-driven filtering。它不是从零发明“用观测指导粒子传播”；真正新增的信息是把指导项写成由 measurement Jacobian 定义的局部几何投影，并把 residual mismatch 与 co-state 关联起来。

相对 bootstrap PF，本质差异非常明确：SPF 用 prior dynamics 作为 proposal，GPF 用 observation-informed projected dynamics 作为 proposal。相对 particle flow / transport，GPF 不构造全局分布变换，而是闭式、粒子级、局部投影。相对 feedback particle filter，它没有求解 gain PDE 或 ensemble feedback law，而是直接用 H 的伪逆给出校正方向。

看似新的部分中，change-of-measure、self-normalized importance sampling consistency、Monte Carlo rate 都是标准框架内的再包装；实质创新在于将 measurement-dynamics compatibility 放到 infinitesimal drift projection，并用 orthogonal mismatch residual 解释 robustness 上限。

Dataset / Evaluation

实验使用月面下降导航仿真，包含全观测与部分观测、固定结构性动力学失配、不同噪声和 mismatch magnitude。这个设置与论文主张高度相关，因为 GNC 中确实存在模型误差、非线性动力学和部分可观测。

但 evaluation 覆盖面有限：没有真实飞行数据或硬件闭环验证，没有多类型非线性系统，没有与更强 guided proposal / controlled SMC / particle flow 的直接对照。当前实验足以支持“在该类 lunar descent mismatch 设置中，GPF 比 bootstrap PF 稳定”，但不足以支持一般意义上的 nonlinear filtering robustness。

表格和曲线显示 GPF 的 ESS 和误差明显更好，但最关键的 ablation 缺失：不清楚如果只做 innovation nudging、不做几何投影，或者只用不同正则化/不同噪声协方差处理，会有多少性能差距。claim 的方向被验证了，归因还不够干净。

Limitation

第一，方法强依赖观测 Jacobian。H 必须足够准确、局部线性化有效、伪逆稳定；否则投影方向会错。partial observability 被形式上允许，但当可观测子空间太弱时，方法只能校正很有限的 mismatch。

第二，GPF 可能把问题从 weight degeneracy 转移为 measurement-noise injection。因为传播直接使用观测增量 dy，如果测量噪声强、离散时间步较大或噪声协方差建模不准确，投影项可能放大噪声而不是提高一致性。文中对这个 tradeoff 的理论控制不足。

第三，measure-theoretic consistency 的论证偏粗。连续时间 Girsanov 和 Kallianpur-Striebel 是标准工具，但对于由观测增量驱动的 proposal，离散实现中完整的 proposal density correction、噪声协方差、absolute continuity 条件需要更严格说明。文中未充分说明。

第四，实验泛化有限。增益可能主要来自任务结构：重力参数 mismatch 对位置观测几何可见，因此投影非常有效。若换成不可观测 bias、mode switching、非高斯异常观测或高维稀疏观测，性能上限不清。

第五，co-state 的解释有过度包装风险。lambda 很可能是 innovation residual 的几何变体；它是否提供超出 innovation consistency / normalized residual 的新诊断信息，需要独立实验证明。

Takeaway

• 1. 最值得迁移的 insight 是：在模型不确定时，不要把观测信息只留给 weighting / correction；应尽早进入 proposal dynamics，降低后验校正负担。
• 2. 把模型失配按观测几何分解，比笼统谈 robust filtering 更有操作性。
• 可观测方向的 mismatch 可以通过 guided propagation 吸收，不可观测残差才是长期误差上限。
• 3. 这条路线未来真正值得做的是严格 proposal correction、噪声协方差一致化、与 controlled SMC / feedback PF 的统一，以及在不可观测 mismatch 和高维系统中的失败边界刻画。

一句话总结

Geometric Projection Particle Filtering 是一类 observation-guided proposal 方法的局部几何化版本，其真正贡献是把结构性模型失配转化为相对于测量 Jacobian 的可校正分量与残余分量，从传播阶段削弱粒子滤波的 proposal-likelihood mismatch。