0


IDDPM论文阅读

论文链接:Improved Denoising Diffusion Probabilistic Models

文章目录

摘要

去噪扩散概率模型(DDPM)是一类生成模型,最近被证明可以产生优秀的样本。本文表明,通过一些简单的修改,ddpm也可以在保持高样本质量的同时实现竞争对数似然。此外,发现反向扩散过程的学习方差允许以更少数量级的正向采样进行采样,而样本质量的差异可以忽略不计,这对于这些模型的实际部署很重要。使用精度和召回率来比较 DDPM 和 GAN 覆盖目标分布的程度。最后,展示了这些模型的样本质量和可能性随着模型容量和训练计算而平滑扩展,使其易于扩展。

引言

Deep Unsupervised Learning using Nonequilibrium Thermodynamics中引入了扩散概率模型,这是一类生成模型,它通过学习逆转渐进的多步噪声过程来匹配数据分布。最近,Denoising Diffusion Probabilistic Models论文表明去噪扩散概率模型 (DDPM) 和基于分数的生成模型 (Generative Modeling by Estimating Gradients of the Data Distribution) 之间是等价的,后者使用去噪分数匹配学习数据分布的对数密度梯度。最近表明,这类模型可以产生高质量的图像和音频(WaveGrad; DiffWave),但尚未证明 DDPM 可以实现与其他基于似然性的模型竞争的对数似然性,例如自回归模型和 VAE。这引发了各种问题,例如 DDPM 是否能够捕获分布的所有模式。此外,DDPM在CIFAR-10和LSUN数据集上显示了非常好的结果,但尚不清楚DDPM在具有更高多样性的数据集(如ImageNet)上的扩展性如何。最后,虽然WaveGrad发现DDPM可以使用少量采样步骤有效地生成音频,但尚未证明图像也是如此。

本文表明DDPM可以实现对数似然性,与其他基于似然性的模型竞争,即使在高多样性的数据集上,如ImageNet。为了更紧密地优化变分下限 (VLB),使用简单的重参数化和将VLB与DDPM的简化目标相结合的混合学习目标来学习逆过程方差

惊讶地发现,使用混合目标,模型比直接优化对数似然获得的模型获得更好的对数似然,并发现后一个目标在训练期间具有更多的梯度噪声。论文展示了一种简单的重要性采样技术可以减少这种噪声,并能够获得比混合目标更好的对数似然。

在将学习到的方差合并到模型中后,惊奇地发现,可以从模型中以更少的步骤进行采样,而样本质量几乎没有变化(DDPM中方差是固定的,不可学习的)。虽然 DDPM需要数百次前向传递才能产生良好的样本,但本模型只需50次前向传递即可获得良好的样本,从而加快采样速度以用于实际应用。在本工作的同时,Denoising Diffusion Implicit Models开发了一种不同的快速采样方法,在实验中与该方法DDIM进行了比较。

虽然likelihood是与其他基于likelihood的模型进行比较的一个很好的指标,但本文还将模型的distribution coverage与 GAN 进行比较。使用改进的precision和recall指标并发现扩散模型对于相似的 FID 实现了更高的召回率,这表明它们确实覆盖了目标分布的更大部分。

最后,由于预计机器学习模型在未来会消耗更多的计算资源,因此在增加模型大小和训练计算时评估这些模型的性能。观察到的趋势表明,随着增加训练计算,性能会得到可预测的改进。

去噪扩散概率模型

简要回顾DDPM的推导公式,该公式做出了各种简化假设,例如固定噪声过程q,在每个时间步添加对角高斯噪声。有关更一般的推导,请参见 Deep Unsupervised Learning using Nonequilibrium Thermodynamics。

定义

给定一个数据分布

  1. x
  2. 0
  3. q
  4. (
  5. x
  6. 0
  7. )
  8. x_0q(x_0)
  9. x0​∼q(x0​),定义了一个前向噪声过程
  10. q
  11. q
  12. q,它通过在时间
  13. t
  14. t
  15. t加入方差
  16. β
  17. t
  18. (
  19. 0
  20. ,
  21. 1
  22. )
  23. β_t (0, 1)
  24. βt​∈(0,1)的高斯噪声来产生潜在
  25. x
  26. 1
  27. x_1
  28. x1​到
  29. x
  30. T
  31. x_T
  32. xT​,如下所示:

在这里插入图片描述
给定足够大的

  1. T
  2. T
  3. T和良好的
  4. β
  5. t
  6. β_t
  7. βt​调度方案,潜在的
  8. x
  9. T
  10. x_T
  11. xT​几乎是各向同性的高斯分布。因此,如果知道精确的反向分布
  12. q
  13. (
  14. x
  15. t
  16. 1
  17. x
  18. t
  19. )
  20. q(x_{t1}|x_t)
  21. q(xt1​∣xt​),可以采样
  22. x
  23. T
  24. N
  25. (
  26. 0
  27. ,
  28. I
  29. )
  30. x_T N (0, I)
  31. xT​∼N(0,I)并反向运行该过程以从
  32. q
  33. (
  34. x
  35. 0
  36. )
  37. q(x_0)
  38. q(x0​)中获取样本。然而,由于
  39. q
  40. (
  41. x
  42. t
  43. 1
  44. x
  45. t
  46. )
  47. q(x_{t1}|x_t)
  48. q(xt1​∣xt​)取决于整个数据分布,使用神经网络对其进行近似,如下所示:

在这里插入图片描述

  1. q
  2. q
  3. q
  4. p
  5. p
  6. p的组合是变分自动编码器,可以将变分下界 (VLB) 写成如下:

在这里插入图片描述
除了

  1. L
  2. 0
  3. L_0
  4. L0​,等式4的每一项都是两个高斯之间的KL 散度,因此可以以封闭形式进行评估。为了评估图像的
  5. L
  6. 0
  7. L_0
  8. L0​,假设每个颜色分量被分成 256bin,计算
  9. p
  10. θ
  11. (
  12. x
  13. 0
  14. x
  15. 1
  16. )
  17. p_θ(x_0|x_1)
  18. pθ​(x0​∣x1​)落在正确bin中的概率(这可以使用高斯分布的 CDF 处理)。另请注意,虽然
  19. L
  20. T
  21. L_T
  22. LT​不依赖于
  23. θ
  24. θ
  25. θ,但如果前向噪声过程充分破坏了数据分布,使得
  26. q
  27. (
  28. x
  29. T
  30. x
  31. 0
  32. )
  33. N
  34. (
  35. 0
  36. ,
  37. I
  38. )
  39. q(x_T |x_0) N (0, I)
  40. q(xT​∣x0​)≈N(0,I),它将接近于零。

如DDPM论文中所述,等式2中定义的噪声过程允许对直接以输入

  1. x
  2. 0
  3. x_0
  4. x0​为条件的噪声潜在值的任意步骤进行采样。设
  5. α
  6. t
  7. :
  8. =
  9. 1
  10. β
  11. t
  12. ,
  13. α
  14. ˉ
  15. t
  16. :
  17. =
  18. s
  19. =
  20. 0
  21. t
  22. α
  23. s
  24. \alpha_t := 1-\beta_t, \bar{\alpha}_t := \prod_{s=0}^t{\alpha_s}
  25. αt​:=1−βt​,αˉt​:=∏s=0t​αs​,可推导以下公式:

在这里插入图片描述
其中

  1. ϵ
  2. N
  3. (
  4. 0
  5. ,
  6. I
  7. )
  8. \epsilon \sim N(0, I)
  9. ϵ∼N(0,I)。这里,
  10. 1
  11. α
  12. t
  13. 1−α_t
  14. 1−αt​告诉任意时间步噪声的方差,可以等效地用它来定义噪声调度,而不是
  15. β
  16. t
  17. β_t
  18. βt​。

使用贝叶斯定理,可以计算

  1. β
  2. ~
  3. t
  4. μ
  5. ~
  6. t
  7. (
  8. x
  9. t
  10. ,
  11. x
  12. 0
  13. )
  14. \tilde{β}_t\tilde{μ}_t(x_t, x_0)
  15. β~​t​、μ~​t​(xt​,x0​)及后验
  16. q
  17. (
  18. x
  19. t
  20. 1
  21. x
  22. t
  23. ,
  24. x
  25. 0
  26. )
  27. q(x_{t1}|x_t, x_0)
  28. q(xt1​∣xt​,x0​),它们的定义如下:

在这里插入图片描述

实际训练

等式4中的目标是独立项

  1. L
  2. t
  3. 1
  4. L_{t-1}
  5. Lt1​的总和,等式9提供了一种有效的方法,从正向噪声过程的任意步骤中采样,并使用后验(公式12)和先验(公式3)估计
  6. L
  7. t
  8. 1
  9. L_{t-1}
  10. Lt1​。因此,可以随机抽取
  11. t
  12. t
  13. t,并使用期望
  14. E
  15. t
  16. ,
  17. x
  18. 0
  19. ,
  20. ϵ
  21. [
  22. L
  23. t
  24. 1
  25. ]
  26. E_{t,x_0,\epsilon}[L_{t1}]
  27. Et,x0​,ϵ​[Lt1​]来估计
  28. L
  29. v
  30. l
  31. b
  32. L_{vlb}
  33. Lvlb​。DDPM中对每个小批中的每个图像均匀采样
  34. t
  35. t
  36. t

先验中

  1. μ
  2. θ
  3. (
  4. x
  5. t
  6. ,
  7. t
  8. )
  9. μ_θ(x_t, t)
  10. μθ​(xt​,t)的参数化有很多不同的方法。最明显的方法是用神经网络直接预测
  11. μ
  12. θ
  13. (
  14. x
  15. t
  16. ,
  17. t
  18. )
  19. μ_θ(x_t, t)
  20. μθ​(xt​,t)。或者,网络可以预测
  21. x
  22. 0
  23. x_0
  24. x0​,这个输出可以用在公式11中产生
  25. μ
  26. θ
  27. (
  28. x
  29. t
  30. ,
  31. t
  32. )
  33. μ_θ(x_t, t)
  34. μθ​(xt​,t)。网络也可以预测噪声,用公式911推导。

在这里插入图片描述
DDPM发现,预测效果

  1. ϵ
  2. \epsilon
  3. ϵ最好,特别是在与重加权损失函数结合时:

在这里插入图片描述
这个目标可以看作是

  1. L
  2. v
  3. l
  4. b
  5. L_{vlb}
  6. Lvlb​的重新加权形式(没有影响
  7. Σ
  8. θ
  9. Σ_θ
  10. Σθ​ 的项)。研究发现优化这个重新加权的目标比直接优化
  11. L
  12. v
  13. l
  14. b
  15. L_{vlb}
  16. Lvlb​产生更好的样本质量。

