1 概述

假设给定了一个数据集 { x 1 , x 2 , x 3 , . . . , x N } \{x_1, x_2, x_3, ..., x_N\} {x1​,x2​,x3​,...,xN​}，在图像生成任务中，每个$x_i$就是一张图片，每个点都是独立采样于真实数据分布$p(x)$的。生成模型的目的就是通过有限的数据集 { x i } \{x_i\} {xi​}学习得到$p(x)$，然后从$p(x)$中采样得到更多新的样本。在某些情况下，甚至可以使用$p(x)$来估计某个数据出现的概率。

作者认为，生成模型可以分为三大类：
（1）GAN：通过对抗的方式进行学习，本文不会讲这块
（2）likelihood-based：学习一个使得当前数据集出现概率最高的模型，包括autoregressive models，normalizing flows和VAEs等等
（3）energy-based：将分布学习为任意灵活的能量函数，然后归一化。score-based和energy-based很相似，学的是energy-based model的score。

在某些地方，会讲（2）和（3）都统称为likelihood-based models，而将（1）称为implicit generative models。

而本文重点要讲的Diffusion Model(DM)，既可以用likelihood-based的观点来解释，也可以使用score-based的观点来解释。

2 背景知识

2.1 直观的例子

作者在这里引用了柏拉图的地穴寓言来辅助读者理解DM的直观思想，即我们观测到的数据$x$是由隐变量$z$生成的，根据观测到的$x$来估计出隐变量$z$，就可以通过构造隐变量$z$来生成$x$。

如图2-1所示，地穴寓言讲的是一群人一生都被锁在洞穴里，只能看到投射到他们面前墙壁上的二维阴影，这些阴影是由看不见的三维物体在大火前经过而产生的。对这样的人来说，他们所观察到的一切实际上都是由他们永远看不到的高维抽象概念所决定的。

图2-1 地穴寓言示意图

类似的，其实我们现实生活中看到的三维物体，也可能是其他维度的物体投影产生的。

我们的生成模型，就是想从观测到的$x$中，抽象出隐变量$z$，这里$z$的维度通常是低于$x$的，这是为了抽象出对生成图片真正有用的信息，比如颜色，尺寸，形状等等。

2.2 Evidence Lower Bound(ELBO)

接下来从数学的角度进行说明，我们将隐变量$z$和观测数据$x$的联合分布写作$p(x,z)$，根据"likelihood-based"的观点，我们的目的是最大化$p(x)$。$p(x)$和$p(x,z)$之间的关系，有两种写法：
（1）积分角度
$$p(x)=\int p(x,z)dz\text{\hspace{1em}(2-1)}$$

（2）条件概率角度
$$p(x)=\frac{p(x,z)}{p(z|x)}\text{\hspace{1em}(2-2)}$$

根据式$(2-1)$直接算的话，没打算，因为$z$这个隐变量是未知的，如何积分也就未知了；根据式$(2-2)$算也不行，因为$p(z|x)$也是未知的。那么我们为了最大化$p(x)$，就需要给它找一个代理目标。

我们设计一个模型，叫做$q_{\varphi }(z|x)$，这个也就是后面会说到的encoder，即根据观测值$x$预测隐变量$z$。这个$q_{\varphi }(z|x)$就是通过优化参数$\varphi$来逼近真实分布$p(z|x)$的。由于$1=\int q_{\varphi }(z|x)dz$，所以有

