引言:从GAN到扩散模型,图像生成的范式转移
计算机视觉领域在过去十年经历了三次生成模型的革命:变分自编码器(VAE)首次将神经网络引入概率生成模型,生成对抗网络(GAN)通过对抗训练实现了照片级图像合成,而扩散模型(Diffusion Model)则以全新的随机微分方程视角,在生成质量、稳定性和可控性上全面超越前两者。从2020年DDPM的开山之作,到Stable Diffusion、DALL-E 3、Sora等里程碑产品,扩散模型已经成为当今生成式AI的核心引擎。本文将从数学原理出发,系统梳理扩散模型的物理直觉、核心算法、工程优化和前沿应用。
第一章:扩散过程的物理直觉与数学建模
1.1 非平衡热力学的启示
扩散模型的灵感源自非平衡热力学中的扩散现象——墨水滴入水中会自发扩散,最终均匀分布。这个过程本质上是熵增驱动的随机过程,数学上由朗之万方程(Langevin Equation)描述:
dx = -∇U(x)dt + √(2D)dW
其中U(x)为势能函数,D为扩散系数,dW是维纳过程(布朗运动)。物理学家已经证明:通过精心设计的时间反转过程,可以从纯噪声中恢复出原始信号——这正是扩散模型去噪生成图像的理论基础。
1.2 前向扩散过程(Forward Diffusion)
前向扩散过程是一个固定的马尔可夫链,逐步将高斯噪声添加到数据中。定义噪声调度系数β₁, β₂, ..., βₜ(通常从10⁻⁴线性增长到0.02),在第t步:
q(xₜ|xₜ₋₁) = N(xₜ; √(1-βₜ)xₜ₋₁, βₜI)
关键性质:由于高斯分布的可叠加性,可以直接从原始数据x₀采样任意时间步t的状态:
q(xₜ|x₀) = N(xₜ; √ᾱₜx₀, (1-ᾱₜ)I)
其中ᾱₜ = ∏ᵢ₌₁⁗(1-βₜ)。当t→T时,ᾱₜ→0,x_T趋近于标准高斯噪声。
1.3 反向去噪过程(Reverse Diffusion)
反向过程是前向过程的逆转,需要神经网络学习转移概率:
p_θ(xₜ₋₁|xₜ) = N(xₜ₋₁; μ_θ(xₜ,t), Σ_θ(xₜ,t))
如果βₜ足够小,反向转移同样近似高斯,因此可以用神经网络预测均值μ_θ和方差Σ_θ。生成时,从标准高斯噪声x_T ~ N(0,I)出发,逐步去噪至x₀,即得到生成样本。
第二章:DDPM 训练目标与损失函数
2.1 变分下界与简化损失
扩散模型的训练目标是最大化数据的对数似然,等价于最小化变分下界(VLB)。DDPM作者通过重参数化技巧推导出了一个简洁的损失函数:
L(ε, ε_θ) = ||ε - ε_θ(√ᾱₜ·x₀ + √(1-ᾱₜ)·ε, t)||²
其中ε是前向过程中添加的真实噪声,ε_θ是U-Net预测的噪声。这个损失的意义:神经网络只需要预测添加到图像中的噪声,就能隐式地学习数据分布。
2.2 噪声预测 vs 均值预测 vs 原始图像预测
原始DDPM预测噪声ε,但后续研究探索了不同参数化方案:
- ε-预测(DDPM原始方案):稳定但生成多样性受限
- x₀-预测(DDIM引入):直接预测原始清晰图像,加速采样
- v-预测(Progressive Distillation):预测"速度场"ε - √(1-αₜ)x₀,更好地平衡质量与速度
实验表明,v-预测在少步采样时能更好地保持与多步采样的一致性,是Stable Diffusion XL等最新模型的选择。
第三章:采样加速算法
3.1 DDIM:确定性非马尔可夫采样
DDPM马尔可夫假设限制了采样速度。去噪扩散隐式模型(DDIM)提出了非马尔可夫前向过程,允许跳过时间步采样。其核心思想:给定当前xₜ和预测的x₀,可以直接"跳跃"到任意更早的状态xₜ₋ₖ:
xₜ₋₁ = √αₜ₋₁ · x̂₀ + √(1-αₜ₋₁-σₜ²) · ε_θ(xₜ,t) + σₜ · z
当σₜ=0时,DDIM变为确定性映射(给定噪声,生成确定结果),支持隐空间插值和反演编辑。
3.2 DPM-Solver 与 DPM-Solver++
基于扩散常微分方程(ODE)的视角,DPM-Solver利用半线性指数积分器,在10-20步内实现高质量生成。DPM-Solver++进一步提升了高阶精度,在5-10步内达到与50+步DDPM相当的质量,是当前最快的通用采样器之一。
3.3 一致性模型与一步生成
2024年OpenAI提出的一致性模型(Consistency Models)通过约束ODE轨迹上的"一致性"性质,实现了一步生成或极少步生成。一致性蒸馏(Consistency Distillation)可以从预训练扩散模型提取出一个快速生成学生模型,在保持质量的同时将推理时间从秒级压缩到毫秒级。
第四章:潜在扩散与大规模工程实践
4.1 Stable Diffusion 的潜在空间革命
直接在像素空间操作扩散过程的计算代价极其高昂(尤其对高分辨率图像)。Stable Diffusion的核心创新:在预训练VQ-VAE/Gaussian Autoencoder的潜在空间(Latent Space)中执行扩散,特征图尺寸压缩4×-8×,大幅降低训练和推理成本。
潜在扩散模型(LDM)的架构流程:
- 编码器E:将图像x压缩到潜在表示z = E(x)
- 扩散U-Net:在潜在空间学习去噪过程
- 解码器D:将去噪后的潜在表示恢复为图像x̂ = D(z₀)
4.2 交叉注意力条件控制机制
为了支持多模态条件生成(文本/图像/深度图等),Stable Diffusion在U-Net的每个分辨率层引入了交叉注意力层:
Attention(Q,K,V) = softmax(QK^T/√d)V
其中Q来自U-Net的中间特征(图像语义),K和V来自文本CLIP编码器输出。这种设计使模型能够理解提示词语义,并将文本信息注入到去噪过程的每一层,实现精确的文本到图像对齐。
4.3 显存优化与训练工程
训练大规模扩散模型涉及多个工程优化:
- 混合精度训练:FP16/BF16减少50%显存
- 梯度检查点:用计算换显存,节省60%+中间激活
- xFormers高效注意力:Flash Attention的内存高效实现
- 多分辨率输入:aspect ratio bucketing提升数据利用率
- EMA模型平均:指数移动平均平滑模型权重,提升推理质量
第五章:条件生成与控制技术
5.1 Classifier-Free Guidance (CFG)
CFG是扩散模型中最成功的条件增强技术。训练时以一定概率p_drop丢弃条件(替换为空向量),实现单一网络同时处理有条件和无条件去噪。推理时通过引导尺度ω插值:
ε̂ = ε_θ(xₜ, ∅) + ω · (ε_θ(xₜ, c) - ε_θ(xₜ, ∅))
ω越大,生成结果越贴近条件但多样性降低。经验取值ω∈[5,8]在质量和多样性间取得较好平衡。
5.2 ControlNet:精确的空间控制
ControlNet通过将U-Net的编码器权重"冻结并复刻出一个可训练的旁路",引入额外的结构条件(如深度图、姿态骨架、Canny边缘、语义分割图)。训练时旁路网络学习将控制信号映射到生成过程,原始模型权重完全不变——这意味着任何已有的扩散模型都可以在少量数据上"即插即用"获得空间控制能力。
5.3 IP-Adapter 与 多条件融合
IP-Adapter解决了多模态条件(尤其是图像提示)的融合问题。通过将图像特征解耦为内容和风格两个投影路径,IP-Adapter能够将参考图像的身份、风格、构图等信息注入生成过程,同时保持对文本提示的响应能力。配合LoRA微调,可以实现超高分辨率(1024×1024+)的人像一致性与空间可控生成。
第六章:视频扩散与时空建模
6.1 Sora 与时空扩散变换器
2024年OpenAI发布的Sora展示了视频扩散模型的惊人能力。Sora的核心技术创新包括:
- 时空块(Spacetime Patches):将视频视为三维时空立方体的Patch序列
- DiT架构:用Transformer完全替代U-Net,在Patch化潜在空间操作
- 多尺度训练:可变分辨率、帧率、宽高比的灵活训练策略
- 重描述(Recaptioning):GPT-4V增强视频标注,提升文本对齐
6.2 3D一致性与物理世界理解
Sora展现的3D一致性、长距离连贯性、物体持久性等特性,暗示扩散模型在学习视觉统计规律的过程中自发涌现了一定的物理世界理解能力——这不是显式3D建模的结果,而是从海量视频数据中"涌现"的物理直觉。这一发现对世界模型的构建具有深远启示。
第七章:扩散模型的工业应用与生态
7.1 图像生成与编辑
从Midjourney V6/V7的纯扩散墙生成,到Adobe Firefly的商业化产品嵌入,扩散模型已全面进入创意产业核心工作流。Inpainting(局部重绘)、Outpainting(扩展绘制)、超分辨率(Real-ESRGAN)、风格迁移等实用工具链日趋成熟。
7.2 科学计算与药物发现
扩散模型在科学领域的应用正快速扩展:
- 蛋白质结构生成:RFdiffusion生成新型蛋白质骨架
- 分子设计:DiffDock预测药物-蛋白结合构象
- 流体模拟:用扩散模型替代传统数值求解器
- 医学图像:合成训练数据、跨模态转换(MRI↔CT)
7.3 音频、3D与多模态
扩散思想正在从视觉扩展到更多模态:
- 音频:AudioLDM/Bark高质量语音和音效生成
- 3D:DreamFusion/Zero-1-2-3从文本生成3D网格
- 视频:AnimateDiff/SVD高效视频生成管线
- 通用多模态:DiffusionTransformer统一文本-图像-视频-音频生成
第八章:前沿展望
扩散模型的研究前沿正朝几个方向快速推进:
- 统一架构:Diffusion Transformer(DiT)正在成为视觉生成的统一基础架构,统一大小模型、统一静态/动态、统一图像/视频/3D
- 实时生成:蒸馏、量化、稀疏注意力等技术让扩散模型向30+fps实时推理迈进
- 可解释性:理解扩散模型在去噪过程中"何时决定语义"的机制,对可控性至关重要
- 安全与伦理:深度伪造检测、内容水印(Stable Signature)、合规过滤成为工程必须
- 硬件协同:针对扩散模型的专用推理优化(TensorRT/Diffuser Library的xFormers/CUDA Graph)持续进化
结语
扩散模型从一个"加噪声再学去噪"的优雅数学思想出发,在短短三年内重构了整个生成AI的技术版图。随着采样速度接近实时、空间控制达到像素级、应用边界从视觉延伸到科学计算,扩散模型已从学术奇观转化为数字社会的核心基础设施。理解扩散模型的原理与工程,不仅是掌握一项技术,更是把握生成式AI发展脉络的关键坐标。

发表评论 取消回复