**一个微妙之处是

  1. L
  2. s
  3. i
  4. m
  5. p
  6. l
  7. e
  8. L_{simple}
  9. Lsimple​没有为
  10. Σ
  11. θ
  12. (
  13. x
  14. t
  15. ,
  16. t
  17. )
  18. Σ_θ(xt, t)
  19. Σθ​(xt,t)提供学习信号。然而,这无关紧要,因为DDPM通过将方差固定为
  20. σ
  21. t
  22. 2
  23. I
  24. σ^2_tI
  25. σt2I而不是学习它,取得了最好的结果**;其发现使用
  26. σ
  27. t
  28. 2
  29. =
  30. β
  31. t
  32. σ^2_t = β_t
  33. σt2​=βt​或
  34. σ
  35. t
  36. 2
  37. =
  38. β
  39. ~
  40. t
  41. σ^2_t = \tilde{β}_t
  42. σt2​=β~​t​可以实现相似的样本质量,它们分别是
  43. q
  44. (
  45. x
  46. 0
  47. )
  48. q(x_0)
  49. q(x0​)给出的方差的上限和下限,
  50. q
  51. (
  52. x
  53. 0
  54. )
  55. q(x_0)
  56. q(x0​)是各向同性高斯噪声或delta函数。

对数似然改善

尽管DDPM能基于FID和Inception Score生成高保真图像,但是无法实现有竞争的对数似然。对数似然是生成建模中广泛使用的度量,一般认为优化对数似然会迫使生成模型捕获数据分布的所有模式。此外,最近的工作表明,对数似然的微小改进可以对样本质量和学习到的特征表示产生显著影响。因此,探索为什么DDPM在这个度量上表现很差是很重要的,因为这可能意味着一个基本的缺点,比如糟糕的模式覆盖。本节探讨对上一节描述的算法的一些修改,当它们组合时,允许DDPM在图像数据集上实现更好的对数似然,这表明这些模型与其他基于似然的生成模型具有相同的好处。

为了研究不同修改的效果,在ImageNet 64 × 64和数据集上训练具有固定超参数的固定模型架构。虽然CIFAR-10对此类模型有更多用途是公认的,但也选择研究ImageNet 64 × 64,因为它在多样性和分辨率之间提供了良好的权衡,能够快速训练模型而不必担心过度拟合。此外,ImageNet 64×64 已在生成建模的背景下进行了广泛的研究,使能够直接将 DDPM与许多其他生成模型进行比较。

基于DDPM论文中的设置(

  1. σ
  2. t
  3. 2
  4. =
  5. β
  6. t
  7. ,
  8. T
  9. =
  10. 1000
  11. \sigma^2_t= \beta_t, T=1000
  12. σt2​=βt​,T=1000,优化
  13. L
  14. s
  15. i
  16. m
  17. p
  18. l
  19. e
  20. L_{simple}
  21. Lsimple​),在ImageNet 64 × 64上迭代训练200k个周期实现3.99bits/dim)的对数似然。在早期的实验中发现,可以通过将
  22. T
  23. T
  24. T1000增加到4000来提高对数似然;通过此更改,对数似然提高到 3.77。对于本节的其余部分,使用 T = 4000,在下一节中探讨这个选择。

可学习的

  1. θ
  2. (
  3. x
  4. t
  5. ,
  6. t
  7. )
  8. \sum_{\theta}(x_t, t)
  9. ∑θ​(xt​,t)

在DDPM中,设置

  1. θ
  2. (
  3. x
  4. t
  5. ,
  6. t
  7. )
  8. =
  9. σ
  10. t
  11. 2
  12. I
  13. \sum_{\theta}(x_t, t)=\sigma^2_tI
  14. ∑θ​(xt​,t)=σt2I,其中
  15. σ
  16. t
  17. \sigma_t
  18. σt​是不能学习的。奇怪的是,他们发现将
  19. σ
  20. t
  21. 2
  22. \sigma_t^2
  23. σt2​固定为
  24. β
  25. t
  26. β_t
  27. βt​产生的样本质量与将其固定为
  28. β
  29. ~
  30. t
  31. \tilde{β}_t
  32. β~​t​的样本质量大致相同。考虑到
  33. β
  34. t
  35. β_t
  36. βt​和
  37. β
  38. ~
  39. t
  40. \tilde{β}_t
  41. β~​t​代表两个相反的极端,有理由问为什么这个选择不会影响样本。图1给出了一条线索,它表明
  42. β
  43. t
  44. β_t
  45. βt​和
  46. β
  47. ~
  48. t
  49. \tilde{β}_t
  50. β~​t​几乎相等,除非在t = 0附近,即模型正在处理难以察觉的细节。此外,当增加扩散步骤的数量时,
  51. β
  52. t
  53. β_t
  54. βt​和
  55. β
  56. ~
  57. t
  58. \tilde{β}_t
  59. β~​t​在更多的扩散过程中似乎保持彼此接近。这表明,在无限扩散步骤的限制下,
  60. σ
  61. t
  62. σ_t
  63. σt​的选择可能对样本质量根本不重要。换句话说,随着添加更多的扩散步骤,模型均值
  64. μ
  65. θ
  66. (
  67. x
  68. t
  69. ,
  70. t
  71. )
  72. μ_θ(x_t, t)
  73. μθ​(xt​,t)比
  74. Σ
  75. θ
  76. (
  77. x
  78. t
  79. ,
  80. t
  81. )
  82. Σ_θ(x_t, t)
  83. Σθ​(xt​,t)更能确定分布。