$$\begin{array}{rlr}logp(x)& =logp(x)\int q_{\varphi }(z|x)dz& \\ & =\int q_{\varphi }(z|x)(logp(x))dz& (与z无关的常量拿进来)\\ & =E_{q_{\varphi }(z|x)}[logp(x)]& (期望的定义)\\ & =E_{q_{\varphi }(z|x)}[log\frac{p(x,z)}{p(z|x)}]& (式2-2)\\ & =E_{q_{\varphi }(z|x)}[log\frac{p(x,z)q_{\varphi }(z|x)}{p(z|x)q_{\varphi }(z|x)}]& \\ & =E_{q_{\varphi }(z|x)}[log\frac{p(x,z)}{q_{\varphi }(z|x)}]+E_{q_{\varphi }(z|x)}[log\frac{q_{\varphi }(z|x)}{p(z|x)}]& \\ & =E_{q_{\varphi }(z|x)}[log\frac{p(x,z)}{q_{\varphi }(z|x)}]+D_{KL}(q_{\varphi }(z|x)||p(z|x))& (KL散度的定义)\\ & \ge E_{q_{\varphi }(z|x)}[log\frac{p(x,z)}{q_{\varphi }(z|x)}]& (KL散度必然不小于0)\end{array}\text{\hspace{1em}(2-3)}$$

这里$E_{q_{\varphi }(z|x)}$表示的是给定$x$，根据$z\sim q_{\varphi }(z|x)$采样得到的所有$z$下的期望。还想不明白，可以从离散的角度思考一下，遍历所有的$z$去算期望，只不过每个$z$有对应的概率$q_{\varphi }(z|x)$。

推导到这里，$logp(x)$的下界就出现了，为了突出其重要性，这里单独再写一下
$$E_{q_{\varphi }(z|x)}[log\frac{p(x,z)}{q_{\varphi }(z|x)}]\text{\hspace{1em}(2-4)}$$

式$(2-4)$就是ELBO，其中evidence就是指的$logp(x)$，其lower bound就是式$(2-4)$。

我们来分析一下式$(2-3)$，它与$logp(x)$之间只相差了一个KL散度$D_{KL}(q_{\varphi }(z|x)||p(z|x))$，$D_{KL}(q_{\varphi }(z|x)||p(z|x))$表示了模型学习的分布$q_{\varphi }(z|x)$与真实分布$p(z|x)$之间的距离。由于$x$是我们的数据集，是固定不变的，因此$logp(x)$就是一个常数，因此式$(2-4)$越大，$D_{KL}(q_{\varphi }(z|x)||p(z|x))$就越小，$q_{\varphi }(z|x)$与$p(z|x)$就越接近。总而言之，就是可以通过最大化式$(2-4)$来最小化KL散度$D_{KL}(q_{\varphi }(z|x)||p(z|x))$。$D_{KL}(q_{\varphi }(z|x)||p(z|x))$没法直接最小化，因为$p(z|x)$是不知道的。

除此之外，训练好之后，式$(2-4)$会和$logp(x)$很接近，因此可以当做$logp(x)$来估计观测数据或者生成数据的出现概率。

2.3 Variational Autoencoders(VAE)

在介绍VAE之前，读者最好对VAE有个初步的认识，可以参考我的另一篇博客论文阅读 - Jukebox: A Generative Model for Music。

图2-2 VAE模型示意图

我们令$q_{\varphi }(z|x)$为VAE中的encoder，$p_{\theta }(x|z)$为VAE中的decoder，对式$(2-4)$进行变形，则有

$$\begin{array}{rl}{E}_{q_{\varphi }(z|x)}[log\frac{p(x,z)}{q_{\varphi }(z|x)}]& =E_{q_{\varphi }(z|x)}[log\frac{p_{\theta }(x|z)p(z)}{q_{\varphi }(z|x)}]\\ & =E_{q_{\varphi }(z|x)}[log{p}_{\theta }(x|z)]+E_{q_{\varphi }(z|x)}[log\frac{p(z)}{q_{\varphi }(z|x)}]\\ & =E_{q_{\varphi }(z|x)}[log{p}_{\theta }(x|z)]-D_{KL}(q_{\varphi }(z|x)||p(z))\end{array}\text{\hspace{1em}(2-5)}$$

