精读笔记

Problem Setting

A Stochastic Maximum Principle for Partially Observed Jump-Diffusion Systems with Counting-Process Observations（arXiv preprint / 2026-06-10）研究的是一个部分观测随机控制问题：潜在状态 X 是受控 jump-diffusion，控制只能依赖观测 filtration，而观测 Y 是多维 counting process，其强度 λ_k(X,t) 显式依赖潜在状态。

真正困难点不是“有 jump”本身。fully observed jump-diffusion SMP 已经成熟；Brownian partial observation SMP 也有成熟 innovation machinery。难点在于 observation jump 同时是噪声和信息：Y_k 的跳发生概率依赖 X，所以每个事件到达都会更新对 latent state 的 belief。这样一来，变分分析不仅要处理状态跳，还要处理观测似然比的跳；控制虽然不直接进入 λ_k，但通过 X 的扰动间接改变观测 likelihood。

以前方法卡住的位置在于观测结构。扩散观测下可以依靠连续 innovation；观测跳但强度不依赖状态时，jump channel 不携带真正的 latent-state 信息。本文处理的是更难的情形：state-dependent counting intensity 使滤波本质非线性、非高斯，并且必须进入 SMP 的一阶变分。

Motivation

论文的核心动机是：很多事件驱动系统里的观测不是连续信号，而是 arrival pattern。金融 tick-level price / trade arrivals、queueing event streams、sensor event logs 都属于这种结构。如果只用 Brownian observation 建模，会把信息到达机制错配成连续噪声；如果用 counting process 但强度不依赖 latent state，则又丢掉了事件本身携带的信息。

作者的关键观察是：state-dependent counting intensity 的本质是 likelihood ratio dynamics，而不是普通 observation equation。每个观测跳都会产生类似 (λ_k(X(t-),t-)-1)d(Y_k(t)-t) 的似然更新项。因此部分观测控制要想做 SMP，必须把这个 likelihood-ratio jump 放进状态扩展和变分分析里。

缺口很明确：已有 SMP 文献没有系统给出“受控 jump-diffusion + 状态依赖 counting observation + 观测 filtration 控制”的必要最优性条件。本文补的是这个理论拼图，而不是提出一个新的数值控制算法。

Core Idea

核心思想是换测度并增广状态。原测度 P 下，Y 的强度依赖 X，控制者只看到 Y；这直接做变分很麻烦。作者引入参考测度 Q，使 Y_1,...,Y_n 在 Q 下变成与 X 独立的 unit Poisson processes。所有关于 X 如何影响观测的东西都被转移到 Radon–Nikodym derivative M=dP/dQ 中，M 满足由 compensated counting martingales 驱动的跳 SDE。

这个操作改变了问题的信息组织方式：原来的“部分观测 + 状态依赖观测噪声”被改写成“完全噪声结构下的增强状态 (X,M) 控制问题 + 控制仍需 F^Y-predictable”。因此 SMP 可以在 Q 下对 (X,M) 做普通变分，再通过对 Hamiltonian 的条件期望恢复 partial-information constraint。

和 prior 的本质区别不是多了一个 jump term，而是 counting observation 的状态依赖性通过 likelihood ratio 成为可变分状态变量。这个建模方式给出了正确的 inductive bias：观测信息不是连续 innovation，而是离散事件 arrival 对 posterior 的非线性重加权。

Method

1. Reference measure：解决观测强度依赖 X 导致 Y 与 X 耦合的问题。在 Q 下，Y 是独立 unit Poisson，X 保持原 law；代价函数变成 E_Q[M_T Φ(X_T)+∫M_t f dt]。核心变化是把不可直接处理的 observation likelihood 变成状态 M。

2. 增强状态变分：对 u+εv 做一阶展开。X 的线性化含 b_x,b_u,σ_x,σ_u,η_x,η_u；M 的线性化含两类项：(λ_k-1)M^l 和 λ'_k M X^l。这后一项是本文最关键的新增结构，表示状态扰动如何通过 intensity 改变观测似然。

3. 双伴随 BSDE：α 对应 X，γ/\barγ 对应 M。通过 Itô product formula，X^l 与 M^l 的项被伴随方程抵消，最后只剩控制变分 v 乘以 ∂_uH。由于 v 只能是 F^Y-predictable，最优性条件自然变为 E_Q[∂_uH | F^Y_t]=0，而不是 pointwise ∂_uH=0。

4. LQ 应用：对金融执行问题，作者构造 α=M(PX+Q)，并用 Kallianpur–Striebel 将 E_Q[α|F^Y]/E_Q[M|F^Y] 化为 P·E_P[X|F^Y]+Q。最终控制依赖 nonlinear filter mean。需要注意的是 P,Q 通过 full-information Riccati 得到，这一步是 operational construction，不是完整求解原 coupled FBSDE。

Key Insight / Why It Works

最重要的 insight 是：部分观测 SMP 的难点可以通过 likelihood-ratio state 局部化。对 counting observations 而言，filtering 的非线性不是附属模块，而是一阶最优性的一部分；M 的变分项 λ'_k M X^l 正是信息结构进入控制最优性的通道。

方法成立的原因有两个。第一，换测度后 Y 的补偿过程固定为 d(Y_k-t)，使 martingale representation 和 Itô duality 可控；否则观测强度随 X 变动会让变分和条件信息纠缠。第二，partial-information constraint 最终只需要投影到 F^Y_t 上，因此 full-information Hamiltonian gradient 经条件期望后就是可实施的一阶条件。

