面向少步扩散蒸馏的连续时间分布匹配 Continuous-Time Distribution Matching for Few-Step Diffusion Distillation
首次把DMD蒸馏从离散时间锚点迁移到连续时间域,无需GAN或奖励模型即可在4步文生图中取得SOTA。
前置知识
扩散模型与概率流常微分方程 (PF-ODE)
扩散模型通过前向加噪把数据 $x_0$ 变换到噪声 $x_1\sim\mathcal{N}(0,I)$,采样时沿其等价PF-ODE从 $t=1$ 反向积分到 $t=0$ 生成样本,速度场由 $v_\theta(x_t,t,c)$ 给出。少步蒸馏目标即用4步Euler积分该ODE。
CDM全文围绕PF-ODE轨迹上的分布匹配与速度场正则化展开;不熟悉ODE积分与单步截断误差就无法理解连续时间锚点与外推点缓解积分漂移的设计。
Distribution Matching Distillation (DMD) 与反向KL
DMD把少步学生蒸馏形式化为最小化反向 $D_{\mathrm{KL}}(p_\text{gen}\|p_\text{data})$:用冻结真教师与在线伪教师估计 score 差以反向传播。DMD2 加对抗损失,D-DMD 解耦为 CA (CFG增强) 与 DM (分布匹配) 两项。
CDM基于DMD2/D-DMD,以'DMloss是CFG-free分布主要对齐信号'重新定位DM项;不理解CA/DM公式与反向KL的mode-seeking倾向就读不懂核心创新。
Classifier-Free Guidance (CFG) 与CFG-free分布
CFG在采样时用 $D+\alpha(D_\text{cond}-D_\text{uncond})$ 增强文本服从度;$\alpha=0$ 时输出CFG-free分布,对齐较弱但更接近模型本身的分布。论文发现仅用DM训练的学生与教师CFG-free样本高度一致。
CDM用图3的视觉证据重新定义DM的作用;不理解CFG强度对分布形状的影响就读不懂3.2节对DM项的重新解释。
Euler积分截断误差与一致性蒸馏
反向Euler步 $x_{t-\Delta t}=x_t-\Delta t\,v_\theta$ 的局部误差量级 $O(\Delta t^2\sup\|dv_\theta/d\tau\|)$,速度场变化越大漂移越严重。CD通过自一致性压平 $dv_\theta/d\tau$,而DMD只监督离散锚点。
CDM用CDM loss显式覆盖锚点间中间点,其物理目标本质上同CD但形式完全不同;不理解截断误差公式就读不懂CDM loss前的动机段落。
Tweedie公式与Score Matching视角
Tweedie公式给出 $\mathbb{E}[x_0\mid x_t]=x_t+\sigma_t^2\nabla\log p_t$,推出 $D_\theta=x_t-tv_\theta$。CA/DM梯度对应隐式分类器与score差,跨连续时域正则化 $v_\theta$。
论文用Tweedie给出dynamic schedule为何有效的解析解释;如果不熟悉Tweedie的推导就读不懂公式(5)(6)以及Appendix D。
研究动机
现有DMD类方法(包括DMD2、Decoupled DMD)由于'训练-推理时间表严格对齐',被迫只监督固定 $N$ 个离散锚点(例如4步采样时 $t \in \{1.0, 0.75, 0.5, 0.25\}$),这带来两个具体问题。第一,稀疏监督使学生速度场在不同步长间出现非光滑跳变,少步Euler积分的局部截断误差量级为 $O(\Delta t^2 \sup \|dv_\theta/d\tau\|)$,直接造成细节过度平滑、肉眼可见的artifact;DMD2论文自己也承认必须叠GAN或reward model才能恢复视觉保真度。第二,反向KL是mode-seeking的,结合仅在几个锚点采样得到的梯度信号,学生容易只学到教师少数主导模式,加剧前述过平滑现象。可视化上,4 NFE的DMD2在Longcat-Image上HPSv3仅8.419、PickScore 21.58,明显落后于100 NFE教师的8.189 HPSv3与21.73 PickScore。表4、Figure 3进一步表明:单独用DMloss训练出来的学生,其输出与教师的无CFG样本高度一致——也就是说DMloss实际承担了CFG-free分布的主要对齐责任,但此前所有DMD相关工作都把它当作正则项。
本文的目标是本文的目标是首次把DMD蒸馏框架从离散时间锚点完整迁移到连续时间域,从而在4 NFE文生图设置下把少步生成器的感知质量、文本对齐和细节保真度同时推到新SOTA,并显式证明'不再需要GAN或reward model作为辅助目标'。具体目标上,作者要在SD3-Medium与Longcat-Image上仅用4 NFE就达到乃至超过100 NFE教师的Aesthetic、DPGBench、PickScore、HPSv3指标,例如SD3-Medium上HPSv3从D-DMD的9.176提升到9.561,Longcat-Image上从9.629提升到10.65;同时还要给出'为什么连续时间与off-trajectory监督有效'的理论解释 (Tweedie视角) 和消融证据。
与已有工作不同的是,作者的核心切入角度是双重的:第一,挑战了'DMD必须把训练时间表与推理时间表严格对齐'这一长期共识,通过将每条训练轨迹的步数 $N \sim \mathcal{U}\{1, N_\text{max}\}$ 与时间点 $1=t_1 > t_2 > \dots > t_N > 0$ 全部采自连续域 $(0, 1]$,从而解除学生锚点集 $\{t_i\}$ 与教师扰动时间 $\{\tau, \widetilde\tau\}$ 之间的离散-连续错配。第二,针对少步积分在锚点之间的漂移问题,提出一种"基于学生自身速度场做一阶Euler外推"的off-trajectory对齐损失 $\mathcal{L}_\text{CDM}$,把监督面从on-trajectory锚点扩展到连续区间上的任意$t'_i$,本质上等价于在连续时域上对 $dv_\theta/d\tau$ 做正则化,但完全不依赖GAN、reward model或Consistency Distillation的轨迹重参数化。
核心方法
CDM的整体思路是'把DMD从离散采样点扩展到连续流形上的监督'。给定一个需要 $T \gg N$ 步采样的预训练flow-matching教师 $D_\phi$(如SD3-Medium或Longcat-Image)和一个4 NFE学生模型 $D_\theta$(参数化为 $D_\theta(x_t, t, c) = x_t - t v_\theta(x_t, t, c)$),训练分三块协同优化。首先是dynamic continuous schedule:每条训练轨迹的步数 $N \sim \mathcal{U}\{1, N_\text{max}\}$、时间点 $1 > t_1 > t_2 > \dots > t_N > 0$ 全部连续随机采样,使学生暴露在连续域 $(0,1]$ 而不是几个固定锚点上。其次是Decoupled DMD基准:由CA项对齐文本—图像条件、DM项匹配去噪数据分布,两项的扰动时间 $\tau, \widetilde\tau$ 也独立地从 $(0,1]$ 采样,用Tweedie公式可证明在期望意义上它们跨连续时域正则化学生速度场。最后是CDM项 (核心新组件):在某一on-trajectory锚点 $x_{t_i}^i$ 上沿学生预测速度 $v_{t_i}^i$ 做一阶Euler外推得到off-trajectory点 $x_{t'_i}^i = x_{t_i}^i + (t'_i - t_i) v_{t_i}^i$,然后把学生对该点的局部预测 $\widehat x_0^{i'}$ 与冻结+在线伪教师的score差组合成新的分布匹配损失。整条pipeline对 $(D_\theta \mid D_\phi, D_\psi)$ 端到端可微,总损失 $\mathcal{L} = \mathcal{L}_\text{CA} + \mathcal{L}_\text{DM} + \mathcal{L}_\text{CDM}$,学生伪教师 $D_\psi$ 以学生参数的EMA滑动更新。
CDM的核心创新有二。第一个是把离散anchored的DMD训练彻底替换为连续时间调度,并把每条轨迹的步长也变成随机变量,从而一次性解决'学生锚点集与教师扰动时间域错配'以及'非光滑速度场'两个问题;从Tweedie视角看,这让CA梯度等价为连续时域上的隐式分类器正则化。第二个,也是更本质的,是CDM loss:把训练目标从'on-trajectory监督'扩展到'以学生自身速度场一阶外推生成的off-trajectory点上的分布匹配'。具体地,$x_{t'_i}^i = x_{t_i}^i + (t'_i - t_i) v_{t_i}^i$ 这一外推恰好模拟了大步长Euler积分会引入的截断漂移,因此在该点与目标分布匹配相当于直接对 $dv_\theta/d\tau$ 做正则化——这是对Consistency Distillation的'轨迹重参数化'和DMD的'on-trajectory梯度'之外的第三条路,也是CDM能够在没有GAN或reward model的前提下显著改善细节的根本原因。
方法步骤详情
训练管线共6步。Step 1(输入采样):从PickScore prompt池采一个caption $c$,采纯噪声 $x_{\sigma_1} \sim \mathcal{N}(0, I)$,采学生集成步数 $N \sim \mathcal{U}\{1, N_\text{max}\}$,再严格递减地采连续时间列 $1 = t_1 > t_2 > \dots > t_N > 0$,独立地从 $\mathcal{U}(0,1]$ 采 teacher扰动时间 $\tau, \widetilde\tau, \widehat\tau$ 和off-trajectory配对时间 $t'_i$。Step 2(backward simulation):用学生速度场沿 $t_N \to t_1$ 反向Euler积分得到中间潜变量 $x_{t_i}^i$,并计算 $v_{t_i}^i = v_\theta(x_{t_i}^i, t_i, c)$。Step 3(CA loss):学生预测 $D_\theta(x_{t_i}^i, t_i, c)$,加噪到 $z_\tau$,用real teacher在 $(c, \varnothing)$ 上的差计算CFG增强 $\Delta_\text{real}^\text{ca}$,配合权重 $w_\tau = \|D_\phi - D_\theta\|^{-1}$ 组成 $\mathcal{L}_\text{CA}$ 以约束结构与文本对齐。Step 4(DM loss):同一点的学生预测加噪到 $z_{\widetilde\tau}$,用real teacher $D_\phi$ 与EMA fake teacher $D_\psi$ 的score差 $\Delta_\text{real-fake}^\text{dm}$ 得到 $\mathcal{L}_\text{DM}$,负责匹配去噪数据分布。Step 5(CDM loss——核心新步骤):用步骤2的 $v_{t_i}^i$ 做一阶Euler外推 $x_{t'_i}^i = x_{t_i}^i + (t'_i - t_i) v_{t_i}^i$,用学生再次去噪得到局部anchor $\widehat x_0^{i'} = D_\theta(x_{t'_i}^i, t'_i, c)$,再按 $z_{\widehat\tau} = (1-\widehat\tau) \text{sg}[\widehat x_0^{i'}] + \widehat\tau \epsilon$ 重新加噪,计算 $\Delta_\text{real-fake}^\text{cdm} = D_\phi - D_\psi$ 后组装 $\mathcal{L}_\text{CDM} = \tfrac{1}{2}\|D_\theta - \text{sg}[D_\theta + w_{\widehat\tau} \Delta_\text{real-fake}^\text{cdm}]\|_2^2$。Step 6(联合优化与EMA):总损失 $\mathcal{L} = \mathcal{L}_\text{CA} + \mathcal{L}_\text{DM} + \mathcal{L}_\text{CDM}$,按DMD2经验权重反向传播更新 $D_\theta$,并以EMA更新fake teacher $D_\psi \leftarrow (1-\lambda) D_\psi + \lambda D_\theta$。推理时学生沿4步固定Euler schedule积分即可,无需任何额外模块。
技术新颖性
技术新颖性可从四个维度评估。第一,动态时间表的提出直接挑战了DMD方法中长期存在但从未被质疑的'训练-推理时间表必须严格对齐'共识;在Tweedie展开下,这是首次给出'为什么sample-wise随机长度和连续时间能改善分布匹配'的解析解释 (Eq. 5-6)。第二,CDM loss把'对少步截断漂移做正则化'这件事从Consistency Distillation的'轨迹自一致性'转化为'DMD-like分布匹配的形式',并通过精确的Euler外推把目标约束的物理含义明确为$\|dv_\theta/d\tau\|$的惩罚;这是把PF-ODE数值稳定性问题用score-matching视角进行'plug-in'的工程化突破。第三,Table 2 的消融确认三大核心设计 (dynamic schedule / velocity外推 / 局部 $\widehat x_0^{i'}$ 锚定) 缺一不可:固定schedule后HPSv3从9.561跌至9.482、外推换成Gaussian加噪后9.561→9.516、用full-trajectory目标替代局部锚点后9.561→9.346。第四,CDM完全移除了对GAN (DMD2)、reward model (Flash) 或Consistency损失 (SANA-Sprint/TwinFlow) 的依赖,仅靠分布匹配就在SD3-Medium与Longcat-Image两块不同flow-matching骨干上同时刷新4 NFE SOTA。
实验结果
主实验在两块骨干、四个评测指标和五大基线上完整展开。SD3-Medium 1024×1024 / 4 NFE:CDM取得 Aesthetic 6.075、DPGBench 85.26、PickScore 21.95、HPSv3 9.561、CLIP 27.98,五个指标全部超过D-DMD的6.038/84.52/21.85/9.176/27.69(其中HPSv3 +0.385是最大亮点),并优于TDM (6.013/83.12/21.61/8.468/27.63)、DMD2* (6.038/83.96/21.58/8.419/27.56)、Flash (5.968/80.47/21.69/8.282/28.18) 与Hyper-SD (5.180/80.43/20.82/6.054/27.93) 等基线;4 NFE学生甚至在DPG (85.26 vs 85.04) 与HPSv3 (9.561 vs 8.189) 上超过100 NFE教师,说明CDM的连续时间信号超越了'复制教师'。Longcat-Image / 4 NFE:CDM取得5.919/88.35/21.53/10.65/26.72,全面高于D-DMD的5.782/88.04/21.23/9.629/26.57,其中HPSv3提升+1.021是最显著的相对增益;同样在DPGBench (88.35 vs 87.08) 与HPSv3 (10.65 vs 9.450) 上超过100 NFE教师。消融表Table 2:单loss训练时 CA-only崩溃 (DPG 72.87, HPSv3 8.128)、CDM-only已能独当一面 (AES 6.067, HPSv3 9.153);双loss训练中 LCA+CDM 出现严重亮度塌陷 (AES 5.787)、LCA+LDM数值不稳定;只有Full三loss组合同时拿到最高分。Ablation on核心机制:dynamic schedule相对fixed schedule在HPSv3上 +0.079 (9.561 vs 9.482);off-trajectory扰动换成Gaussian加噪或完全去掉扰动后HPSv3分别降到9.516 / 9.374;target latent从局部 $\widehat x_0^{i'}$ 换成full-trajectory $\widehat x_0$ 后HPSv3跌至9.346——三处设计的协同效应体现得相当干净。Figure 5/6的定性对比显示CDM在材质反光、毛发纹理、多实体组合提示上都明显干净,DMD2则普遍过平滑。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| SD3-Medium 1024×1024 文生图 | Aesthetic Score (越高越好) | 6.075 | D-DMD 6.038, TDM 6.013, DMD2* 6.038, Flash 5.968, Hyper-SD 5.180, Teacher (100NFE) 5.885 | +0.037 vs D-DMD, 创4 NFE学生模型新高, 且超过100 NFE教师 +0.190 |
| SD3-Medium 1024×1024 文生图 | DPGBench (细粒度文本服从度, 越高越好) | 85.26 | D-DMD 84.52, DMD2* 83.96, TDM 83.12, Flash 80.47, Hyper-SD 80.43, Teacher 85.04 | +0.74 vs D-DMD, +0.22 vs 100 NFE Teacher |
| SD3-Medium 1024×1024 文生图 | HPSv3 (人类偏好分数, 越高越好) | 9.561 | D-DMD 9.176, Flash 8.282, TDM 8.468, DMD2* 8.419, Hyper-SD 6.054, Teacher 8.189 | +0.385 vs D-DMD, +1.372 vs 100 NFE Teacher, 在所有4 NFE方法中领先 |
| SD3-Medium 1024×1024 文生图 | PickScore (越真实越得分高) | 21.95 | D-DMD 21.85, Teacher (100 NFE) 21.73, Flash 21.69, TDM 21.61, DMD2* 21.58 | +0.10 vs D-DMD, +0.22 vs Teacher |
| SD3-Medium 1024×1024 文生图 | CLIPScore (文本-图像余弦相似度) | 27.98 | Flash 28.18, Hyper-SD 27.93, D-DMD 27.69, TDM 27.63, DMD2* 27.56 | 略低于Flash -0.20 (Flash使用了image-based reward辅助模块), 但显著高于DMD2系基线; Teacher为28.60 |
| Longcat-Image 文生图 (4 NFE) | HPSv3 | 10.65 | D-DMD 9.629, Teacher (100NFE) 9.450, DMD2* 8.803 | +1.021 vs D-DMD, +1.20 vs 100 NFE Teacher, 与DMD2*相比提升尤为显著 |
| Longcat-Image 文生图 (4 NFE) | DPGBench | 88.35 | D-DMD 88.04, DMD2* 87.12, Teacher 87.08 | +0.31 vs D-DMD, +1.27 vs Teacher |
| Longcat-Image 文生图 (4 NFE) | PickScore | 21.53 | Teacher 21.65, D-DMD 21.23, DMD2* 21.07 | +0.30 vs D-DMD, 仅低于Teacher -0.12 (4 NFE在大幅节省算力的前提下仅略低于100 NFE教师) |
| 核心机制消融 (SD3-Medium 4 NFE) | HPSv3 (各组件打开/关闭) | Full CDM 9.561 | Fixed Schedule 9.482 / no off-traj perturb 9.374 / Gaussian perturb 9.516 / Full-trajectory target 9.346 | dynamic +0.079, velocity外推 +0.045 vs Gaussian扰动 +0.187 vs无扰动, 局部 $\widehat x_0^{i'}$ 锚定 +0.215 vs full-trajectory $\widehat x_0$ |
局限与改进
作者在文中及附录承认或隐含的限制有四点。第一,CDM目前只在SD3-Medium和Longcat-Image两块特定flow-matching模型上验证,对基于UNet+ε-prediction的Stable Diffusion 1.5/2.1、或者DiT+SDE的类Flux架构是否仍然成立尚未确定;附录G虽提到训练/推理效率比较但没有FLOPs细节。第二,离线指标虽然全面SOTA,但所有'图片质量分数' (AES, PickScore, HPSv3) 都是用扩散/VLM-as-judge得到的,可能存在reward-hacking,且Figure 5提示的细节差异难用肉眼在大尺度打印中区分。第三,CDM实现依赖EMA伪教师和双source teacher scores,因此显存占用高于纯DMD;论文没有给出具体每卡显存和总GPU-hours。第四,dynamic schedule中 $N_\text{max}$ 仍是一个需要调的超参,作者没有在论文中给出对它的敏感性曲线,因而'究竟多大连续区间的正则化是必要的'这件事没有量化。站在读者角度还可以观察到:CDM的CDM loss要求每条mini-batch多做一次student前向与一对teacher前后向,整体训练成本比vanilla DMD/D-DMD明显更高,但论文未把相同训练算力下的D-DMD作为严格基线比较。
独立分析的弱点
独立审视的话,论文有以下几个值得改进的弱点。第一,Tweedie视角下的Eq.(5)(6)只对CA/DM梯度成立,而对CDM loss这种off-trajectory形式并未给出对应的KL目标解释,因此'为什么 off-trajectory distribution matching能等价于$\|dv_\theta/d\tau\|$正则化'目前还停留在Appendix E的局部截断误差量级估计,没有推导证明。第二,Table 1中Longcat-Image上的PickScore 21.53比teacher 21.65略低 -0.12,作者并未解释这块是否反映了CDM在该骨干上的过拟合到human-preference特征 (HPSv3远超teacher),说明三loss组合在不同骨干上的权重或许需要更具原则的自动平衡。第三,dynamic schedule 的 $t'_i$ 外推并未考虑噪声 schedule本身 — 在 $t_i$ 接近 0 时大步长 $|t'_i - t_i|$ 可能把外推点推到接近真实数据分布以外,实验中凭借$T_{\text{max}}$上限隐式压制了这一点,但缺乏图7式的不稳定性分析。第四,论文几乎没有在线A/B human evaluation,AES/HPSv3都是模型代理,可能恰好被CDM的高频细节和CFG-free倾向放大,无法代表人眼对全图composition 的真实偏好。这四点分别对应了:补充off-trajectory目标函数的理论证明、用regression-based metric (如KID) 校准PickScore反向、做 $N_\text{max}$ 与 $t_i$ 联合扫描的ablation、以及补一组真实用户偏好研究。
未来方向
作者在结论及Related Work里暗示了三条延伸路径。第一,把CDM的off-trajectory思想与一致性蒸馏 (CD) 或对抗性分布匹配 (SANA-Sprint, TwinFlow) 结合,构建同时训练FID/HPSv3/aesthetic三类teacher reward的混合目标。第二,把CDM loss扩展到整条轨迹 (即把 $x_{t'_i}^i$ 同时融合多次Euler外推形成多步路径匹配),而不是只看一步 offset,这在一致性trajectory modeling里有先例 (CTM)。第三,CDM显然也可以用来蒸馏视频扩散 (例如Wan 2.1、HunyuanVideo) 和 3D 生成 (例如DiffusionSfM、CTVR) 到4 NFE级别,因为这些场景的少步积分漂移更严重。基于本文的成果,我再补充两条值得探索的方向:一是把dynamic continuous schedule当作一种新的self-bootstrapping curriculum,先在$N=1$学粗匹配再逐步拉到$N=4$,理论上能进一步压缩训练时间;二是在CDM loss的$y$分量 (CFG-free distribution) 与真teacher有条件输出之间引入learnable mixing parameter $\beta$,动态调节CA与DM/CDM梯度比,避免在Longcat上出现的PickScore轻微回退。
复现评估
复现性整体良好但有一定门槛。作者公开了项目页 https://byliutao.github.io/cdm_page/ 与代码仓库 https://github.com/byliutao/cdm2026,作者列表中包含南开VCIP、阿里集团与吉林大学三方的工业+学术合作。论文引用了完整的teacher checkpoint (SD3-Medium官方、Longcat-Image官方),以及PickScore与DPG-Bench的标准评测prompt split,使得主表所有数字都可以被第三方逐项重跑。关键超参 (DMD2学习率、CFG scale $\alpha$、EMA衰减) 在Appendix C给出,但Appendix G只给出训练效率对比表,没有披露具体GPU型号、wall-clock time与NFE步之间的per-GPU hours,因此想要估算总成本有些困难。最大的复现门槛是算力:在SD3-Medium 1024×1024 上4 NFE蒸馏本身就需要8张以上A100/H100 GPU,单训练周期可能达到1-2周;再加上CDM loss每次额外student的前向与teacher的两次前向 (real + fake),实际成本大约比vanilla DMD2高30-50%。整体而言,作者提供了算法与配置上的足够信息,但'无条件复现'对小团队仍具有算力挑战。
论文图表
图1是论文的teaser图,呈现同一prompt、同一随机种子下CDM与DMD2在Longcat-Image 4 NFE时的成对图例对比,每一对都明显展示了CDM在毛发、织物纹理、反光等高频细节上的保真度优势,并附博客缩略图徽章。
这是读者第一眼理解CDM价值的视觉证据:与最具代表性的DMD强基线DMD2相比,CDM显著抑制了DMD系方法长期存在的过平滑和artifact问题,奠定了文章的视觉说故事基础。
图2(a)示意fixed schedule (t∈{1.0,0.75,0.5,0.25}, n=4) 与 dynamic schedule (t∈[1.0,0.0), n∈[1,Nmax] ) 的迭代差异;图2(b)展示固定与动态两种调度训练后的视觉差异;图2(c)给出两者的HPSv3定量比较,动态调度得分更高。
这是对DM文献长期共识'训练-推理时间表必须严格对齐'的第一次直接反证,奠定了dynamic continuous schedule这一第一个核心贡献的合理性,因此是读懂method关键动机的图。
图3对比teacher有CFG、teacher无CFG、仅用DMloss蒸馏的学生三种生成结果,发现仅DM训练的学生与teacher无CFG样本呈现强一致的视觉风格(光线、对比度、构图),这表明DMloss在驱动学生逼近CFG-free分布。
这一观察把'传统认为DM只是正则化器'这一前提彻底推翻,是第二个核心贡献的理论与定性基础;它把全文从'持续监督的工程改进'升级为'对DM损失功能的重新理解'。