这里的第一个等号，我认为并不能直接等过来，因为$p_{\theta }(x|z)$只是$p(x|z)$的一个估计，而且取决于模型的训练效果，这里存疑，之后想明白了这里会改过来。

我们假设已经等过来了，那么式$(2-5)$的前一项$E_{q_{\varphi }(z|x)}[log{p}_{\theta }(x|z)]$表示的是decoder重建图片的似然度，称作reconstruction term；后一项$D_{KL}(q_{\varphi }(z|x)||p(z))$表示经过encoder得到的$z$的分布与先验$p(z)$之间的距离，称作prior matching term。

将ELBO最大化，就相当于最大化reconstruction term，同时最小化prior matching term。

VAE的encoder通常被设计为对角方差的多元高斯，所谓对角方差，就是没有协方差的意思，如下式$(2-6)$所示。

$$q_{\varphi }(z|x)=N(z;{\mu }_{\varphi }(x),{\sigma }_{\varphi }^2(x)I)\text{\hspace{1em}(2-6)}$$

与其对应的prior为标准的多元高斯，如下式$(2-6)$所示。

$$p(z)=N(z;0,I)\text{\hspace{1em}(2-7)}$$

结合式$(2-6)$和式$(2-6)$，式$(2-5)$的后一项，也就是KL散度这项是可以算出解析解的，而式$(2-5)$的前一项则通过蒙特卡洛估计得到，也就是连续离散，使用有限的数据集来估计期望$E_{q_{\varphi }(z|x)}[log{p}_{\theta }(x|z)]$。

于是，我们的目标函数可以写成

$$\begin{gathered} arg\underset{\varphi ,\theta }{\max }{E}_{q_{\varphi }(z|x)}[log{p}_{\theta }(x|z)]-D_{KL}(q_{\varphi }(z|x)||p(z))= \\ arg\underset{\varphi ,\theta }{\max }\sum _{l=1}^{L}log{p}_{\theta }(x|z^{(l)})-D_{KL}(q_{\varphi }(z|x)||p(z))\text{\hspace{1em}(2-8)} \end{gathered}$$

其中，${z^{(l)}}_{l=1}^L$是从$q_{\varphi }(z|x)$中采样得到的，也就是数据集的图片过一遍encoder。不过这里有一个问题，就是每个$z^{(l)}$都是通过随机高斯分布采样的过程得到的，没有办法求导。为了解决这个问题，就有了重参化技巧，重参化的精妙之处在于使用标准的随机过程构造任意随机过程，学习只学习构造的参数，而随机过程是不参与梯度计算的。

举个例子，假设随机过程为$x\sim N(x;\mu ,{\sigma }^2)$，这可以写作

$$x=\mu +\sigma ϵ,ϵ\sim N(0,I)$$

在VAE当中，任意一次从$q_{\varphi }(z|x)$中对$z$的采样可以表示为

$$z={\mu }_{\varphi }(x)+{\sigma }_{\varphi }(x)\odot ϵ,ϵ\sim N(0,I)$$

其中，$\odot$表示element-wise的乘积。

VAE就是借助与重参化的技巧和蒙特卡洛估计来同时更新$\varphi$和$\theta$的。

训练完成后，只需要在$p(z)=N(z;0,I)$上进行采样，输入decoder就可以得到预测的结果了，encoder已经不需要了。

$z$的维度通常大大小于$x$，这样可以迫使模型学习最有用的特征表示。

2.4 Hierachical Variational Autoencoders(HVAE)

HVAE就是在VAE的基础上再增加了多层的隐变量，也就是隐变量也是通过更深一层的隐变量生成的。一般情况下，HVAE中的每一层隐变量$z_t$是由其之前的所有隐变量决定的，不过本文只针对马尔可夫过程的HVAE，也就是$z_t$仅由$z_{t+1}$决定，这也被称为MHVAE，如下图2-3所示。

图2-3 MHVAE示意图

此时，$x$和$z_t$的联合概率可以写作（也就是图2-3上方乘起来）