在这里插入图片描述
图1 不同扩散总步数中

  1. β
  2. ~
  3. /
  4. β
  5. \tilde{\beta}/\beta
  6. β~​/β比值随扩散步数的变化曲线

虽然上述论证表明固定

  1. σ
  2. t
  3. σ_t
  4. σt​是为了样本质量的合理选择,但它并没有说明对数似然。事实上,图2显示了扩散过程的前几个步骤对变分下界的贡献最大。因此,似乎可以通过更好地选择
  5. Σ
  6. θ
  7. (
  8. x
  9. t
  10. ,
  11. t
  12. )
  13. Σ_θ(x_t, t)
  14. Σθ​(xt​,t)来提高对数似然性。为了实现这一点,必须学习
  15. Σ
  16. θ
  17. (
  18. x
  19. t
  20. ,
  21. t
  22. )
  23. Σ_θ(x_t, t)
  24. Σθ​(xt​,t)而不会遇到DDPM中的不稳定性。

在这里插入图片描述

图2 前几个扩散步骤对训练损失的影响

由于图1表明

  1. Σ
  2. θ
  3. (
  4. x
  5. t
  6. ,
  7. t
  8. )
  9. Σ_θ(x_t, t)
  10. Σθ​(xt​,t)的合理范围非常小,因此神经网络很难直接预测
  11. Σ
  12. θ
  13. (
  14. x
  15. t
  16. ,
  17. t
  18. )
  19. Σ_θ(x_t, t)
  20. Σθ​(xt​,t),即使在对数域中,正如DDPM所观察到的那样。 相反,本文发现最好将方差参数化为对数域中
  21. β
  22. t
  23. β_t
  24. βt​和
  25. β
  26. ~
  27. t
  28. \tilde{β}_t
  29. β~​t​之间的插值。具体是,本文的模型输出一个向量 v,每个维度包含一个分量,将这个输出转换为方差,如下所示:

在这里插入图片描述
没有对

  1. v
  2. v
  3. v施加任何约束,理论上允许模型预测插值范围之外的方差。然而,并没有观察到网络在实践中这样做,这表明
  4. Σ
  5. θ
  6. (
  7. x
  8. t
  9. ,
  10. t
  11. )
  12. Σ_θ(x_t, t)
  13. Σθ​(xt​,t)的边界确实足够表达。

由于

  1. L
  2. s
  3. i
  4. m
  5. p
  6. l
  7. e
  8. L_{simple}
  9. Lsimple​不依赖于
  10. Σ
  11. θ
  12. (
  13. x
  14. t
  15. ,
  16. t
  17. )
  18. Σ_θ(x_t, t)
  19. Σθ​(xt​,t),定义了一个新的混合目标:

在这里插入图片描述
对于实验,设置

  1. λ
  2. =
  3. 0.001
  4. λ = 0.001
  5. λ=0.001以防止
  6. L
  7. v
  8. l
  9. b
  10. L_{vlb}
  11. Lvlb​压倒
  12. L
  13. s
  14. i
  15. m
  16. p
  17. l
  18. e
  19. L_{simple}
  20. Lsimple​。沿着同样的推理思路,还对
  21. L
  22. v
  23. l
  24. b
  25. L_{vlb}
  26. Lvlb​项的
  27. μ
  28. θ
  29. (
  30. x
  31. t
  32. ,
  33. t
  34. )
  35. μ_θ(x_t, t)
  36. μθ​(xt​,t)输出应用stop-gradient。这样,
  37. L
  38. v
  39. l
  40. b
  41. L_{vlb}
  42. Lvlb​可以引导
  43. Σ
  44. θ
  45. (
  46. x
  47. t
  48. ,
  49. t
  50. )
  51. Σ_θ(x_t, t)
  52. Σθ​(xt​,t)而
  53. L
  54. s
  55. i
  56. m
  57. p
  58. l
  59. e
  60. L_{simple}
  61. Lsimple​仍然是影响
  62. μ
  63. θ
  64. (
  65. x
  66. t
  67. ,
  68. t
  69. )
  70. μ_θ(x_t, t)
  71. μθ​(xt​,t)的主要来源

噪声添加方式改善

发现,虽然DDPM使用的线性噪声方案对于高分辨率图像效果很好,但对于分辨率为 64 × 64 和 32 × 32 的图像效果不佳。特别是,前向噪声过程的结束噪声太大,因此对样本质量的贡献不大。这可以在图3中直观地看到。在图4中研究了这种效应的结果,可看到,当跳过高达 20% 的反向扩散过程时,使用线性计划训练的模型并没有变得更糟(由 FID 测量)。
在这里插入图片描述

图3 针对扩散范围[0, T]以t为间隔线性采样(上面是线性加噪,下面是cosine加噪);线性加噪最后四分之一的潜在值几乎是纯噪声,而余弦加噪的速度较慢

在这里插入图片描述

图4 在 ImageNet 64 × 64 上跳过反向扩散过程的前缀时的 FID

为了解决这个问题,根据

  1. α
  2. ~
  3. t
  4. \tilde{α}_t
  5. α~t​构造了一个不同的噪声表:

在这里插入图片描述
从这个定义到方差

  1. β
  2. t
  3. β_t
  4. βt​,注意到
  5. β
  6. t
  7. =
  8. 1
  9. α
  10. ˉ
  11. t
  12. α
  13. ˉ
  14. t
  15. 1
  16. β_t = 1-\frac{\bar{\alpha}_t}{\bar{\alpha}_{t-1}}
  17. βt​=1−αˉt1​αˉt​​。在实践中,将
  18. β
  19. t
  20. β_t
  21. βt​裁剪为不大于 0.999,以防止在
  22. t
  23. =
  24. T
  25. t = T
  26. t=T附近的扩散过程结束时出现奇点。

本文的余弦schedule设计为在过程中间线性下降

  1. α
  2. ˉ
  3. t
  4. \bar{\alpha}_t
  5. αˉt​,同时在
  6. t
  7. =
  8. 0
  9. t = 0
  10. t=0
  11. t
  12. =
  13. T
  14. t = T
  15. t=T 的极值附近变化很小,以防止噪声水平的突然变化。图 5 显示了两个schedule
  16. α
  17. ˉ
  18. t
  19. \bar{\alpha}_t
  20. αˉt​进展情况;可以看到DDPM的线性schedule
  21. α
  22. ˉ
  23. t
  24. \bar{\alpha}_t
  25. αˉt​更快地下降到零,比必要更快地破坏信息。

在这里插入图片描述
图5 线性schedule和cosine schedule下扩散过程中

  1. α
  2. ˉ
  3. t
  4. \bar{\alpha}_t
  5. αˉt​变化曲线

使用一个小的偏移量

  1. s
  2. s
  3. s来防止
  4. β
  5. t
  6. β_t
  7. βt​在
  8. t
  9. =
  10. 0
  11. t = 0
  12. t=0附近太小,因为发现在过程开始时有少量噪声使得网络难以足够准确地预测。特别的,选择s
  13. β
  14. 0
  15. \sqrt{\beta_0}
  16. β0​​这样略微比一个像素bin尺寸(1/127.5)小的值,从而
  17. s
  18. =
  19. 0.008
  20. s=0.008
  21. s=0.008。特别选择
  22. c
  23. o
  24. s
  25. 2
  26. cos^2
  27. cos2,因为它是一个常见的数学函数,具有想要的形状。这个选择是随意的,希望许多具有类似形状的其他函数也可以工作。

减少梯度噪声

本文期望通过直接优化

  1. L
  2. v
  3. l
  4. b
  5. L_{vlb}
  6. Lvlb​而不是通过优化
  7. L
  8. h
  9. y
  10. b
  11. r
  12. i
  13. d
  14. L_{hybrid}
  15. Lhybrid​来获得最佳对数可能性。然而,惊讶地发现,至少在不同的ImageNet64 × 64数据集上,
  16. L
  17. v
  18. l
  19. b
  20. L_{vlb}
  21. Lvlb​实际上很难优化。图6显示了
  22. L
  23. v
  24. l
  25. b
  26. L_{vlb}
  27. Lvlb​和
  28. L
  29. h
  30. y
  31. b
  32. r
  33. i
  34. d
  35. L_{hybrid}
  36. Lhybrid​的学习曲线。这两条曲线都是有噪声的,但混合目标显然在训练集上获得了更好的对数似然,给定相同的训练时间。

在这里插入图片描述

图6 ImageNet 64 × 64上不同目标的对数似然比较学习曲线

本文假设

  1. L
  2. v
  3. l
  4. b
  5. L_{vlb}
  6. Lvlb​的梯度比
  7. L
  8. h
  9. y
  10. b
  11. r
  12. i
  13. d
  14. L_{hybrid}
  15. Lhybrid​的梯度噪声大得多。通过评估用两个目标训练的模型的梯度噪声尺度来证实这一点,如图7所示。因此,寻找一种方法来减少
  16. L
  17. v
  18. l
  19. b
  20. L_{vlb}
  21. Lvlb​的方差,以直接优化对数似然。

在这里插入图片描述
图7 ImageNet 64 × 64 上

  1. L
  2. v
  3. l
  4. b
  5. L_{vlb}
  6. Lvlb​和
  7. L
  8. h
  9. y
  10. b
  11. r
  12. i
  13. d
  14. L_{hybrid}
  15. Lhybrid​目标的梯度噪声尺度

注意到

  1. L
  2. v
  3. l
  4. b
  5. L_{vlb}
  6. Lvlb​的不同项具有很大不同的幅度(如图 2),假设均匀采样
  7. t
  8. t
  9. t会在
  10. L
  11. v
  12. l
  13. b
  14. L_{vlb}
  15. Lvlb​目标中引起不必要的噪声。为了解决这个问题,采用重要性抽样:

