← 返回 2026-03-18

WiT:通过轨迹冲突导航的航点扩散 Transformer WiT: Waypoint Diffusion Transformers via Trajectory Conflict Navigation

Hainuo Wang, Mingjia Li, Xiaojie Guo 📅 2026-03-16 👍 35 2026-07-13 08:36
Diffusion Transformer Flow Matching 像素空间生成 图像生成 表示对齐

通过引入语义航点解耦噪声到像素的生成路径,解决像素空间 Flow Matching 的轨迹冲突问题

前置知识

Flow Matching (流匹配)

Flow Matching 是一种基于连续时间 ODE 的生成建模框架,它将从简单噪声分布到复杂数据分布的映射形式化为最优传输问题。给定干净图像 $x$ 和高斯噪声 $\epsilon$,在时间步 $t \in [0,1]$ 处的中间状态定义为 $z_t = tx + (1-t)\epsilon$。网络学习预测速度场 $\hat{v} = x - \epsilon$,使得从噪声沿 ODE 积分可以生成真实图像。相比传统扩散模型,FM 能产生更直的概率流轨迹,减少采样步数。

本文的整个方法建立在 Flow Matching 框架之上,理解 FM 的速度场预测、ODE 积分过程是理解轨迹冲突问题的前提。

Diffusion Transformer (DiT)

Diffusion Transformer 是将 Transformer 架构应用于扩散模型的骨干网络。与传统 U-Net 不同,DiT 使用自注意力机制处理图像 patch 序列。标准 DiT 通过 Adaptive Layer Normalization (AdaLN) 将时间步和类别条件注入网络:给定全局条件嵌入 $e(t, y)$,AdaLN 对所有 token 施加相同的缩放和平移参数。SiT 和 JiT 等后续工作进一步推动了这一架构的规模化应用。

WiT 的主干网络是基于 DiT 的像素空间生成器,且其核心创新 Just-Pixel AdaLN 是对标准 AdaLN 机制的改进。

轨迹冲突 (Trajectory Conflict)

在像素空间 Flow Matching 中,网络需要同时学习从共享噪声到数千个不同语义类别的最优传输路径。由于像素空间语义高度纠缠,视觉相似但语义不同的目标图像对应的传输路径在噪声空间中缺乏自然的几何分离,会在中间时间步交叉或汇聚。MSE 损失下,网络被迫预测平均速度场 $\mathbb{E}[x|z_t]$,导致语义混淆和收敛缓慢。这被形式化为条件方差 $\text{Var}(x|z_t)$ 过大。

这是本文要解决的核心问题,理解轨迹冲突的本质才能理解为什么需要引入语义航点。

DINOv3 自监督视觉模型

DINOv3 是一种先进的自监督预训练视觉模型,通过自蒸馏学习得到。它能为图像生成密集的、逐 patch 的语义特征表示 $\phi(x) \in \mathbb{R}^{N \times D}$。这些特征具有高度的语义可判别性,属于同一类别的图像在特征空间中聚类紧密,不同类别之间分离明显。本文利用 DINOv3 的这种可判别性来构建语义航点的监督信号。

WiT 的语义航点正是从 DINOv3 特征经 PCA 降维得到的,理解该模型的特征空间性质对理解方法至关重要。

Classifier-Free Guidance (CFG)

CFG 是扩散模型推理阶段常用的引导技术,通过在条件和无条件速度预测之间进行外推来放大类别特定的信号:$\hat{v}_{\text{cfg}} = \hat{v}_{\text{uncond}} + w(\hat{v}_{\text{cond}} - \hat{v}_{\text{uncond}})$,其中 $w$ 是引导强度。虽然 CFG 能增强生成质量,但它是一种事后干预手段,并不能从根本上解决训练轨迹的空间重叠问题。

论文讨论了 CFG 与 WiT 的交互:随着模型语义能力增强,对 CFG 的依赖显著降低,这验证了语义航点的有效性。

主成分分析 (PCA) 降维

