← 返回 2026-02-11

自回归图像生成中基于扩散损失的条件误差修正 Condition Errors Refinement in Autoregressive Image Generation with Diffusion Loss

Yucheng Zhou, Hao Li, Jianbing Shen 📅 2026-02-02 👍 19 2026-07-13 08:35
图像生成 扩散模型 最优传输 条件生成 自回归生成

用最优传输理论修正自回归扩散模型中的条件误差,在ImageNet上达到SOTA

前置知识

扩散模型 (Diffusion Models)

扩散模型是一类生成模型,通过前向过程逐步向数据添加高斯噪声,再通过反向过程逐步去噪来生成新样本。前向过程定义为马尔可夫链 $q(x_t|x_{t-1}) = \mathcal{N}(x_t; \sqrt{1-\beta_t}x_{t-1}, \beta_t I)$,反向过程通过神经网络预测噪声或分数函数来重建数据。训练目标通常是分数匹配损失 $\mathbb{E}_{x_t} \|\nabla_{x_t} \log p_t(x_t) - s_\theta(x_t, t)\|^2$。扩散模型在图像生成质量上已超越GAN,但采样速度较慢。

本文的核心改进是在扩散模型框架内进行的,理解扩散模型的基本原理(前向/反向过程、分数匹配)是理解本文理论分析的基础。

自回归模型 (Autoregressive Models)

自回归模型将数据的联合分布分解为条件概率的乘积 $p(x) = \prod_{i=1}^n p(x_i|x_{<i})$,逐个元素生成数据。在图像生成中,每个patch的生成都依赖于之前所有已生成的patch。这种序列化生成方式能够捕捉长距离依赖,但面临计算效率和误差累积的挑战。近年来,自回归模型在图像生成中展现出与扩散模型相当的性能。

本文研究的是自回归模型与扩散损失的结合,理解自回归生成的序列特性对于理解条件误差如何累积至关重要。

最优传输 (Optimal Transport, OT)

最优传输理论研究如何以最小代价将一个概率分布变换为另一个概率分布。Wasserstein距离 $W_2(\mu, \nu) = \inf_{\gamma \in \Gamma(\mu,\nu)} \int \|x-y\|^2 d\gamma(x,y)$ 是最常用的传输距离。OT相比KL散度等指标具有几何意义,能够捕捉分布间的结构差异。Sinkhorn算法通过熵正则化高效近似求解OT问题。

本文的核心技术创新是用最优传输理论来修正条件分布的不一致性,理解OT的基本概念和Wasserstein梯度流是理解本文方法的关键。

条件生成 (Conditional Generation)

条件生成是指在生成过程中引入额外信息(如类别标签、文本描述或已生成的部分内容)来引导生成过程。在扩散模型中,条件信息通常通过条件分数函数 $\nabla_{x_t} \log p(x_t|c)$ 来影响采样。Classifier-Free Guidance是一种常用的条件控制技术,通过组合条件和无条件分数来增强条件控制效果。

本文研究的核心问题就是条件信息在自回归生成过程中的误差传播和修正,理解条件生成的基本机制是理解本文问题定义的前提。

Wasserstein梯度流 (Wasserstein Gradient Flow)

Wasserstein梯度流是在概率测度空间上的梯度下降,用于最小化能量泛函 $\mathcal{F}(P)$。JKO (Jordan-Kinderlehrer-Otto) 离散化方案提供了一种迭代求解方法:$P^{(k+1)} = \arg\min_P W_2^2(P, P^{(k)}) + \eta_k \mathcal{F}(P)$。这种框架保证了在Wasserstein空间中的收敛性,常用于分布优化和生成模型的理论分析。

本文将条件优化问题形式化为Wasserstein梯度流,并证明其收敛性,理解这一数学框架对于理解本文的理论贡献至关重要。

研究动机