$$p(x,z_{1:T})=p(z_T)p_{\theta }(x|z_1)\prod _{t=2}^T{p}_{\theta }(z_{t-1}|z_t)\text{\hspace{1em}(2-9)}$$

后验概率可以写作（也就是图2-3下方乘起来）
$$q_{\varphi }(z_{1:T}|x)=q_{\varphi }(z_1|x)\prod _{t=2}^T{q}_{\varphi }(z_t|z_{t-1})\text{\hspace{1em}(2-10)}$$

此时的ELBO可以被改写为

$$\text{\hspace{1em}(2-11)}$$
其中，最后一步用到了琴生不等式，这也是式$(2-3)$的另一种推导方式。

将式$(2-9)$和式$(2-10)$代入式$(2-11)$可以得到

$$E_{q_{\varphi }(z_{1:T}|x)}[log\frac{p(x,z_{1:T})}{q_{\varphi }(z_{1:T}|x)}]=E_{q_{\varphi }(z_{1:T}|x)}[log\frac{p(z_T)p_{\theta }(x|z_1){\prod }_{t=2}^T{p}_{\theta }(z_{t-1}|z_t)}{q_{\varphi }(z_1|x){\prod }_{t=2}^T{q}_{\varphi }(z_t|z_{t-1})}]\text{\hspace{1em}(2-12)}$$

式$(2-12)$将在下文的VDM中被拆解为可解释的多个部分。

3 Variational Diffusion Models(VDM)

一种理解VDM最简单的思路，就是将VDM看成MHVAE，如图3-1所示，不过需要满足三个额外的限制：
（1）隐变量的维度需要和输入图片维度一致
（2）encoder的每一步不是学习得到的，是事先设计好的线性高斯分布。换句话说，每一步是以上一步为中心的高斯分布
（3）每一步的高斯分布参数会发生一定的变化，使得最后一步接近标准高斯分布

图3-1 VDM示意图

根据第一点限制，我们不用分$z$和$x$了，统一使用$x_t$来表示任意时刻的数据即可。当$t=0$时，$x_0$指的是原始图片。当$t\in [1,T]$时，表示对应步数的数据。如此以来，后验概率式$(2-10)$可以写成

$$q_{\varphi }(x_{1:T}|x_0)=\prod _{t=1}^T{q}_{\varphi }(x_t|x_{t-1})\text{\hspace{1em}(3-1)}$$

根据第二点限制，每一步的高斯参数人为设计为${\mu }_t(x_t)=\sqrt{{\alpha }_t}{x}_{t-1}$，${\Sigma }_t(x_t)=(1-{\alpha }_t)I$，其中${\alpha }_t$是一个潜在的可学习的参数，这里是个超参数，随着步数的变化而变化。因此，有

$$q(x_t|x_{t-1})=N(x_t;\sqrt{{\alpha }_t}{x}_{t-1},(1-{\alpha }_t)I)\text{\hspace{1em}(3-2)}$$

根据第三点限制，最终的分布$p(x_T)$是一个标准的高斯分布，其本质是真实分布逐渐变为标准高斯分布的过程。因此，式$(2-9)$可以写作

$$p(x_{0:T})=p(x_T)\prod _{t=1}^T{p}_{\theta }(x_{t-1}|x_t)\text{\hspace{1em}(3-3)}$$

其中，$p(x_T)=N(x_T;0,I)$。

在VDM中，$q(x_t|x_{t-1})$是人为事先设计的，已经与参数$\varphi$没有关系了，所以我们需要学习的参数只有$p_{\theta }(x_{t-1}|x_t)$中的$\theta$而已。当VDM整个模型训练好之后，只需要在标准高斯分布$p(x_T)=N(x_T;0,I)$中采样，再一步步经过$p_{\theta }(x_{t-1}|x_t)$生成图片即可。

VDM的优化也是通过最大化ELBO的，推导过程为

