精读笔记
Problem Setting
这篇论文处理的是一个 measure-valued deterministic filtering 问题：系统状态不是 x(t) ∈ Rd，而是 μt ∈ P2(Rd)，观测也可以直接作用在 law 上，例如 moment observation、Wasserstein distance to observed density、或对 h(x) 的分布式误差。目标是构造 Mortensen 风格的 minimum-energy estimator：在所有可能的 density paths 中，选择既符合 transport dynamics、又匹配观测、且初始分布代价较低的路径。
真正困难点是：有限维 Mortensen observer 依赖经典 HJB 和 Euclidean gradient，而 P2(Rd) 上没有线性空间结构，梯度、subdifferential、黏性解和比较原理都不是自动成立的。以前 Wasserstein HJB 文献已经有不少理论，但多数面向 optimal transport / mean-field control 的标准控制问题；filtering 语义、terminal reconstruction、time-dependent positive observation cost 以及 observer argmin 的存在性并没有被系统打通。关键矛盾是：要让观测泛函足够一般以表达 law-level sensing，又要让它足够规则以支撑 HJB well-posedness。
Motivation
已有有限维 Mortensen observer 的建模粒度太细：它估计单个 realization 的轨道，而许多 mean-field 或 kinetic 系统中可观测对象天然是 density / distribution。反过来，已有 Wasserstein HJB 理论虽然能处理 P2 上的控制问题，但通常不是以 observer design 为目标，也没有直接回答“如何从部分观测重构演化概率密度”。
作者的核心观察是：Mortensen 代价里的模型偏差能量，在测度空间中正好对应 Benamou–Brenier 动态 OT 的 kinetic energy。也就是说，finite-dimensional control effort |ẋ-b(x)|² 可以被替换为 continuity equation velocity field 的 L2(μ) 能量。这给了一个非常自然的 lift：把 deterministic filtering 变成 P2 上的最小作用量问题。缺口不在概念类比，而在证明该类比产生的 value function 真正满足 DPP、HJB、比较原理和可近似性。
Core Idea
论文的核心思想是：不要把密度估计降维成若干 moment 或粒子状态后再套有限维 observer，而是直接在 Wasserstein 空间上定义 observer。具体来说，density path ρs 通过 continuity equation 演化，控制变量是速度场 v(s, x)，代价是初始分布惩罚 V0(ρ0)、transport kinetic energy 和 observation mismatch E(s, ρs) 的积分。当前时刻的估计不是某条轨道终点，而是 value function V(t, ·) 在 P2(Rd) 上的 minimizer。
这个思路引入的 inductive bias 是 Wasserstein 几何：允许 mass 以最小 transport effort 的方式变形，而不是在函数空间里做任意 L2 perturbation。它本质上重新组织了 filtering 的信息流：观测项只通过 measure functional 影响路径选择，动力学一致性通过 OT 动能约束实现。相比把 density 离散成高维向量再做 HJB，这种建模更 coordinate-free，也更适合 mean-field limit；但它的可计算性并没有自动更好。
Method
第一，value function 的定义解决“observer 在 P2 上是什么”的问题。V(t, ρ) 固定 terminal measure ρ，向前追溯所有 admissible density paths 的最小累计代价；这样 argminρ V(t, ρ) 就成为 Mortensen estimator 的测度版。核心变化是从 point estimate 变为 distribution estimate。
第二，Bellman principle 和连续性结果解决“这个变分对象能否作为 HJB 解”的问题。动态规划依赖曲线拼接；连续性依赖 Wasserstein geodesic 补尾、时间重参数化、观测项的增长控制和下半连续性。这里的技术不是装饰，而是保证后续黏性解定义有意义。
第三，minimizer 存在性解决“observer 是否真的存在”的问题。作者利用 AC2(P2) 的紧性和动能下半连续性，从 minimizing sequence 中抽取极限曲线。额外的 coercivity-like 条件 V0(μ) ≥ L W2(μ, ν)^2 用来防止质量逃向无穷远。
第四，黏性解部分分成 intrinsic geometric 与 Hilbertian 两条线。前者在 Wasserstein subdifferential 中表达 HJB，几何上自然；后者借 Lions lifting / Bertucci-style framework 获得比较原理。这个双轨设计很必要，因为单纯 intrinsic notion 不足以给 uniqueness。
第五，带 drift 的扩展把 continuity equation 从 ∂tρ+div(ρv)=0 推到 ∂tρ+div(ρb)+div(ρv)=0，对应 HJB 中多出 ⟨b, ∇μV⟩ 项。这一步说明框架不是只处理 b=0 的静态 reference model，但仍要求 b Lipschitz。
第六，semi-Lagrangian scheme 把连续时间问题离散成 prediction-correction 结构：先用观测更新 value，再通过 Wasserstein proximal-like step 传播动力学。Γ-convergence 说明离散 value function 在变分意义上逼近连续 value function，但没有给出高效求解器。
Key Insight / Why It Works
真正有效的原因是 Mortensen observer 与 Benamou–Brenier OT 在能量结构上同构：有限维中控制能量是 ∫|v|²dt，测度空间中最自然的控制能量就是 ∫∫|v(t,x)|²dρtdt。这使得 HJB 的 Hamiltonian 自动变成 1/2||∇μV||²L2(μ)，不是人为设计。论文最核心的贡献就是识别并严肃地证明了这个结构在 filtering 语境下可用。
最实质的技术贡献不是 Bellman principle 本身，而是把 terminal-constrained filtering value function 放进 Wasserstein viscosity solution 框架，并补齐 comparison / uniqueness 所需的 Hilbertian formulation。intrinsic subdifferential 部分更多是几何解释和桥接 GNT/HK 传统；Hilbertian comparison 才是 well-posedness 的关键。
semi-Lagrangian scheme 是合理但偏辅助的贡献。它表明该 HJB 可以按 prediction-correction 方式离散，概念上接近 Kalman filter / Mortensen discretization；但 Γ-convergence 只是变分一致性，不等于可扩展算法。这里的“numerical scheme”目前更像 theoretical consistency result，而不是 engineering-ready solver。
这篇论文的增益不来自 scaling、data、retrieval、benchmark，也不是隐式监督；它完全是 better inductive bias + geometric reformulation。若未来实际性能提升，最可能来自 Wasserstein geometry 对 density deformation 的正确归纳偏置，而不是本文已经展示的数值能力。文中未充分说明在高维 P2 上如何避免计算瓶颈，因此不能把它解读成 scalable filtering algorithm。
Relation To Prior Work
最接近的谱系有三条：Mortensen minimum-energy filtering、Wasserstein-space HJB / optimal transport control、mean-field control / probability-law uncertainty。论文的本质创新是把这三条线组织成一个 observer theory，而不是单独推进某个技术环节。
相对 Mortensen / Kalman-Bucy 路线，区别在于状态空间从 Rd 变为 P2(Rd)，模型误差从 additive perturbation 变成 density velocity field，估计对象从 point trajectory 变成 probability measure。这个变化不是简单升维，而是换了几何：Euclidean kinetic cost 被 Wasserstein kinetic cost 替代。
相对 GNT08/HK15 这类 Wasserstein HJB 工作，本文的问题形式很接近，但语义和若干技术设置不同：source term 是 positive observation mismatch，可显式 time-dependent，并且目标是 filtering/observer。严格说，HJB 理论的许多工具不是全新发明，而是对既有 Wasserstein viscosity machinery 的重新组合和适配。
相对 Lions lifting / Bertucci / Gangbo-Tudorascu 方向，本文的 Hilbertian comparison 主要是引入成熟工具来保证唯一性。实质新增信息在于这些工具可以支撑 Mortensen-type measure observer；不是提出了一个全新的 viscosity theory。
第 6 节与经典有限维 HJB 的连接很重要：若 finite-dimensional value V(t,x) 足够好，则 ∫V(t,x)dμ 给出 measure-level value function。这说明本文框架确实包含随机初始条件下的 classical Mortensen，而不是一个脱离有限维理论的平行构造。但这也暴露出一个问题：在线性积分型观测下，measure version 可能只是 finite-dimensional value 的线性 lift，新增能力主要来自更一般的 law-level E。
Dataset / Evaluation
没有 dataset、benchmark、真实系统或数值实验。evaluation 完全是数学证明。论文验证的是框架的内部一致性：value function 存在、连续、满足 HJB、具有比较原理、离散 scheme Γ-converges。
这足以支持“该 Wasserstein-Mortensen formulation 是一个 well-posed theoretical framework”。但它没有验证实际 filtering accuracy、robustness、sample efficiency、high-dimensional scalability 或与 Kalman/particle/variational data assimilation 的性能差异。若把论文 claim 理解为 observer design theory，证据是充分的；若理解为可部署滤波方法，证据明显不足。
特别是 semi-Lagrangian scheme 没有伴随实验或复杂度分析，因此不能证明它在 P2(Rd) 上可计算。Γ-convergence 也不说明有限 n 下误差、收敛率或优化 landscape。benchmark 层面的增益来源不存在，实际部署鸿沟文中未充分说明。
Limitation
第一，假设较强。观测项 E 需要连续、弱下半连续、增长受控；比较原理进一步要求 Lipschitz。许多真实 observation functional，尤其来自有限样本、非光滑传感器、threshold/missing observation 或 empirical distribution 的情形，不一定满足这些条件。
第二，observer 的定义可能非唯一。argmin V(t, ·) 在 P2 上可能包含大量测度；第 6 节已经显示如果 finite-dimensional value 有多个 minimizer，则任意支撑在这些 minimizer 上的测度都可成为 minimizer。这不是小技术问题，而是估计语义问题：框架给出了 admissible estimator set，却没有内生选择原则。
第三，可计算性基本未解决。semi-Lagrangian discretization 仍要求在 P2 上反复求 Wasserstein proximal-type minimization；在高维和复杂观测下，这可能比原问题还难。论文把计算问题转移到了 OT optimization / measure discretization 上。
第四，带 drift 扩展仍依赖 Lipschitz、可逆流等相对良性的 transport dynamics。对扩散、耗散、collision operator、非局部相互作用、边界条件或随机动力学的处理都不在本文能力范围内。未来应用到 kinetic / collective dynamics 仍需额外结构。
第五，泛化能力是理论建模层面的，不是 empirical generalization。没有数据覆盖、benchmark overlap 或隐式记忆问题；但也没有证据说明这种 Wasserstein observer 在真实观测噪声下更稳。所谓 generalization 目前主要是数学框架的表达能力。
Takeaway
- 最值得记住的第一点：Mortensen observer 的 minimum-energy principle 与 Wasserstein 动态 OT 的 kinetic formulation 是天然兼容的；这是把 deterministic filtering 推到 measure-valued state 的正确几何入口。
- 第二点：在 P2 上做 observer theory，核心瓶颈不是写出 HJB，而是选择合适的 viscosity notion 并获得 comparison。
- intrinsic geometry 给解释，Hilbertian lifting 给 well-posedness。
- 第三点：law-level observation functional E 是这条路线真正可能超越 classical Mortensen 的地方。
一句话总结
这篇论文把 Mortensen minimum-energy filtering 以 Wasserstein 几何重写成 P2(Rd) 上的 HJB/optimal-transport observer theory，真正贡献是建立 measure-valued deterministic filtering 的 well-posedness 框架，而不是提出一个已经可扩展部署的滤波算法。