当前自回归图像生成方法虽然取得了与扩散模型相当的性能,但存在一个被忽视的核心问题:条件误差的累积和传播。具体而言,在自回归框架下生成图像时,每个patch的条件信息 $c_i$ 都依赖于之前生成的所有patch,这导致两个严重问题。首先,自回归过程会不可避免地累积与当前patch生成无关的"多余信息" $\eta_i = c_i - c_i^*$,其中 $c_i^*$ 是理想条件。其次,这种条件不一致性会导致分数函数 $\nabla_{x_t} \log p(x_t|c_i)$ 偏离最优形式,产生 $\mathcal{O}(\|\eta_i\|_2)$ 量级的偏差。在标准扩散模型中,条件是静态的全局信息,不存在这种累积效应;但在自回归框架中,条件随着生成过程动态演化,误差会像滚雪球一样越滚越大,最终影响生成质量。这一问题在高分辨率图像生成和长序列生成中尤为严重。

本文的目标是本文的目标是通过理论分析和算法设计来解决自回归扩散模型中的条件误差问题。具体目标包括:(1) 从理论上证明自回归模型中的patch去噪优化能够缓解条件误差,使条件分布趋于稳定;(2) 量化条件影响的衰减行为,证明其以指数速率收敛到稳态值;(3) 提出基于最优传输理论的条件优化方法,将条件优化形式化为Wasserstein梯度流,并证明其收敛性;(4) 在ImageNet基准上验证方法的有效性,目标是在256×256分辨率上将FID分数降至1.5以下。

与已有工作不同的是,本文的独特视角在于将自回归图像生成中的条件误差问题从经验观察提升到了严格的理论分析层面。此前的工作主要关注如何将扩散损失引入自回归框架(如MAR方法),但对条件信息的演化行为缺乏深入理解。本文抓住了一个被忽视的关键点:在自回归过程中,条件信息不仅在"累积",更是在"演化"——每一步patch生成都会通过 $c_{i+1} = T(c_i)$ 更新条件。这种演化虽然能逐步优化条件,但也会引入噪声和不一致性。本文的切入角度是将这种演化过程建模为马尔可夫链,利用马尔可夫链的平稳分布理论来分析条件的长期行为,并引入最优传输理论来修正分布漂移,这是一种全新的理论框架。

核心方法

本文的方法可以类比为一个"逐步修正"的过程:想象你在拼图,每拼一块都需要参考之前拼好的部分来决定下一块的位置和颜色。但随着拼图进行,你可能会被之前拼错的部分误导。本文的方法就像在每一步都引入一个"质检员"(OT Refinement模块),检查当前条件是否与理想条件一致,如果不一致就进行修正。技术路线上,首先通过理论分析证明自回归模型中的patch去噪优化能够使条件分布趋于稳定,条件影响以指数速率衰减;然后提出基于最优传输的条件优化算法,通过Wasserstein梯度流将自回归生成的条件分布推向理想分布。整个方法包含三个关键组件:(1) 自回归条件生成,(2) 基于扩散的去噪过程,(3) 基于OT的条件优化。

本文的核心创新点是将自回归条件优化问题形式化为Wasserstein梯度流,并证明这种形式化保证了向理想条件分布的收敛。与已有方法的本质区别在于:(1) 理论上,本文首次证明了自回归过程中条件误差的指数衰减性质(定理2),即 $\|\nabla_{x_t} \log p_t(x_t|c_i)\| \leq M\beta^i + m$,其中 $\beta \in (0,1)$;(2) 算法上,引入最优传输理论来修正"条件不一致性",而不是简单地使用KL散度等基于重叠的指标。OT的优势在于:它能捕捉分布间的几何结构差异(几何修正),遵循最小作用原理找到最优路径(最少损失原则),并保证理论收敛性(定理3)。这种形式化使得条件优化过程具有单调改进的保证:$\mathbb{E}[\text{OT}_\lambda(p(x_i|c_i^{(k)}), p(x_i|c_i^*))] \leq \rho^k \mathbb{E}[\text{OT}_\lambda(p(x_i|c_i^{(0)}), p(x_i|c_i^*))]$。

方法步骤详情