$$\text{\hspace{1em}(3-4)}$$

最终得到的结果可以被解释为reconstruntion term，prior matching term和consistency term三项。

reconstruction term和VAE中的很像，就是最终生成图片的似然概率，训练方式也和VAE中的类似。也就是要是的生成的图片和真实图片越接近越好。

proir matching term这一项没有训练参数，当$T$足够大时，$q(x_T|x_{T-1})$会趋近于$N(x_T;0,I)$，因此这项可以认为是0。

consistency term是为了保证正向的过程和逆向的过程是一致的，也就是加噪声和去噪声是需要一致的。这也是训练的主导项。

图3-2 VDM的第一种推导示意图

在这种推导方式下，ELBO的所有项都是期望，因此可以通过蒙特卡洛方法来进行估计。但是，实际使用式$(3-4)$进行估计的方案是次优的，因为consistency term的每一步都有两个随机变量 { x t − 1 , x t + 1 } \{x_{t-1}, x_{t+1}\} {xt−1​,xt+1​}，这种情况下的蒙特卡洛估计方差会大于只有一个随机变量的方式。这是为啥，我也不太清楚，姑且就假设这是一个正确的结论吧。

因此，为了将期望当中的随机变量变为一个，我们要进行一些改动。由于整个过程是满足马尔可夫链的，因此$x_t$只由$x_{t-1}$决定，于是就有$q(x_t|x_{t-1})=q(x_t|x_{t-1},x_0)$。根据贝叶斯定理，每一次的正向加噪过程可以写作

$$q(x_t|x_{t-1},x_0)=\frac{q(x_{t-1}|x_t,x_0)q(x_t|x_0)}{q(x_{t-1}|x_0)}\text{\hspace{1em}(3-5)}$$

基于式$(3-5)$，可以重新推导ELBO

$$\text{\hspace{1em}(3-6)}$$

推导的结果又可以被解释为三项，分别是reconstruntion term，prior matching term和denoising matching term。

reconstruntion term没有发生变化，仍旧是生成图片的似然度，可以和VAE一样使用蒙特卡洛估计来进行优化

prior matching term没有可训练的参数，表示最终加满噪声的图片和标准高斯分布的距离，可以认为是0

denoising matching term表示去噪过程是否和加噪过程一致。$q(x_{t-1}|x_t,x_0)$可以认为是GT，也就是真实的去噪过程。$p_{\theta }(x_{t-1}|x_t)$要尽可能和$q(x_{t-1}|x_t,x_0)$一致。

图3-3 VDM的第二种推导示意图

值得一提的是，式$(3-5)$和式$(3-6)$的整个推导过程，只用到了马尔可夫假设，因此适用于任意的MHVAE。当$T=1$时，式$(3-5)$和式$(3-6)$都变成了式$(2-5)$。

式$(3-6)$中的主导项还是最后一项denoising matching term。根据贝叶斯定理，我们有

$$q(x_{t-1}|x_t,x_0)=\frac{q(x_t|x_{t-1},x_0)q(x_{t-1}|x_0)}{q(x_t|x_0)}\text{\hspace{1em}(3-7)}$$

其中，根据式$(3-2)$有$q(x_t|x_{t-1},x_0)=q(x_t|x_{t-1})=N(x_t;\sqrt{{\alpha }_t}{x}_{t-1},(1-{\alpha }_t)I)$，目前需要确定的就是$q(x_{t-1}|x_0)$和$q(x_t|x_0)$。根据重参化技巧，对于$x_t\sim q(x_t|x_{t-1})$可以写作

$$x_t=\sqrt{{\alpha }_t}{x}_{t-1}+\sqrt{1-{\alpha }_t}ϵ\text{\hspace{1em}(3-8)}$$

同理，有

$$x_{t-1}=\sqrt{{\alpha }_{t-1}}{x}_{t-2}+\sqrt{1-{\alpha }_{t-1}}ϵ\text{\hspace{1em}(3-9)}$$

