Offline Reinforcement Learning with Generative Trajectory Policies¶
会议: ICLR 2026
arXiv: 2510.11499
代码: 无(计划开源)
领域: 图像生成
关键词: 离线强化学习, 生成式策略, ODE轨迹, 一致性模型, 流匹配
一句话总结¶
提出生成轨迹策略(GTP),通过统一视角将扩散模型、流匹配、一致性模型视为ODE解映射的特例,学习完整的连续时间轨迹解映射,并引入分数近似和优势权重两个适配技术,在D4RL基准上实现SOTA。
研究背景与动机¶
-
领域现状: 离线RL中生成模型因能捕获复杂多模态行为分布而成为强大的策略类。扩散策略在表达力方面表现优异,一致性策略在推理效率上有优势。
-
现有痛点: 扩散策略需要迭代去噪过程,推理代价高昂;一致性策略通过1-2步生成虽快但性能常退化。两者形成表达力与效率的根本矛盾。
-
核心矛盾: 现有方法各自独立发展,缺乏统一视角来理解和超越各自的局限。是否可能设计一种既表达力强又计算高效的策略类?
-
本文目标: 打破生成式策略中表达力与效率的权衡,设计一种灵活的多步生成策略,即使少量采样步骤也能实现高性能。
-
切入角度: 发现扩散模型、流匹配、一致性模型等都可视为学习连续时间ODE轨迹 \(\frac{d\bm{x}_t}{dt} = f(\bm{x}_t, t)\) 的解映射 \(\Phi(\bm{x}_t, t, s)\),以此统一视角设计新策略。
-
核心 idea: 将策略表示为ODE解映射(flow map),结合高效的分数近似和优势加权目标,实现兼具表达力和效率的离线RL策略。
方法详解¶
整体框架¶
GTP是一个actor-critic框架:actor是生成轨迹策略 \(\Phi_\theta(s, a_t, t, \tau)\),学习把任意时刻 \(t\) 的噪声动作 \(a_t\) 沿动作空间的概率流ODE映射到目标时刻 \(\tau\) 的干净动作;critic是标准双Q网络 \(Q_\varphi\)。训练时用瞬时流损失保证局部动力学正确、用轨迹一致性损失保证整段映射自洽,二者都乘上来自critic的优势权重把模仿偏向高价值动作;推理时从高斯噪声出发只需几步迭代即可解出动作。三个核心设计分别管「映射怎么学」「监督信号怎么来」「价值怎么注入」。
%%{init: {'flowchart': {'rankSpacing': 24, 'nodeSpacing': 28, 'padding': 6, 'wrappingWidth': 400}}}%%
flowchart TD
D["离线数据集 (s, a)"] --> N["加噪动作 a_t"]
D --> C["双 Q 网络 Q_φ<br/>(critic)"]
N --> PHI["统一ODE轨迹框架<br/>流映射 Φθ(s, a_t, t, τ)"]
PHI --> CONS["轨迹一致性损失<br/>半群自洽·目标网络 θ⁻"]
PHI --> FLOW["瞬时流损失<br/>局部动力学还原"]
SCORE["高效稳定的分数近似<br/>封闭代理 (a_t−a)/t"] --> FLOW
C --> ADV["优势加权的价值引导<br/>A(s,a)=Q−V → 权重 w(s,a)"]
ADV -->|"乘 w(s,a)"| CONS
ADV -->|"乘 w(s,a)"| FLOW
CONS --> ACT["Actor 总损失<br/>L_Consistency + λ·L_Flow"]
FLOW --> ACT
ACT --> INF["推理:高斯噪声<br/>→ Φθ 几步迭代 → 动作"]
关键设计¶
1. 统一ODE轨迹框架:把扩散、流匹配、一致性模型纳入同一套解映射
这三类生成模型此前各自独立发展,缺乏一个能横向对比、相互借力的语言。GTP的出发点是观察到它们都在学同一条连续时间ODE \(\frac{d\bm{x}_t}{dt}=f(\bm{x}_t,t)\) 的解:定义理想流映射 \(\Phi(\bm{x}_t, t, s) = \bm{x}_t + \int_t^s f(\bm{x}_\tau,\tau)\,d\tau\) 及其重参数化形式 \(\phi(\bm{x}_t, t, s)\),扩散去噪器、流匹配速度场、一致性模型都只是它在不同 \((t,s)\) 取法下的特例。基于这个视角,GTP用两个互补目标同时约束这条映射:瞬时流损失盯住局部正确性(让模型在每一点都还原出对应的去噪方向或速度场),轨迹一致性损失盯住全局一致性,要求映射满足半群性质 \(\Phi(\bm{x}_t,t,s) \approx \Phi(\Phi(\bm{x}_t,t,u),u,s)\)——即先走到中间时刻 \(u\) 再走到 \(s\),与一步直接走到 \(s\) 结果相同。局部正确加全局自洽,使得模型既保留扩散的表达力,又能像一致性模型那样少步采样。
2. 高效稳定的分数近似:用封闭形式代理消掉ODE积分和自举不稳定
要监督上面的映射,原则上需要真实分数 \(f^*(\bm{x}_t,t)\),但它本身要靠多步ODE积分才能得到,既昂贵又会陷入「用自己尚不准确的早期估计去监督自己」的恶性循环,类似TD学习的自举发散。GTP改用一个解析代理 \(\tilde{f}(\bm{x}_t,t) = (\bm{x}_t - \bm{x})/t\),直接由离线数据中的干净动作 \(\bm{x}\) 算出,把监督信号牢牢锚在真实数据上而非模型自身输出。这并非随意替换:定理1证明它带来的目标误差只有 \(O(h^p)\) 量级(\(h\) 为步长、\(p\) 为求解器阶数),随步长减小而消失,因此在保证精度的同时彻底避开了积分开销与误差传播,这也是训练能稳定收敛的关键。
3. 优势加权的价值驱动引导:让生成策略从行为克隆升级为策略改进
只用生成损失拟合数据分布,本质仍是行为克隆,无法超过数据集里行为的质量。GTP借助定理2给出的理论形式——KL正则化策略优化的最优解为 \(\pi^*(a|s) \propto \pi_{BC}(a|s)\exp(\eta A(s,a))\)——把价值信息以理论上正确的方式注入生成目标:在每个样本的损失前乘上指数优势权重 \(w(s,a) = \exp\!\big(\eta \cdot \max(0, A(s,a))/(\mathrm{std}(A)+\epsilon)\big)\),其中优势 \(A(s,a)\) 来自critic、用其标准差归一化以稳定尺度,并截断到非负避免压低普通动作。这样高优势动作被优先模仿、低优势动作被淡化,生成的不再是原始行为分布而是经过价值重加权的改进策略。
损失函数 / 训练策略¶
Actor的总损失把两个目标加权相加 \(\mathcal{L}_{\text{actor}} = \mathcal{L}_{\text{Consistency}} + \lambda_{\text{Flow}} \cdot \mathcal{L}_{\text{Flow}}\),二者都带上优势权重 \(w(s,a)\):轨迹一致性损失 \(\mathcal{L}_{\text{Consistency}} = \mathbb{E}[w(s,a)\|\Phi_\theta(s,a_t,t,\tau) - \Phi_{\theta^-}(s,\tilde{a}_u,u,\tau)\|_2^2]\) 用目标网络 \(\theta^-\) 提供自洽参考,瞬时流损失 \(\mathcal{L}_{\text{Flow}} = \mathbb{E}[w(s,a)\|a - \phi_\theta^{\text{inst}}(s,a_t,t)\|_2^2]\) 约束局部还原。Critic则用标准双Q网络的TD误差训练,目标网络通过EMA缓慢更新。
实验关键数据¶
主实验¶
D4RL行为克隆(BC)性能对比,GTP-BC使用5步采样:
| 任务 | Diffusion-BC | Consistency-BC | GTP-BC (本文) |
|---|---|---|---|
| Gym平均 | 76.3 | 69.7 | 82.3 |
| AntMaze平均 | 41.7 | 44.1 | 66.3 |
| halfcheetah-mr | 41.7 | 34.4 | 46.3 |
| hopper-mr | 67.3 | 99.7 | 100.5 |
D4RL离线RL性能对比(基于完整actor-critic框架):
| 任务 | IDQL | DIPO | D-QL | C-QL | GTP (本文) |
|---|---|---|---|---|---|
| AntMaze-large-diverse | 47.5 | — | 47.3 | 51.0 | 100.0 |
| AntMaze-medium-diverse | — | — | — | — | 100.0 |
消融实验¶
| 配置 | Gym平均 | AntMaze平均 | 说明 |
|---|---|---|---|
| GTP完整模型 | 最佳 | 100.0 | 两个损失+优势加权+分数近似 |
| 去除轨迹一致性损失 | 下降 | 下降 | 全局一致性对长时任务关键 |
| 去除瞬时流损失 | 下降 | 下降 | 局部动力学锚定不可或缺 |
| 使用真实分数(ODE积分) | 训练不稳定 | 差 | 验证分数近似的必要性 |
| 去除优势加权 | 退化为BC | 退化 | 无策略改进能力 |
关键发现¶
- GTP在多个AntMaze难题上首次达到满分(100.0),显著超越所有先前方法
- 在BC设定下GTP-BC已经大幅优于扩散-BC和一致性-BC,证明了轨迹策略本身的强表达力
- 分数近似使训练加速且更稳定,理论误差界 \(O(h^p)\) 得到实验验证
- 5步采样即可达到优异性能,展示了效率与质量的良好平衡
亮点与洞察¶
- 统一视角的理论贡献: 将扩散、流匹配、一致性模型纳入同一ODE框架,为策略设计提供清晰的设计空间
- 双目标的互补性设计: 瞬时流损失保证局部准确性,轨迹一致性损失保证全局一致性
- 分数近似的优雅: 用简单的封闭形式替代复杂的ODE积分,有理论保证且效果更好
- AntMaze满分: 在离线RL社区中具有标志性意义
局限与展望¶
- 主要在D4RL标准基准上验证,未测试更复杂的真实世界任务
- ODE框架的统一视角虽然优美,但实际采样步骤的最优选择缺乏理论指导
- 可探索GTP在在线RL和model-based RL中的应用
- 可与近期的token-level生成策略方法结合
相关工作与启发¶
- Consistency Trajectory Models (CTM) 提供了学习ODE解映射的基础,GTP将其扩展到RL领域
- 优势加权与AWR/AWAC等方法一脉相承,但在生成模型框架下有新的理论解释
- 启发: 统一不同生成模型的理论视角可以产生超越各个方法的新方案
评分¶
- 新颖性: ⭐⭐⭐⭐⭐ 统一ODE轨迹视角+两个理论原则性适配
- 实验充分度: ⭐⭐⭐⭐ D4RL全面评估,消融充分,AntMaze满分引人注目
- 写作质量: ⭐⭐⭐⭐⭐ 理论推导严谨,框架图清晰
- 价值: ⭐⭐⭐⭐⭐ 对离线RL中的生成式策略研究有深远影响