PCA 是一种经典的线性降维方法,通过找到数据协方差矩阵的主方向,将高维数据投影到保留最大方差的低维子空间。给定投影矩阵 $U_d \in \mathbb{R}^{D \times d}$ 和数据均值 $\mu$,降维后的表示为 $s_0 = (\phi(x) - \mu) U_d$。本文使用 PCA 将高维 DINOv3 特征压缩到 $d=64$ 维的语义航点空间,滤除冗余噪声同时保留核心语义结构。

PCA 降维是构建语义航点的关键步骤,$d=64$ 的选择直接影响模型性能,论文中有详细的消融实验。

研究动机

近年来,直接在像素空间操作的 Flow Matching 模型(如 JiT)摒弃了 VAE 潜空间压缩,理论上可以无损保留高频细节。然而,像素空间天然语义纠缠,无法像可学习的潜空间那样被人为重塑以解耦语义。这导致了一个严重的优化困境:当网络尝试从共享的各向同性噪声同时映射到数千个不同语义类别的像素分布时,不同类别对应的最优传输路径缺乏几何分离,在中间时间步频繁交叉汇聚。以 JiT 为例,即使训练 600 个 epoch,JiT-B/16 的 FID 仅为 3.66,JiT-L/16 为 2.36,存在明显的性能天花板。根据 VA-VAE 的形式化,这种路径重叠迫使网络预测平均速度场,产生语义溢出(semantic bleeding)和收敛缓慢的问题。现有的 Classifier-Free Guidance 虽然能放大类别信号,但作为事后干预无法从根源上解耦空间重叠的训练轨迹。

本文的目标是本文的目标是在不回退到黑箱潜空间表示的前提下,为像素空间向量流提供清晰的、语义可分离的引导。具体来说,通过引入低维语义航点(semantic waypoints)将从噪声到像素的单一复杂映射分解为两个数学上更稳定的映射:从不可判别的噪声到可判别的航点,再从航点到不可判别的像素空间。这不仅能从根本上缓解轨迹冲突,还能显著加速训练收敛,使像素空间模型达到甚至超越 VAE 压缩潜空间模型的性能。

与已有工作不同的是,本文的独特切入角度是「不解构问题,而是路由问题」。此前的方法如 REPA、REPA-E、RAE 等试图通过对齐内部表示来加速收敛,但它们要么在高度压缩的潜空间中操作,要么仅将表示作为辅助损失监督。与之形成鲜明对比,WiT 明确地从预训练视觉模型中构建低维语义航点,并训练专用的轻量级航点 DiT 来导航朝向它们。更关键的是,通过提出的 Just-Pixel AdaLN 机制,这些预测的航点作为密集的、空间变化的条件,从结构上锚定庞大的像素空间 DiT。这种「语义导航 + 像素生成」的解耦架构是一种全新的生成范式,而非对现有方法的简单改进。

核心方法

WiT 的核心直觉是:既然像素空间天然不可判别,我们不需要去改变它,而是在生成流中插入一个可判别的「中间停靠站」。想象你要从嘈杂的起点导航到复杂的终点,直接走会与其他路径交叉;而如果中间有一个清晰的路标,你可以先导航到路标,再从路标到终点,路径自然被分开了。技术路线上,WiT 分为三个关键组件:(1)利用冻结的 DINOv3 模型提取图像的密集语义特征,通过 PCA 降至 64 维构建语义航点的监督信号;(2)一个仅 21M 参数的轻量级航点生成器 $W_\psi$,从当前噪声状态 $z_t$ 动态推断干净语义航点 $\hat{s}_0$;(3)主像素空间生成器 $G_\theta$ 通过 Just-Pixel AdaLN 机制接收这些预测航点作为空间变化的调制信号,专注于高质量像素生成。整个流程采用解耦的两阶段训练范式。

