精读笔记

Problem Setting

论文实际解决的是：对 X(t)=x+Bt+W(t) 做最优停止，其中 B∈{−1,1} 未观测，终端成本 k(X_τ) 关于原点对称且随距离增加，等待有线性成本 cτ。这里的隐藏变量不是要被分类或估计的对象，而是动态 law 的结构参数；这使它区别于 sequential testing / quickest detection。

真正困难是 filtering 后问题并没有变成标准的一维 stopping。虽然 posterior drift 只依赖 displacement Y=X−x，但 payoff 是 k(x+Y_τ)，所以原始初始位置 x 以参数形式残留在 obstacle 中。直接在 V(x)=U(x,0) 上做自由边界分析会把动态变量和参数依赖混在一起，边界结构不透明。

关键矛盾是：等待可以通过观测 Y 学习 B，从而改变未来漂移判断；但等待也积累成本，并且终端损失只看当前位置离 0 的距离。换言之，learning 有价值，但 learning 本身没有 terminal reward；它只通过改变 hitting probabilities 和 expected terminal position 间接作用于 stopping。

Motivation

已有路线不够的地方在于，它们通常把 posterior 当作动态 state 来处理，因为隐藏变量直接进入终端 loss；这类问题的几何中心是 belief threshold。而本文的问题中 posterior 只是漂移系数，目标仍是 state-cost minimization，belief 本身没有决策语义。

作者的核心观察是：Bernoulli drift 的 posterior mean 可以写成 displacement 的显式函数 G(Y)，因此过滤后动态不再依赖原始 x；x 只出现在终端成本 k(x+y)。这给了一个机会：不把 x 当作动态状态，而把它当作 foliation parameter。

关键缺口是缺少对“结构性隐藏参数 + state terminal cost”的显式 stopping geometry。金融部分信息 stopping 有相似味道，但多依赖折现 GBM 和特定 payoff；本文想要的是更接近 diffusion/variational inequality 的几何 building block。

Core Idea

核心思想是把原始一维问题提升为二维 state-parameter family U(x,y)，但这个二维不是传统意义上的二维 Markov diffusion：只有 y 动，x 不动。这个 distinction 很重要。它避免了把问题误读为“加入 posterior state”，实际是把原始初始位置从水平切片变量变成竖直截面的参数。

对固定 x，continuation 区域由 y 上的一维 obstacle problem 决定。Bernoulli filter 的特殊形式让 continuation ODE 有显式基函数 G 和 1，smooth fit 被压缩成 Φ_x(a)=Φ_x(b) 的 level condition；再用 signed dG-area balance 保证 value matching。于是自由边界不是通过全局 PDE 解出来，而是通过一个几何“单谷 + 面积平衡”机制选出来。

和 prior 的本质区别：很多 partial-observation stopping 是在 belief space 上找 threshold；本文是在 displacement space 上找 stopping interval，并把 x-parameter 的变化 glue 成 continuation strip。新意不在 filtering，而在把 filtered stopping 的参数依赖组织成可分析的二维几何对象。

Method

1. Filtering and centering：用 innovations process 得到 dY=G(Y)dt+dN。它解决的是 partial observation；必要性在于把不可观测 B 从 admissible filtration 中消掉。核心变化是 posterior drift 只依赖 displacement，而不是依赖完整历史。

2. Markovian embedding U(x,y)：允许 Y 从任意 y 开始，x 只作为终端成本参数。它解决的是原始 V(x)=U(x,0) 难以直接分析的问题；必要性在于把水平切片问题转化为竖直截面族。核心变化是把一维问题的隐含参数显式化。

3. Φ_x geometry：在 continuation interval 内，ODE 解为 A G+B−cyG；smooth fit 把 A 表示成 Φ_x(y)。它解决的是 free-boundary matching 的参数选择问题；必要性在于避免直接求 obstacle PDE。核心变化是把边界条件变成单变量函数的 level matching。

4. Balancing condition：在 one-valley regime 下，用 J_x(q)=∫_{a_x(q)}^{b_x(q)}(Φ_x−q)dG=0 唯一选择 q_x。它解决的是仅 smooth fit 不足以确定两个端点的问题；必要性在于同时满足两端 value matching。核心变化是把自由边界系统转化为 signed-area cancellation。

5. Gluing and slicing：将固定 x 的 intervals (a(x),b(x)) glue 成二维 continuation strip，再沿 y=0 得到原始 continuation set。它解决的是从 auxiliary problem 回到原问题的问题；必要性在于原始 threshold 取决于水平线是否穿过 strip。核心变化是把原始 stopping rule 看成二维几何对象的切片。

Key Insight / Why It Works

最核心的有效原因是 Bernoulli filter 的代数闭合性。G 不只是 posterior mean；它同时是 scale function，并满足 G^2+G'=1、G''+2GG'=0。这使 continuation ODE 的通解极其简单，也让 smooth fit 与 Φ_x 的导数符号直接连接到 obstacle inequality：Φ'_x 的符号等价于 Lk_x+c 的符号。没有这个结构，后面的半显式自由边界基本不成立。

第二个关键 insight 是：continuation region 的存在来自 Φ_x 的下降区间。直观上，当 Lk_x+c<0 时，立即停止违反 variational inequality，短暂等待能改善成本；这正是 Lemma 4.5 的局部机制。one-valley 假设保证这种“等待有利”的区域只产生一个 continuation interval，而不是多段结构。