本文方法的完整步骤如下:(1) 自回归条件生成:给定初始条件 $c_0$ 和历史条件 $\{c_{<i}\}$,通过自回归模型预测下一个条件 $c_i = \Phi_\theta(c_{i-1}) + \Gamma_\theta(\epsilon_i)$,其中 $\Phi_\theta$ 是学习到的转移算子,$\Gamma_\theta$ 调制噪声注入;(2) OT Refinement:对生成的条件 $c_i$ 进行优化,通过Sinkhorn算法求解熵正则化的最优传输问题,计算配对代价矩阵 $C_{mn} = \|z_m^{(k,0)} - z_n^*\|^2 + \lambda \|c_m^{(k)} - T^{-1}(z_n^*)\|^2$,其中包含隐空间匹配和条件一致性两项;(3) 条件更新:通过JKO迭代方案更新条件分布 $P_c^{(k+1)} = \arg\min_P W_2^2(P, P_c^{(k)}) + \eta_k \mathcal{F}(P)$,使用McCann插值 $c^{(k+1)} = c^{(k)} - \eta_k [\nabla W_2^2(\cdot, P_{c^*})|_{c^{(k)}} + \lambda \nabla \phi(c^{(k)})]$;(4) 去噪生成:使用优化后的条件 $c_i^*$ 引导扩散模型的反向过程生成patch $x_i$,通过DDIM更新 $z^{(k,t-1)} \leftarrow D_t(z^{(k,t)}, c^{(k)})$。

技术新颖性

本文的技术新颖性体现在三个方面。首先,在理论层面,本文首次建立了自回归扩散模型中条件误差的严格数学框架,定义了条件误差项 $\epsilon_c$(定义1)和简化条件误差项 $\bar{\epsilon}_c$(定义2),并通过定理1证明了条件分数匹配损失是标准分数匹配损失的上界。这为理解条件生成的误差结构提供了新的理论工具。其次,在算法层面,本文将最优传输理论引入自回归条件优化,这与此前使用KL散度或简单正则化的方法有本质区别。OT能够捕捉分布间的几何结构,而不仅仅是概率质量的差异。最后,在收敛性分析上,本文证明了Wasserstein梯度流的收敛性(定理3),给出了显式的收缩率 $\rho$,这在生成模型的理论分析中是少见的。这种严格的收敛保证使得本文的方法不仅在实践中有效,在理论上也更加完备。

自回归条件优化架构图
Figure 1: 自回归条件优化架构图

实验结果

本文在ImageNet基准上进行了全面的实验验证,取得了显著的性能提升。在ImageNet 256×256条件生成任务上,基于GPT-XL骨干网络的版本(Ours (AR))达到了FID 1.52,IS 317.6,Precision 0.82,Recall 0.60的性能。当结合MAR(Masked Autoregressive)骨干时,性能进一步提升至FID 1.31,IS 324.2,Precision 0.81,Recall 0.63。与最强基线MAR(FID 1.55,IS 303.7)相比,FID提升了15.4%,IS提升了6.8%。在可扩展性实验中,本文方法在三个不同模型规模(208M、479M、943M参数)上均优于MAR,且随着模型规模增大,性能差距扩大:208M时FID从2.31降至1.96(提升15.2%),479M时从1.78降至1.59(提升10.7%),943M时从1.55降至1.31(提升15.5%)。在高分辨率ImageNet 512×512生成上(约481M参数),本文方法达到FID 1.58,相比MAR的1.73提升了8.7%,IS从279.9提升至302.3(提升8.0%)。去噪分析实验表明,本文方法在信号-噪声比(SNR)和噪声强度(Noise Intensity)上均优于基线,特别是在去噪后期阶段差距扩大,证明了OT优化的有效性。

ImageNet 256×256条件生成不同方法比较
Table 1: ImageNet 256×256条件生成不同方法比较
高分辨率ImageNet 512×512性能比较
Table 3: 高分辨率ImageNet 512×512性能比较
ImageNet 256×256类条件生成定性结果
Figure 2: ImageNet 256×256类条件生成定性结果
去噪过程分析(信号-噪声比和噪声强度)
Figure 3: 去噪过程分析(信号-噪声比和噪声强度)
查看结构化数据
任务指标本文基线提升
ImageNet 256×256 条件生成 FID ↓ 1.52 (AR) / 1.31 (MAR) MAR: 1.55 15.4% / 15.5%
ImageNet 256×256 条件生成 IS ↑ 317.6 (AR) / 324.2 (MAR) MAR: 303.7 4.6% / 6.8%
ImageNet 256×256 条件生成 (208M) FID ↓ 1.96 MAR: 2.31 15.2%
ImageNet 256×256 条件生成 (479M) FID ↓ 1.59 MAR: 1.78 10.7%
ImageNet 256×256 条件生成 (943M) FID ↓ 1.31 MAR: 1.55 15.5%
ImageNet 512×512 条件生成 FID ↓ 1.58 MAR: 1.73 8.7%
ImageNet 512×512 条件生成 IS ↑ 302.3 MAR: 279.9 8.0%

