← 返回 2026-02-11

流形上的学习:用表征编码器解锁标准扩散Transformer Learning on the Manifold: Unlocking Standard Diffusion Transformers with Representation Encoders

Amandeep Kumar, Vishal M. Patel 📅 2026-02-10 👍 4 2026-07-13 08:35
图像生成 扩散模型 流匹配 表征学习 黎曼几何

黎曼流匹配+雅可比正则化,解决扩散Transformer在表征空间收敛失败的几何问题

前置知识

Flow Matching(流匹配)

流匹配是训练连续归一化流(CNF)的无模拟框架。其核心思想是学习一个时间依赖的向量场 $v_t: \mathbb{R}^d \to \mathbb{R}^d$,将简单先验分布(如高斯噪声 $\epsilon \sim \mathcal{N}(0, I)$)通过ODE $\frac{dx_t}{dt} = v_t(x_t)$ 转换为复杂的数据分布。条件流匹配(CFM)通过构造数据样本 $x$ 和噪声 $\epsilon$ 之间的概率路径来训练模型。在标准设置中,这条路径是线性插值 $x_t = (1-t)x + t\epsilon$,目标速度场为 $u_t = \epsilon - x$。

本文的核心贡献是将流匹配从欧几里得空间推广到黎曼流形上,理解标准流匹配的原理是理解本文动机和方法的基础。

Representation Encoders(表征编码器)

预训练的视觉表征编码器(如DINOv2、SigLIP、MAE)能够提取图像的高级语义特征。这些编码器通常在大量数据上预训练,学习到的特征具有丰富的语义信息。近年来,有研究尝试直接在这些表征空间中进行生成建模,替代传统的VAE潜空间,以获得更好的语义保真度。DINOv2-B的特征维度为768维。

本文研究的对象正是这些表征编码器产生的特征空间,论文发现标准扩散方法在该空间上无法有效收敛,并提出几何解决方案。

超球面流形(Hyperspherical Manifold)

超球面 $S^{d-1}$ 是嵌入在 $\mathbb{R}^d$ 中、所有向量范数为常数(如单位球面上 $\|x\|=1$)的流形。由于LayerNorm等归一化操作的广泛应用,表征编码器的输出特征被约束在一个固定半径的超球面上,形成硬壳几何结构。超球面具有正曲率,这意味着平行测地线会聚焦(类似经线在极点汇聚),速度误差会非线性传播。

论文的核心发现是表征编码器的特征空间具有超球面几何,而标准流匹配的线性路径违反了这种几何结构,这是收敛失败的根本原因。

SLERP(球面线性插值)

SLERP是球面上两点之间的测地线插值公式。给定数据 $x \in S^{d-1}$ 和噪声 $\epsilon \in S^{d-1}$,其定义为:$x_t = \text{SLERP}(x, \epsilon; t) = \frac{\sin((1-t)\Omega)}{\sin(\Omega)} x + \frac{\sin(t\Omega)}{\sin(\Omega)} \epsilon$,其中 $\Omega = \arccos(x^\top \epsilon)$ 是测地线距离。与欧几里得线性插值不同,SLERP保证 $\|x_t\|=1$ 对所有 $t \in [0,1]$ 成立,路径始终停留在流形表面上。

SLERP是本文方法的核心组件,替代标准的线性插值来构造测地线概率路径,从根本上消除径向冲突。

Jacobi Field(雅可比场)

雅可比场是黎曼几何中描述测地线束扰动的工具。在正曲率流形上,速度扰动会因测地线聚焦效应而非线性传播。雅可比场 $J(\tau)$ 满足雅可比ODE:$\frac{D^2}{d\tau^2}J + R(J, \dot{\gamma}_0)\dot{\gamma}_0 = 0$,其中 $R$ 是黎曼曲率张量。在超球面上,雅可比场的大小为 $\|J(\tau)\| = \|w\| \frac{\sin(\sqrt{K}L\tau)}{\sqrt{K}L}$,其中 $K$ 是截面曲率,$L$ 是测地线段长度。

雅可比正则化是本文的第二个关键创新,用于校正曲率引起的误差传播,根据流形曲率自适应地重新加权损失函数。

研究动机