在这里插入图片描述
由于

  1. E
  2. [
  3. L
  4. t
  5. 2
  6. ]
  7. E[L^2_t ]
  8. E[Lt2​]事先是未知的,并且可能在整个训练过程中发生变化,因此保留每个损失项的前 10 个值的历史记录,并在训练期间动态更新它。在训练开始时,对
  9. t
  10. t
  11. t进行统一采样,直到对每个
  12. t
  13. [
  14. 0
  15. ,
  16. T
  17. 1
  18. ]
  19. t∈[0,T1]
  20. t∈[0,T1]抽取10个样本。有了这个重要抽样目标,可以通过优化
  21. L
  22. v
  23. l
  24. b
  25. L_{vlb}
  26. Lvlb​来实现最佳对数可能性,这可以在图6中的
  27. L
  28. v
  29. l
  30. b
  31. L_{vlb}
  32. Lvlb​(重采样)曲线中看到。图6中还显示,重要采样目标比原始的、均匀采样目标的噪声要小得多;还发现,在直接优化低噪声混合目标时,重要抽样技术并没有帮助。

结果和消融

在本节中,消除了为获得更好的对数可能性所做的更改。表1总结了在ImageNet 64 × 64上消融的结果,表2显示了CIFAR-10的结果。还为 150 万次迭代训练了最好的 ImageNet 64 × 64 模型,并报告了这些结果。

  1. L
  2. v
  3. l
  4. b
  5. L_{vlb}
  6. Lvlb​和
  7. L
  8. h
  9. y
  10. b
  11. r
  12. i
  13. d
  14. L_{hybrid}
  15. Lhybrid​使用参数化学习的
  16. θ
  17. (
  18. x
  19. t
  20. ,
  21. t
  22. )
  23. \sum_{\theta}(x_t, t)
  24. ∑θ​(xt​,t)进行训练;对于
  25. L
  26. v
  27. l
  28. b
  29. L_{vlb}
  30. Lvlb​,使用了重要性重采样方案。

在这里插入图片描述

表1 ImageNet 64 × 64上的消融实验


在这里插入图片描述

表2 CIFAR-10上的消融实验

基于消融实验可知,使用

  1. L
  2. h
  3. y
  4. b
  5. r
  6. i
  7. d
  8. L_{hybrid}
  9. Lhybrid​和余弦schedule加噪提高了对数似然性,同时保持与DDPM的基线相似的FID。优化
  10. L
  11. v
  12. l
  13. b
  14. L_{vlb}
  15. Lvlb​以更高的FID为代价进一步提高了对数似然性。通常更倾向使用
  16. L
  17. h
  18. y
  19. b
  20. r
  21. i
  22. d
  23. L_{hybrid}
  24. Lhybrid​而不是
  25. L
  26. v
  27. l
  28. b
  29. L_{vlb}
  30. Lvlb​,因为它可以在不牺牲样本质量的情况下提高可能性。

在表 3 中,将本文的最佳似然模型与之前的工作进行了比较,表明这些模型在对数似然方面与最佳传统方法具有竞争力。
在这里插入图片描述

表3 在 CIFAR-10 和无条件 ImageNet 64 × 64 上将DDPM与其他基于似然的模型进行比较;NLL以bits/dim报告;在 ImageNet 64 × 64 上,本文的模型与最好的卷积模型具有竞争力,但比完全基于Transformer的架构差

采样速度改善

本文所有的模型都经过了4000个扩散步骤的训练,因此在现代GPU上生成单个样本需要几分钟时间。本节将探讨如果减少采样期间使用的步骤,性能如何扩展,并发现预训练

  1. L
  2. h
  3. y
  4. b
  5. r
  6. i
  7. d
  8. L_{hybrid}
  9. Lhybrid​模型可以生成高质量的样本,其扩散步骤比训练时少得多(无需任何微调)。以这种方式减少步骤可以在几秒钟而不是几分钟内从模型中采样,并大大提高了图像DDPMs的实际适用性。

对于使用

  1. T
  2. T
  3. T个扩散步骤训练的模型,通常会使用与训练期间相同的
  4. t
  5. t
  6. t值序列(
  7. 1
  8. 2
  9. .
  10. .
  11. .
  12. T
  13. 12、...、T
  14. 12、...、T)进行采样。但是,也可以使用
  15. t
  16. t
  17. t值的任意子序列
  18. S
  19. S
  20. S进行采样。给定训练噪声添加调度
  21. α
  22. ~
  23. t
  24. \tilde{α}_t
  25. α~t​,对于给定的序列
  26. S
  27. S
  28. S,可以获得采样噪声调度
  29. α
  30. ~
  31. S
  32. t
  33. \tilde{α}_{S_t}
  34. α~St​​,然后可以使用它来获得相应的采样方差

在这里插入图片描述
现在,由于

  1. Σ
  2. θ
  3. (
  4. x
  5. S
  6. t
  7. ,
  8. S
  9. t
  10. )
  11. Σ_θ(x_{S_t} , S_t)
  12. Σθ​(xSt​​,St​)被参数化为
  13. β
  14. S
  15. t
  16. β_{S_t}
  17. βSt​​和
  18. β
  19. ~
  20. S
  21. t
  22. \tilde{β}_{S_t}
  23. β~​St​​之间的范围,它会自动重新调整以适应更短的扩散过程。因此,可以将
  24. p
  25. (
  26. x
  27. S
  28. t
  29. 1
  30. x
  31. S
  32. t
  33. )
  34. p(x_{S_{t1}}|x_{S_t})
  35. p(xSt1​​∣xSt​​)计算为
  36. N
  37. (
  38. μ
  39. θ
  40. (
  41. x
  42. S
  43. t
  44. ,
  45. S
  46. t
  47. )
  48. ,
  49. Σ
  50. θ
  51. (
  52. x
  53. S
  54. t
  55. ,
  56. S
  57. t
  58. )
  59. )
  60. N_θ(x_{S_t}, S_t), Σ_θ(x_{S_t}, S_t))
  61. N(μθ​(xSt​​,St​),Σθ​(xSt​​,St​))。