不断地迭代，代入，可以得到

$$\begin{array}{rl}{x}_t& =\sqrt{\prod _{i=1}^t{\alpha }_i}{x}_0+\sqrt{1-\prod _{i=1}^t{\alpha }_i}ϵ\\ & =\sqrt{{\overline{\alpha }}_t}{x}_0+\sqrt{1-{\overline{\alpha }}_t}ϵ\\ & \sim N(x_t;\sqrt{{\overline{\alpha }}_t}{x}_0,1-{\overline{\alpha }}_{t}I)\end{array}\text{\hspace{1em}(3-10)}$$

这里省略了推导过程，想了解的可以参见原文。

式$(3-10)$就是$q(x_t|x_0)$，其重大意义在于，任意的$x_t$不用一步步加噪声，而是可以直接通过$x_0$得到了。$q(x_{t-1}|x_0)$同理也可以得到，这里就不赘述了。

回到式$(3-7)$，我们有

$$\text{\hspace{1em}(3-11)}$$

回到式$(3-6)$的denoising matching term，这里注意到${\Sigma }_q(t)={\sigma }_q^2(t)I$是一个常数，所以我们也可以将$p_{\theta }(x_{t-1}|x_t)$的方差设置为同样的常数。

两个高斯分布之间的KL散度的计算公式为

$$D_{KL}(N(x;{\mu }_x,{\Sigma }_x)||N(y;{\mu }_y,{\Sigma }_y))=\frac{1}{2}[log\frac{|{\Sigma }_y|}{|{\Sigma }_x|}-d+tr({\Sigma }_y^{-1}{\Sigma }_x)+({\mu }_y-{\mu }_x{)}^T{\Sigma }_y^{-1}({\mu }_y-{\mu }_x)]\text{\hspace{1em}(3-12)}$$

于是就有

其中，${\mu }_{\theta }$和${\mu }_q$是${\mu }_{\theta }(x_t,t)$和${\mu }_q(x_t,x_0)$的简写。

根据式$(3-11)$有

$${\mu }_q(x_t,x_0)=\frac{\sqrt{{\alpha }_t}(1-{\overline{\alpha }}_{t-1})x_t+\sqrt{{\overline{\alpha }}_{t-1}}(1-{\alpha }_t)x_0}{1-{\overline{\alpha }}_t}\text{\hspace{1em}(3-13)}$$

我们可以将${\mu }_{\theta }(x_t,t)$设计为

$${\mu }_{\theta }(x_t,t)=\frac{\sqrt{{\alpha }_t}(1-{\overline{\alpha }}_{t-1})x_t+\sqrt{{\overline{\alpha }}_{t-1}}(1-{\alpha }_t){\hat{x}}_{\theta }(x_t,t)}{1-{\overline{\alpha }}_t}\text{\hspace{1em}(3-14)}$$

这里的${\hat{x}}_{\theta }(x_t,t)$就是我们的设计的神经网络，输入是噪声图片$x_t$和步数索引$t$，输出是生成的图片。

denoising matching term可以写作

$$\text{\hspace{1em}(3-15)}$$

于是，VDM就变成了学习一个神经网络，在任意的加噪步的位置预测出原始图片$x_0$，将所有时间步的期望求和，就有

a r g min ⁡ θ E t ∼ U { 2 , T } [ E q ( x t ∣ x 0 ) D K L ( q ( x t − 1 ∣ x t , x 0 ) ∣ ∣ p θ ( x t − 1 ∣ x t ) ) ] (3-16) arg\min_\theta E_{t\sim U\{2, T\}}[E_{q(x_t|x_0)}D_{KL}(q(x_{t-1}|x_t,x_0)||p_\theta(x_{t-1}|x_t))] \tag{3-16} argθmin​Et∼U{2,T}​[Eq(xt​∣x0​)​DKL​(q(xt−1​∣xt​,x0​)∣∣pθ​(xt−1​∣xt​))](3-16)