当前使用表征编码器(如DINOv2)进行生成建模时,标准扩散Transformer无法有效收敛。具体表现为:即使在简化的单图过拟合设置下,DiT-B模型使用DINOv2-B特征配合标准欧几里得流匹配,FID高达24.21,而使用VAE潜空间的LightingDiT-B仅为22.86。此前RAE(Zheng et al., 2025)将此问题归因于容量瓶颈,提出通过增加Transformer宽度(dmodel)来匹配潜空间维度的解决方案,即所谓的宽度缩放。然而,宽度缩放是计算昂贵的,且未能从根本上解决问题。更令人困惑的是,仅仅增加网络深度(层数)并不能改善收敛性,这暗示问题不仅仅是容量不足。论文作者观察到,即使模型有足够的参数,标准训练目标下模型的行为也是病态的——它将有限的容量浪费在学习径向误差(特征幅度)上,而非学习语义内容。

本文的目标是本文的目标是从几何学角度揭示标准扩散Transformer在表征编码器特征空间上收敛失败的根本原因,并提出一个几何一致的训练框架,使得标准(无需宽度缩放的)DiT架构能够在这些高维语义表征空间中高效收敛,实现高质量图像生成。具体而言,作者希望证明:(1)收敛失败是几何性的而非容量性的;(2)通过尊重流形内在几何,标准架构就能达到甚至超越需要宽度缩放的方案的性能。

与已有工作不同的是,本文的独特切入角度在于将问题从架构容量不足重新定义为几何目标函数不匹配。作者发现表征编码器(DINOv2、SigLIP、MAE)的特征因LayerNorm操作被约束在超球面上,形成硬壳几何,所有语义信息编码在角度分量中。而标准流匹配使用的线性插值 $x_t = (1-t)x + t\epsilon$ 在超球面上形成弦(chord),穿越了流形内部的低密度区域。这意味着模型被迫在表征空间未定义的区域学习速度场,产生了作者所称的几何干扰(Geometric Interference)。通过消融实验,作者证明即使将模型宽度缩小到384(仅为特征维度768的一半),只要忽略径向损失只优化角度分量,模型就能完美收敛——这直接反驳了容量瓶颈假说。

核心方法

本文提出的方法称为黎曼流匹配与雅可比正则化(Riemannian Flow Matching with Jacobi Regularization, RJF)。其整体思路是:既然表征编码器的特征空间是超球面流形,就应该在这个流形上定义生成过程,而非在欧几里得空间中。技术路线分为三个层次:首先,将噪声和数据都投影到单位超球面上,确保端点在流形上;其次,使用球面线性插值(SLERP)替代线性插值,使概率路径沿测地线(大圆弧)而非弦穿过;最后,引入雅可比场正则化,根据超球面曲率对损失函数进行自适应加权,补偿测地线聚焦效应导致的误差传播。采样时使用指数映射(测地线积分器)而非欧几里得ODE求解器,确保推理轨迹始终停留在流形上。

本文的核心创新在于识别出几何干扰这一根本问题,并提出完整的几何解决方案。与已有方法的本质区别体现在三个层面:(1)与RAE的宽度缩放方案不同,本文证明问题不在容量而在目标函数——模型在标准目标下被迫最小化径向误差(特征范数在超球面上是固定的常数),浪费了学习语义的容量;(2)与简单将噪声投影到球面不同,仅仅修正端点不足以解决问题,因为欧几里得线性插值仍然形成穿越流形内部的弦;(3)与标准黎曼流匹配不同,本文额外引入雅可比正则化来处理正曲率流形上测地线聚焦效应——在超球面上,速度误差的传播是非线性的,靠近数据端($t=0$)时聚焦效应抑制扰动,而靠近噪声端($t=1$)时误差放大,因此需要对不同时间步给予不同权重。这种从几何角度系统性地重新定义生成目标的方法是前所未有的。

方法步骤详情

RJF方法的训练过程(Algorithm 1)包含以下步骤:(1)从数据集采样batch $x \sim D$,并归一化到单位球面 $x \leftarrow x/\|x\|$;(2)采样各向同性高斯噪声 $\epsilon \sim \mathcal{N}(0, I)$ 并归一化 $\epsilon \leftarrow \epsilon/\|\epsilon\|$;(3)使用Logit-Normal分布采样时间步 $t_{\text{raw}} \sim \text{LogitNormal}(\mu, \sigma)$,然后应用时间偏移 $t = \frac{s \cdot t_{\text{raw}}}{1+(s-1)t_{\text{raw}}}$;(4)计算测地线距离 $\Omega = \arccos(\langle \epsilon, x \rangle)$,使用SLERP插值 $x_t = \frac{\sin((1-t)\Omega)}{\sin(\Omega)} x + \frac{\sin(t\Omega)}{\sin(\Omega)} \epsilon$;(5)计算目标速度场 $u_t^M$(切空间向量);(6)计算雅可比权重 $w_t = \text{sinc}^2((1-t)\Omega)$;(7)预测速度 $\hat{v} = v_\theta(x_t, t)$,投影到切空间 $\hat{v}_{\text{proj}} = \hat{v} - \langle \hat{v}, x_t \rangle x_t$;(8)计算正则化损失 $L = w_t \cdot \|\hat{v}_{\text{proj}} - u_t\|^2$。采样过程(Algorithm 2)使用测地线积分器:每步预测切空间速度,通过闭式三角旋转 $x_{t+\Delta t} = \cos(\|v\|\Delta t)x_t + \sin(\|v\|\Delta t)\frac{v}{\|v\|}$ 更新位置,确保轨迹沿大圆精确行进。