为了减少从

  1. T
  2. T
  3. T
  4. K
  5. K
  6. K的采样步数,本文使用1
  7. T
  8. T
  9. T(含
  10. T
  11. T
  12. T)之间的
  13. K
  14. K
  15. K个均匀间隔的实数,然后将每个结果数字四舍五入到最接近的整数。在图8中,评估了
  16. L
  17. h
  18. y
  19. b
  20. r
  21. i
  22. d
  23. L_{hybrid}
  24. Lhybrid​模型和
  25. L
  26. s
  27. i
  28. m
  29. p
  30. l
  31. e
  32. L_{simple}
  33. Lsimple​模型的 FID,这些模型使用255010020040010004000个采样步骤进行了4000个扩散步骤的训练。对经过全面训练的检查点和训练中途的检查点都这样做。对于CIFAR-10,使用200K500K训练迭代,对于ImageNet64,使用500K1500K训练迭代。发现,具有固定
  34. θ
  35. (
  36. x
  37. t
  38. ,
  39. t
  40. )
  41. \sum_{\theta}(x_t, t)
  42. ∑θ​(xt​,t)的
  43. L
  44. s
  45. i
  46. m
  47. p
  48. l
  49. e
  50. L_{simple}
  51. Lsimple​模型(具有较大的
  52. σ
  53. t
  54. 2
  55. =
  56. β
  57. t
  58. σ^2_t = β_t
  59. σt2​=βt​和较小的
  60. σ
  61. t
  62. 2
  63. =
  64. β
  65. ~
  66. t
  67. σ^2_t = \tildeβ_t
  68. σt2​=β~​t​)在使用减少的采样步骤数时在样本质量方面受到更多影响,而具有学习
  69. θ
  70. (
  71. x
  72. t
  73. ,
  74. t
  75. )
  76. \sum_{\theta}(x_t, t)
  77. ∑θ​(xt​,t)的
  78. L
  79. h
  80. y
  81. b
  82. r
  83. i
  84. d
  85. L_{hybrid}
  86. Lhybrid​模型保持高样本质量。对于这个模型,100个采样步骤足以为完全训练模型实现接近最优的FID

在这里插入图片描述

图8 FID与采样步骤数的关系,对于在ImageNet 64 × 64(上)和CIFAR-10(下)上训练的模型;所有模型训练了4000个扩散步骤

与本工作同时的一个工作,DDIM提出了一种DDPM的快速采样算法,方法是生成一种新的隐式模型,该模型具有相同的边缘噪声分布,但确定地将噪声映射到图像。在图8中包含了DDIM,发现DDIM在少于50个抽样步骤时产生的样本更好,但在使用50或更多步骤时产生的样本更差。有趣的是,DDIM在训练开始时表现较差,但随着训练的继续,它缩小了与其他采样器的差距。发现本文的步幅技术大大降低了DDIM的性能,因此图8的DDIM结果使用该论文的恒定步幅,其中最终的时间步长是T−T /K + 1而不是T;其他采样器在本文的步幅技术下表现得稍好一些。

与GANs对比

虽然likelihood是模式覆盖的一个很好的表征,但很难用这个指标与GANs进行比较。相反,转向使用precision和recall。由于在GAN文献中训练类条件模型是很常见的,本文对这个实验做同样的事情。**为了使本文的模型具有类条件,通过与时间步

  1. t
  2. t
  3. t相同的路径注入类信息**。具体是,将类嵌入
  4. v
  5. i
  6. v_i
  7. vi​添加到时间步嵌入
  8. e
  9. t
  10. e_t
  11. et​中,并将此嵌入传递给整个模型的残差块。使用
  12. L
  13. h
  14. y
  15. b
  16. r
  17. i
  18. d
  19. L_{hybrid}
  20. Lhybrid​目标进行训练并使用250个采样步骤。训练了两个模型:一个具有100M参数的“小型”模型,用于170万个训练步骤,另一个是具有2.7亿个参数的大型模型,用于250K次迭代。在生成器和判别器上训练了一个具有100M参数的BigGAN-deep模型。

在计算此任务的指标时,生成了50K样本(而不是10K),以便与其他工作直接进行比较。这是报告的唯一一个使用50K样本计算的ImageNet 64 × 64 FID。对于 FID,参考分布特征是在整个训练集上计算的。图 9 显示了来自本文大模型的样本,表4总结了实验结果;发现BigGAN-deep在FID方面优于本文的较小模型,但在召回方面却很挣扎。这表明扩散模型比可比的 GAN 更擅长覆盖分布模式。
在这里插入图片描述

表4 类条件 ImageNet 64 × 64 上的样本质量比较;精度和召回率使用Inception-V3特性进行测量,K = 5;训练BigGAN-deep进行125K迭代,并没有使用截断采样来最大化GAN的召回率

在这里插入图片描述
图9 基于类条件的ImageNet 64 × 64样本,使用

  1. L
  2. h
  3. y
  4. b
  5. r
  6. i
  7. d
  8. L_{hybrid}
  9. Lhybrid​模型(FID 2.92)的250个采样步骤生成;类别分别是9-鸵鸟,11-金翅雀,130-火烈鸟,141-红脚鹬,154-哈巴狗,157-巴比龙,97-德雷克和28-斑点蝾螈;可看到每个类都有很高的多样性,这表明目标分布的覆盖范围很好