4 三个等价的解释

VDM可以设计网络来预测图片，设计网络来预测噪声，也可以设计网络来预测分数，接下来分别讲一下。

4.1 预测图片

预测图片的方式就是式$(3-15)$中描述的方式，即将网络设计为${\hat{x}}_{\theta }(x_t,t)$来预测原始图片，这里不在赘述。

4.2 预测噪声

将式$(3-10)$做一个变形可以得到

$$x_0=\frac{x_t-\sqrt{1-{\overline{\alpha }}_t}ϵ}{\sqrt{{\overline{\alpha }}_t}}\text{\hspace{1em}(4-1)}$$

将其代入式$(3-13)$可以得到

$$\text{\hspace{1em}(4-2)}$$

于是，我们重新设计${\mu }_{\theta }(x_t,t)$为

$${\mu }_{\theta }(x_t,t)=\frac{1}{\sqrt{{\alpha }_t}}{x}_t-\frac{1-{\alpha }_t}{\sqrt{1-{\overline{\alpha }}_t}\sqrt{{\alpha }_t}}{\widehat{ϵ}}_{\theta }(x_t,t)\text{\hspace{1em}(4-3)}$$

对应的denoising matching term可以写作

$$\text{\hspace{1em}(4-4)}$$
其实可以认为是把$x_0$用$ϵ$来表示，然后系数什么变了一下。从理论上来说，预测原图$x_0$和预测噪声$ϵ$是等价的。

但是从实际经验上来说，预测噪声$ϵ$的效果会更好一些。

4.3 预测分数

预测分数的推导需要借助于Tweedie’s formula，从数学的角度来说，对于高斯变量$z\sim N(z;{\mu }_z,{\Sigma }_z)$，Tweedie’s formula指出

$$E[{\mu }_z|z]=z+{\Sigma }_z{\nabla }_{z}logp(z)\text{\hspace{1em}(4-5)}$$

不知道这个公式怎么来的没关系，这是个结论，我们暂且认为它是对的。还有就是$E[{\mu }_z|z]$和$E_{p({\mu }_z|z)}[{\mu }_z]$是一样的，不要被符号迷惑了。

对于式$(3-10)$使用Tweedie’s formula，可以得到

$$E[{\mu }_{x_t}|x_t]=x_t+(1-{\overline{\alpha }}_t){\nabla }_{x_t}logp(x_t)\text{\hspace{1em}(4-6)}$$

后面为了方便表示，将${\nabla }_{x_t}logp(x_t)$简写为$\nabla logp(x_t)$。根据式$(3-10)$，有${\mu }_{x_t}=\sqrt{{\overline{\alpha }}_t}{x}_0$，再结合式$(4-6)$就有

$$\begin{gathered} \sqrt{{\overline{\alpha }}_t}{x}_0=x_t+(1-{\overline{\alpha }}_t){\nabla }_{x_t}logp(x_t) \\ {x}_0=\frac{x_t+(1-{\overline{\alpha }}_t){\nabla }_{x_t}logp(x_t)}{\sqrt{{\overline{\alpha }}_t}}\text{\hspace{1em}(4-7)} \end{gathered}$$

然后，和4.2一样的套路，将其代入式$(3-13)$，可以有

$$\text{\hspace{1em}(4-8)}$$

于是，我们重新设计${\mu }_{\theta }(x_t,t)$为
$${\mu }_{\theta }(x_t,t)=\frac{1}{\sqrt{{\alpha }_t}}{x}_t+\frac{1-{\alpha }_t}{\sqrt{{\alpha }_t}}{s}_{\theta }(x_t,t)\text{\hspace{1em}(4-9)}$$

对应的denoising matching term可以写作

$$\text{\hspace{1em}(4-10)}$$