技术新颖性

本文的技术新颖性体现在多个方面。首先,几何干扰的诊断是全新的——此前所有工作(包括RAE)都将其归因于容量不足,而本文通过精心设计的消融实验(掩蔽径向损失后窄模型也能收敛)给出了决定性证据。其次,将黎曼流匹配应用于表征编码器的生成建模是首创,此前RFM主要用于蛋白质骨架生成(SE(3))、分子构象(环面)等科学领域。第三,雅可比正则化是理论上的重要贡献:标准RFM假设平坦度量,而本文通过求解超球面上的雅可比方程得到解析权重 $\lambda(t, \Omega) = \text{sinc}^2((1-t)\Omega)$,这是几何感知的注意力机制——它自适应地降低数据端($t=0$)的损失权重(聚焦效应抑制误差传播),提高噪声端($t=1$)的权重(生成轨迹必须精确对齐流形)。最后,推理时使用指数映射积分器替代标准ODE求解器,保证离散化后轨迹仍在流形上,这是工程上的重要创新。

Geometric Trajectories on the Hypersphere
Figure 2: Geometric Trajectories on the Hypersphere
Geometric Interference vs. Capacity
Figure 4: Geometric Interference vs. Capacity

实验结果

本文在ImageNet 256x256上进行了全面实验,核心发现可归纳为以下几点。第一,几何干扰确实存在且是收敛失败的根本原因:标准DiT-B使用DINOv2-B特征和欧几里得流匹配,FID仅为24.21(80 epochs),而加入RJF后FID降至6.77,提升超过3.5倍。第二,方法在不同模型规模上一致有效:DiT-B从24.21降至6.77,DiT-L从10.08(LightingDiT)降至4.21,DiT-XL在80 epochs达到3.62,优于标准流匹配的4.28。第三,收敛速度显著加快:DiT-XL在仅24 epochs就达到FID 6.32,而标准流匹配需要80 epochs才能达到4.28。第四,消融实验清晰展示了各组件贡献:基准欧几里得流匹配FID 24.32,加入球面噪声投影(+SN)仅改善至21.99,加入黎曼流匹配(+RFM)大幅改善至7.06,再加雅可比正则化(+RJF)进一步降至6.77,训练200 epochs后达到4.95。第五,方法具有普适性:在DDT-XL上从6.55降至5.82,在专为RAE设计的DiT-DH上从6.33降至6.20;在不同编码器上,SigLIP从130.21降至10.39,MAE从50.48降至19.82。第六,投影半径的选择对性能有影响:最优半径约为45,而非DINOv2-B原始范数(约27.7),表明RAE解码器对特征幅度敏感。

FID comparison on ImageNet 256x256 without guidance across various model sizes
Table 1: FID comparison on ImageNet 256x256 without guidance across various model sizes
Class-conditional performance on ImageNet 256x256 with and without guidance
Table 2: Class-conditional performance on ImageNet 256x256 with and without guidance
Ablation of Geometric Components
Table 3: Ablation of Geometric Components
Performance with different architecture design with DiNOV2-B
Table 4: Performance with different architecture design with DiNOV2-B
Ablation study with different Representation encoder
Table 5: Ablation study with different Representation encoder
Bridging the Geometric Gap
Figure 1: Bridging the Geometric Gap
Qualitative results of LightingDiT-XL+RJF
Figure 5: Qualitative results of LightingDiT-XL+RJF
查看结构化数据
任务指标本文基线提升
ImageNet 256x256 无引导生成 FID-50K 3.62 (DiT-XL, 80 epochs) 4.28 (DiT-XL + 标准流匹配, 80 epochs) FID降低15.4%,从4.28降至3.62
ImageNet 256x256 有引导生成 FID-50K 3.37 (DiT-B, 200 epochs) 无法收敛 (标准流匹配) 从无法收敛到FID 3.37
ImageNet 256x256 无引导生成 FID-50K 4.95 (DiT-B, 200 epochs) 24.21 (DiT-B + 标准流匹配, 80 epochs) FID降低79.6%,从24.21降至4.95
ImageNet 256x256 无引导生成 IS 186.2 (DiT-XL, 80 epochs) 未报告 超越所有同期方法
SigLIP特征空间生成 FID-50K 10.39 (DiT-B, 80 epochs) 130.21 (DiT-B + 标准流匹配, 80 epochs) FID降低92.0%,从130.21降至10.39
MAE特征空间生成 FID-50K 19.82 (DiT-B, 80 epochs) 50.48 (DiT-B + 标准流匹配, 80 epochs) FID降低60.7%,从50.48降至19.82

