精读笔记

Problem Setting

这篇论文实际处理的是 out-of-span long-horizon planning：训练时只有短轨迹片段，测试时需要生成远长于训练 horizon 的可执行轨迹。难点不是局部 trajectory generation，而是如何让多个短程 conditional diffusion experts 在全局上选择同一个连贯 mode。

以前方法卡在 stitching：局部 chunk 各自 denoise，然后在 overlap 区域平均、覆盖或通过搜索修正。这类方法可以在简单场景工作，但在多模态长链上会把全局一致性问题退化成局部预测冲突的后处理。关键矛盾是：局部 denoiser 给的是条件分布下的预测，而全局 planner 需要的是一个可积、可共同优化的 trajectory density；直接拼均值并不等价于拼 score，更不等价于拼 distribution。

Motivation

作者真正抓住的缺口是 score composition 的数学不一致。CD/GSC 一类方法默认局部预测可以被 heuristic aggregation，但如果 local mean 依赖 boundary condition，那么 overlap 变量的更新必须包含 boundary 对内部预测的反向影响。忽略这个链式项后，得到的 stitched update 通常是 non-conservative field，不能写成任何 scalar log-density 的梯度。

这解释了为什么简单 stitching 在长 horizon、多模态任务中会 mode drift：每个 chunk 可以局部合理，但没有一个全局能量把它们约束到同一个 basin。CDGS 通过更多 test-time resampling 部分缓解这个问题，但那是 compute scaling，不是 composition rule 本身的修正。因此论文的动机不是“再加一个 refinement 模块”，而是重建一个数学上可积的组合机制。

Core Idea

ECD 的核心思想是反过来做 composition：不是先让每个 chunk 预测 trajectory 再拼接，而是先把每个 chunk denoiser 诱导出的 bridge potential 写成局部能量，再把这些能量相加成全局 scalar energy，最后用负梯度作为 denoising correction。这样得到的更新场天然 conservative，至少对应一个明确的 induced compatibility density。

这个建模方式引入了更强的 inductive bias：长轨迹不是若干 local means 的平均结果，而是多个 overlapping bridge constraints 的共同极小点。它重新组织的信息流是从“边界单向条件化内部”变成“内部 residual 也反向作用边界”。这使得 mode choice 可以沿 chunk 链传播：某个 chunk 内部对当前 boundary 不满意时，会通过 reaction term 推动 boundary 改变，进而影响邻接 chunk。相比靠 resampling 搜索一致 mode，这更像把一致性直接写进 score geometry。

Method

第一，local bridge energy 用当前 chunk selected coordinates 与 boundary-conditioned denoiser mean 的差来定义。它的作用不是替代 denoiser，而是把 denoiser 的条件预测变成可微的局部兼容性约束。

第二，global energy 是所有 local bridge energies 的和。这个加和很关键，因为 overlap 变量会同时出现在多个能量项中，从而自然形成 chunk consensus，而不是在采样后靠 blending 修补。

第三，梯度分解为 interior update 和 boundary reaction。interior update 是常规 residual pull，把局部状态拉向 denoiser mean；boundary reaction 是 J_O^T r，把内部不一致反馈到 conditioning boundary。后者是论文最重要的机制，因为它正是 heuristic stitching 缺失的 reciprocal derivative。

第四，为了避免每步对 neural denoiser 做 exact VJP，论文用 Markov surrogate 近似 boundary reaction，把它写成 block-tridiagonal linear solve。这个近似解决的是效率问题，不是概念核心；概念核心仍是 reaction message 是否足够接近真实边界敏感性。

Key Insight / Why It Works

最核心的 insight 是：长时域 stitching 失败并不只是因为局部预测噪声大，而是因为组合后的 vector field 没有对应的全局势函数。对 diffusion planner 来说，这不是小瑕疵；如果 update field 不可积，那么“沿 score 采样某个全局轨迹分布”的解释就崩了。ECD 的贡献是把 composition 从 heuristic mean aggregation 提升到 energy composition。

真正有效的部分大概率是 boundary reaction，而不是 bridge residual 本身。bridge residual 只是把点拉向 local denoiser mean，许多 stitching / inpainting 方法隐含已有类似行为；reaction term 则改变了 chunk 间信息传递方向，使 boundary 不再是外生条件，而是被内部 feasibility 约束共同优化的变量。

这不是典型 scaling，也不是 retrieval；它更像 better inductive bias + test-time structured inference。CDGS 的改进主要靠更多 resampling compute，ECD 则用一个更正确的几何结构减少对搜索的依赖。不过文中仍保留 CD proposal、candidate ranking、boundary blending 和 replanning，所以最终性能不是纯 energy sampler 的结果。可以说 ECD 修复了 CD 的一个结构性错误，但并没有完全摆脱 CD pipeline。