第三个 insight 是 balancing condition 的几何含义。smooth fit 只规定同一 level q，但 value matching 要求 obstacle 与 continuation solution 的 gap 在右端回到 0；这等价于 Φ_x−q 在 dG 测度下的正负面积抵消。这个 signed-area view 是本文最可迁移的技术点：它把自由边界从微分方程问题转成 level-set selection 问题。

哪些可能只是辅助：二维 free-boundary ODE、regularity、asymptotic formulas 很有价值，但更像主机制的展开；真正的贡献不是 ODE 本身，而是 lift-and-slice 后 ODE 变得可写。A2/A3 是工程化的 sufficient conditions，用来保证单区间、单调性和 threshold；它们不是问题本质，文中也承认不 sharp。

这不是 scaling、retrieval、data coverage 或 test-time compute 类型的贡献；它是更好的 latent/parameter structure alignment。方法把 hidden drift learning 与 terminal-cost geometry 对齐，使原本混合在 V(x) 里的结构分离出来。增益来源很清楚：不是数值算法更强，而是建模坐标改变后暴露了可解结构。

Relation To Prior Work

它和 sequential testing / quickest detection 同属 partial-observation optimal stopping，但本质差异很大：那些问题的 posterior 是目标变量的 sufficient statistic，停止是为了判别/检测/估计；本文的 posterior 只改变 state dynamics，目标不含隐藏变量。这使 stopping boundary 不再是 belief threshold，而是 displacement-cost geometry。

它和金融中的 incomplete-information optimal liquidation / American option 更接近，因为隐藏 drift 影响等待价值而非被直接估计。但那些工作多是 GBM、折现、maximization、线性或 kink payoff；本文是 additive diffusion、undiscounted running cost、convex symmetric terminal cost minimization，导致自由边界机制不同。

从技术谱系看，它属于 filtering + variational inequality + one-dimensional diffusion free-boundary analysis。看似新的二维 state space，其实不是传统 belief-state augmentation；更准确说是 parameter foliation。这个点是实质创新：第二坐标不是动态 posterior，而是原始初始位置诱导的 terminal-cost parameter。

已有思想的重组包括：filtering reduction、smooth fit、scale function、obstacle verification、free-boundary ODE 都是经典工具。真正新增的信息是把这些工具组合成 lift-vertical-solve / glue / horizontal-slice 的几何流程，并识别 Φ_x 与 balancing functional 作为控制结构的核心对象。

Dataset / Evaluation

这篇是概率论/最优停止理论论文，没有 dataset、benchmark 或真实系统实验。Section 7 的 examples 是数值插图，用来展示不同 regime：continuation strip 为空或非空、birth at origin 或 delayed birth、diagonal contact 或 non-contact、水平切片为空或非空、A3 失效后的非单调边界、one-valley 失效后的多区间 continuation。

这些 evaluation 支持的是“理论结构能覆盖多种几何现象”，而不是算法性能 claim。图示没有承担证明角色，真正证据来自 theorem 和 verification。对于核心 claim——固定 x 的单区间解、二维 gluing、原始 threshold-type slicing——理论支撑充分；对于更广泛的 general prior / control-filtering-stopping 泛化，文中未充分说明，基本停留在 open problem 层面。

Limitation

第一，Bernoulli drift 是强结构假设。posterior drift 的显式 tanh 形式和恒等式是解法成立的根；一般 prior 下 posterior law 通常是动态状态，可能时间非齐次，当前半显式机制很可能崩掉。

第二，one-valley geometry 是核心瓶颈。即便 k smooth、strictly convex，也可能出现多个 Φ_x 下降区间和多段 continuation。论文的主定理覆盖的是结构良好的单区间 regime；多区间情形没有一般理论。

第三，A2/A3 是足够条件而非 sharp characterization。它们保证单区间、vertical expansion、threshold-type original continuation，但也排除了文中数值显示的有限区间 continuation 等现象。因此这些假设更像为了可解析性而加的 geometry regularizer。

第四，原始问题的 birth threshold 仍不够显式。二维 continuation section 的 birth 可由 D_yΦ<0 判定，但水平线 y=0 何时进入 strip 没有同等级别的解析公式。这说明 lift-and-slice 解决了结构描述，但没有完全消除原始 threshold 的复杂性。

第五，scalability 上限明确：方法依赖一维 diffusion、显式 filter、固定 cost geometry。它不是可直接扩展到高维 partially observed stopping 的通用算法；更像一个解析模板。所谓 generality 主要体现在若干 cost families，而非维度或 prior 的泛化。

Takeaway

• 1. 最值得记住的是 lift-and-slice：当过滤后 dynamics 与初始状态解耦、但 payoff 保留初始参数时，可以先解参数化竖直截面，再水平切回原问题。
• 这种视角可能迁移到其他 partial observation stopping / control 问题。
• 2. Φ_x 是本文的核心对象。
• 它把 variational inequality、smooth fit、continuation geometry 压缩到一个单变量函数的 shape；free boundary 的本质是 level selection，而不是直接解 PDE。

一句话总结

这篇论文把带未观测 Bernoulli 漂移的最优停止问题从 belief-threshold 叙事转成 state-parameter 几何问题，用 lift-and-slice 与 Φ_x balancing 给出了一个高度结构化但依赖强代数闭合性的可解析模板。