扩展模型尺寸

在前几节中,展示了改进对数似然和FID的算法,而不改变训练计算量。然而,现代机器学习的一个趋势是,更大的模型和更多的训练时间往往会提高模型的性能。鉴于这一观察结果,研究了FID和NLL如何作为训练计算的函数进行扩展。实验的结果虽然是初步的,但表明随着训练计算的增加,DDPM以一种可预测的方式提高。

为了衡量训练计算对性能的影响,在ImageNet 64 × 64上用

  1. L
  2. h
  3. y
  4. b
  5. r
  6. i
  7. d
  8. L_{hybrid}
  9. Lhybrid​混合目标训练4个不同的模型。为了改变模型容量,在所有层上应用深度倍增器,这样第一层就有6496128192个通道。注意,之前的实验在第一层中使用了128个通道。由于每一层的深度影响初始权重的比例,将每个模型的Adam学习率按
  10. 1
  11. /
  12. 1/\sqrt{通道倍增器}
  13. 1/通道倍增器​进行缩放,因此128通道模型的学习率为0.0001(与其他实验一样)。

图10显示了FID和NLL相对于理论训练计算的改进情况。FID 曲线在对数图上看起来近似线性,表明 FID 根据幂律进行缩放(绘制为黑色虚线)。NLL 曲线并不完全符合幂律,这表明验证 NLL 的扩展方式不如 FID 有利。这可能是由多种因素引起的,例如:1) 这种类型的扩散模型具有出乎意料的高不可约损失,或 2) 模型过度拟合训练分布。本文还注意到,这些模型通常没有达到最佳对数似然,因为它们是使用

  1. L
  2. h
  3. y
  4. b
  5. r
  6. i
  7. d
  8. L_{hybrid}
  9. Lhybrid​目标训练的,而不是直接使用
  10. L
  11. v
  12. l
  13. b
  14. L_{vlb}
  15. Lvlb​来保持良好的对数似然和样本质量。

相关工作

WaveGrad和Diffwave是最近的两项工作,使用DDPM在mel谱图条件下产生高保真音频。与本工作同时,WaveGrad结合了改进的schedule和

  1. L
  2. 1
  3. L_1
  4. L1​损失,使采样步骤更少,样品质量下降很少。然而,与本文的无条件图像生成任务相比,该工作的生成任务具有由梅尔谱图提供的强输入调节信号,本文认为这使得使用更少的扩散步骤更容易采样。

Adversarial score matching and improved sampling for image generation探索了图像域中的分数匹配,并构建了一个对抗性训练目标以产生更好的

  1. x
  2. 0
  3. x_0
  4. x0​预测。然而,他们发现选择更好的网络架构消除了对这种对抗性目标的需求,这表明对抗性目标对于强大的生成建模不是必需的。

与本工作同期的工作,DDIM和Score-Based Generative Modeling through Stochastic Differential Equations通过利用不同的采样过程,为使用DDPM目标训练的模型提出了快速采样算法。DDIM通过推导隐式生成模型来做到这一点,该模型具有与DDPM相同的边际噪声分布,同时将噪声确定性地映射到图像。Score-Based Generative Modeling through Stochastic Differential Equations将扩散过程建模为连续SDE的离散化,并观察到存在对应于反向SDE采样的ODE。通过改变ODE求解器的数值精度,可以使用更少的函数评估进行采样。然而,这种技术在直接使用时获得的样本比常规采样更差,并且只有在 Langevin校正步骤结合使用时才能获得更好的FID。这反过来需要手动调整Langevin步骤的信噪比。本文的方法允许直接从常规过程中进行快速采样,从而无需额外的超参数。

Learning Energy-Based Models by Diffusion Recovery Likelihood 开发了一种扩散模型,该模型具有由基于能量的模型建模的反向扩散步骤。这种方法的一个潜在含义是需要更少的扩散步骤来获得良好的样品。

结论

本文证明,通过一些修改,DDPM可以更快地采样并实现更好的对数似然,而对样本质量的影响很小。通过使用本文的参数化和

  1. L
  2. h
  3. y
  4. b
  5. r
  6. i
  7. d
  8. L_{hybrid}
  9. Lhybrid​目标学习
  10. Σ
  11. θ
  12. Σ_θ
  13. Σθ​来提高可能性。这使扩散模型的likelihood更接近于其他基于likelihood的模型。实验发现,这种变化还允许以更少的步骤从这些模型中采样。

还发现DDPMs可以与GANs的样本质量相匹配,同时通过召回率测量获得更好的模式覆盖率。此外,研究了DDPMs如何随可用的训练计算量扩展,并发现更多的训练计算会带来更好的样本质量和对数似然。

这些结果的结合使DDPMs成为生成建模的一个有吸引力的选择,因为它们结合了良好的对数似然、高质量的样本和合理快速的采样,以及一个有充分理由的、固定的训练目标,可以通过训练计算轻松扩展。这些结果表明,DDPMs是未来研究的一个有希望的方向。


本文转载自: https://blog.csdn.net/zzfive/article/details/127169343
版权归原作者 zzfive 所有, 如有侵权,请联系我们删除。

“IDDPM论文阅读”的评论:

还没有评论