这里的$s_{\theta }(x_t,t)$就是一个用来预测score function ${\nabla }_{x_t}logp(x_t)$的神经网络。用心的读者可以发现，${\nabla }_{x_t}logp(x_t)$和$ϵ$很像。我们结合式$(4-7)$和式$(4-1)$可以得到

$$\text{\hspace{1em}(4-11)}$$

可以看出，就是差了一个缩放系数常数。同时也可以发现，他们的正负号是相反的，也就是说，往加噪的反方向来去噪是最佳更新模型参数的路径。

5 Guidance

到目前为止，我们的重心都放在真实数据的分布$p(x)$上，但我们通常更加关注某些条件下的真实数据分布$p(x|y)$。这可以让我们在一定程度上控制生成的图片。

一个很自然的想法就是在每一步都加上条件，于是式$(3-3)$可以改写为
$$p(x_{0:T}|y)=p(x_T)\prod _{t=1}^T{p}_{\theta }(x_{t-1}|x_t,y)\text{\hspace{1em}(5-1)}$$

$y$可以是文本，可以是其他图片，也可以是一个类别。对应到章节4中的三种解释，VDM的目标就变成了${\hat{x}}_{\theta }(x_t,t,y)\approx x_0$，或者${\widehat{ϵ}}_{\theta }(x_t,t,y)\approx ϵ$，或者$s_{\theta }(x_t,t,y)\approx \nabla logp(x_t|y)$。

目前有两种主流的控制方式，分别是Classifier Guidance和Classifier-free Guidance。

5.1 Classifier Guidance

我们使用基于分数的公式来进行说明，目标就是学习$\nabla logp(x_t|y)$。根据贝叶斯公式，我们有

$$\text{\hspace{1em}(5-2)}$$

其中，第二行的$p(y)$关于$x_t$的导数是0，就没有了。

最终，式$(5-2)$可以理解为无条件分数和一个分类器$p(y|x_t)$的梯度。

为了更加细粒度地控制条件的重要程度，还会加上一个超参数$\gamma$，于是就有

$$\nabla logp(x_t|y)=\nabla logp(x_t)+\gamma \nabla logp(y|x_t)\text{\hspace{1em}(5-3)}$$

当$\gamma =0$时，就是无条件的，当$\gamma$很大时，会依赖于条件，往往会损失生成结果的多样性。

Classifier Guidance的缺点就是需要处理任意噪声输入，没有可以直接使用的预训练好的classifier，需要和VDM一起进行训练。

5.2 Classifier-free Guidance

Classifier-free Guidance的方案不需要单独的分类模型。

将式$(5-2)$做一些变形，可以得到

$$\nabla logp(y|x_t)=\nabla logp(x_t|y)-\nabla logp(x_t)\text{\hspace{1em}(5-4)}$$

将式$(5-4)$代入式$(5-3)$可以得到

同样，$\gamma$是一个控制我们学习的条件模型对条件信息的关注程度的超参数。当$\gamma =0$时，学习的条件模型完全忽略条件器并学习无条件扩散模型；当$\gamma =1$时，该模型在没有指导的情况下显式地学习条件分布；当$\gamma >1$时，扩散模型不仅优先考虑条件得分函数，而且在远离无条件得分函数的方向上移动。换句话说，它降低了生成不使用条件信息的样本的概率，有利于显式地使用条件信息的样本。

由于学习两个独立的扩散模型是昂贵的，我们可以同时学习条件和无条件扩散模型作为一个单一的条件模型。无条件扩散模型可以通过用诸如零的固定常数值替换条件信息来查询，这本质上是对条件信息进行dropout。

Classifier-free Guidance是优雅的，因为它使我们能够更好地控制我们的条件生成过程，同时只需要正常的扩散模型训练。

参考资料

[1] Understanding Diffusion Models: A Unified Perspective
[2] 一文解释 经验贝叶斯估计, Tweedie’s formula