精读笔记

Problem Setting

这篇论文实际解决的是 pretrained flow matching 的 post-training adaptation：已有 base vector field u_t 能把噪声推到数据分布，但下游任务希望生成 p_t(x) 被某个条件、能量、奖励或观测约束重加权后的分布。问题不是“能不能加 guidance”，而是加完以后 guided ODE 是否仍然是一个可控、稳定、不会把轨迹推坏的动力系统。

真正困难点在于两个目标天然张力很大：一方面 guidance 要改变概率路径，满足类似 continuity equation 的分布传输约束；另一方面它又要在 trajectory level 上稳定，避免震荡、过冲、偏离 high-density basin。已有 classifier / reward / EBM / inverse-problem guidance 往往只定义了一个局部方向或能量梯度，缺少对整个 guided flow 稳定性的显式约束。论文的关键矛盾就是：distribution-level correctness 和 trajectory-level stability 如何同时处理。

Motivation

已有路线不够的地方在于它们大多把 guidance 当作 density reweighting 或 score correction：知道目标偏好是什么，但不保证沿 ODE 采样过程的轨迹行为良好。尤其在 flow matching 里，采样是 deterministic dynamics，guidance field 的局部错误会直接累积成路径偏移，而不像随机扩散那样有噪声和多步去噪机制缓冲。

作者的核心观察是，不同 guidance 形式虽然来自 classifier、reward、energy 或 measurement consistency，但本质上都在引入一个偏好 potential，并希望轨迹向低能量或高偏好区域收缩。这和 control theory 中用 Lyapunov function 设计 stabilizing controller 是同构的。关键缺口不是缺新的 conditioner，而是缺一个能把已有 conditioner 转成稳定控制输入的统一机制。

Core Idea

论文真正的核心是把 guided flow matching 重写成 Lyapunov control：能量/负奖励/负 log-likelihood 被看成 Lyapunov function V，guidance c_t 被看成控制输入，guided dynamics u_t+c_t 需要满足 ∇V·(u_t+c_t)+δV≤0。这样 guidance 的目标从“沿能量梯度推一下”变成“保证 potential 沿轨迹单调下降并带有收缩率”。

这改变了建模方式：prior work 多在 density 或 score 层面写 guidance，而 LyaGuide 在 dynamics/certificate 层面约束 guidance。它引入的 inductive bias 是局部 basin contraction，尤其适合那些已有 guidance direction 大致正确但轨迹不稳定的场景。理论上它可能有效，是因为 projection 只动 ∇V 方向的 normal component，最直接地消除违反 Lyapunov 下降的分量；直觉上，这会减少沿等势面乱跑、过冲和漂移，使采样更快进入 task-preferred region。

和 prior 的本质区别不是使用能量函数，能量 guidance 早就存在；区别是把能量函数提升为 certificate，并用 closed-form projection 在 test time enforce 一个稳定性条件。

Method

方法的关键机制可以压缩成三件事。

第一，作者从重加权路径 p'_t(x)=Z_t^{-1}p_t(x)e^{-J(x)} 推导出 guidance 必须满足的 weighted divergence equation。这部分回答的是“什么样的 c_t 才真的生成目标条件路径”。它的重要性在于把 guidance correctness 从直觉梯度项提升为 PDE 约束。

第二，作者把 J 或其平移/缩放版本视为 Lyapunov function V，并要求 guided field 满足局部 Lyapunov 下降。这个条件解决的是“即使 guidance 指向目标，轨迹是否稳定”。多模态情形下他们强调 local minima / basin-level stability，而不是把所有样本塌缩到单个全局极小值。

第三，pseudo-projection 是实际可用的核心：给任意候选 c_t，若 ∇V·(u_t+c_t)+δV>0，就减去该违反量在 ∇V 方向上的投影。它解决的是高维中 exact projection 或从 Lyapunov control 反推 distribution-compatible guidance 太贵的问题。核心变化是把任意 heuristic/learned guidance 包装成满足 Lyapunov inequality 的 guidance。

Scenario 2 的 learned V 是扩展使用场景的补充：当没有显式 potential 时，用少量 score/preference pairs 学 V。它有意义，但不是论文最强的部分；因为学到的 V 是否真是可用 certificate，文中未充分说明。

Key Insight / Why It Works

最可能真正起作用的是 pseudo-projection 带来的 normal-direction contraction。很多 guidance failure 并不是完全方向错，而是候选 guidance 中存在会增加 task energy 的分量，或者 base flow 的 u_t 与 guidance 叠加后在局部把样本推出低能区域。projection 把这部分违反 Lyapunov 下降的 normal component 去掉，因此可以稳定已有 guidance，而不需要重新学习 base model。

这更像 better inductive bias + test-time compute，而不是 scaling。它没有增加数据覆盖，也没有更强生成模型；增益来自在采样 ODE 上注入一个 control-theoretic constraint。对 synthetic 和 inverse problem，机制解释比较清楚：V 的几何结构已知或近似可靠，projection 会把轨迹压向 constraint-consistent / low-energy basin。对 RL planning，增益更可能是 reward landscape 上的 trajectory optimization regularization，而不是模型学会了更强长期推理。