局限与改进

本文存在以下局限性。首先,作者承认可用计算资源有限,所有实验均在80 epochs的训练预算下进行(仅DiT-XL额外展示了24和14 epochs的结果),与SOTA方法(如REPA-E的800 epochs、RAE的800 epochs)相比训练周期较短,难以公平比较最终性能上限。其次,论文仅在ImageNet 256x256上验证,未涉及更高分辨率(如512x512)或其他数据集,泛化性有待验证。第三,投影半径R的最优选择(约45)偏离了DINOv2-B的原始范数(约27.7),这意味着需要额外的超参数调优,且最优值可能因编码器而异。第四,方法假设特征空间是完美的超球面,但实际中LayerNorm后的特征可能只是近似球面分布,存在微小的径向方差,这种近似的影响未被充分分析。第五,论文未与最新的SOTA方法(如REPA-E的FID 1.83、RAE的FID 1.60)在相同训练周期下进行对比,因为这些方法需要更长的训练时间。第六,雅可比正则化的理论推导假设常数截面曲率,对于非均匀曲率的流形(如学习到的表征空间)可能不是最优的。

独立分析的弱点

本文存在几个值得改进的弱点。第一,超球面假设过于理想化:实际中DINOv2等编码器的特征虽然因LayerNorm被约束在近似球面上,但并非严格球面,存在径向方差。可以考虑学习一个自适应的流形结构(如椭球面或更一般的黎曼流形),而非硬编码超球面假设。第二,雅可比权重函数 $\lambda(t, \Omega) = \text{sinc}^2((1-t)\Omega)$ 是基于解析推导的闭式解,但可能不是最优的。可以探索学习一个自适应的时间-距离依赖权重函数。第三,投影半径R作为超参数需要手动调优,可以考虑将其纳入训练过程,学习一个最优的输出缩放因子。第四,论文仅使用球面噪声投影(将高斯噪声归一化到单位球面),这种投影会改变噪声分布的各向同性,可能引入偏差。可以探索保测度的球面投影方法。第五,实验仅覆盖DiT系列架构,未验证在扩散模型之外的生成框架(如GAN、VAE)上的适用性。

未来方向

基于本文的成果,未来研究可以从以下几个方向展开。首先,将黎曼流匹配推广到更一般的流形结构,如Stiefel流形(正交矩阵空间)、Grassmann流形(子空间空间)等,这可能对表征学习本身产生深远影响。其次,探索自适应几何学习:不预设流形类型,而是从数据中学习最优的黎曼度量,这可以通过可微分的度量张量实现。第三,将RJF应用于其他模态(如文本表征、音频表征),因为LayerNorm在Transformer中是普遍使用的,其他模态的表征空间可能也存在类似的超球面几何。第四,研究更高效的测地线积分方法,当前的指数映射积分器虽然精确但每步需要额外的三角函数计算。第五,将几何正则化思想应用于训练过程本身,如设计几何感知的学习率调度或优化器。第六,探索RJF与现有表征对齐方法(如REPA)的结合,可能产生协同效应。最后,研究在更高维度(如4K分辨率)和更大规模模型上的表现。

复现评估

本文的复现条件较为良好。代码已在GitHub开源(https://github.com/amandpkr/RJF),这大大降低了复现门槛。实验基于公开的ImageNet-1K数据集和预训练的DINOv2-B、SigLIP、MAE编码器,这些资源均可公开获取。训练使用标准配置:Adam优化器(beta1=0.9, beta2=0.95)、学习率2e-4、batch size 1024、80 epochs、EMA衰减0.9995。这些超参数与LightingDiT一致,便于对比。然而,完整复现需要显著的计算资源:DiT-XL(677M参数)在ImageNet 256x256上训练80 epochs,使用全局batch size 1024,通常需要多块高端GPU。方法的核心实现(SLERP插值、雅可比权重计算、测地线积分器)并不复杂,但需要仔细处理切空间投影和数值稳定性(如 $\sin(\Omega)$ 接近零时的除法)。总体而言,复现难度中等,主要挑战在于计算资源而非算法复杂度。