最可能的核心理论贡献是 Theorem 10 的 conditional Hamiltonian stationarity，尤其是把 state-dependent counting likelihood 纳入增强状态和伴随系统。moment estimates、BDG/Kunita/Gronwall 技术是必要但标准的支撑。

LQ 部分的核心有效性更多来自 representation alignment：控制只需要 conditional mean，而 particle filter 能更准确表示非高斯 posterior，从而比 Gaussian projection / jump-blind approximation 更好。这里不是 scaling，也不是 retrieval，也不是 test-time compute 意义上的 planning；增益主要来自 better latent-state filtering inductive bias。控制律本身的 Riccati 部分基本是经典 LQ 结构，新的性能差异主要由滤波质量驱动。

需要直接指出：文中 LQ 的闭式反馈并不等于证明了原部分观测问题的全局最优。作者用 full-information Riccati gain，再验证 conditional stationarity；这只能说明满足必要条件。若 claim 被理解为完整最优解，则文中未充分说明。

Relation To Prior Work

这篇属于 stochastic maximum principle for partial observation 的谱系，同时接上 point-process filtering / micromovement models。和 Tang、Xiao、Wang-Wu-Xiong 等工作的关系是：它沿用 partial-information SMP 的 conditional stationarity 逻辑，但把 observation 从 Brownian / weak jump observation 换成 state-dependent counting process。

和 fully observed jump-diffusion SMP 相比，本文新增的信息不是状态 jump，而是 observation jump 的 likelihood-ratio dynamics。和 Zheng-Shi 一类含 jump observation 的 SMP 相比，本质差异在于 λ_k 依赖 X，因此观测跳携带状态信息；如果 λ 与 X 无关，likelihood-ratio 结构不会产生同样的 nonlinear filtering coupling。

从 filtering 文献看，Zeng / Xiong-Zeng 已经有 counting-process filtering 和 particle approximation；本文不是发明滤波，而是把该滤波结构嵌入最优控制 SMP。数值部分的 particle filter 基本是已有思想的工程使用。实质创新在理论连接：state-dependent point-process observation → likelihood-ratio augmented control → conditional Hamiltonian stationarity。

Dataset / Evaluation

评估完全是模拟，不是经验交易 backtest。实验任务是一个 LQ financial execution toy/controlled setting：latent efficient price 有 mean reversion、diffusion 和 compound Poisson jumps，观测是离散 price-level counting process。它覆盖了论文核心机制所需的场景：非高斯 state jumps + nonlinear counting observation + partial-information feedback。

实验能支持的 claim 是有限但对位的：particle-filter implementation 能比 Gaussian projection 和 jump-blind filter 更好估计 latent state；在相同 Riccati feedback 下，滤波提升可带来闭环 cost 改善；在粒子数和部分参数 misspecification 下实现可行。

但 evaluation 没有证明理论最优性，也没有验证真实市场 deployment。benchmark 主要是模型内模拟，p_ctrl 多数与 p_true 匹配；即便有 misspecification，也只是单参数扰动。所谓接近 full-information oracle 是在非常受控的生成模型中成立。增益来源相当清楚地指向滤波 approximation，而不是 SMP 本身在复杂环境中的泛化能力。

Limitation

1. 只有必要条件，没有充分最优性。Theorem 10 是 local first-order stationarity；对于非凸或复杂 partial-information control，它不能排除其他 stationary controls。

2. LQ 闭式解存在概念缝隙。P,Q 来自 auxiliary full-information Riccati，而完整 adjoint 方程中有 ∑γ_k λ'_k 的耦合项。作者绕开显式求 γ_k，并验证 ∂uH 条件期望为零。这在 operational 上合理，但严格意义上不是完整解耦原 FBSDE。文中未充分说明何种条件下该 candidate 是唯一或全局最优。

3. 假设较强。λ_k 需要统一上下界，p_k 有正下界，强度光滑；这排除了 inactive periods、稀疏事件通道、hard zero likelihood 等实际点过程常见情形。控制还假设处于 U interior，避免了边界最优和投影条件。

4. 可扩展性上限在滤波。理论说多维可推广，但 particle filter 在多资产、多 latent factor、复杂 Hawkes/self-exciting observation 下会迅速退化。当前实验的 sub-ms latency 不应外推到高维真实系统。

5. 数值增益归因不应夸大。改进主要来自 particle filter 对非高斯 posterior 的表达，而不是新的控制律本身。若观测模型错配严重、posterior 多峰或控制影响 order-flow intensity，当前结论可能明显变弱。

Takeaway

• 1. 对 state-dependent counting observations，正确的控制理论对象不是原始观测方程，而是 likelihood-ratio augmented state；这是可迁移到其他 event-driven partial observation control 的核心 insight。
• 2. partial-information SMP 的自然形式是 Hamiltonian gradient 的 observation-filtration projection。
• 这个投影观点比试图写一个“可观测状态上的普通 SMP”更稳健。
• 3. 在 LQ-like 问题中，Riccati gain 可以保持经典结构，而复杂性集中到 nonlinear filter；这给了一个实用分工：控制器保持低维，滤波器承载非高斯信息结构。

一句话总结

这篇论文把 state-dependent counting-process observation 的 likelihood-ratio 结构系统嵌入部分观测 jump-diffusion SMP，理论贡献在 conditional Hamiltonian stationarity，应用增益则主要来自非高斯点过程滤波与经典 Riccati 控制的结合。