精读笔记

Problem Setting

这篇论文实际处理的是 diffusion-based motion planning 中的 discretization dependence：模型训练在固定 waypoint 数 N 上，生成分布、网络结构、噪声过程和边界处理都隐式绑定这个 N。困难点不只是“换分辨率会报错”，而是 learned prior 本身不再代表连续轨迹分布；当需要更密集碰撞检查、更细控制或 coarse-to-fine planning 时，原模型没有一致的概率语义。

以前方法卡在两个地方：MPD/Diffuser 类方法把轨迹当作 token/waypoint 序列，强表达但固定维度；B-spline/control-point 方法有连续表示，但通常把生成对象换成低维参数，表达能力和边界/碰撞细节受限。关键矛盾是：motion planning 需要连续、可变分辨率、严格端点约束的轨迹对象，而主流 diffusion architecture 更擅长固定网格上的高维向量建模。

Motivation

已有路线不够的根本原因是 representation mismatch。轨迹在物理和几何上是函数，但学习器看到的是固定长度数组；因此所谓 trajectory distribution 实际是 discretized trajectory distribution。只靠插值、重采样或 spline fitting 无法解决这个 mismatch，因为 diffusion 的 noise schedule、score field 和 learned denoising dynamics 都已经在原离散维度里定义。

作者想到 function-space diffusion 是自然的：如果生成模型直接作用在函数空间，那么不同 resolution 只是同一个函数的不同 evaluation grid。关键缺口是，把 function-space diffusion 真正落到 motion planning 时，还必须处理三个机器人规划特有问题：端点约束、碰撞 guidance、以及适合平滑轨迹的合法 Gaussian noise。论文的动机不是让 planner 更强，而是让 learned planner 的概率对象变得分辨率无关。

Core Idea

FSD-MP 的核心思想是：不要学习 waypoint vector 的分布，而是学习满足端点条件的连续轨迹 residual 函数分布。forward diffusion 在谱域定义，按 mode 注入带 Matérn covariance 的噪声；reverse diffusion 用 neural operator 学习从 noisy function 到 noise function 的映射。这样，模型参数不对应某个固定长度的输入输出，而对应一个可在任意网格上评估的 operator。

本质区别在于建模单位变了。prior work 的 diffusion planner 学的是 R^{N×d} 上的 score field；FSD-MP 试图学的是 L2([0,1], R^d) 上的 score/operator，并用 DST basis 把端点边界条件编码进谱表示。直觉上它会更 scalable/generalizable，因为分辨率变化不再改变模型要表示的对象，只改变数值积分/采样网格。这个 inductive bias 非常强：它假设可行轨迹主要位于平滑、低频、边界兼容的函数族中，而这对很多几何路径规划 benchmark 是合理的。

Method

方法里真正必要的不是“用了 FNO”本身，而是几个机制对齐到同一个函数空间视角。

第一，spectral forward diffusion 解决的是无限维噪声定义问题。白噪声在 L2 中不是 trace-class，会导致样本不在目标函数空间内；Matérn-type covariance 让噪声能量有限，并自然偏向平滑扰动。这使 forward process 不只是把 DDPM 搬到更长序列上，而是有合法的 function-space Gaussian measure。

第二，zero-end residual 解决的是硬端点约束。直接 clamp endpoint 在函数空间中会破坏全局相关结构；把轨迹减去 start-goal 线性插值后学习零边界 residual，则端点约束由表示保证。FiLM conditioning 的作用是承认 residual distribution 仍依赖 start/goal，否则投影会丢掉决定路径形态的全局条件。

第三，DST-FNO 解决的是 boundary-compatible operator learning。标准 FFT-FNO 的周期基与固定端点轨迹不匹配，跨分辨率时容易暴露边界伪影；DST sine basis 与零边界 residual 一致，因此在不同网格上更可能学到同一个连续 operator。

第四，guided sampling 解决的是 learned prior 与具体障碍约束之间的 gap。这里的关键选择是对 predicted clean trajectory 计算 collision cost，而不是 noisy sample；这更符合 posterior guidance 的目标，但本质仍是 diffusion planner 中常见的 test-time gradient steering。

Key Insight / Why It Works

这篇论文最核心的有效性来源不是 diffusion 更强，而是 representation alignment：轨迹对象、噪声过程、网络 basis、边界条件四者被放到同一个函数空间语义下。cross-resolution generalization 成立，是因为模型不再依赖 waypoint index 语义，而依赖谱 mode / continuous coordinate 语义；在 N=64 训练、N=1024 推理时，模型评估的是相同低频 operator 的更密采样版本。

最可能的核心贡献是 DST-compatible function-space diffusion，而不是单独的 FNO 或 guidance。FNO 提供 resolution-agnostic operator 参数化，但如果 boundary basis 错了，ablation 显示高分辨率会掉；Matérn noise 提供平滑函数空间中的合法扰动，但单独也不够；zero-end residual 则把 hard constraint 从 optimization/guidance 中移出，降低了采样时的约束负担。