局限与改进

本文的局限性主要体现在以下几个方面。首先,作者在附录B中坦承,由于计算资源的限制,实验没有在更大规模的模型上进行验证。目前最大的模型为943M参数,而当前最先进的生成模型通常在数十亿参数规模上训练,这使得本文方法在更大规模上的有效性有待进一步验证。其次,理论分析依赖于若干假设(假设1-4),包括马尔可夫性质、高斯分布假设、小方差假设和自回归过程的基本假设,这些假设在实际应用中可能不完全成立。第三,本文的理论证明主要关注渐近行为(如指数衰减),对于有限步数的实际生成过程,理论保证的紧密性有待分析。第四,实验仅在ImageNet数据集上进行,缺乏在其他数据集(如COCO、LAION)或文本到图像生成任务上的验证。最后,OT Refinement模块引入了额外的计算开销,包括Sinkhorn迭代和配对代价矩阵计算,这可能影响推理速度。

独立分析的弱点

本文的弱点主要体现在以下几个方面。首先,计算效率问题:OT Refinement模块需要维护EMA缓冲区(大小B=2048)和进行Sinkhorn迭代(K_sink步),这引入了显著的内存和计算开销。在实际部署中,这可能成为瓶颈,特别是在实时生成场景下。建议探索更高效的OT近似方法或设计轻量级的条件优化模块。其次,理论假设的局限性:假设3(小方差假设)要求时间步数T足够大使得方差 $\sigma_t^2$ 趋近于零,这在实际应用中难以完全满足。建议在更宽松的假设下建立理论保证,或通过实验验证假设的合理性。第三,单一数据集验证:所有实验仅在ImageNet上进行,缺乏在多样化数据集上的泛化性验证。建议在COCO、FFHQ等数据集上进行补充实验。第四,缺乏与更多基线的对比:Table 1中缺少与一些最新的扩散-自回归混合方法(如LDMGen、Infinity)的对比,这使得性能优势的全面性有待确认。第五,消融实验不充分:论文没有对OT Refinement模块的关键超参数(如正则化参数 $\lambda$、熵正则化系数 $\epsilon$、Sinkhorn迭代次数)进行消融实验,这使得读者难以理解各组件的贡献。

未来方向

基于本文的理论框架和实验结果,未来研究可以从以下几个方向展开。首先,将方法扩展到更大规模的模型和更多样化的任务上,包括文本到图像生成、图像编辑、视频生成等。本文建立的条件误差理论框架可以为这些任务提供理论指导。其次,探索更高效的条件优化方法,例如通过设计轻量级的神经网络来近似OT Refinement过程,避免显式的Sinkhorn迭代。第三,将本文的理论分析扩展到连续时间扩散模型和随机微分方程(SDE)框架,建立更一般的理论保证。第四,研究条件误差在多模态生成(如图文联合生成)中的传播机制,探索跨模态的条件优化方法。第五,将OT Refinement思想应用于其他生成模型(如GAN、VAE),验证其普适性。最后,探索自适应的条件优化策略,根据生成进度动态调整优化强度,在质量和效率之间取得更好的平衡。

复现评估

本文的复现性评估如下。代码方面,论文未明确说明是否开源,但提供了详细的算法伪代码(Algorithm 1)和实现细节(附录L.1),包括目标分布估计的EMA更新($\nu=0.1$,缓冲区大小B=2048)、自适应熵正则化调度($\epsilon^{(k)} = \epsilon_{max} - (\epsilon_{max} - \epsilon_{min}) \frac{k}{K}$)、Adam优化器参数等。数据方面,使用标准的ImageNet数据集,复现无障碍。算力方面,训练配置为batch size 2048、400 epochs、学习率 $1 \times 10^{-5}$,需要较大的GPU集群(具体未说明,但根据配置推测至少需要多张A100)。复现难度中等,主要挑战在于:(1) GPT-XL骨干网络的实现和预训练,(2) MAR去噪模块的集成,(3) OT Refinement模块中Sinkhorn算法的正确实现。建议参考MAR和DiT的官方代码库作为基础实现。