内在分布匹配:少步文生图蒸馏中生成器自身特征的矩约束 Intrinsic Distribution Matching
在内部DMD蒸馏上叠加生成器EMA特征的均值与标准差矩匹配,2步生成刷新长文本渲染SOTA。
前置知识
扩散/流匹配模型与 NFE
扩散模型和流匹配(flow matching)通过反复调用神经网络把高斯噪声逐步变换为数据图像,每次网络前向计算记为一次 NFE(network evaluation)。本文采用 rectified flow:路径 $x_{r,t}=(1-t)x_r+t\epsilon$,$t=0$ 为干净数据、$t=1$ 为纯噪声,网络 $F_\theta$ 回归成对速度 $\epsilon-x_r$;少步生成就是把本需几十次积分的采样压缩到 1-2 次 NFE。
全文的问题设定就是把 6B/20B 级文生图模型压缩到 1-2 NFE,所有损失设计和评测(1 NFE vs 2 NFE 列)都围绕 NFE 预算展开。
得分函数(score)
得分定义为对数密度对样本的梯度 $s_i(x)=\nabla_x\log p_i(x)$,指向密度上升最快的局部方向。对加噪分布 $p_{i,t}$ 同样定义 $s_{i,t}$。本文用到的关键恒等式是得分-速度关系:$s_t(x_t)=-\big(x_t+(1-t)v_t^*(x_t)\big)/t$,即一个速度场估计同时给出得分估计,这使生成器内部的速度分支能充当得分网络。
DMD 的整个修正方向就是参考得分与模型得分之差,理解得分才能读懂 reverse-KL 场及其分解这一理论核心。
分布匹配蒸馏(DMD)与 reverse-KL
DMD 训练快速生成器使其输出分布 $p_\theta$ 逼近参考分布 $p_r$,优化反向 KL 散度 $D_{KL}(p_\theta\|p_r)$。其样本空间梯度场为 $g_{KL}=s_\theta-s_r$:冻结的教师提供参考得分,另训一个 fake-score 网络估计生成分布的得分,两者之差逐样本推动生成器。在加噪中间时刻 $t$ 上即 DMD 的噪声场 $g_{KL,t}=s_{\theta,t}-s_{r,t}$。
IDM 是在 DMD 框架上做增量改进:保留其得分差修正、再叠加矩损失,不先弄懂 DMD 就无法理解 IDM 各损失项的分工。
内部得分估计(条件取反速度分支)
TwinFlow/APEX 的做法:在同一个生成器内用条件向量的正负分离两个速度分支,$\hat v_{r,t}(x_t|c)=F_\theta(x_t,t,c)$ 与 $\hat v_{\theta,t}(x_t|c)=F_\theta(x_t,t,-c)$,二者之差 $\hat d_t$ 就是得分差的内部估计,从而省掉独立 fake-score 网络,但仍保留了模型得分的显式学习。两分支都需逼近各自的边际速度,并用辅助流匹配损失 $\mathcal{L}_{fake}$ 约束模型分支。
IDM 明确沿用 APEX 的这一内部构造作为 DMD 修正的来源,论文的增量全部建立在这个基座之上。
EMA(指数滑动平均)权重
训练时维护参数的滑动平均副本 $\bar\theta\leftarrow 0.99\,\bar\theta+0.01\,\theta$,它比当前参数更平滑稳定。IDM 用 EMA 副本的网络最后一层隐状态做特征提取器:生成样本和参考样本都过同一个 EMA 网络 mean-pool 成特征向量,得到共享表示空间;EMA 参数在每次更新中固定(detached),但输入梯度仍回传到生成器。
EMA 特征空间是 IDM 矩损失的载体,也是'内在/无外部编码器'这一卖点的具体实现,消融中它与 DINOv2 编码器对比。
LoRA 低秩适配
冻结原模型权重,只训练注入各层的低秩矩阵增量,秩 $r$ 越小可训参数越少。本文在 Z-Image-Turbo 6B 和 Qwen-Image 20B 上分别用 $r=32$(约 0.2B 可训参数)和 $r=64$(约 0.4B)做对比:20B 全参微调代价极高,LoRA r=64 在 2 NFE 下 GenEval 0.90,仅比全参 0.91 低 0.01。
实验的一大支柱是全参与 LoRA 双轨训练,理解 LoRA 才能读懂 Table 1 中 blue/red 参数量标注与成本对比。
研究动机
扩散与流匹配模型画质高,但每次生成要几十次网络评估,推理成本高;一步/少步生成把采样压到 1-2 次 NFE,却必须在几乎没有迭代精修机会的情况下把 prompt 指定的全部细节画对。长文本渲染把这一挑战具体化:一张图里要同时保持多行汉字、英文单词、数字和货币符号清晰且正确(例如黑板咖啡菜单里'美式 | Americano ¥26'这类条目),是对快速生成是否保留细粒度条件信息的最严苛考验。现有蒸馏方法各有短板:原版 DMD 需要一个独立 fake-score 网络持续追踪不断变化的生成器分布,训练开销大且不稳定;TwinFlow/APEX 虽用内部速度分支省掉了 fake-score 网络,但得分差仍是学出来的——学得的得分估计加有限训练,未必把两个分布的统计量真正对齐。数字上很直观:2 NFE 下基线 Z-Image-Turbo 在 LongText-CN 仅 78.48%、LongText-EN 仅 72.89%,TwinFlow 更低(78.65%/71.99%),即便是较强的 Z-Image-Turbo++ 也只有 91.62%/89.88%,密集多行文本渲染频繁出错。
本文的目标是本文的目标是:在保留完整 DMD 得分差修正(因为它携带全部分布信息)的前提下,为训练再增加一个显式、可解析约束的统计目标——匹配特征空间中的均值与逐坐标标准差——以弥补学得得分估计在有限训练下留下的统计偏差;同时这一约束不能引入任何额外模型(外部特征编码器、判别器或独立得分网络),全部监督信号都来自生成器及其 EMA 副本。工程目标是在 Z-Image-Turbo 6B(全参数与 LoRA)和 Qwen-Image 20B 两个骨干上完成训练,在 1-2 NFE 预算下取得 LongText-Bench 中英文、GenEval、FID、DPG-Bench、WISE、OneIG 等基准上与最强蒸馏方法相当或更优的综合表现,尤其是把 2 NFE 的 LongText-CN 推到 94% 以上。
与已有工作不同的是,本文的独特切入角度是理论驱动的'分解-再组合'。作者回到 DMD 的 reverse-KL 场 $g_{KL}=s_\theta-s_r$,借助 Wang & Vastola 的高斯加残差得分表示,把它精确分解为高斯矩分量与非高斯残差分量,从而回答两个问题:哪些统计量可以被显式约束(均值与协方差/标准差),以及为什么只约束它们不够(矩相同的分布形状可以不同,残差非零)。由此得出'保留完整 DMD 修正 + 追加矩损失'的配方,而非用矩匹配替代得分差。另一处差异化设计是特征空间的选择:与 REPA 类方法用外部冻结的 DINOv2 编码器、或用教师特征做表示对齐不同,IDM 直接复用生成器自己的 EMA 副本提取特征——它同时承担得分估计与特征提取两种职能,'intrinsic(内在)'即由此得名,整个训练不需要判别器、独立得分模型或外部编码器。
核心方法
直觉上,IDM 认为 DMD 的得分差修正负责分布的'形状',而矩损失负责'居中与展宽',二者互补:前者是学出来的、覆盖全部分布信息但可能欠对齐,后者是显式解析的、只能钉住一阶二阶统计量但绝不遗漏。技术路线分四块。第一,生成器是 rectified flow 一步模型 $G_\theta(z,c)=z-F_\theta(z,1,c)$。第二,按 APEX 用条件取反分离内部速度分支:$\hat v_{r,t}=F_\theta(x_t,t,c)$、$\hat v_{\theta,t}=F_\theta(x_t,t,-c)$,其差 $\hat d_t=\hat v_{\theta,t}-\hat v_{r,t}$ 经恒等式 $g_{KL,t}=-(1-t)/t\,d_t^*$ 对应噪声分布上的 reverse-KL 场。第三,把一步预测的干净样本 stop-gradient 后再加噪到独立采样的 $t'\in(0,1)$,在重加噪点上评估分支差,构造 detach 的速度目标 $v^{DMD}_t$ 与端点目标 $x^{DMD}_0$,组成同时回归速度与端点的 $\mathcal{L}_{score}$。第四,特征矩损失 $\mathcal{L}_{pop}$:在生成器 EMA 副本最后一层隐状态 mean-pool 的特征 $\phi$ 上,用两个容量 $K=16384$ 的 detached 队列分别缓存模型与参考特征,匹配其均值与逐坐标方差。总目标为 $\mathcal{L}_{IDM}=\mathcal{L}_{base}+\lambda_{score}\mathcal{L}_{score}+\lambda_{pop}\mathcal{L}_{pop}$,其中 $\mathcal{L}_{base}$ 采用 RCGM 递归一致速度场损失,权重固定 $\lambda_{score}=1$、$\lambda_{pop}=0.5$。
核心创新是把 reverse-KL 场做精确分解并据此设计'全场+矩'的双通道监督。对任意光滑正密度 $p$(均值 $\mu_p$、协方差 $\Sigma_p$),其矩匹配高斯为 $q_p=\mathcal{N}(\mu_p,\Sigma_p)$,得分可无近似地写成 $s_p(x)=\underbrace{s_{q_p}(x)}_{\text{高斯矩部分}}+\underbrace{\eta_p(x)}_{\text{非高斯残差}}$,其中 $s_{q_p}(x)=-\Sigma_p^{-1}(x-\mu_p)$。两个分布相减得 $g_{KL}=(s_{q_\theta}-s_{q_r})+(\eta_\theta-\eta_r)$:第一项只由均值与协方差决定,第二项收集其余全部得分结构。关键洞察有两面:其一,两分布可以均值协方差完全相同而形状不同($q_\theta=q_r\not\Rightarrow p_\theta=p_r$),残差非零,所以只做矩匹配必然不充分,必须保留完整 DMD;其二,精确的 DMD 场虽已包含全部信息,但学得的得分估计加有限训练未必把每个统计量都对齐,而矩恰是可以被显式解析约束的量(残差还满足正交性 $\mathbb{E}_p[\eta_p]=0$、$\mathbb{E}_p[\eta_p x^\top]=0$,不对应任何单一高阶矩)。与已有方法的本质区别在于:DMD/APEX 只依赖学出来的得分差;REPA 类方法引入外部编码器做特征对齐;IDM 则在生成器自身的 EMA 特征空间里做显式矩约束,不增加任何外部组件。
方法步骤详情
训练每步流程如下。步骤一(采样):从 $p_z$ 取噪声 $z$、从条件分布取 $c$,生成当前样本 $x_\theta=G_\theta(z,c)$。步骤二(DMD 修正构造):在中间时刻 $t\in(0,1]$ 取回归输入 $x_t$,计算端点预测 $\hat x_0=x_t-tF_\theta(x_t,t,c)$;对 $\hat x_0$ 做 stop-gradient 得 $\hat x^{sg}_0$,再独立采样 $t'\in(0,1)$ 与 $\epsilon$ 把它重加噪为 $\hat x^{sg}_{0,t'}=(1-t')\hat x^{sg}_0+t'\epsilon$;在该点评估分支差 $\hat d_{t'}(\cdot|c)=\hat v_{\theta,t'}-\hat v_{r,t'}$ 并 detach。步骤三(双回归目标):$v^{DMD}_t:=\mathrm{sg}[F_\theta(x_t,t,c)]-\hat d^{DMD}_{t'}$,$x^{DMD}_0:=\mathrm{sg}[x_t-t\,v^{DMD}_t]$(即把修正 $t\hat d^{DMD}$ 加到 detached 端点预测上),损失 $\mathcal{L}_{score}=\mathbb{E}\big[\|F_\theta-v^{DMD}_t\|^2+\|\hat x_0-x^{DMD}_0\|^2\big]$,注意两项满足 $\ell_x(t)=t^2\ell_v(t)$。步骤四(特征矩损失):生成与参考样本都在高噪声水平下过 EMA 网络,最后一层隐状态 mean-pool 成特征;$Q_\theta,Q_r$ 两个队列各存至多 $K=16384$ 条 detached 特征,当前批 $B$ 条带计算图的特征与队列合并估计 $\hat\mu,\hat\nu$,$\mathcal{L}_{pop}=\|\mu^\theta_\phi-\mu^r_\phi\|^2+\sum_j(\nu^{\theta,j}_\phi-\nu^{r,j}_\phi)^2$,这正是对角高斯之间的平方 2-Wasserstein 距离。步骤五(联合更新):$\mathcal{L}_{IDM}=\mathcal{L}_{base}(\text{RCGM})+\lambda_{score}\mathcal{L}_{score}+\lambda_{pop}\mathcal{L}_{pop}$,另有辅助流匹配损失 $\mathcal{L}_{fake}$ 在 detached 生成样本上训练内部模型速度分支;EMA 按 $\bar\theta\leftarrow0.99\bar\theta+0.01\theta$ 更新,队列跨迭代刷新。推理时一步前向即得 $x_\theta$,同一 checkpoint 也支持少步采样。
技术新颖性
技术新颖性体现在四个层面。理论层面:据作者所知,这是该蒸馏路线上首次用高斯加残差的得分分解(式 $s_p=s_{q_p}+\eta_p$)为'矩损失与 DMD 互补'提供分布梯度层面的解释,把'为什么加矩损失'从经验技巧升级为可论证的 decomposition 论证(Figure 3 的可视化:矩对齐消除高斯分量但残差仍在)。结构层面:训练系统极简——无独立 fake-score 网络、无判别器、无外部特征编码器、无教师特征管道,所有信号来自生成器与其 EMA 副本,这对 20B 骨干的显存与工程成本是实质利好。实现层面:DMD 修正同时监督速度与端点两种回归(因 $\ell_x=t^2\ell_v$ 等价于对速度回归施加时间加权 $1+t^2$),并系统消融了 v-only/x-only/加权组合,这是对 APEX 的直接扩展。实证层面:EMA 自特征与外部 DINOv2 的严格对照(同设定下 GenEval 77.81 vs 77.75,LongText-CN 94.25 vs 94.13)说明'内在特征'不牺牲质量,挑战了'外部语义编码器必不可少'的默认认知。需要指出,$\mathcal{L}_{pop}$ 是特征空间的矩目标,并非样本空间高斯分量的直接估计,作者的表述在这一点上相当克制。
实验结果
系统级对比(Table 1):2 NFE 全参微调下,IDM 在 Z-Image 上 GenEval 0.78、FID 6.71,在 Qwen-Image 上 GenEval 0.91、FID 6.34、延迟 0.44 秒/张,而同设置的 APEX 为 0.90、6.44、0.45 秒——质量略优且延迟持平。1 NFE 时同一 checkpoint 继续可用:Qwen-Image 达 0.90 GenEval(0.35 秒/张),Z-Image 从 1 NFE 的 FID 7.13 降到 2 NFE 的 6.71,说明目标函数在更高采样预算下仍有效。LoRA r=64 的 Qwen-Image 只训 0.4B 参数即达 0.90 GenEval(全参 0.91)。长文本渲染(Table 5)是主打结果:2 NFE 下 IDM(Z-Image)LongText-CN 94.25%、LongText-EN 90.20%,为对比方法中最高,较 Z-Image-Turbo++(91.62%/89.88%)提升 2.63/0.32 个百分点,较 APEX(90.38%/88.76%)提升 3.87/1.44 个百分点。知识类基准:WISE 上 IDM(Qwen-Image)全参 2 NFE 达 0.56,超过 APEX 全参 1 NFE 的 0.54;DPG-Bench 上 IDM(Qwen)2 NFE 达 87.16,但低于 APEX 的公开参考 88.64——这是少数 IDM 落后的指标。控制消融(Table 5,Z-Image 全参、共享设定):在内部 DMD 控制组上加 $\mathcal{L}_{pop}$ 使 GenEval 从 77.46 升至 77.81,LongText-CN 从 93.87 升至 94.25,LongText-EN 从 89.79 升至 90.20,OneIG 从 52.87 升至 53.06,DPG 从 86.54 升至 86.82,五项聚合指标全部改善;去掉 $\mathcal{L}_{score}$ 降到 76.90,两个损失都去掉只有 76.24,说明 DMD 仍是主心骨(去 DMD 掉 0.91 分 vs 去矩损失掉 0.35 分)。GenEval 分项显示增益来源:颜色属性绑定 65.25→66.25、位置 50.75→51.25、计数 70.94→71.25。特征空间消融:DINOv2 77.75、EMA 77.81、教师特征 77.36、实时自特征 77.51——EMA 略胜 DINOv2 且免去外部模型。回归消融:v-only 76.64、x-only 77.26、等权 v+x 77.81、2x+v 77.71、x+2v 77.59,等权为默认。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| 中文长文本渲染(LongText-Bench-CN) | 渲染准确率 (%),2 NFE | IDM (Z-Image) 94.25 | Z-Image-Turbo++ 91.62;APEX 90.38;Z-Image-Turbo 78.48 | 较 Z-Image-Turbo++ +2.63 个百分点,较 APEX +3.87 个百分点 |
| 英文长文本渲染(LongText-Bench-EN) | 渲染准确率 (%),2 NFE | IDM (Z-Image) 90.20 | Z-Image-Turbo++ 89.88;APEX 88.76;DMD2 80.99 | 较 Z-Image-Turbo++ +0.32 个百分点,较 APEX +1.44 个百分点 |
| 组合式提示遵循(GenEval,Qwen-Image 20B) | Overall 得分,2 NFE 全参微调 | 0.91 | APEX (Qwen-Image, 全参) 0.90;Qwen-Image 原模型(多步)0.87 | +0.01(同时在更少 NFE 下达到/超过原模型) |
| 图像质量(MJHQ-30K FID,Qwen-Image) | FID ↓,2 NFE 全参微调 | 6.34 | APEX (Qwen-Image, 全参) 6.44 | 降低 0.10,延迟持平(0.44s vs 0.45s) |
| 世界知识(WISE) | Overall 得分,2 NFE | IDM (Qwen-Image, 全参) 0.56 | APEX (Qwen-Image, 全参, 1 NFE) 0.54;TwinFlow 0.54 | +0.02 |
| 详细提示遵循(DPG-Bench) | Overall 得分,2 NFE | IDM (Qwen-Image, 全参) 87.16;IDM (Z-Image) 86.82 | APEX 公开参考 88.64;TwinFlow (Qwen-Image) 86.52 | 落后 APEX 1.48 分(APEX 在此项领先,为诚实的负结果) |
| 矩损失增益消融(GenEval,Z-Image 全参 2 NFE) | Overall 得分 (%) | 完整 IDM 77.81 | 同设定去掉 $\mathcal{L}_{pop}$ 77.46;去掉 $\mathcal{L}_{score}$ 76.90;全去掉 76.24 | 矩损失 +0.35,DMD 损失 +0.91,两者叠加 +1.57 |
局限与改进
作者承认并数据可佐证的局限:第一,矩损失的绝对增益不大——GenEval +0.35、LongText-CN +0.38,属于锦上添花而非质变,且去 DMD(-0.91)远重于去矩损失(-0.35),方法价值仍主要建立在 APEX 式内部 DMD 之上;第二,外部比较存在混杂:公开对比中 IDM 用了约 560 万条文本渲染导向的训练样本(5M 文本渲染 + 600K FLUX-Reason 提示),而 APEX 只用 20 万条海报提示,LongText 的领先有多少来自损失设计、多少来自数据扩展,只有控制消融部分能回答;第三,DPG-Bench 上 APEX 公开参考 88.64 高于 IDM 的 86.82,说明全局语义遵循并未全面胜出。我自己的观察:矩匹配是对条件做了 pooled(跨条件平均)而非逐条件匹配,无法约束'给定 prompt 的条件分布'只对齐边缘统计;队列 $K=16384$ 引入滞后的历史统计量,EMA 与队列双重启滞可能让梯度信号过时;消融仅在 Z-Image 全参 2 NFE 一个设定完成,20B/LoRA/1 NFE 下各设计选择是否同样最优未验证;LongText-EN 相对 Turbo++ 仅 +0.32,接近评测噪声量级;论文未报告多随机种子方差,0.3 量级的差距稳定性存疑。
独立分析的弱点
弱点一:pooled 矩的粒度问题。$\mathcal{L}_{pop}$ 把所有条件下的特征统计混在一起,只约束边缘分布的均值/标准差;一个 prompt 把'蓝色'全画成'红色'但整体色相统计不变时,矩损失毫无反应(GenEval 颜色分项仅 +0.75)。改进方向:按条件聚类或用 text embedding 分桶做条件化矩匹配,代价是估计方差上升。弱点二:队列与 EMA 的双重时滞。矩目标由 $K=16384$ 条历史 detached 特征估计,EMA 又以 0.99 的系数缓慢跟随,梯度信号反映的是'过去的生成分布';在分布快速漂移的训练早期可能误导。改进方向:混合当前批与大队列的动量加权估计,或对队列做重要性加权。弱点三:增益幅度小且可能被数据效应放大。公开对比中 IDM 的长文本领先同时伴随约 28 倍的文本渲染数据扩展,用户若直接拿系统级数字对比会被误导;论文虽做了同设定消融,但未提供'IDM 损失 + APEX 20 万条数据'这一关键交叉格。改进方向:补一组数据量爬坡 × 损失组合的因子化实验。弱点四:理论-实践的落差不闭合。分解说明矩可以被约束、残差需要 DMD,但 $\mathcal{L}_{pop}$ 作用在固定的 EMA 特征雅可比之后,并不直接对应样本空间的高斯分量或残差,作者也承认这只是'受分解启发的特征空间目标';理论上尚无法预测矩损失的最优权重(0.5 是拍定的)。改进方向:在轻量合成设置中验证特征矩与样本分布统计的对应关系,或自适应调节 $\lambda_{pop}$。
未来方向
作者方向:论文明确将内部 DMD 与显式矩约束的组合定位为少步文生图的通用配方,可自然延伸到视频生成、多模态统一模型与更大骨干(20B 全参微调尚未尝试);五个报告指标上 EMA 特征与 DINOv2 表现相当,作者暗示可进一步研究自监督表示在蒸馏中的角色。基于成果可延伸的方向:其一,把 pooled 矩升级为条件矩或二阶以上统计量(如特征协方差谱、最优传输切片矩),理论部分已说明残差收集'高斯之外的全部结构',更细的显式约束有望继续压缩残差;其二,回归消融显示 $\ell_x=t^2\ell_v$ 的时间加权是敏感旋钮,可探索随训练进度调度 v/x 权重;其三,矩损失框架与强化学习式偏好优化(如 Diffusion-DPO)正交,可以在保持一步生成的同时叠加人类偏好信号;其四,长文本渲染仍有明显头部误差(LongText-CN 94.25% 意味着约 6% 失败),可结合字符级检测器做在线难例挖掘,定向扩充文本渲染数据;其五,EMA 特征矩匹配思想可移植到语音、蛋白质等其它一步式流匹配蒸馏场景,检验'内在表示'是否跨域成立。
复现评估
复现条件总体透明但门槛不低。代码:论文称 Code is available here(仓库链接随论文发布),超参数披露完整:$\lambda_{score}=1$、$\lambda_{pop}=0.5$、全局 batch 64、EMA 系数 0.99/0.01、队列 $K=16384$、LoRA 秩 32/64、BF16 + FlashAttention4 + FSDP2。数据:参考集由公开数据集 ShareGPT-4o、BLIP3o 加自合成样本构成(Qwen-Image-2512 与 Z-Image-Turbo 生成的 600K FLUX-Reason-6M 提示样本 + 5M 文本渲染样本),合成管线可复制但数据指纹不完全确定。算力:Z-Image-Turbo 6B 全参训练 15K 步用 32×H100 80GB,Qwen-Image 20B LoRA 10K 步用 8×A100 80GB——全参路线需要小型集群,LoRA 路线(0.2-0.4B 可训参数、8 卡 A100)对资源有限的团队可行。理论证明(得分-速度恒等式、场分解、矩损失梯度 Prop. 4 等)放在附录且有完整推导。风险点:未报告随机种子方差,小幅度优势(0.3 上下)的复现可能落在噪声内;两处外部比较行来自其他论文的引用数字,环境不完全一致。综合评估:难度中偏高,建议先用 LoRA r=32 在 Z-Image-Turbo 上复现 Table 5 的消融控制组,再决定是否投入全参规模。
论文图表