WiT 与已有方法的本质区别在于「轨迹分解」而非「表示对齐」。REPA 等方法通过辅助损失让扩散模型的内部表示与预训练视觉模型对齐,但这只是在优化层面施加约束,并不改变生成路径的几何结构。WiT 则从最优传输的角度出发,利用全方差定律(Law of Total Variance)将原始轨迹冲突 $\text{Var}(x|z_t)$ 分解为:$$\text{Var}(x|z_t) = \mathbb{E}_{s_0}[\text{Var}(x|z_t, s_0)] + \text{Var}_{s_0}(\mathbb{E}[x|z_t, s_0])$$ 航点生成器负责解析第二项 $\text{Var}_{s_0}(\mathbb{E}[x|z_t, s_0])$,将语义不确定性从像素生成中剥离;主生成器只需处理大幅缩减的残差方差 $\text{Var}(x|z_t, s_0)$。另一个核心创新是 Just-Pixel AdaLN,它不同于标准 AdaLN 的全局条件注入,而是提供空间变化的调制:将全局嵌入 $e(t, y)$ 与局部语义图 $\text{Proj}(\hat{s}_0)$ 聚合为空间条件 $c_s$,然后投影为六组调制参数来控制注意力和 MLP 层。

方法步骤详情

WiT 的完整流程包括训练和推理两个阶段。训练阶段(Algorithm 1):第一阶段训练航点生成器 $W_\psi$——从数据集采样图像 $(x, y)$,采样时间步 $t \sim U[0,1]$,用 DINOv3 提取特征并 PCA 降维得到真实语义航点 $s_0 = (\phi(x) - \mu) U_d$;构建噪声像素状态 $z_t = tx + (1-t)\epsilon_{\text{img}}$ 和噪声语义状态 $z_{\text{sem},t} = ts_0 + (1-t)\epsilon_{\text{sem}}$;$W_\psi$ 从 $z_t$ 预测干净航点 $\hat{s}_0$;优化语义速度匹配损失 $\mathcal{L}_{\text{sem}}$。第二阶段冻结训练好的 $W_\psi$,训练主像素生成器 $G_\theta$——在每个训练步中用冻结的 $W_\psi$ 从 $z_t$ 推断航点 $\hat{s}_0$,$G_\theta$ 以 $\hat{s}_0$ 作为空间条件生成 $\hat{x}$,优化像素速度匹配损失 $\mathcal{L}_{\text{img}}$。推理阶段(Algorithm 2):从纯噪声 $z_{t_0} \sim \mathcal{N}(0, I)$ 出发,在每个 ODE 步骤中:(1)用嵌入的 $W_\psi$ 从当前噪声状态动态重校准航点 $\hat{s}_0$;(2)聚合空间条件 $c_s = e(t_k, y) + \text{Proj}(\hat{s}_0)$,通过 Just-Pixel AdaLN 在每个 Transformer 块中施加空间变化的仿射调制;(3)从最终块输出预测的干净图像 $\hat{x}$,计算速度 $\hat{v} = (\hat{x} - z_t)/(1-t)$ 并执行 ODE 步进。

技术新颖性

WiT 的技术新颖性体现在多个层面。首先,「语义航点」概念本身是全新的——不同于潜空间模型的编码器-解码器范式,航点不是压缩后的图像表示,而是从独立的预训练视觉模型中提取的、专门为解耦生成轨迹而设计的中间目标。其次,Just-Pixel AdaLN 是对 AdaLN 机制的根本性改进:标准 AdaLN 对所有 token 施加均匀的全局调制,而 Just-Pixel AdaLN 将语义航点转化为空间变化的调制信号,让每个空间位置根据其语义内容获得不同的缩放和偏移参数,这在概念上类似于 ControlNet 的空间控制但实现更为优雅。第三,解耦的两阶段训练范式将语义推理和像素生成的优化彻底分离,避免了端到端训练中两个任务的梯度干扰。最后,论文从贝叶斯风险角度给出了严格的理论分析,证明语义条件 $\mathbb{E}_{\text{oracle}} \leq \mathbb{E}_{\text{standard}}$,为方法的有效性提供了坚实的理论支撑。