这不是 scaling paper，也不是 retrieval paper，但其 planning competence 很可能仍主要来自 data coverage + local guidance。模型学到的是 demonstration-induced multimodal trajectory prior，而不是显式搜索算法。遇到训练数据没有覆盖的 homotopy class、狭窄通道或需要长程组合推理的场景时，它大概率仍需要 guidance 或外部 planner。论文展示的泛化主要是 discretization generalization，不应外推成 broad planning generalization。

有一个重要判断：FSD-MP 把“分辨率泛化”这个问题解决得比较实，但没有证明“规划推理”更强。它的优势来自正确的 inductive bias，而不是模型突然获得了更深的环境理解。

Relation To Prior Work

最接近的路线有三条：MPD/Diffuser 类 diffusion planner、B-spline/control-point continuous trajectory diffusion、以及 function-space score/diffusion + neural operator。FSD-MP 的新意在于把第三条路线真正接到 motion planning 的端点约束和碰撞 guidance 上。

相对 MPD，真正不同不是换了 backbone，而是 score field 的定义域从固定维 waypoint space 变成函数空间；这解释了为什么 MPD 需要 retrain，而 FSD-MP 可以 zero-shot 改 resolution。相对 MPD-Spline，FSD-MP 没有把连续性压到少量控制点参数里，而是保持函数级别的生成分布，因此表达更灵活。相对 GPMP，它同样重视连续时间和平滑 prior，但 GPMP 是优化/推断单个 trajectory，FSD-MP 是学习多模态 prior 后采样。

看似新的部分中，function-space diffusion、FNO、FiLM、classifier guidance 都不是新概念；实质创新是把它们以边界兼容的方式组合成 motion planning 可用的生成器。尤其 DST-FNO + zero-end residual 是面向规划约束的关键适配，不是普通模块替换。

Dataset / Evaluation

实验覆盖了 2D 点机器人和 7-DoF Franka 仿真环境，任务复杂度足以验证几何规划中的分辨率问题，但还不是广泛 robotics deployment。数据由 RRTConnect + GPMP 生成，本质是 expert planner distillation；因此模型能力受 demonstration distribution 强约束。

evaluation 最有说服力的是 cross-resolution：同一模型从训练分辨率推广到高分辨率，且与 retrained MPD 接近，这直接支持论文核心 claim。ablation 也比较有效地区分了 UNet 的固定网格失败、FFT-FNO 的边界不匹配、white noise 的函数空间不适定。

但 evaluation 没有充分证明跨场景泛化。extra obstacles 是 inference-time guidance 的测试，更像验证 learned prior 可被 collision gradient 修正，而不是证明模型理解新环境。没有真实机器人、动力学约束、控制执行误差、online replanning 或复杂任务组合。benchmark 支持“discretization-invariant generation”，不支持更宏大的“general motion planning intelligence”。

Limitation

最大限制是方法把一部分难题转移到了 prior coverage 和 guidance 上。FSD-MP 能在不同 resolution 上稳定生成同一类轨迹，但如果训练数据没有包含正确 homotopy class，函数空间表示并不会自动发现它。所谓 planning 仍是 learned prior sampling + differentiable cost steering，不是带 completeness 或 search guarantee 的 planner。

第二个限制是平滑低频假设。Matérn covariance、DST basis 和 FNO mode truncation 都偏向平滑轨迹；这对常规 collision-free path 有利，但对接触丰富、非光滑、bang-bang 控制、强动力学约束或局部高曲率避障可能构成上限。高分辨率生成的一致性也可能意味着高频细节被系统性压制，而不是模型真的学会了任意细节。

第三，泛化范围容易被误读。它泛化的是 discretization，不是 arbitrary environment。extra obstacle 实验依赖 guidance；若 collision landscape 更复杂，guidance 可能陷入局部最小或需要大量 test-time compute。文中未充分说明 guidance strength、采样步数、失败模式和 compute trade-off。

第四，增益归因仍有不清处。DST boundary bias、colored noise regularization、FNO operator sharing、smooth expert data、以及 low-frequency trajectory structure 都会贡献稳定性；论文 ablation 说明每个组件有用，但没有完全分离“函数空间理论”与“更合适的谱正则化/边界 basis”各自的贡献。

Takeaway

• 1. 对 trajectory generation 来说，最值得迁移的 insight 是：如果目标对象天然是连续函数，生成模型的 noise、score、architecture 和 constraints 都应该在函数空间中定义，而不是训练后再靠插值补救。
• 2. 边界条件不是小 implementation detail。
• 对于 motion planning，start-goal constraints 会深刻影响分布结构；把边界编码进 basis / residual representation，比 sampling 时 clamp 更干净，也更利于跨分辨率。
• 3. 这篇推动的是 learned planner 的 representation correctness，而不是 planning algorithm 的根本突破。

一句话总结

FSD-MP 是把 diffusion motion planner 从固定 waypoint 序列推进到边界兼容函数空间生成的一步，真正贡献在于 resolution-invariant trajectory prior 的建模方式，而不是更强的避障推理。