核心贡献是 closed-form Lyapunov correction，而不是“统一 classifier/reward/EBM guidance”这个叙事本身；后者更多是已有能量重加权观点的重新组织。Theorem 2 的 equivalence 有启发性，但实际算法并没有保证 projection 后仍满足 weighted divergence equation。作者在结论中也承认这一点，所以严格地说，LyaGuide 保证的是 stability，不是完整的 guided distribution correctness。

辅助部分包括 AS/ES/CS variants、few-shot V learning 和跨任务包装。它们增加覆盖面，但增益归因不完全清晰。尤其 CS 在一些表格里更强，可能只是更强 projection / contraction，而不是更深理论优势。过强 contraction 会减少 exploration，这一点从 δ ablation 和 boundary effect 已经能看出来。

Relation To Prior Work

最接近的路线有三类：flow matching guidance 的 vector-field correction、diffusion/flow 中的 energy/reward/classifier guidance、以及 neural Lyapunov / certificate-based control。LyaGuide 属于这三者的交叉：它不是新生成模型，也不是新 conditioner，而是给 guidance field 加 certificate-style stabilization。

和 On the Guidance of Flow Matching 这类工作相比，LyaGuide 的新增信息是把 guidance field 的可接受性拆成 distribution compatibility 和 Lyapunov stability，并提供一个可插拔的稳定化算子。和 classifier/reward/EBM guidance 相比，它没有改变目标分布的写法，真正新增的是对采样动力学的约束。和 classical Lyapunov control 相比，它没有求解完整 controller synthesis，而是用 pointwise pseudo-projection 做高维近似，这也是它能落到生成模型里的原因。

看似新的“统一框架”部分，本质上是把 energy-based conditional sampling 与 control Lyapunov function 的语言对齐；这个 conceptual unification 有价值，但不是完全新数学对象。实质创新在于将 Lyapunov inequality 变成一个 closed-form post-hoc correction，可直接套到已有 guidance 上。

Dataset / Evaluation

评估覆盖面比较广：2D synthetic、image inverse problems、D4RL planning、EBM two-moons。它确实测试了方法作为 plug-in correction 的泛用性，尤其 synthetic 可视化能较直接验证 trajectory stabilization；inverse problem 说明在高维图像上至少可以运行；RL 和 EBM 展示框架叙事的外延。

但这些实验更支持“projection 是有用 regularizer”，不完全支持“统一理论保证 guided sampling 正确”。因为关键理论张力是 Lyapunov stability 与 weighted divergence constraint 是否同时满足，而实验没有直接验证 divergence/path correctness。图像任务中，一些 ES 改善很小甚至退化，CS 更稳定，说明实际收益可能依赖 projection 强度和任务几何。RL benchmark 是 offline normalized score，不能证明真实部署中的 long-horizon robustness；planner 是否形成更好的长期状态建模也没有证据。

没有真实世界闭环控制、真机或高风险约束场景；因此“stability guarantee”更多是数学条件下的采样轨迹保证，不应外推为 deployment safety。

Limitation

最大限制是 potential V。LyaGuide 的稳定性只相对于 V 成立；如果 V 不表达真实任务偏好，方法会稳定地走向错误区域。对 classifier guidance，V 继承 classifier calibration 问题；对 reward guidance，V 继承 reward hacking 和 sparse reward 问题；对 inverse problem，V 只表达 measurement consistency，不保证 perceptual correctness；对 learned V，few-shot supervision 下的泛化风险更大。

第二个关键限制是 pseudo-projection 不保持 weighted continuity equation。它是点态 vector-field 修改，只保证 Lyapunov inequality，不约束 ∇·(p'_t c_t)。因此从严格概率传输角度看，它可能把一个 distribution-compatible guidance 改成不再精确生成目标路径的 guidance。论文承认这是 open problem，所以“equivalence + projection”之间存在实际落差。

第三，local Lyapunov stability 与多模态生成存在天然冲突。局部收缩有助于稳定，但过强会造成 mode bias、boundary accumulation 或 diversity loss。δ 的选择本质上是在 fidelity / contraction / exploration 之间调参，并没有自适应机制。

第四，Scenario 2 可能把问题转移为 learning a good certificate。少量 data-score pairs 学一个高维 V，很可能依赖 benchmark 简单几何或数据覆盖；真实复杂任务中，所谓泛化可能主要来自数据覆盖，而不是 Lyapunov 机制本身。文中未充分说明 V 的 regularity、curvature、calibration 如何验证。

Takeaway

• 1. 最值得迁移的 insight 是：post-training guidance 不只应看目标 density，还应显式约束采样动力学；test-time vector-field correction 可以用 control certificate 组织。
• 2. LyaGuide 真正推动的是把 energy/reward/classifier guidance 从 heuristic gradient push 变成 stability-constrained control input。
• 这个方向以后可能会发展成“distribution constraint + dynamical certificate”共同设计，而不是单纯调 guidance scale。
• 3. 最有价值的未来问题不是再堆 benchmark，而是设计同时保持 weighted divergence 和 Lyapunov decrease 的 correction；这才会把当前的稳定 regularizer 变成更严格的 guided sampler。

一句话总结

LyaGuide 是一类把 flow guidance 从经验能量修正推进到 Lyapunov-stabilized test-time control 的方法，实质贡献是可插拔的闭式稳定化 projection，但其严格分布正确性仍受 weighted divergence 约束未保持这一缺口限制。