WiT 架构概览
Fig. 2: WiT 架构概览
Just-Pixel AdaLN 机制与航点可视化
Fig. 3: Just-Pixel AdaLN 机制与航点可视化

实验结果

论文在 ImageNet 256×256 上进行了全面实验,WiT 在所有可比较的阶段均一致性地超越了像素空间基线。在 Base 规模下,WiT-B/16 仅训练 200 epoch 就达到了 FID 3.34,已超过训练 600 epoch 的 JiT-B/16(FID 3.66);延长至 600 epoch 后进一步降至 3.03。在 Large 规模下,WiT-L/16 训练 265 epoch 即达到 FID 2.36 和 IS 293.7,与 JiT-L/16 训练 600 epoch 的性能持平,实现了 2.27× 的训练加速。将 WiT-L/16 延长至 600 epoch 后,FID 降至 2.22、IS 达到 303.3,不仅超越了 JiT-L/16(2.36 FID),还超越了重型潜空间基准 DiT-XL/2(2.27 FID)。在 Extra-Large 规模下,WiT-XL/16 在 600 epoch 达到了 FID 1.89 和 IS 301.0,突破了 2.0 FID 的门槛,成为纯像素空间生成模型中最具竞争力的结果。消融实验验证了 PCA 维度 $d=64$ 的最优性($d=32$ 信息瓶颈导致 FID 5.11,$d=128$ 维度灾难导致 FID 4.12)以及 Just-Pixel AdaLN 机制的优越性(FID 3.34 优于 Channel Concat 的 3.93 和 In-context Concat 的 3.63)。轨迹冲突定量分析显示,WiT 在峰值冲突阶段比 JiT 稳定 1.62 倍,从实证角度验证了理论框架。

WiT 实验配置
Table 1: WiT 实验配置
ImageNet 256×256 类条件生成的全面比较
Table 2: ImageNet 256×256 类条件生成的全面比较
WiT-B/16 消融实验
Table 3: WiT-B/16 消融实验
轨迹冲突定量比较
Table 4: 轨迹冲突定量比较
WiT-L/16 在 ImageNet 256×256 上的定性结果
Fig. 4: WiT-L/16 在 ImageNet 256×256 上的定性结果
CFG 强度对 FID 和 IS 的影响
Fig. 5: CFG 强度对 FID 和 IS 的影响
WiT-XL/16 在 ImageNet 256×256 上的视觉结果
Fig. 6: WiT-XL/16 在 ImageNet 256×256 上的视觉结果
WiT-XL/16 在 ImageNet 256×256 上的视觉结果
Fig. 7: WiT-XL/16 在 ImageNet 256×256 上的视觉结果
WiT-XL/16 在 ImageNet 256×256 上的视觉结果
Fig. 8: WiT-XL/16 在 ImageNet 256×256 上的视觉结果
WiT-XL/16 在 ImageNet 256×256 上的视觉结果
Fig. 9: WiT-XL/16 在 ImageNet 256×256 上的视觉结果
WiT-XL/16 在 ImageNet 256×256 上的视觉结果
Fig. 10: WiT-XL/16 在 ImageNet 256×256 上的视觉结果
WiT-XL/16 在 ImageNet 256×256 上的视觉结果
Fig. 11: WiT-XL/16 在 ImageNet 256×256 上的视觉结果
WiT-XL/16 在 ImageNet 256×256 上的视觉结果
Fig. 12: WiT-XL/16 在 ImageNet 256×256 上的视觉结果
WiT-XL/16 在 ImageNet 256×256 上的视觉结果
Fig. 13: WiT-XL/16 在 ImageNet 256×256 上的视觉结果
查看结构化数据
任务指标本文基线提升
ImageNet 256×256 类条件生成 FID-50K WiT-B/16: 3.34 (200ep), 3.03 (600ep) JiT-B/16: 4.37 (200ep), 3.66 (600ep) 200ep 提升 23.6%,600ep 提升 17.2%
ImageNet 256×256 类条件生成 FID-50K WiT-L/16: 2.38 (200ep), 2.22 (600ep) JiT-L/16: 2.79 (200ep), 2.36 (600ep) 200ep 提升 14.7%,600ep 提升 5.9%
ImageNet 256×256 类条件生成 FID-50K WiT-XL/16: 2.16 (200ep), 1.89 (600ep) PixelFlow-XL/4: 1.98 超越 PixelFlow 4.5%,参数更少
训练效率 训练加速倍数 WiT-L/16: 265 epoch 达到 FID 2.36 JiT-L/16: 600 epoch 达到 FID 2.36 2.27× 训练加速
轨迹冲突程度 Pairwise Conflict (峰值) WiT: 5.262e-3 JiT: 8.532e-3 1.62× 更稳定