Markov approximation 更像 engineering bridge：它让 reaction term 可用，但不是理论上最干净的部分。实验显示 approximation 后期更准，这与低噪声时局部结构更清晰一致；但如果任务存在非局部约束或接触动力学，这个近似可能成为主要瓶颈。

Relation To Prior Work

最接近的是 CompDiffuser、GSC、CDGS 这条 compositional diffusion planning 路线。GSC/CD 依赖局部生成与 overlap stitching；CDGS 通过 guided search / resampling 增加 test-time compute 来找一致组合。ECD 的本质差异是它不把一致性当后处理或搜索目标，而是把一致性写成 additive energy，并用其梯度产生 correction。

从更大的谱系看，ECD 属于 energy-based compositional generation 与 diffusion planning 的交叉。把多个约束能量相加不是新思想，EBM composition 和 classifier guidance 里早已有；真正新增的是指出 trajectory stitching 中 dropped boundary Jacobian 会造成 non-conservative score，并把这个 reaction term 具体落到 overlapping diffusion chunks 上。

它看似是一个新 planner，但更准确地说是一个 inference-time composition rule。它不训练新的长期模型，也不学习显式层级规划结构；它利用已有 local denoiser 的 boundary sensitivity 来构造消息传递。因此实质创新在 score geometry / composition correctness，而不是 architecture 或数据构造。

Dataset / Evaluation

实验覆盖 PointMaze、AntMaze、HumanoidMaze、AntSoccer 等 OGBench stitching 场景，包含 2D 轨迹规划和更高维状态规划，能够检验长 horizon、多 chunk、多模态路径选择下的 stitching consistency。对论文核心 claim 来说，这些 benchmark 是相关的：它们确实会暴露 mode inconsistency 和 overlap failure，尤其 Giant 规模更能区分 heuristic stitching 与 structured correction。

但 evaluation 的外推边界很明显。任务基本仍是 simulated navigation / locomotion，物理复杂度和真实机器人 deployment 差距大；即便是高维 AntSoccer，也不等价于 contact-rich manipulation 或 partial observability 下的长期控制。实验支持“在 OGBench stitching 中，energy correction 比 heuristic stitching 更稳”，但不足以支持“通用长时域机器人规划”的强 claim。

另一个问题是 evaluation pipeline 包含 inverse dynamics、adaptive replanning、candidate ranking 和 boundary blending。它们都是实际系统的一部分，但会让 attribution 变复杂：ECD 生成的 plan 更可跟踪，还是 ranking/replanning 更容易从 ECD 候选中挑到好轨迹，文中没有完全拆开。

Limitation

第一，ECD 保证的是 induced bridge-energy model 的 conservative field，不是真实 long-horizon data distribution 的 score。可积性是必要条件，不是正确性的充分条件。如果 local bridge energy 本身不是好 surrogate，那么 conservative 也只是“错得一致”。

第二，方法依赖 local denoiser 的 boundary-conditioned prediction 质量。若训练片段没有覆盖关键连接模式，或者 boundary condition 外推严重，reaction term 可能把错误预测更强地传播到邻接 chunk，导致更早但错误的 mode commitment。

第三，高效性依赖 Markov approximation。导航任务的一阶局部结构较强，因此 block-tridiagonal solve 合理；但在接触、长程约束、多物体协作、任务逻辑约束中，boundary effect 可能不是局部 Markov 的，reaction message 会被系统性低估。

第四，chunking 仍是人为设计。overlap、stride、chunk number 会影响能量条件数和消息传播质量；论文没有真正解决 adaptive decomposition。过小 overlap 信息不足，过大 overlap 冗余且可能病态。

第五，所谓 long-horizon reasoning 需要谨慎理解。当前能力可能主要来自数据覆盖下的 local motion reuse、overlap consistency 和 replanning，而不是模型学到了长期因果结构或任务级推理。

Takeaway

• 第一，compositional diffusion planning 的核心问题不是“怎么拼轨迹”，而是“拼出来的 update 是否对应某个全局能量 / 分布”。
• non-conservative field 是一个很有迁移价值的诊断工具。
• 第二，boundary reaction 是这篇最值得带走的机制：任何把条件生成器组合起来的方法，只要条件变量也是待优化变量，就不能只用 forward prediction，必须考虑 residual 对 condition 的反向反馈。
• 第三，ECD 展示了一条比 brute-force test-time search 更优雅的路线：用结构化 energy correction 替代部分 resampling compute。

一句话总结

ECD 是 compositional diffusion planning 从 heuristic stitching 走向 energy-consistent inference 的一步，真正贡献是指出并补上 boundary reaction 这个缺失的 reciprocal message，而不是提出一个全新的长期规划范式。