局限与改进

尽管 WiT 取得了显著进展,仍存在几方面局限。首先,额外引入的航点生成器增加了 21M 参数和相应的计算开销,虽然相对于主生成器的参数量(131M-676M)占比不大,但在资源受限场景下仍有影响。其次,论文仅在 ImageNet 256×256 上进行了验证,对于更高分辨率(如 512×512、1024×1024)或其他数据域(如人脸、场景)的泛化能力尚不明确。第三,PCA 降维需要预先在训练集上拟合投影矩阵,这意味着语义航点的质量依赖于训练数据的分布,对于分布外的图像可能产生次优的航点。第四,论文未报告采样速度的比较,航点生成器需要在每个 ODE 步骤中额外前向传播一次,可能影响推理效率。最后,论文主要关注类条件生成,对于文本到图像等更开放的条件生成任务的适用性有待探索。

独立分析的弱点

论文存在几个值得深入探讨的弱点。第一,DINOv3 特征的 PCA 降维是离线且固定的,无法适应生成过程中语义粒度的动态变化——在去噪早期可能只需要粗粒度语义,而在后期需要更精细的结构信息。改进方向可以是引入可学习的自适应压缩网络,或采用多尺度语义航点策略。第二,两阶段训练范式虽然避免了梯度冲突,但也阻止了航点生成器根据主生成器的反馈进行自适应优化。一个可能的改进是引入轻量级的联合微调阶段,让两个组件协同演化。第三,论文未充分探索航点生成器的架构设计空间——当前仅使用 ViT-S/16,更大的航点生成器是否能进一步提升性能尚不清楚。第四,Just-Pixel AdaLN 虽然优于其他注入方式,但其空间调制能力受限于线性投影,更复杂的非线性空间条件机制可能带来进一步提升。

未来方向

基于 WiT 的成果,有多个有前景的研究方向。首先,将框架扩展到更高分辨率和更广泛的生成任务(如文本到图像、图像编辑)是最直接的延伸,特别是在 SDXL 等大规模模型中集成语义航点机制。其次,探索更丰富的语义表示空间——除了 PCA 降维的 DINOv3 特征,可以融合语义分割、深度图等多模态结构信息作为多层次航点。第三,研究自适应航点策略,根据去噪进度动态调整航点的粒度和数量,在早期使用全局语义航点、后期使用局部结构航点。第四,将轨迹冲突的定量分析工具推广到其他生成范式(如 GAN、自回归模型),建立更通用的生成优化理论框架。第五,探索在持续学习或多域生成场景下,航点机制如何防止灾难性遗忘和模式坍缩。

复现评估

论文在复现方面表现良好。作者承诺代码将在项目页面公开发布。实验基于公开的 ImageNet 2012 数据集和预训练的 DINOv3 模型,所有关键技术细节在论文中有完整描述,包括 PCA 的拟合方式(随机采样 50,000 张图像)、超参数配置(Table 1 完整列出三个规模的所有设置)、训练细节(AdamW 优化器、常数学习率 5×10⁻⁵、1024 批大小)。轻量级航点生成器仅 21M 参数,降低了算力门槛。但需要注意,主生成器的训练需要与 JiT 同等规模的 GPU 资源,600 epoch 的完整训练对个人研究者可能仍有挑战。消融实验的设计清晰,便于理解和验证各组件的贡献。