前言
2018年我写过一篇博客,叫:《一文读懂目标检测:R-CNN、Fast R-CNN、Faster R-CNN、YOLO、SSD》,该文相当于梳理了2019年之前CV领域的典型视觉模型,比如
- 2014 R-CNN
- 2015 Fast R-CNN、Faster R-CNN
- 2016 YOLO、SSD
- 2017 Mask R-CNN、YOLOv2
- 2018 YOLOv3
随着2019 CenterNet的发布,特别是2020发布的DETR(End-to-End Object Detection with Transformers)之后,自此CV迎来了生成式下的多模态时代(本文介绍其中有下划线的部分,其他部分下一篇介绍)
|
1月 |
3月 |
4月 |
5月 |
6月 |
8月 |
10月 |
11月 |
2020 |
|
|
|
DETR |
DDPM |
|
DDIM VisionTransformer |
|
2021 |
CLIP DALL·E |
SwinTransformer |
|
|
|
|
|
MAE SwinTransformerV2 |
2022 |
BLIP |
|
DALL·E 2 |
|
|
StableDiffusion BEiT-3 Midjourney V3 |
|
|
2023 |
BLIP2 |
VisualChatGPT GPT4 Midjourney V5 |
SAM(Segment Anything Model) |
|
|
|
|
|
但看这些模型接二连三的横空出世,都不用说最后爆火的GPT4,便可知不少CV同学被卷的不行
说到GPT4,便不得不提ChatGPT,实在是太火了,改变了很多行业,使得国内外绝大部分公司的产品、服务都值得用LLM全部升级一遍(比如微软的365 Copilot、阿里所有产品、金山WPS等等)
而GPT4相比GPT3.5或GPT3最本质的改进就是增加了多模态的能力,使得ChatGPT很快就能支持图片的输入形式,从而达到图生文和文生图的效果,而AI绘画随着去年stable diffusion和Midjourney的推出,使得文生图火爆异常,各种游戏的角色设计、网上店铺的商品/页面设计都用上了AI绘画这样的工具,更有不少朋友利用AI绘画取得了不少的创收,省时省力还能赚钱,真香
但面对这么香的技术,其背后的一系列原理到底是什么呢,本文特从头开始,不只是简单的讲一下扩散模型的原理,而是在反复研读相关论文之后,准备把20年起相关的CV多模态模型全部梳理一遍,从VE、VAE、DDPM到ViT/Swin transformer、CLIP/BLIP,再到stable diffusion/Midjourney、GPT4,当然,实际写的时候,会分成两篇甚至多篇文章,比如
- 第一篇,即本文《AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer》
- 第二篇,即下篇《AIGC下的CV多模态原理解析:从CLIP/BLIP到stable diffusion/Midjourney、GPT4》
就当2020年之后的CV视觉发展史了,且过程中会尽可能写透彻每一个模型的原理,举两个例子
- 网上介绍VAE的文章都太数学化(更怕那种表面正确其实关键的公式是错的误导人),如果更边推导边分析背后的理论意义(怎么来的 出发点是什么 为什么要这么做 这么做的意义是什么),则会更好理解,这就跟变介绍原理边coding实现 会更好理解、理解更深 一个道理
- 如果完全展开DDPM推导的所有细节,假定需要100步的话,本文正在朝展开80步而努力,截止5月份之前,绝大部分的中文资料只展开了60步(正在因为只展开了60%,让很多初学者卡到中途),所以你害怕的不是公式,你只是怕公式的展开不够细致,毕竟对每一个人而言,公式展开越细致 越不怕
(如果本文有任何一个公式展开的不够细致、不够一目了然,请随时指出,一定及时二次展开)
第一部分 编码器VE与变分自编码器VAE
1.1 AE:编码器(数据
压缩为低维表示
)-解码器(低维表示恢复为原始数据
)架构
自编码器(Autoencoder,简称AE)是一种无监督学习的神经网络,用于学习输入数据的压缩表示。具体而言,可以将其分为两个部分:编码器和解码器
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第1张图片](http://img.e-com-net.com/image/info8/c611a47977164ef0add7bb8ac8dc6fff.jpg)
从而最终完成这么一个过程:
,而其训练目标即是最小化输入数据
与解码器重建数据
之间的差异,所以自编码器常用的一个损失函数为![l = || X - \hat{X} || ^2](http://img.e-com-net.com/image/info8/9ae044ba283d43d2a0af895d8c2b5d0c.png)
这个自编码的意义在于
- 模型训练结束后,我们就可以认为编码
囊括了输入数据
的大部分信息,也因此我们可以直接利用
表达原始数据,从而达到数据降维的目的
- 解码器只需要输入某些低维向量
,就能够输出高维的图片数据
,那我们能否把解码器模型直接当做生成模型,在低维空间中随机生成某些向量
,再喂给解码器
来生成图片呢?
对于第二点,理论上可以这么做,但问题在于
- 绝大多数随机生成的
只会生成一些没有意义的噪声,之所以如此,原因在于没有显性的对
的分布
进行建模,我们并不知道哪些
能够生成有用的图片
- 而且我们用来训练
的数据是有限的,
可能只会对极有限的
有响应。而整个低维空间又是一个比较大的空间,如果只在这个空间上随机采样的话,我们自然不能指望总能恰好采样到能够生成有用的图片的![z](http://img.e-com-net.com/image/info8/b84f178edfcb4863a0092b4ac1554620.png)
有问题自然便得探索对应的解决方案,而VAE(自变分编码器,Variational Autoencoders)则是在AE的基础上,显性的对
的分布
进行建模(比如符合某种常见的概率分布),使得自编码器成为一个合格的生成模型
1.2 Variational AutoEncoder (VAE)
1.2.1 VAE:标数据的分布
和目标分布
尽量接近
VAE和GAN一样,都是从隐变量
生成目标数据,具体而言,先用某种分布随机生成一组隐变量
(假设隐变量服从正态分布),然后这个
隐变量经过一个生成器生成一组数据
,具体如下图所示(本1.2节的部分图来自苏建林):
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第2张图片](http://img.e-com-net.com/image/info8/3344fad14ca44c43bd34d165aa68a045.jpg)
而VAE和GAN都希望这组生成数据的分布
和目标分布
尽量接近,看似美好,但有两个问题
- 一方面,“尽量接近”并没有一个确定的关于
和
的相似度的评判标准,比如KL散度便不行,原因在于KL散度是针对两个已知的概率分布求相似度的,而
和
的概率分布目前都是未知(只有一批采样数据 没有分布表达式)
- 二方面,经过采样出来的每一个
,不一定对应着每一个原来的
,故最后没法直接最小化![D^2(X_k,\hat{X_k})](http://img.e-com-net.com/image/info8/efbf5ead5def47a2a9f09a8e69051b6d.png)
实际是怎么做的呢,事实上,与自动编码器由编码器与解码器两部分构成相似,VAE利用两个神经网络建立两个概率密度分布模型:
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第3张图片](http://img.e-com-net.com/image/info8/64ddf8e88c644c35a19cb6d8e438e767.jpg)
仔细理解的时候有没有发现一个问题?为什么在文章最开头,我们强调了没法直接比较
与
的分布,而在这里,我们认为可以直接比较这俩?注意,这里的
是专属于或针对于
的隐变量,那么和
本身就有对应关系,因此右边的蓝色方框内的“生成器”,是一一对应的生成。
另外,大家可以看到,均值和方差的计算本质上都是encoder。也就是说,VAE其实利用了两个encoder去分别学习均值和方差
1.2.2 VAE的Variational到底是个啥
这里还有一个非常重要的问题:由于我们通过最小化
来训练右边的生成器,最终模型会逐渐使得
和
趋于一致。但是注意,因为
是重新随机采样过的,而不是直接通过均值和方差encoder学出来的,这个生成器的输入
是有噪声的
- 仔细思考一下,这个噪声的大小其实就用方差来度量。为了使得分布的学习尽量接近,我们希望噪声越小越好,所以我们会尽量使得方差趋于 0
- 但是方差不能为 0,因为我们还想要给模型一些训练难度。如果方差为 0,模型永远只需要学习高斯分布的均值,这样就丢失了随机性,VAE就变成AE了……这就是为什么VAE要在AE前面加一个Variational:我们希望方差能够持续存在,从而带来噪声!
- 那如何解决这个问题呢?其实保证有方差就行,但是VAE给出了一个优雅的答案:不仅需要保证有方差,还要让所有
趋于标准正态分布
,根据定义可知 ![P(Z) = \sum_{X}^{} p(Z|X)p(X) = \sum_{X}^{} N(0,1)p(X) = N(0,1)\sum_{X}p(X) = N(0,1)](http://img.e-com-net.com/image/info8/cfb4ffa05bac49769b90e9bd451475c2.png)
这个式子的关键意义在于告诉我吗:如果所有
都趋于
,那么我们可以保证
也趋于
,从而实现先验的假设,这样就形成了一个闭环!那怎么让所有
趋于
呢?还是老套路:加loss
到此为止,我们可以把VAE进一步画成: ![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第6张图片](http://img.e-com-net.com/image/info8/00540b9949764d0dadd3d89093432841.jpg)
现在我们来回顾一下VAE到底做了啥。VAE在AE的基础上
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第7张图片](http://img.e-com-net.com/image/info8/ad526ec11cb249319948fef26b27ff5d.jpg)
- 一方面,对均值的encoder添加高斯噪声(正态分布的随机采样),使得decoder(即生成器)有噪声鲁棒性
- 二方面,为了防止噪声消失,将所有
趋近于标准正态分布,将encoder的均值尽量降为 0,而将方差尽量保持住
这样一来,当decoder训练的不好的时候,整个体系就可以降低噪声;当decoder逐渐拟合的时候,就会增加噪声
第二部分 扩散模型DDPM:先前向加噪后反向去噪从而建立噪声估计模型
在写本文之前,我反复看了网上很多阐述DDPM的文章,实话说,一开始看到那种一上来就一堆公式的,起初基本看不下去,虽然后来 慢慢的都看得下去了,但如果对于一个初次接触DDPM的初学者来说,一上来就一堆公式确实容易把人绕晕,但如果没有公式,则又没法透彻理解背后的算法步骤
两相权衡,本文将侧重算法每一步的剖析,而公式更多为解释算法原理而服务,说白了,侧重原理 其次公式,毕竟原理透彻了,公式也就自然而然的能写出来了
言归正传,2020年,UC Berkeley等人的Jonathan Ho等人通过论文《Denoising Diffusion Probabilistic Models》正式提出DDPM(全称即论文名称:Denoising Diffusion Probabilistic Models,简称DDPM)
扩散模型的灵感来自非平衡热力学,通过定义了一个扩散步骤的马尔可夫链,以缓慢地将「符合高斯分布的随机噪声」添加到数据中,然后反转扩散过程以从噪声中构建所需的数据样本
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第8张图片](http://img.e-com-net.com/image/info8/509814d8e3f64a7297a1de690c6e2370.jpg)
每一个噪声都是在前一时刻增加噪声而来的,从最开始的
时刻开始,最终得到
时刻的纯噪声图像。不过问题来是为什么要加噪声?
- Diffusion的最终目标是去噪以生成图片,而为了推导出逆向的去噪方法,必须了解增加噪声的原理。同时,添加噪声的过程其实就是不断构建标签的过程。如果在前一时刻可以预测出来后一时刻的噪声,便能很方便地实现还原操作(就和人走路一样,不管你从哪来,哪怕走过万水千山,最后都可按原路返回至原出发点)
说白了 当你学会了怎么加噪(前向扩散),就一定能知道怎么去噪(逆向生成),毕竟知道怎么来 也必知道怎么回 ![](http://img.e-com-net.com/image/info8/641335ff603e476e8c8a1c4b7c44b5dc.jpg)
- 且在噪声的添加过程中,每一步都要保持尽量相同的噪声扩散幅度。比如,在给上图加噪的过程中,前期的分布非常均匀,添加一些噪声便可以将原始分布改变,但到后期,需要添加更多的噪声,方可保证噪声扩散幅度相同(这就像往水中加糖,为了使糖的甜味增长相同,后期需要加更多的糖)
所以DDPM为了从随机噪声中直接生成图片,首先需要训练一个噪声估计模型,然后将输入的随机噪声还原成图片,相当于就两个关键,一个是训练过程,一个是推理过程
- 训练过程:随机生成噪声
,经过
步将噪声扩散到输入原始图片
中,破坏后的图片
,学习破坏图片的预估噪声
,用L2 loss约束与
原始输入噪声的距离
- 推理过程:即输入噪声,经过预估噪声模型还原成图片
2.1 DDPM的两个过程:从前向过程到逆向过程
2.1.1 前向过程(加噪):通过高斯噪音随机加噪
——给图片打马赛克
前向过程(forward process)也称为扩散过程(diffusion process),简单理解就是对原始图片
通过逐步添加「方差为
的高斯噪声」变成
,从而达到破坏图片的目的,如下图
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第9张图片](http://img.e-com-net.com/image/info8/a9bcc73cad054c1aa3054b96c0c07997.jpg)
在从
到
的过程中,其对应的分布
是一个正太分布,且其均值是
,方差为
,则有
![q(x_t|x_{t-1}) = N(x_t;u_t = \sqrt{1-\beta _t }x_{t-1},\beta _t \mathbb{I})](http://img.e-com-net.com/image/info8/13a3bb83a1fd4458a1890bf5d292a629.png)
对于这个公式,解释下3点
接下来,如果我们定义
, 且
『被称为Noise schedule,通常是一些列很小的值』,以及
是高斯噪声,便可以得到
的采样值
![x_t = \sqrt{\alpha _t}x_{t-1} + \sqrt{1-\alpha _t} \epsilon _{t-1}](http://img.e-com-net.com/image/info8/fd1f3ad035d04bf3bfc49e9fc80a6ef7.png)
把上述公式迭代变换下,可以直接得出
到
的公式,如下:
![x_t = \sqrt{\bar{\alpha _t}}x_{0} + \sqrt{1-\bar{\alpha _t}} \epsilon](http://img.e-com-net.com/image/info8/e7bd5955bec6451a9c507f6af1cd58a8.png)
其中
,
也是一个高斯噪声
换言之,所以
在
条件下的分布就是均值为
, 方差为
的正态分布
![q\left(\mathbf{x}_{t} \mid \mathbf{x}_{0}\right)=\mathcal{N}\left(\mathbf{x}_{t} ; \sqrt{\bar{\alpha}_{t}} \mathbf{x}_{0},\left(1-\bar{\alpha}_{t}\right) \mathbf{I}\right)](http://img.e-com-net.com/image/info8/26a9525d42184f77a6cb92dd452931ae.png)
考虑到可能会有读者对这个
到
的一步到位感到困惑,而一般的同类文章不会展开的特别细,故本文细致展开下(能拆10步则10步 确保阅读无障碍)
- 首先通过
可知,
,把这个代入到
的表达式后,再展开即可得
![\begin{aligned} \boldsymbol{x}_{t} & =\sqrt{\alpha_{t}} \boldsymbol{x}_{t-1}+\sqrt{1-\alpha_{t}} \boldsymbol{\epsilon}_{t-1}^{*} \\ & =\sqrt{\alpha_{t}}\left(\sqrt{\alpha_{t-1}} \boldsymbol{x}_{t-2}+\sqrt{1-\alpha_{t-1}} \boldsymbol{\epsilon}_{t-2}^{*}\right)+\sqrt{1-\alpha_{t}} \epsilon_{t-1}^{*} \\ & =\sqrt{\alpha_{t} \alpha_{t-1}} \boldsymbol{x}_{t-2}+\sqrt{\alpha_{t}-\alpha_{t} \alpha_{t-1}} \boldsymbol{\epsilon}_{t-2}^{*}+\sqrt{1-\alpha_{t}} \epsilon_{t-1}^{*} \end{aligned}](https://latex.csdn.net/eq?%5Cbegin%7Baligned%7D%20%5Cboldsymbol%7Bx%7D_%7Bt%7D%20%26%20%3D%5Csqrt%7B%5Calpha_%7Bt%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt-1%7D+%5Csqrt%7B1-%5Calpha_%7Bt%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7Bt-1%7D%5E%7B*%7D%20%5C%5C%20%26%20%3D%5Csqrt%7B%5Calpha_%7Bt%7D%7D%5Cleft%28%5Csqrt%7B%5Calpha_%7Bt-1%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt-2%7D+%5Csqrt%7B1-%5Calpha_%7Bt-1%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7Bt-2%7D%5E%7B*%7D%5Cright%29+%5Csqrt%7B1-%5Calpha_%7Bt%7D%7D%20%5Cepsilon_%7Bt-1%7D%5E%7B*%7D%20%5C%5C%20%26%20%3D%5Csqrt%7B%5Calpha_%7Bt%7D%20%5Calpha_%7Bt-1%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt-2%7D+%5Csqrt%7B%5Calpha_%7Bt%7D-%5Calpha_%7Bt%7D%20%5Calpha_%7Bt-1%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7Bt-2%7D%5E%7B*%7D+%5Csqrt%7B1-%5Calpha_%7Bt%7D%7D%20%5Cepsilon_%7Bt-1%7D%5E%7B*%7D%20%5Cend%7Baligned%7D)
- 考虑到「两个独立正态分布的随机变量之和是正态的,其均值是两个均值之和,其方差是两个方差之和(即标准差的平方是标准差的平方),比如两个方差不同的高斯分布
和
相加等于一个新的高斯分布
」,然后再通过重参数技巧可得
![x_t \begin{array}{l} =\sqrt{\alpha_{t} \alpha_{t-1}} \boldsymbol{x}_{t-2}+\sqrt{{\sqrt{\alpha_{t}-\alpha_{t} \alpha_{t-1}}}^{2}+{\sqrt{1-\alpha_{t}}}^{2}} \boldsymbol{\epsilon}_{t-2} \\ =\sqrt{\alpha_{t} \alpha_{t-1}} \boldsymbol{x}_{t-2}+\sqrt{\alpha_{t}-\alpha_{t} \alpha_{t-1}+1-\alpha_{t}} \boldsymbol{\epsilon}_{t-2} \\ =\sqrt{\alpha_{t} \alpha_{t-1}} \boldsymbol{x}_{t-2}+\sqrt{1-\alpha_{t} \alpha_{t-1}} \boldsymbol{\epsilon}_{t-2} \\ =\ldots \end{array}](https://latex.csdn.net/eq?x_t%20%5Cbegin%7Barray%7D%7Bl%7D%20%3D%5Csqrt%7B%5Calpha_%7Bt%7D%20%5Calpha_%7Bt-1%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt-2%7D+%5Csqrt%7B%7B%5Csqrt%7B%5Calpha_%7Bt%7D-%5Calpha_%7Bt%7D%20%5Calpha_%7Bt-1%7D%7D%7D%5E%7B2%7D+%7B%5Csqrt%7B1-%5Calpha_%7Bt%7D%7D%7D%5E%7B2%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7Bt-2%7D%20%5C%5C%20%3D%5Csqrt%7B%5Calpha_%7Bt%7D%20%5Calpha_%7Bt-1%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt-2%7D+%5Csqrt%7B%5Calpha_%7Bt%7D-%5Calpha_%7Bt%7D%20%5Calpha_%7Bt-1%7D+1-%5Calpha_%7Bt%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7Bt-2%7D%20%5C%5C%20%3D%5Csqrt%7B%5Calpha_%7Bt%7D%20%5Calpha_%7Bt-1%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt-2%7D+%5Csqrt%7B1-%5Calpha_%7Bt%7D%20%5Calpha_%7Bt-1%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7Bt-2%7D%20%5C%5C%20%3D%5Cldots%20%5Cend%7Barray%7D)
对此,本文参考文献中的这篇《Understanding Diffusion Models: A Unified Perspective》也解释了这几个步骤![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第11张图片](http://img.e-com-net.com/image/info8/b90096aaa1104218887cfd796bd08e8c.jpg)
- 最后定义一个累积混合系数,
,即
,可得
![x_t \begin{array}{l} =\sqrt{\prod_{i=1}^{t} \alpha_{i}} \boldsymbol{x}_{0}+\sqrt{1-\prod_{i=1}^{t} \alpha_{i} \boldsymbol{\epsilon}_{0}} \\ =\sqrt{\bar{\alpha}_{t}} \boldsymbol{x}_{0}+\sqrt{1-\bar{\alpha}_{t}} \boldsymbol{\epsilon}_{0} \\ \sim \mathcal{N}\left(\boldsymbol{x}_{t} ; \sqrt{\bar{\alpha}_{t}} \boldsymbol{x}_{0},\left(1-\bar{\alpha}_{t}\right) \mathbf{I}\right) \end{array}](https://latex.csdn.net/eq?x_t%20%5Cbegin%7Barray%7D%7Bl%7D%20%3D%5Csqrt%7B%5Cprod_%7Bi%3D1%7D%5E%7Bt%7D%20%5Calpha_%7Bi%7D%7D%20%5Cboldsymbol%7Bx%7D_%7B0%7D+%5Csqrt%7B1-%5Cprod_%7Bi%3D1%7D%5E%7Bt%7D%20%5Calpha_%7Bi%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7B0%7D%7D%20%5C%5C%20%3D%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cboldsymbol%7Bx%7D_%7B0%7D+%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7B0%7D%20%5C%5C%20%5Csim%20%5Cmathcal%7BN%7D%5Cleft%28%5Cboldsymbol%7Bx%7D_%7Bt%7D%20%3B%20%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cboldsymbol%7Bx%7D_%7B0%7D%2C%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Cmathbf%7BI%7D%5Cright%29%20%5Cend%7Barray%7D)
2.1.2 逆向过程(去噪):求解真实后验分布
—— 复原被加噪的图片使之清晰化
逆向过程就是通过估测噪声,多次迭代逐渐将被破坏的
恢复成
,如下图
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第12张图片](http://img.e-com-net.com/image/info8/a91555e724d44dab9a948cee14cd6bf8.jpg)
更具体而言,正向扩散和逆扩散过程都是马尔可夫,唯一的区别就是正向扩散里每一个条件概率的高斯分布的均值和方差都是已经确定的(依赖于
和
),而逆扩散过程里面的均值和方差需要通过网络学出来,怎么个学法呢?
- 有人可能要说,直接把上一节得到的
移个项不就行了(先把带
的项移到等式左边,然后所有项各自除以
,最后把等式右边的
提取到括号外边即可)?
![\mathbf{x}_{0}=\frac{1}{\sqrt{\bar{\alpha}_{t}}}\left(\mathbf{x}_{t}-\sqrt{1-\bar{\alpha}_{t}} \epsilon\right)](http://img.e-com-net.com/image/info8/475d066d42dd44f6906f06e65ea28233.png)
但问题在于
中的
是个随机变量,意味着
也是个随机变量,其具体取值由
实际取值决定「相当于现在我们有一个具体的
,它对应着
的某个取值,但是什么值我们并不知道」,所以我们只能以前向过程的
取值为标签,训练一个模型去估计它,即:
![\mathbf{x}_{\theta}\left(\mathbf{x}_{t}, t\right):=\frac{1}{\sqrt{\bar{\alpha}_{t}}}\left(\mathbf{x}_{t}-\sqrt{1-\bar{\alpha}_{t}} \epsilon_{\theta}\left(\mathbf{x}_{t}, t\right)\right)](http://img.e-com-net.com/image/info8/33a465d37f254a0d90267973eeb40b23.png)
其中
就是所谓的模型,用来近似真实的(即前向过程采样出来的)
;相应地,
就是
的近似。或者,你也可以无视
,直接把
视为模型
为了训练它,最直接的想法就是用 L2 损失
或者![\left\|\mathbf{x}_{0}-\mathbf{x}_{\theta}\left(\mathbf{x}_{t}, t\right)\right\|^{2}](http://img.e-com-net.com/image/info8/9b3ce93dd45b44788af29f6b0149144d.png)
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第13张图片](http://img.e-com-net.com/image/info8/9b9268b7a2df4d0dbdfc6ac7c29e96a0.jpg)
理论上没问题,但是实际效果很差,为什么呢?如果直接用
,那么中间的
都没用了,整个 DDPM 就退化成了 VAE 的结构
但是 VAE 的生成模型和后验都是自己学习出来的,二者双向奔赴共同优化去寻找最优解;而 DDPM 的后验是人为指定的(即
),并且由于
,
基本上就是一个标准正态分布,磨灭掉了几乎所有的输入信息,全靠生成模型这一边去恢复,难度未免也..
- 所以,实际应用中,我们是一点一点来的,比如先生成
、然后
……由于每一步的变化都比较小,保留了上一步足够的信息,生成模型的负担就轻了很多
如果我们能够逆转前向过程并从真实分布
采样,就可以从高斯噪声
还原出原图分布
。因为我们可以证明如果前向
满足高斯分布且
足够小,其逆向
仍然是一个高斯分布 那样,我们便可以使用「参数为 θ 的U-Net+attention 结构
」去预测这样的一个逆向的分布(类似VAE):
![p_{\theta}\left(X_{0: T}\right)=p\left(x_{t}\right) \prod_{t=1}^{T} p_{\theta}\left(x_{t-1} \mid x_{t}\right)](http://img.e-com-net.com/image/info8/6c4c484cc73f41c0bee1631ab69d8d40.png)
![p_{\theta}\left(x_{t-1} \mid x_{t}\right)=\mathcal{N}\left(x_{t-1} ; \mu_{\theta}\left(x_{t}, t\right), \Sigma_{\theta}\left(x_{t}, t\right)\right)](http://img.e-com-net.com/image/info8/fd24af8e3afd4bb3b7630c8366e02b47.png)
不过在DDPM的论文中,作者把条件概率
的方差直接取了
,而不是上面说的需要网络去估计的
,所以说实际上只有均值需要网络去估计
-
然现在的问题是,我们无法直接去推断 ![q(x_{t-1}|x_t)](http://img.e-com-net.com/image/info8/34ef1044d5544e01a6822e48ae2e93af.png)
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第14张图片](http://img.e-com-net.com/image/info8/fbea38d992764c8189c0d483fbe227d3.jpg)
所以,接下来的问题 自然而然 就转换成了我们希望求解
,因为我们知道前向过程
,所以自然想到使用贝叶斯公式:
![q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)=\frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{t-1}\right) q\left(\mathbf{x}_{t-1}\right)}{q\left(\mathbf{x}_{t}\right)}](http://img.e-com-net.com/image/info8/9f90433fcb4447fa91fe19afb8ca7045.png)
可惜
和
是未知的,事情到这里似乎走入了僵局,但是我们敏锐地发现
和
是已知的,如果给上式加上
为条件,则立马柳暗花明,且如果知道
就可以直接写出![q\left(x_{t-1} \mid x_{t}, x_{0}\right)=\mathcal{N}\left(x_{t-1} ; \tilde{\mu}\left(x_{t}, x_{0}\right), \tilde{\beta}_{t} \mathbf{I}\right)](http://img.e-com-net.com/image/info8/35488de649104a84be8e133c35a56bce.png)
接下来,我们便好好推导下
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第15张图片](http://img.e-com-net.com/image/info8/93ea5abccc074d559caa4a2add5eb081.jpg)
解释下上面7.1~7.5这5个步骤的推导
-
7.1依据的是
![P(A|B) = \frac{P(AB)}{P(B)}](http://img.e-com-net.com/image/info8/6c38307ed426431598df1cc005cb5e99.png)
- 7.2中,分母部分依据的是
![P(AB) = P(A)P(B|A)](http://img.e-com-net.com/image/info8/dda7d02caeae49a0b5b91d1e2c7dca79.png)
分子部分依据的是
![P(ABC)=P(A)P(B|A)P(C|AB)](http://img.e-com-net.com/image/info8/aef79c33bff3436a964afd6da0b963e3.png)
- 7.3依据的是分子分母同时除以
![q(x_0)](http://img.e-com-net.com/image/info8/953167fcef694c1fbb142d393cb49112.png)
- 至于7.3到7.4
![\begin{array}{l} =q\left(x_{t} \mid x_{t-1}, x_{0}\right) \frac{q\left(x_{t-1} \mid x_{0}\right)}{q\left(x_{t} \mid x_{0}\right)} \quad 7.3 \\ \propto \exp \left(-\frac{1}{2}\left(\frac{\left(x_{t}-\sqrt{\alpha_{t}} x_{t-1}\right)^{2}}{\beta_{t}}+\frac{\left(x_{t-1}-\sqrt{\bar{\alpha}_{t-1}} x_{0}\right)^{2}}{1-\bar{a}_{t-1}}-\frac{\left(x_{t}-\sqrt{\bar{\alpha}_{t}} x_{0}\right)^{2}}{1-\bar{a}_{t}}\right)\right) \quad 7.4 \end{array}](https://latex.csdn.net/eq?%5Cbegin%7Barray%7D%7Bl%7D%20%3Dq%5Cleft%28x_%7Bt%7D%20%5Cmid%20x_%7Bt-1%7D%2C%20x_%7B0%7D%5Cright%29%20%5Cfrac%7Bq%5Cleft%28x_%7Bt-1%7D%20%5Cmid%20x_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28x_%7Bt%7D%20%5Cmid%20x_%7B0%7D%5Cright%29%7D%20%5Cquad%207.3%20%5C%5C%20%5Cpropto%20%5Cexp%20%5Cleft%28-%5Cfrac%7B1%7D%7B2%7D%5Cleft%28%5Cfrac%7B%5Cleft%28x_%7Bt%7D-%5Csqrt%7B%5Calpha_%7Bt%7D%7D%20x_%7Bt-1%7D%5Cright%29%5E%7B2%7D%7D%7B%5Cbeta_%7Bt%7D%7D+%5Cfrac%7B%5Cleft%28x_%7Bt-1%7D-%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%20x_%7B0%7D%5Cright%29%5E%7B2%7D%7D%7B1-%5Cbar%7Ba%7D_%7Bt-1%7D%7D-%5Cfrac%7B%5Cleft%28x_%7Bt%7D-%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20x_%7B0%7D%5Cright%29%5E%7B2%7D%7D%7B1-%5Cbar%7Ba%7D_%7Bt%7D%7D%5Cright%29%5Cright%29%20%5Cquad%207.4%20%5Cend%7Barray%7D)
依据的是
![\rho(\mathrm{x})=\frac{1}{\sqrt{2 \pi \sigma}} \mathrm{e}^{-\frac{1}{2}\left(\frac{\mathrm{x}-\mu}{\sigma}\right)^{2}}](http://img.e-com-net.com/image/info8/43e534eda32c4effafb56fba877169cb.png)
且由前向扩散过程的特性『别忘了2.1.2节中,有
』,可知
![q\left(\mathbf{x}_{t} \mid \mathbf{x}_{t-1}, \mathbf{x}_{0}\right)=q\left(\mathbf{x}_{t} \mid \mathbf{x}_{t-1}\right)=\mathcal{N}\left(\mathbf{x}_{t} ; \sqrt{1-\beta_{t}} \mathbf{x}_{t-1}, \beta_{t} \mathbf{I}\right)](http://img.e-com-net.com/image/info8/8f31a283b31f44baa83cac58cca86998.png)
![q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{0}\right)=\mathcal{N}\left(\mathbf{x}_{t-1} ; \sqrt{\bar{\alpha}_{t-1}} \mathbf{x}_{0},\left(1-\bar{\alpha}_{t-1}\right) \mathbf{I}\right)](http://img.e-com-net.com/image/info8/cfa180ae77634dbaabbb3c98b308d930.png)
![q\left(\mathbf{x}_{t} \mid \mathbf{x}_{0}\right)=\mathcal{N}\left(\mathbf{x}_{t} ; \sqrt{\bar{\alpha}_{t}} \mathbf{x}_{0},\left(1-\bar{\alpha}_{t}\right) \mathbf{I}\right)](http://img.e-com-net.com/image/info8/26a9525d42184f77a6cb92dd452931ae.png)
- 最后,再解释下怎么从7.4到的7.5
![\begin{array}{l} =q\left(x_{t} \mid x_{t-1}, x_{0}\right) \frac{q\left(x_{t-1} \mid x_{0}\right)}{q\left(x_{t} \mid x_{0}\right)} \quad 7.3 \\ \propto \exp \left(-\frac{1}{2}\left(\frac{\left(x_{t}-\sqrt{\alpha_{t}} x_{t-1}\right)^{2}}{\beta_{t}}+\frac{\left(x_{t-1}-\sqrt{\bar{\alpha}_{t-1}} x_{0}\right)^{2}}{1-\bar{a}_{t-1}}-\frac{\left(x_{t}-\sqrt{\bar{\alpha}_{t}} x_{0}\right)^{2}}{1-\bar{a}_{t}}\right)\right)\\ =\exp \left(-\frac{1}{2}(\underbrace{\left(\frac{\alpha_{t}}{\beta_{t}}+\frac{1}{1-\bar{\alpha}_{t-1}}\right) x_{t-1}^{2}}_{x_{t-1} \text {}}-\underbrace{\left(\frac{2 \sqrt{\alpha_{t}}}{\beta_{t}} x_{t}+\frac{2 \sqrt{\bar{a}_{t-1}}}{1-\bar{\alpha}_{t-1}} x_{0}\right) x_{t-1}}_{\text {}x_{t-1}\text{}}+\underbrace{C\left(x_{t}, x_{0}\right)})\right) \cdot 7.5 \end{array}](https://latex.csdn.net/eq?%5Cbegin%7Barray%7D%7Bl%7D%20%3Dq%5Cleft%28x_%7Bt%7D%20%5Cmid%20x_%7Bt-1%7D%2C%20x_%7B0%7D%5Cright%29%20%5Cfrac%7Bq%5Cleft%28x_%7Bt-1%7D%20%5Cmid%20x_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28x_%7Bt%7D%20%5Cmid%20x_%7B0%7D%5Cright%29%7D%20%5Cquad%207.3%20%5C%5C%20%5Cpropto%20%5Cexp%20%5Cleft%28-%5Cfrac%7B1%7D%7B2%7D%5Cleft%28%5Cfrac%7B%5Cleft%28x_%7Bt%7D-%5Csqrt%7B%5Calpha_%7Bt%7D%7D%20x_%7Bt-1%7D%5Cright%29%5E%7B2%7D%7D%7B%5Cbeta_%7Bt%7D%7D+%5Cfrac%7B%5Cleft%28x_%7Bt-1%7D-%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%20x_%7B0%7D%5Cright%29%5E%7B2%7D%7D%7B1-%5Cbar%7Ba%7D_%7Bt-1%7D%7D-%5Cfrac%7B%5Cleft%28x_%7Bt%7D-%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20x_%7B0%7D%5Cright%29%5E%7B2%7D%7D%7B1-%5Cbar%7Ba%7D_%7Bt%7D%7D%5Cright%29%5Cright%29%5C%5C%20%3D%5Cexp%20%5Cleft%28-%5Cfrac%7B1%7D%7B2%7D%28%5Cunderbrace%7B%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D%7D%7B%5Cbeta_%7Bt%7D%7D+%5Cfrac%7B1%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%5Cright%29%20x_%7Bt-1%7D%5E%7B2%7D%7D_%7Bx_%7Bt-1%7D%20%5Ctext%20%7B%7D%7D-%5Cunderbrace%7B%5Cleft%28%5Cfrac%7B2%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%7B%5Cbeta_%7Bt%7D%7D%20x_%7Bt%7D+%5Cfrac%7B2%20%5Csqrt%7B%5Cbar%7Ba%7D_%7Bt-1%7D%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%20x_%7B0%7D%5Cright%29%20x_%7Bt-1%7D%7D_%7B%5Ctext%20%7B%7Dx_%7Bt-1%7D%5Ctext%7B%7D%7D+%5Cunderbrace%7BC%5Cleft%28x_%7Bt%7D%2C%20x_%7B0%7D%5Cright%29%7D%29%5Cright%29%20%5Ccdot%207.5%20%5Cend%7Barray%7D)
先举一个最简单的例子,比如对于
,稍加转化下即是
,则其均值为
,方差为![\frac{1}{A}](http://img.e-com-net.com/image/info8/e708bdf7bcb345f49f237c51ec7c41f9.png)
而这个
则对应于7.5中的
![\frac{\alpha_{t}}{\beta_{t}}+\frac{1}{1-\bar{\alpha}_{t-1}}](http://img.e-com-net.com/image/info8/e58a418903ed42ecb9160e543210771b.png)
则对应于7.5中的
![- (\frac{2 \sqrt{\alpha_{t}}}{\beta_{t}} x_{t}+\frac{2 \sqrt{\bar{a}_{t-1}}}{1-\bar{\alpha}_{t-1}} x_{0} )](http://img.e-com-net.com/image/info8/bf2e7e7ad9f44e3780d75414f85e093d.png)
从而有
![\mu_{t}\left(\mathbf{x}_{t}, \mathbf{x}_{0}\right)=\frac{-B}{2 A}](http://img.e-com-net.com/image/info8/51834575ec634ba3bf83da33ada51b35.png)
![\begin{array}{l} =\left(\frac{\sqrt{\alpha_{t}}}{\beta_{t}} \mathbf{x}_{t}+\frac{\sqrt{\bar{\alpha}_{t-1}}}{1-\bar{\alpha}_{t-1}} \mathbf{x}_{0}\right) /\left(\frac{\alpha_{t}}{\beta_{t}}+\frac{1}{1-\bar{\alpha}_{t-1}}\right) \\ =\left(\frac{\sqrt{\alpha_{t}}}{\beta_{t}} \mathbf{x}_{t}+\frac{\sqrt{\bar{\alpha}_{t-1}}}{1-\bar{\alpha}_{t-1}} \mathbf{x}_{0}\right) \frac{1-\bar{\alpha}_{t-1}}{1-\bar{\alpha}_{t}} \cdot \beta_{t} \\ =\frac{\sqrt{\alpha_{t}}\left(1-\bar{\alpha}_{t-1}\right)}{1-\bar{\alpha}_{t}} \mathbf{x}_{t}+\frac{\sqrt{\bar{\alpha}_{t-1}} \beta_{t}}{1-\bar{\alpha}_{t}} \mathbf{x}_{0} \end{array}](https://latex.csdn.net/eq?%5Cbegin%7Barray%7D%7Bl%7D%20%3D%5Cleft%28%5Cfrac%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%7B%5Cbeta_%7Bt%7D%7D%20%5Cmathbf%7Bx%7D_%7Bt%7D+%5Cfrac%7B%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%20/%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D%7D%7B%5Cbeta_%7Bt%7D%7D+%5Cfrac%7B1%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%5Cright%29%20%5C%5C%20%3D%5Cleft%28%5Cfrac%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%7B%5Cbeta_%7Bt%7D%7D%20%5Cmathbf%7Bx%7D_%7Bt%7D+%5Cfrac%7B%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%20%5Cfrac%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Ccdot%20%5Cbeta_%7Bt%7D%20%5C%5C%20%3D%5Cfrac%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cmathbf%7Bx%7D_%7Bt%7D+%5Cfrac%7B%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%20%5Cbeta_%7Bt%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cmathbf%7Bx%7D_%7B0%7D%20%5Cend%7Barray%7D)
![\tilde{\beta _t} = \frac{1}{A} = 1 /\left(\frac{\alpha_{t}}{\beta_{t}}+\frac{1}{1-\bar{\alpha}_{t-1}}\right)=1 /\left(\frac{\alpha_{t}-\bar{\alpha}_{t}+\beta_{t}}{\beta_{t}\left(1-\bar{\alpha}_{t-1}\right)}\right)=\frac{1-\bar{\alpha}_{t-1}}{1-\bar{\alpha}_{t}} \cdot \beta_{t}](https://latex.csdn.net/eq?%5Ctilde%7B%5Cbeta%20_t%7D%20%3D%20%5Cfrac%7B1%7D%7BA%7D%20%3D%201%20/%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D%7D%7B%5Cbeta_%7Bt%7D%7D+%5Cfrac%7B1%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%5Cright%29%3D1%20/%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D-%5Cbar%7B%5Calpha%7D_%7Bt%7D+%5Cbeta_%7Bt%7D%7D%7B%5Cbeta_%7Bt%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%7D%5Cright%29%3D%5Cfrac%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Ccdot%20%5Cbeta_%7Bt%7D)
好,接下来关键来了
根据
,可知
,代入上面
的表达式 可得
![{\mu}(x_t,x_0)=\frac{1}{\sqrt{\alpha_{t}}}\left(x_{t}-\frac{1-\alpha_{t}}{\sqrt{1-\bar{\alpha}_{t}}}{\epsilon_t}\right)](http://img.e-com-net.com/image/info8/e963629257ca4d34a35c67d7e416b4c6.png)
大部分对这个的推导都是一步到位的,但本文为细致起见,故还是一步步来推导下
- 首先直接把
和
代入进去,可得 ![\begin{aligned} \boldsymbol{\mu}_{}\left(\boldsymbol{x}_{t}, \boldsymbol{x}_{0}\right) & =\frac{\sqrt{\alpha_{t}}\left(1-\bar{\alpha}_{t-1}\right) \boldsymbol{x}_{t}+\sqrt{\bar{\alpha}_{t-1}}\left(1-\alpha_{t}\right) \boldsymbol{x}_{0}}{1-\bar{\alpha}_{t}} \\ & =\frac{\sqrt{\alpha_{t}}\left(1-\bar{\alpha}_{t-1}\right) \boldsymbol{x}_{t}+\sqrt{\bar{\alpha}_{t-1}}\left(1-\alpha_{t}\right) \frac{\boldsymbol{x}_{t}-\sqrt{1-\bar{\alpha}_{t}} \epsilon_{0}}{\sqrt{\bar{\alpha}_{t}}}}{1-\bar{\alpha}_{t}} \end{aligned}](https://latex.csdn.net/eq?%5Cbegin%7Baligned%7D%20%5Cboldsymbol%7B%5Cmu%7D_%7B%7D%5Cleft%28%5Cboldsymbol%7Bx%7D_%7Bt%7D%2C%20%5Cboldsymbol%7Bx%7D_%7B0%7D%5Cright%29%20%26%20%3D%5Cfrac%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%20%5Cboldsymbol%7Bx%7D_%7Bt%7D+%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%5Cleft%281-%5Calpha_%7Bt%7D%5Cright%29%20%5Cboldsymbol%7Bx%7D_%7B0%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5C%5C%20%26%20%3D%5Cfrac%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%20%5Cboldsymbol%7Bx%7D_%7Bt%7D+%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%5Cleft%281-%5Calpha_%7Bt%7D%5Cright%29%20%5Cfrac%7B%5Cboldsymbol%7Bx%7D_%7Bt%7D-%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cepsilon_%7B0%7D%7D%7B%5Csqrt%7B%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cend%7Baligned%7D)
- 接下来,我们可以进一步观察到 分子中的后半部分有
这一项,怎么进一步化简呢『接下来非常关键(截止23年5月份之前,暂时没看到有其他中英文资料解释了这个细节)』?
好在之前有定义:
,即
,从而有
所以我们可以针对这一项
的分子分母同时除以
,得到
![\mu _t(x_t,x_0) = \frac{\sqrt{\alpha_{t}}\left(1-\bar{\alpha}_{t-1}\right) \boldsymbol{x}_{t}+\left(1-\alpha_{t}\right) \frac{\boldsymbol{x}_{t}-\sqrt{1-\bar{\alpha}_{t}} \epsilon_{0}}{\sqrt{\alpha_{t}}}}{1-\bar{\alpha}_{t}}](https://latex.csdn.net/eq?%5Cmu%20_t%28x_t%2Cx_0%29%20%3D%20%5Cfrac%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%20%5Cboldsymbol%7Bx%7D_%7Bt%7D+%5Cleft%281-%5Calpha_%7Bt%7D%5Cright%29%20%5Cfrac%7B%5Cboldsymbol%7Bx%7D_%7Bt%7D-%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cepsilon_%7B0%7D%7D%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D)
-
之后的推导就比较简单了
![u(x_t,x_0) \begin{array}{l} =\frac{\sqrt{\alpha_{t}}\left(1-\bar{\alpha}_{t-1}\right) \boldsymbol{x}_{t}}{1-\bar{\alpha}_{t}}+\frac{\left(1-\alpha_{t}\right) \boldsymbol{x}_{t}}{\left(1-\bar{\alpha}_{t}\right) \sqrt{\alpha_{t}}}-\frac{\left(1-\alpha_{t}\right) \sqrt{1-\bar{\alpha}_{t}} \boldsymbol{\epsilon}_{0}}{\left(1-\bar{\alpha}_{t}\right) \sqrt{\alpha_{t}}} \\ =\left(\frac{\sqrt{\alpha_{t}}\left(1-\bar{\alpha}_{t-1}\right)}{1-\bar{\alpha}_{t}}+\frac{1-\alpha_{t}}{\left(1-\bar{\alpha}_{t}\right) \sqrt{\alpha_{t}}}\right) \boldsymbol{x}_{t}-\frac{\left(1-\alpha_{t}\right) \sqrt{1-\bar{\alpha}_{t}}}{\left(1-\bar{\alpha}_{t}\right) \sqrt{\alpha_{t}}} \boldsymbol{\epsilon}_{0} \\ =\left(\frac{\alpha_{t}\left(1-\bar{\alpha}_{t-1}\right)}{\left(1-\bar{\alpha}_{t}\right) \sqrt{\alpha_{t}}}+\frac{1-\alpha_{t}}{\left(1-\bar{\alpha}_{t}\right) \sqrt{\alpha_{t}}}\right) \boldsymbol{x}_{t}-\frac{1-\alpha_{t}}{\sqrt{1-\bar{\alpha}_{t}} \sqrt{\alpha_{t}}} \boldsymbol{\epsilon}_{0} \end{array}](https://latex.csdn.net/eq?u%28x_t%2Cx_0%29%20%5Cbegin%7Barray%7D%7Bl%7D%20%3D%5Cfrac%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%20%5Cboldsymbol%7Bx%7D_%7Bt%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D+%5Cfrac%7B%5Cleft%281-%5Calpha_%7Bt%7D%5Cright%29%20%5Cboldsymbol%7Bx%7D_%7Bt%7D%7D%7B%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D-%5Cfrac%7B%5Cleft%281-%5Calpha_%7Bt%7D%5Cright%29%20%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7B0%7D%7D%7B%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5C%5C%20%3D%5Cleft%28%5Cfrac%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D+%5Cfrac%7B1-%5Calpha_%7Bt%7D%7D%7B%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%5Cright%29%20%5Cboldsymbol%7Bx%7D_%7Bt%7D-%5Cfrac%7B%5Cleft%281-%5Calpha_%7Bt%7D%5Cright%29%20%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%7D%7B%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7B0%7D%20%5C%5C%20%3D%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%7D%7B%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D+%5Cfrac%7B1-%5Calpha_%7Bt%7D%7D%7B%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%5Cright%29%20%5Cboldsymbol%7Bx%7D_%7Bt%7D-%5Cfrac%7B1-%5Calpha_%7Bt%7D%7D%7B%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7B0%7D%20%5Cend%7Barray%7D)
以下分别对上面的三行公式做解释说明:
接着把上阶段2得到的式子的分子拆成三项,且三项中最后两项的分子分母同时乘以![\sqrt{\alpha _t}](http://img.e-com-net.com/image/info8/1a6ea903ce674d5eb317f38cec61c34e.png)
然后再把上一步骤中分子三项中的前两项通过提取出
从而实现合并
前两项合并之后,再对前两项中第一项的分子分母同时乘以
,然后对第三项的分子分母同时除以
,即可得
,原因很简单,因为:![1-\bar{\alpha_t} = \left ( \sqrt{1-\bar{\alpha _t}} \right )^2](http://img.e-com-net.com/image/info8/f8e89522a1a84e65a817df7b7cc41a2f.png)
-
接下来,针对上面阶段3得到的式子的前两项再做合并,合并中用到了一个细节,即
,原因也同样很简单,根据上面阶段2出现的这个式子
而来,再之后就更eazy 便不再赘述了
![\mu(x_t,x_0) \begin{array}{l} =\frac{\alpha_{t}-\bar{\alpha}_{t}+1-\alpha_{t}}{\left(1-\bar{\alpha}_{t}\right) \sqrt{\alpha_{t}}} \boldsymbol{x}_{t}-\frac{1-\alpha_{t}}{\sqrt{1-\bar{\alpha}_{t}} \sqrt{\alpha_{t}}} \boldsymbol{\epsilon}_{0} \\ =\frac{1-\bar{\alpha}_{t}}{\left(1-\bar{\alpha}_{t}\right) \sqrt{\alpha_{t}}} \boldsymbol{x}_{t}-\frac{1-\alpha_{t}}{\sqrt{1-\bar{\alpha}_{t}} \sqrt{\alpha_{t}}} \boldsymbol{\epsilon}_{0} \\ =\frac{1}{\sqrt{\alpha_{t}}} \boldsymbol{x}_{t}-\frac{1-\alpha_{t}}{\sqrt{1-\bar{\alpha}_{t}} \sqrt{\alpha_{t}}} \boldsymbol{\epsilon}_{0} \end{array}](https://latex.csdn.net/eq?%5Cmu%28x_t%2Cx_0%29%20%5Cbegin%7Barray%7D%7Bl%7D%20%3D%5Cfrac%7B%5Calpha_%7Bt%7D-%5Cbar%7B%5Calpha%7D_%7Bt%7D+1-%5Calpha_%7Bt%7D%7D%7B%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt%7D-%5Cfrac%7B1-%5Calpha_%7Bt%7D%7D%7B%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7B0%7D%20%5C%5C%20%3D%5Cfrac%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%7B%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt%7D%5Cright%29%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt%7D-%5Cfrac%7B1-%5Calpha_%7Bt%7D%7D%7B%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7B0%7D%20%5C%5C%20%3D%5Cfrac%7B1%7D%7B%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5Cboldsymbol%7Bx%7D_%7Bt%7D-%5Cfrac%7B1-%5Calpha_%7Bt%7D%7D%7B%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Csqrt%7B%5Calpha_%7Bt%7D%7D%7D%20%5Cboldsymbol%7B%5Cepsilon%7D_%7B0%7D%20%5Cend%7Barray%7D)
从最终得到的结果可以看出,在给定
的条件下
后验条件高斯分布的均值只和超参数
、
、
有关,即
![{\mu}(x_t,x_0)=\frac{1}{\sqrt{\alpha_{t}}}\left(x_{t}-\frac{1-\alpha_{t}}{\sqrt{1-\bar{\alpha}_{t}}}{\epsilon_t}\right)](http://img.e-com-net.com/image/info8/e963629257ca4d34a35c67d7e416b4c6.png)
方差只与超参数
有关,即
![\tilde{\beta _t} = \frac{1}{A} = 1 /\left(\frac{\alpha_{t}}{\beta_{t}}+\frac{1}{1-\bar{\alpha}_{t-1}}\right)=1 /\left(\frac{\alpha_{t}-\bar{\alpha}_{t}+\beta_{t}}{\beta_{t}\left(1-\bar{\alpha}_{t-1}\right)}\right)=\frac{1-\bar{\alpha}_{t-1}}{1-\bar{\alpha}_{t}} \cdot \beta_{t}](https://latex.csdn.net/eq?%5Ctilde%7B%5Cbeta%20_t%7D%20%3D%20%5Cfrac%7B1%7D%7BA%7D%20%3D%201%20/%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D%7D%7B%5Cbeta_%7Bt%7D%7D+%5Cfrac%7B1%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%5Cright%29%3D1%20/%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D-%5Cbar%7B%5Calpha%7D_%7Bt%7D+%5Cbeta_%7Bt%7D%7D%7B%5Cbeta_%7Bt%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%7D%5Cright%29%3D%5Cfrac%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Ccdot%20%5Cbeta_%7Bt%7D)
从而通过以上的方差和均值,我们就得到了
的解析形式
2.2 DDPM如何训练:通过噪声估计模型
预测真实噪声——最小化估计噪声与真实噪声之间的差距
接下来介绍这个模型要怎么优化,即网络该怎么训练:去估计分布
的条件概率
的均值
和方差![\Sigma_{\theta}\left(x_{t}, \mathrm{t}\right)](http://img.e-com-net.com/image/info8/8054475c78bd45a28b64bb9144fadaa3.png)
与之前介绍的VAE相比,扩散模型的隐变量是和原始数据是同维度的,而且encoder(即扩散过程)是固定的
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第16张图片](http://img.e-com-net.com/image/info8/1f80b20fffd74a7eb872f0a2fda9961a.jpg)
既然扩散模型是隐变量模型,那么我们可以基于变分推断来得到variational lower bound(VLB,又称ELBO)作为最大化优化目标,当然实际训练时一般对VLB取负,即我们要最小化目标分布的负对数似然:
![\begin{aligned} -\log p_{\theta}\left(\mathbf{x}_{0}\right) & \leq-\log p_{\theta}\left(\mathbf{x}_{0}\right)+D_{\mathrm{KL}}\left(q\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right) \| p_{\theta}\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right)\right) \\ & =-\log p_{\theta}\left(\mathbf{x}_{0}\right)+\mathbb{E}_{\mathbf{x}_{1: T} \sim q\left(\mathbf{x}_{\left.1: T \mid \mathbf{x}_{0}\right)}\right.}\left[\log \frac{q\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0: T}\right) / p_{\theta}\left(\mathbf{x}_{0}\right)}\right] \\ & =-\log p_{\theta}\left(\mathbf{x}_{0}\right)+\mathbb{E}_{q}\left[\log \frac{q\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0: T}\right)}+\log p_{\theta}\left(\mathbf{x}_{0}\right)\right] \\ & =\mathbb{E}_{q}\left[\log \frac{q\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0: T}\right)}\right] \end{aligned}](https://latex.csdn.net/eq?%5Cbegin%7Baligned%7D%20-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%20%26%20%5Cleq-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29+D_%7B%5Cmathrm%7BKL%7D%7D%5Cleft%28q%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%20%5C%7C%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%5Cright%29%20%5C%5C%20%26%20%3D-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29+%5Cmathbb%7BE%7D_%7B%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Csim%20q%5Cleft%28%5Cmathbf%7Bx%7D_%7B%5Cleft.1%3A%20T%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%5Cright.%7D%5Cleft%5B%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%3A%20T%7D%5Cright%29%20/%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%5Cright%5D%20%5C%5C%20%26%20%3D-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29+%5Cmathbb%7BE%7D_%7Bq%7D%5Cleft%5B%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%3A%20T%7D%5Cright%29%7D+%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%5Cright%5D%20%5C%5C%20%26%20%3D%5Cmathbb%7BE%7D_%7Bq%7D%5Cleft%5B%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%3A%20T%7D%5Cright%29%7D%5Cright%5D%20%5Cend%7Baligned%7D)
考虑到本文的定位起见,逐一解释下上面推导的每一行
-
第一行:由 KL 散度的非负性质(KL 散度始终大于等于零),我们得到如下不等式:![-\log p_{\theta}\left(\mathbf{x}_{0}\right) \leq-\log p_{\theta}\left(\mathbf{x}_{0}\right)+D_{\mathrm{KL}}\left(q\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right) \| p_{\theta}\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right)\right)](https://latex.csdn.net/eq?-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%20%5Cleq-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29+D_%7B%5Cmathrm%7BKL%7D%7D%5Cleft%28q%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%20%5C%7C%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%5Cright%29)
-
第二行:将 KL 散度的定义代入上式可得
其中
表示期望,即对分布
中的所有可能值求期望
-
第三行:对上式进行简化,将
项移到期望内部
其中
表示对分布
中的所有可能值求期望
-
第四行:
和
相互抵消可得
令
![\text { Let } L_{\mathrm{VLB}}=\mathbb{E}_{q\left(\mathbf{x}_{0: T)}\right.}\left[\log \frac{q\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0: T}\right)}\right] \geq-\mathbb{E}_{q\left(\mathbf{x}_{0}\right)} \log p_{\theta}\left(\mathbf{x}_{0}\right)](https://latex.csdn.net/eq?%5Ctext%20%7B%20Let%20%7D%20L_%7B%5Cmathrm%7BVLB%7D%7D%3D%5Cmathbb%7BE%7D_%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%3A%20T%29%7D%5Cright.%7D%5Cleft%5B%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%3A%20T%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%3A%20T%7D%5Cright%29%7D%5Cright%5D%20%5Cgeq-%5Cmathbb%7BE%7D_%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%20%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29)
所以
就是我们的上界,我们要最小化它,接着进行变形
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第17张图片](http://img.e-com-net.com/image/info8/70ad534b7778471d9ba574c2c1edd532.jpg)
老规矩,上面整个推导总计九行,下面逐行解释下上面推导的每一行(纵使其他所有文章都不解释,本文也要给你解释的明明白白)
-
第一行,直接给出了
的定义,即计算概率分布
和
之间的对数比值的期望(注意,这是咱们的目标)
![L_{\mathrm{VLB}}=\mathbb{E}_{q\left(\mathbf{x}_{0: T)}\right.}\left[\log \frac{q\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0: T}\right)}\right]](http://img.e-com-net.com/image/info8/3c055aaa60414fe1894c108885d6fcdb.png)
-
第二行,将条件概率
和联合概率
展开为一系列条件概率的乘积
![q\left(\mathbf{x}_{1: T} \mid \mathbf{x}_{0}\right)=\prod_{t=1}^{T} q\left(\mathbf{x}_{t} \mid \mathbf{x}_{t-1}\right)](http://img.e-com-net.com/image/info8/d66edf8b92244c64995e1daa373635ba.png)
考虑到
实际上就是
,所以有
![p_{\theta}\left(\mathbf{x}_{0: T}\right)= p_{\theta }(x_{0}) \prod_{t=1}^{T} p_{\theta }(x_{t} | x_{0: t-1}) = p_{\theta}\left(\mathbf{x}_{T}\right) \prod_{t=1}^{T} p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)](https://latex.csdn.net/eq?p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%3A%20T%7D%5Cright%29%3D%20p_%7B%5Ctheta%20%7D%28x_%7B0%7D%29%20%5Cprod_%7Bt%3D1%7D%5E%7BT%7D%20p_%7B%5Ctheta%20%7D%28x_%7Bt%7D%20%7C%20x_%7B0%3A%20t-1%7D%29%20%3D%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%5Cright%29%20%5Cprod_%7Bt%3D1%7D%5E%7BT%7D%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29)
然后把上述结果分别分别代入
和
,即可得到第二行的结果
![\mathbb{E}_{q}\left[\log \frac{\prod_{t=1}^{T} q\left(\mathbf{x}_{t} \mid \mathbf{x}_{t-1}\right)}{p_{\theta}\left(\mathbf{x}_{T}\right) \prod_{t=1}^{T} p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)}\right]](https://latex.csdn.net/eq?%5Cmathbb%7BE%7D_%7Bq%7D%5Cleft%5B%5Clog%20%5Cfrac%7B%5Cprod_%7Bt%3D1%7D%5E%7BT%7D%20q%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt-1%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%5Cright%29%20%5Cprod_%7Bt%3D1%7D%5E%7BT%7D%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D%5Cright%5D)
-
第三行,将乘积转换为求和,并将
项移到前面
![\mathbb{E}_{q}\left[-\log p_{\theta}\left(\mathbf{x}_{T}\right)+\sum_{t=1}^{T} \log \frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{t-1}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)}\right]](http://img.e-com-net.com/image/info8/9c6c81c4f5e747f99595a61aa03f79b7.png)
-
第四行,调整求和的范围,使其从2开始,从而达到将
的项分离出来的目的
![\mathbb{E}_{q}\left[-\log p_{\theta}\left(\mathbf{x}_{T}\right)+\sum_{t=2}^{T} \log \frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{t-1}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)}+\log \frac{q\left(\mathbf{x}_{1} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0} \mid \mathbf{x}_{1}\right)}\right]](https://latex.csdn.net/eq?%5Cmathbb%7BE%7D_%7Bq%7D%5Cleft%5B-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%5Cright%29+%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt-1%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D+%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B1%7D%5Cright%29%7D%5Cright%5D)
-
第五行,将
项的对数比值分解为两个对数比值的和,其中一个涉及
和
,另一个涉及
和
,相当于补了个![x_0](http://img.e-com-net.com/image/info8/cc5fd5dd335b4886a73da571a8b3fbbc.png)
![\mathbb{E}_{q}\left[-\log p_{\theta}\left(\mathbf{x}_{T}\right)+\sum_{t=2}^{T} \log \left(\frac{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}, \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)} \cdot \frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{0}\right)}{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{0}\right)}\right)+\log \frac{q\left(\mathbf{x}_{1} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0} \mid \mathbf{x}_{1}\right)}\right]](https://latex.csdn.net/eq?%5Cmathbb%7BE%7D_%7Bq%7D%5Cleft%5B-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%5Cright%29+%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Clog%20%5Cleft%28%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%2C%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D%20%5Ccdot%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%5Cright%29+%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B1%7D%5Cright%29%7D%5Cright%5D)
这里得着重解释下
把第四行的第二项的分子和分母都乘以
,即得
![\log \frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{t-1}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)}=\log \left(\frac{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}, \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)} \cdot \frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{0}\right)}{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{0}\right)}\right)](https://latex.csdn.net/eq?%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt-1%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D%3D%5Clog%20%5Cleft%28%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%2C%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D%20%5Ccdot%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%5Cright%29)
这里面的关键是,即同时乘以
后,怎么就得到上式了呢,分母部分一目了然,直接乘上的
,但分子部分呢,明明应该是
,则就变成了这个呢:
?好问题! 原因在于这两个式子是等价的,即(定义为等式1)
![q(x_t|x_{t-1}) q(x_{t-1}|x_0) = q(x_{t-1}|x_t,x_0) q(x_t|x_0)](http://img.e-com-net.com/image/info8/1821103930894bd2b45459d899f84ef4.png)
为何等价呢,或者说上面这个等式1是怎么来的?下面再细致解释下
对于上面等式1右边的第一项
表示的是给定
和
的条件下
的条件概率,因在给定
的情况下,
和
是条件独立的,根据条件概率的定义,我们可以将这个条件概率表示为联合概率与条件概率的比值,故我们有(定义为等式2):
![q\left(x_{t-1} \mid x_{t}, x_{0}\right)=\frac{q\left(x_{t-1}, x_{t} \mid x_{0}\right)}{q\left(x_{t} \mid x_{0}\right)}](http://img.e-com-net.com/image/info8/fa45e422989e41899f153cbd3ce5992a.png)
在这个等式中,分子表示
和
在给定
的情况下同时出现的概率,而分母表示在给定
的情况下
出现的概率
对于这个等式2右边项中的分子
,可以表示为(定义为等式3):
![q\left(x_{t-1}, x_{t} \mid x_{0}\right)=q\left(x_{t} \mid x_{t-1}, x_{0}\right) q\left(x_{t-1} \mid x_{0}\right)](http://img.e-com-net.com/image/info8/8528666f05454b9182656cbfb1dbc32b.png)
由于在给定
的情况下,
和
是条件独立的,且在马尔科夫假设下,状态
仅仅依赖于它的前一个状态
,所以可以简化这个等式3(定义为等式4):
![q\left(x_{t-1}, x_{t} \mid x_{0}\right)=q\left(x_{t} \mid x_{t-1}\right) q\left(x_{t-1} \mid x_{0}\right)](http://img.e-com-net.com/image/info8/ef2b2afab34547748ad5553352fdf571.png)
现在,我们可以将上面这个等式4代入进等式2中,替换掉等式2右边项中的分子(定义为等式5)
![q\left(x_{t-1} \mid x_{t}, x_{0}\right)=\frac{q\left(x_{t} \mid x_{t-1}\right) q\left(x_{t-1} \mid x_{0}\right)}{q\left(x_{t} \mid x_{0}\right)}](http://img.e-com-net.com/image/info8/b9b2ad118f16403eaafaba6c4749d958.png)
等式5右边项的分子部分等于等式右边项的分母部分乘以等式的左边项,也就得到了我们想要的这个结论:
![q(x_t|x_{t-1}) q(x_{t-1}|x_0) = q(x_{t-1}|x_t,x_0) q(x_t|x_0)](http://img.e-com-net.com/image/info8/1821103930894bd2b45459d899f84ef4.png)
此外,针对这个第五行,还有另外一种推法『下面五个等式先后依据:马尔科夫假设倒推、条件概率定义、分母中联合概率定义、分子中联合概率定义、分子分母同时约掉
』
![\begin{aligned} q\left(x_{t} \mid x_{t-1}\right) &=q\left(x_{t} \mid x_{t-1}, x_{0}\right) \\&= \frac{q\left(x_{t}, x_{t-1}, x_{0}\right)}{q\left(x_{t-1}, x_{0}\right)} \\& =\frac{q\left(x_{t-1} \mid x_{t}, x_{0}\right) q\left(x_{t} \mid x_{0}\right) q\left(x_{0}\right)}{q\left(x_{t-1}, x_{0}\right)} \\ & = \frac{q(x_{t-1}\mid x_{t},x_{0}) q(x_t\mid x_0) q(x_0)}{q(x_{t-1}\mid x_0)q(x_0)} \\ & =\frac{q\left(x_{t-1} \mid x_{t}, x_{0}\right) q\left(x_{t} \mid x_{0}\right)}{q\left(x_{t-1} \mid x_{0}\right)} \end{aligned}](https://latex.csdn.net/eq?%5Cbegin%7Baligned%7D%20q%5Cleft%28x_%7Bt%7D%20%5Cmid%20x_%7Bt-1%7D%5Cright%29%20%26%3Dq%5Cleft%28x_%7Bt%7D%20%5Cmid%20x_%7Bt-1%7D%2C%20x_%7B0%7D%5Cright%29%20%5C%5C%26%3D%20%5Cfrac%7Bq%5Cleft%28x_%7Bt%7D%2C%20x_%7Bt-1%7D%2C%20x_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28x_%7Bt-1%7D%2C%20x_%7B0%7D%5Cright%29%7D%20%5C%5C%26%20%3D%5Cfrac%7Bq%5Cleft%28x_%7Bt-1%7D%20%5Cmid%20x_%7Bt%7D%2C%20x_%7B0%7D%5Cright%29%20q%5Cleft%28x_%7Bt%7D%20%5Cmid%20x_%7B0%7D%5Cright%29%20q%5Cleft%28x_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28x_%7Bt-1%7D%2C%20x_%7B0%7D%5Cright%29%7D%20%5C%5C%20%26%20%3D%20%5Cfrac%7Bq%28x_%7Bt-1%7D%5Cmid%20x_%7Bt%7D%2Cx_%7B0%7D%29%20q%28x_t%5Cmid%20x_0%29%20q%28x_0%29%7D%7Bq%28x_%7Bt-1%7D%5Cmid%20x_0%29q%28x_0%29%7D%20%5C%5C%20%26%20%3D%5Cfrac%7Bq%5Cleft%28x_%7Bt-1%7D%20%5Cmid%20x_%7Bt%7D%2C%20x_%7B0%7D%5Cright%29%20q%5Cleft%28x_%7Bt%7D%20%5Cmid%20x_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28x_%7Bt-1%7D%20%5Cmid%20x_%7B0%7D%5Cright%29%7D%20%5Cend%7Baligned%7D)
-
第六行,将第五行的中间项一分为二,即拆分为两个求和项
![\mathbb{E}_{q}\left[-\log p_{\theta}\left(\mathbf{x}_{T}\right)+\sum_{t=2}^{T} \log \frac{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}, \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)}+\sum_{t=2}^{T} \log \frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{0}\right)}{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{0}\right)}+\log \frac{q\left(\mathbf{x}_{1} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0} \mid \mathbf{x}_{1}\right)}\right]](https://latex.csdn.net/eq?%5Cmathbb%7BE%7D_%7Bq%7D%5Cleft%5B-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%5Cright%29+%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%2C%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D+%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D+%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B1%7D%5Cright%29%7D%5Cright%5D)
-
第七行,将第五行中间部分得到的两个求和项的第二个求和项的最后一项
分离出来,说白了,将第二个求和项的范围调整为从1到
,啥意思呢
首先,第五行中间部分的两个求和项可以表示为
![\sum_{t=2}^{T} \log \frac{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}, \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)}+\sum_{t=2}^{T} \log \frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{0}\right)}{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{0}\right)} = \sum_{t=2}^{T} \left[ \log \frac{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}, \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)} + \log \frac{q\left(\mathbf{x}_{t} \mid \mathbf{x}_{0}\right)}{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{0}\right)} \right]](https://latex.csdn.net/eq?%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%2C%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D+%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%20%3D%20%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Cleft%5B%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%2C%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D%20+%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%20%5Cright%5D)
接下来,关键的一步在于,上面中括号里的第二个求和项在求和过程中相邻两项会相互抵消。具体地,当
时的
会和当
时的
相互抵消。这样的抵消会发生在每一对相邻的项上,从2到
,最后,只剩下
和
时的两项,即
,从而得到最终整个第7行所示的结果,如下
![\mathbb{E}_{q}\left[-\log p_{\theta}\left(\mathbf{x}_{T}\right)+\sum_{t=2}^{T} \log \frac{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}, \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)}+\log \frac{q\left(\mathbf{x}_{T} \mid \mathbf{x}_{0}\right)}{q\left(\mathbf{x}_{1} \mid \mathbf{x}_{0}\right)}+\log \frac{q\left(\mathbf{x}_{1} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{0} \mid \mathbf{x}_{1}\right)}\right]](https://latex.csdn.net/eq?%5Cmathbb%7BE%7D_%7Bq%7D%5Cleft%5B-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%5Cright%29+%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%2C%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D+%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D+%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7B1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B1%7D%5Cright%29%7D%5Cright%5D)
-
第八行,上一行第7行总共4项,把最后两个log项拆开成4个式子,抵消两个,还分别剩一个
、一个
,然后
与最初4项中的第1项
合并,即可得到整个第八行的结果
![\mathbb{E}_{q}\left[\log \frac{q\left(\mathbf{x}_{T} \mid \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{T}\right)}+\sum_{t=2}^{T} \log \frac{q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}, \mathbf{x}_{0}\right)}{p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)}-\log p_{\theta}\left(\mathbf{x}_{0} \mid \mathbf{x}_{1}\right)\right]](https://latex.csdn.net/eq?%5Cmathbb%7BE%7D_%7Bq%7D%5Cleft%5B%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%5Cright%29%7D+%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Clog%20%5Cfrac%7Bq%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%2C%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%7D%7Bp_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%7D-%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B1%7D%5Cright%29%5Cright%5D)
-
第九行,将最后一项中的负号移到对数里面,并将整个表达式重写为一系列 KL 散度项的和,这些项分别为
、
和 ![L_{0}](http://img.e-com-net.com/image/info8/d78119a1a45f4b7894cc2b07022f8834.png)
![\mathbb{E}_{q}[\underbrace{D_{\mathrm{KL}}\left(q\left(\mathbf{x}_{T} \mid \mathbf{x}_{0}\right) \| p_{\theta}\left(\mathbf{x}_{T}\right)\right)}_{L_{T}}+\sum_{t=2}^{T} \underbrace{D_{\mathrm{KL}}\left(q\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}, \mathbf{x}_{0}\right) \| p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)\right)}_{L_{t-1}}-\underbrace{\log p_{\theta}\left(\mathbf{x}_{0} \mid \mathbf{x}_{1}\right)}_{L_{0}}]](https://latex.csdn.net/eq?%5Cmathbb%7BE%7D_%7Bq%7D%5B%5Cunderbrace%7BD_%7B%5Cmathrm%7BKL%7D%7D%5Cleft%28q%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%20%5C%7C%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7BT%7D%5Cright%29%5Cright%29%7D_%7BL_%7BT%7D%7D+%5Csum_%7Bt%3D2%7D%5E%7BT%7D%20%5Cunderbrace%7BD_%7B%5Cmathrm%7BKL%7D%7D%5Cleft%28q%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%2C%20%5Cmathbf%7Bx%7D_%7B0%7D%5Cright%29%20%5C%7C%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt-1%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7Bt%7D%5Cright%29%5Cright%29%7D_%7BL_%7Bt-1%7D%7D-%5Cunderbrace%7B%5Clog%20p_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%20%5Cmid%20%5Cmathbf%7Bx%7D_%7B1%7D%5Cright%29%7D_%7BL_%7B0%7D%7D%5D)
最后得到的表达式表示了最初我们想求解的
最终是一系列 KL 散度项之和,我们可以利用这个结果进行参数优化,使得两个概率分布之间的差异最小
对于上面公式最后第九行得到的结果
- 首先,
是和优化无关的(由于前向过程 q 没有可学习参数,而
则是纯高斯噪声,因此
可以当做常量忽略),所以不用管,只用看右边的![L_{t-1}](http://img.e-com-net.com/image/info8/cfc0e42e6b86451992afffe61d6e2bce.png)
- 然后,
是KL散度,则可以看做拉近估计分布
和真实后验分布
这两个分布之间的距离:
对于真实后验分布
,我们已经在上一节2.1.2节推导出其解析形式,这是一个高斯分布,其均值和方差为
![\tilde{\mu}_{t}=\frac{1}{\sqrt{\alpha_{t}}}\left(x_{t}-\frac{1-\alpha_{t}}{\sqrt{1-\bar{\alpha}_{t}}} \epsilon_{t}\right)](http://img.e-com-net.com/image/info8/caa14753d7764a09a0413fd9c640faef.png)
![\tilde{\beta}_{t}=\frac{1-\bar{\alpha}_{t-1}}{1-\bar{\alpha}_{t}} \cdot \beta_{t}](http://img.e-com-net.com/image/info8/bdbfb1cb9f2749ab9243ad9a87c6f4ff.png)
对于估计分布
,其是我们网络期望拟合的目标分布,也是一个高斯分布,均值用网络估计,方差被设置为了一个和
有关的常数
![p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)=\mathcal{N}\left(\mathbf{x}_{t-1} ; \boldsymbol{\mu}_{\theta}\left(\mathbf{x}_{t}, t\right), \boldsymbol{\Sigma}_{\theta}\left(\mathbf{x}_{t}, t\right)\right)](http://img.e-com-net.com/image/info8/ff4080f2497d4f2a8dd4e26a496cc0d2.png)
- 考虑到,如果有两个分布 p,q 都是高斯分布,则他们的KL散度为
![K L(p, q)=\log \frac{\sigma_{2}}{\sigma_{1}}+\frac{\sigma_{1}^{2}+\left(\mu_{1}-\mu_{2}\right)^{2}}{2 \sigma_{2}^{2}}-\frac{1}{2}](http://img.e-com-net.com/image/info8/4925cb137ac24dcfad98a75ebf048c9f.png)
然后因为这两个分布的方差全是常数,和优化无关『说白了,去掉
相关的项,只留下
』,所以其实优化目标就是两个分布均值的二范数,从而可得
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第18张图片](http://img.e-com-net.com/image/info8/6adf35e2854045679d33dfe9614cbca7.jpg)
怎么来的?我再细致解释下,对于这个公式而言 ![L_{t} =\mathbb{E}_{q}\left[\left\|\tilde{\boldsymbol{\mu}}_{t}\left(\mathbf{x}_{t}, \mathbf{x}_{0}\right)-\boldsymbol{\mu}_{\theta}\left(\mathbf{x}_{t}, t\right)\right\|^{2}\right]](http://img.e-com-net.com/image/info8/ec31077a4f5641ed9e2042e425bf2fed.png)
这里的
是在分布
下的期望,当我们
的表达式代入后,得到:
![L_{t}=\mathbb{E}_{q}\left[\left\|\frac{1}{\sqrt{\alpha_{t}}}\left(\mathbf{x}_{t}-\frac{\beta_{t}}{\sqrt{1-\bar{\alpha}_{t}}} \epsilon\right)-\boldsymbol{\mu}_{\theta}\left(\mathbf{x}_{t}, t\right)\right\|^{2}\right]](http://img.e-com-net.com/image/info8/05a1c9f908794651908f0ff81478eb60.png)
在这个式子中,
是一个服从标准正态分布的随机变量,而
则取决于
和
。因此,这个期望
实际上是在
和
的联合分布下的期望(在
和
的所有可能值上取平均),于是我们得到:
![L_{t}=\mathbb{E}_{\mathbf{x}_{0}, \epsilon}\left[\left\|\frac{1}{\sqrt{\alpha_t}}\left(\mathbf{x}_{t}\left(\mathbf{x}_{0}, \epsilon\right)-\frac{\beta_{t}}{\sqrt{1-\bar{\alpha}_{t}}} \epsilon\right)-\boldsymbol{\mu}_{\theta}\left(\mathbf{x}_{t}\left(\mathbf{x}_{0}, \epsilon\right), t\right)\right\|^{2}\right]](https://latex.csdn.net/eq?L_%7Bt%7D%3D%5Cmathbb%7BE%7D_%7B%5Cmathbf%7Bx%7D_%7B0%7D%2C%20%5Cepsilon%7D%5Cleft%5B%5Cleft%5C%7C%5Cfrac%7B1%7D%7B%5Csqrt%7B%5Calpha_t%7D%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%2C%20%5Cepsilon%5Cright%29-%5Cfrac%7B%5Cbeta_%7Bt%7D%7D%7B%5Csqrt%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%7D%20%5Cepsilon%5Cright%29-%5Cboldsymbol%7B%5Cmu%7D_%7B%5Ctheta%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7Bt%7D%5Cleft%28%5Cmathbf%7Bx%7D_%7B0%7D%2C%20%5Cepsilon%5Cright%29%2C%20t%5Cright%29%5Cright%5C%7C%5E%7B2%7D%5Cright%5D)
代表就是在
和
的联合分布下的期望,
依然是从标准正态分布
中采样的噪声
- 这个时候我们可以直接整个网络出来直接学习
,然后
再去预测
![](http://img.e-com-net.com/image/info8/efe116e4eb2b4ff28814ca131162fe4b.jpg)
因为
是
的输入,其它的量都是常数,所以其中的未知量其实只有
,所以我们干脆把需要学习的
定义成:
![\boldsymbol{\mu}_{\theta}\left(\mathbf{x}_{t}, t\right)=\frac{1}{\sqrt{\alpha_{t}}}\left(\mathbf{x}_{t}-\frac{\beta_{t}}{\sqrt{1-\bar{\alpha}_{t}}} \epsilon_{\theta}\left(\mathbf{x}_{t}, t\right)\right)](http://img.e-com-net.com/image/info8/ffb6466365b34d9fb2fd273b6d2d2884.png)
也就是说,不用网络预测
,而是用网络
先预测噪声
,然后把预测出来的噪声带入到定义好的表达式中去计算出预测的均值即可
- 所以,最终把这个公式,代入到步骤3得到的公式中,可得:
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第19张图片](http://img.e-com-net.com/image/info8/43cc46934f214446a9d1057640e0c0e0.jpg)
经过这样一番推导之后就是个 L2 loss,网络的输入是一张和噪声线性组合的图片,然后要估计出来这个噪声:
![\epsilon_{\theta}\left(\sqrt{\bar{\alpha}_{t}} \mathbf{x}_{0}+\sqrt{1-\bar{\alpha}_{t}} \epsilon, t\right)](http://img.e-com-net.com/image/info8/d69448abe8c94f4f8e14ee26969eea1f.png)
由上可知,DDPM的关键是训练
模型,使其预测的
与真实用于破坏的
相近,用L2距离刻画相近程度就好,因此我们的Loss就是如下公式『相当于训练时,网络输入为
(由
和噪声
线性组合而成) 和时刻
,输出要尽可能的拟合输入的噪声
(通过L2 loss约束)』
![](http://img.e-com-net.com/image/info8/969b7e458a8040779785ad8d012b24b3.jpg)
而整个训练过程可如下图描述
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第20张图片](http://img.e-com-net.com/image/info8/53ed416c9f2146cdb4df149811579b77.jpg)
DDPM论文中对应的伪代码为
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第21张图片](http://img.e-com-net.com/image/info8/0487e68f26734dad9b2da244caa02d81.jpg)
2.3 如何通过训练好的DDPM生成图片
通过上文2.1节的最后,我们得知
从最终得到的结果可以看出,在给定
的条件下
后验条件高斯分布的均值只和超参数
、
、
有关,即
![{\mu}(x_t,x_0)=\frac{1}{\sqrt{\alpha_{t}}}\left(x_{t}-\frac{1-\alpha_{t}}{\sqrt{1-\bar{\alpha}_{t}}}{\epsilon_t}\right)](http://img.e-com-net.com/image/info8/e963629257ca4d34a35c67d7e416b4c6.png)
方差只与超参数
有关,即
![\tilde{\beta _t} = \frac{1}{A} = 1 /\left(\frac{\alpha_{t}}{\beta_{t}}+\frac{1}{1-\bar{\alpha}_{t-1}}\right)=1 /\left(\frac{\alpha_{t}-\bar{\alpha}_{t}+\beta_{t}}{\beta_{t}\left(1-\bar{\alpha}_{t-1}\right)}\right)=\frac{1-\bar{\alpha}_{t-1}}{1-\bar{\alpha}_{t}} \cdot \beta_{t}](https://latex.csdn.net/eq?%5Ctilde%7B%5Cbeta%20_t%7D%20%3D%20%5Cfrac%7B1%7D%7BA%7D%20%3D%201%20/%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D%7D%7B%5Cbeta_%7Bt%7D%7D+%5Cfrac%7B1%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%5Cright%29%3D1%20/%5Cleft%28%5Cfrac%7B%5Calpha_%7Bt%7D-%5Cbar%7B%5Calpha%7D_%7Bt%7D+%5Cbeta_%7Bt%7D%7D%7B%5Cbeta_%7Bt%7D%5Cleft%281-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%5Cright%29%7D%5Cright%29%3D%5Cfrac%7B1-%5Cbar%7B%5Calpha%7D_%7Bt-1%7D%7D%7B1-%5Cbar%7B%5Calpha%7D_%7Bt%7D%7D%20%5Ccdot%20%5Cbeta_%7Bt%7D)
从而通过以上的方差和均值,我们就得到了
的解析形式
通过2.2节的最后,我们估计到了噪声估测模型
,接下来要生成模型就很简单了。从N(0,1)中随机生成一个噪声作为
,然后再用该模型逐步从估测噪声,并用去噪公式逐渐恢复到
即可,见如下伪代码
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第22张图片](http://img.e-com-net.com/image/info8/c4ea751edaaf484a897aa7f395a932bd.jpg)
相当于推理时,我们从各项独立的高斯分布
开始,一共
步,每一步其实都是用了一次reparameterization trick
每一步具体来说,我们有了
, 想要得到
,因为我们之前逆扩散过程建模有:
![p_{\theta}\left(\mathbf{x}_{t-1} \mid \mathbf{x}_{t}\right)=\mathcal{N}\left(\mathbf{x}_{t-1} ; \mu_{\theta}\left(\mathbf{x}_{t}, t\right), \Sigma_{\theta}^{2}\left(\mathbf{x}_{t}, t\right)\right)](http://img.e-com-net.com/image/info8/9bf08dfa84784b289a5b019afde55fe5.png)
![=\mathcal{N}\left(\mathbf{x}_{t-1} ; \frac{1}{\sqrt{\alpha_{t}}}\left(\mathbf{x}_{t}-\frac{\beta_{t}}{\sqrt{1-\bar{\alpha}_{t}}} \epsilon_{\theta}\left(\mathbf{x}_{t}, t\right)\right), \beta_{t}\right)](http://img.e-com-net.com/image/info8/b6d41cc107054ca7a7fa4749b0ac51c6.png)
所以由reparameterization trick我们有:
![](http://img.e-com-net.com/image/info8/2a2d76014bb64577bdb454f1dccc5c01.jpg)
每一轮都这样迭代,最终就得到了生成的图片
第三部分 DETR:首次通过结合CNN+Transformer端对端解决object detection
注,本小节的内容主要参考科技猛兽此文的相关部分
一般目标检测的任务是预测一系列的Bounding Box的坐标以及Label,而大多数检测器的具体做法是
- 要么基于proposal,比如RCNN系列的工作,类似Faster R-CNN、Mask R-CNN
- 要么基于anchor,比如YOLO
把问题构建成为一个分类和回归问题来间接地完成这个任务,但最后都会生成很多个预测框(确定框的坐标及框内是什么物体),从而不可避免的出现很多冗余的框,而要去除这些冗余的框,则都需要做一个NMS(non-maximum suppersion,非极大值抑制)的后处理(使得最后调参不易、部署不易),所以如果要是有一个端对端的模型,不需要做NMS之类的后处理 也不需要太多先验知识则该有多好
而通过论文《End-to-End Object Detection with Transformers》提出的DETR则满足了大家这个期待,其取代了现在的模型需要手工设计的工作,效果不错且可扩展性强(在DETR上加个专用的分割头便可以做全景分割),其解决的方法是把检测问题看做是一个集合预测的问题(即set prediction problem,说白了,各种预测框本质就是一个集合),其基本流程如下图所示
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第23张图片](http://img.e-com-net.com/image/info8/36e5a9f5699a4353972c9b976ef308ac.jpg)
- CNN抽特征且拉直
- 全局建模,给到transformer-encoder去进一步学习全局信息
通过借助Transformer中的的self-attention机制,可以显式地对一个序列中的所有elements两两之间的interactions进行建模或交互,如此就知道了图片中哪块是哪个物体,从而对于同一个物体只需出一个预测框即可
- 接着通过不带掩码机制的transformer-decoder生成很多预测框
注意是并行预测(即并行出框,而不是像原始transformer预测下一个token时一个一个往外蹦)
相当于一次性生成
个box prediction,其中
是一个事先设定的远远大于image中object个数的一个整数(比如100)
- 预测框和真实框做二分图匹配
最后通过bipartite matching loss的方法,基于预测的100个boxex和ground truth boxes的二分图做匹配,计算loss的大小,从而使得预测的box的位置和类别更接近于ground truth
当然,这第4步更多是做模型训练的时候用,如果模型训练好了去做推理时,该第4步就不需要了,可以直接在预测的100个框中设定个阈值,比如置信度大于0.7的预测框保留下来,其他视为背景物体而 舍弃
3.1 DETR整体结构:backbone,encoder,decoder和FFN
3.1.1 DETR结构之前两部分:backbone与encoder
更细致的讲,DETR整体结构可以分为四个部分:backbone,encoder,decoder和FFN,如下图所示
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第24张图片](http://img.e-com-net.com/image/info8/13802b079170462b94039fb1fb0818d3.jpg)
对于前两部分而言
一开始的backbone面对的是
维的图像,首先把它转换为
维的feature map(一般来说,通道数
或256,
,
)
然后由于encoder的输入是
维的feature map,故正式输入encoder之前还需要依次进行以下过程(图源:科技猛兽):
![](http://img.e-com-net.com/image/info8/44d91a7c95664c8e86133e1b80be126a.jpg)
- 通道数压缩(其实就是降维操作):用 1×1 convolution处理将通道数channels数量从
压缩到
,即得到
维的新feature map
- 转化为序列化数据:将空间的维度(高
和宽
)压缩为一个维度
,即把上一步得到的
(
)维的feature map通过reshape成(
)维的feature map
这步相当于把编码矩阵的维度是
,序列化成维度为
维的张量
- 位置编码:在上一步得到了
维的feature map之后,再对
维的feature map做positional encoding,最后也做下reshape:高
和宽
压缩为一个维度
,使得其与上面input embedding维度是一致的
3.1.2 详解DETR的位置编码
对于上节第三步的位置编码,再好好解释说明下
首先,通过此文《类ChatGPT逐行代码解读(1/2):从零实现Transformer、ChatGLM-6B》的1.1.2节可知,原始transformer中的Positional Encoding的表达式为:
![PE_{(pos,2i+1)} = cos\left ( \frac{pos}{10000^{\frac{2i}{d_{model}}}} \right )](http://img.e-com-net.com/image/info8/25b81a44d24a4d2885c6f0a06882c22a.png)
![PE_{(pos,2i)} = sin\left ( \frac{pos}{10000^{\frac{2i}{d_{model}}}} \right )](http://img.e-com-net.com/image/info8/1ae4379f473b4833a0e8802c01fe97c8.png)
其中,
就是这个
维的feature map的第一维,
表示token在sequence中的位置,sequence的长度是
,例如第一个token 的
,第二个token的![pos = 1](http://img.e-com-net.com/image/info8/6004d97a01914211954dd76b218083ec.png)
,或者准确意义上是
和
表示了Positional Encoding的维度,
的取值范围是:
,所以当
为1时,对应的Positional Encoding可以写成(注意到
):
![PE_1 = [sin(\frac{1}{10000^{\frac{0}{256}}}),cos(\frac{1}{10000^{\frac{0}{256}}}), sin(\frac{1}{10000^{\frac{2}{256}}}),cos(\frac{1}{10000^{\frac{2}{256}}}), sin(\frac{1}{10000^{\frac{4}{256}}}), cos(\frac{1}{10000^{\frac{4}{256}}}),..., sin(\frac{1}{10000^{\frac{255}{256}}}),cos(\frac{1}{10000^{\frac{255}{256}}})]](https://latex.csdn.net/eq?PE_1%20%3D%20%5Bsin%28%5Cfrac%7B1%7D%7B10000%5E%7B%5Cfrac%7B0%7D%7B256%7D%7D%7D%29%2Ccos%28%5Cfrac%7B1%7D%7B10000%5E%7B%5Cfrac%7B0%7D%7B256%7D%7D%7D%29%2C%20sin%28%5Cfrac%7B1%7D%7B10000%5E%7B%5Cfrac%7B2%7D%7B256%7D%7D%7D%29%2Ccos%28%5Cfrac%7B1%7D%7B10000%5E%7B%5Cfrac%7B2%7D%7B256%7D%7D%7D%29%2C%20sin%28%5Cfrac%7B1%7D%7B10000%5E%7B%5Cfrac%7B4%7D%7B256%7D%7D%7D%29%2C%20cos%28%5Cfrac%7B1%7D%7B10000%5E%7B%5Cfrac%7B4%7D%7B256%7D%7D%7D%29%2C...%2C%20sin%28%5Cfrac%7B1%7D%7B10000%5E%7B%5Cfrac%7B255%7D%7B256%7D%7D%7D%29%2Ccos%28%5Cfrac%7B1%7D%7B10000%5E%7B%5Cfrac%7B255%7D%7B256%7D%7D%7D%29%5D)
其次,DETR与原版transformer中的位置编码有两点不同
- 第一点不同的是,原版Transformer只考虑
方向的位置编码,但是DETR考虑了
方向的位置编码,因为图像特征是2-D特征。采用的依然是 sin cos 模式,但是需要考虑
两个方向。不是类似vision transoformer做法简单的将其拉伸为
,然后从
进行长度为256的位置编码,而是考虑了
方向同时编码,每个方向各编码128维向量,这种编码方式更符合图像特点
Positional Encoding的输出张量是:
,
,其中
代表位置编码的长度,
代表张量的位置。意思是说,这个特征图上的任意一个点
有个位置编码,这个编码的长度是256,其中,前128维代表
的位置编码,后128维代表
的位置编码 ![a) P E_{\left(p_{x}, 2 i\right)}=\sin \left(\operatorname{pos}_{x} / 10000^{2 i / 128}\right) \\\ b) P E_{\left(p_{0}, 2 i+1\right)}=\cos \left(\operatorname{pos}_{x} / 10000^{2 i / 128}\right) \\c) P E_{\left(p o s_{y}, 2 i\right)}=\sin \left(\operatorname{pos}_{y} / 10000^{2 i / 128}\right) \\ d) P E_{\left(p o s_{y}, 2 i+1\right)}=\cos \left(\operatorname{pos}_{y} / 10000^{2 i / 128}\right)](https://latex.csdn.net/eq?a%29%20P%20E_%7B%5Cleft%28p_%7Bx%7D%2C%202%20i%5Cright%29%7D%3D%5Csin%20%5Cleft%28%5Coperatorname%7Bpos%7D_%7Bx%7D%20/%2010000%5E%7B2%20i%20/%20128%7D%5Cright%29%20%5C%5C%5C%20b%29%20P%20E_%7B%5Cleft%28p_%7B0%7D%2C%202%20i+1%5Cright%29%7D%3D%5Ccos%20%5Cleft%28%5Coperatorname%7Bpos%7D_%7Bx%7D%20/%2010000%5E%7B2%20i%20/%20128%7D%5Cright%29%20%5C%5Cc%29%20P%20E_%7B%5Cleft%28p%20o%20s_%7By%7D%2C%202%20i%5Cright%29%7D%3D%5Csin%20%5Cleft%28%5Coperatorname%7Bpos%7D_%7By%7D%20/%2010000%5E%7B2%20i%20/%20128%7D%5Cright%29%20%5C%5C%20d%29%20P%20E_%7B%5Cleft%28p%20o%20s_%7By%7D%2C%202%20i+1%5Cright%29%7D%3D%5Ccos%20%5Cleft%28%5Coperatorname%7Bpos%7D_%7By%7D%20/%2010000%5E%7B2%20i%20/%20128%7D%5Cright%29)
假设你想计算任意一个位置
,
,
的Positional Encoding
先把
代入上面4个公式中的
式和
式可以计算得到128维的向量,它代表
的位置编码
再把
代入上面4个公式中的
式和
式可以计算得到128维的向量,它代表
的位置编码
把这2个128维的向量拼接起来,就得到了一个256维的向量,它代表
的位置编码
从而计算所有位置的编码,就得到了
的张量,代表这个batch的位置编码
- 第二点不同的是,原版Transformer只在Encoder之前使用了Positional Encoding,而且是在输入上进行Positional Encoding,再把输入经过transformation matrix变为Query,Key和Value这几个张量
但是DETR在Encoder的每一个Multi-head Self-attention之前都使用了Positional Encoding,且只对Query和Key使用了Positional Encoding,即:只把维度为
维的位置编码与维度为
维的Query和Key相加,而不与Value相加
下图为DETR的Transformer的详细结构,读者可以对比下原版Transformer的结构 可以发现,除了Positional Encoding设置的不一样外,Encoder其他的结构是一致的。每个Encoder Layer包含一个multi-head self-attention 的module和一个前馈网络Feed Forward Network
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第25张图片](http://img.e-com-net.com/image/info8/61223a6eeca04936a54ace3daa74daa7.jpg)
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第26张图片](http://img.e-com-net.com/image/info8/a7a0b35ef2624b7f91d82f1e8ae8f900.jpg)
所以,了解了DETR的位置编码之后,你应该明白了其实input embedding和位置编码维度其实是一样的,从而也就可以直接相加,使得Encoder最终输出的是
维的编码矩阵Embedding,按照原版Transformer的做法,把这个东西给Decoder
3.1.3 DETR结构的后两部分:decoder和FFN
通过上节最后的对比图,可知DETR的Decoder和原版Transformer的decoder也是不太一样的
- 对于原版Transformer,其decoder的最后一个框(上节最后对比图的左图右上角所示):output probability,代表我们一次只产生一个单词的softmax,根据这个softmax得到这个单词的预测结果,即:predicts the output sequence one element at a time
- 不同的是,DETR的Transformer Decoder是一次性处理全部的object queries(上节最后对比图的右图右上角所示),即一次性输出全部的predictions(而不像原始的Transformer是auto-regressive的,从左到右一个词一个词地输出),即:decodes the N objects in parallel at each decoder layer
至于DETR的Decoder主要有两个输入:
- 第一个输入是Transformer Encoder输出的Embedding与 position encoding(在下图右侧第二个multi-head self-attention处)相加之后 给到
![K](http://img.e-com-net.com/image/info8/ce89eee51f7d4744a9183ff6dede2682.png)
其中的Embedding就是上文提到的
的编码矩阵
- 第二个输入是Object queries
所谓Object queries是一个维度为
维的张量,数值类型是nn.Embedding(意味着是可以学习的)。Object queries矩阵内部通过学习建模了100个物体之间的全局关系,例如房间里面的桌子旁边(A类)一般是放椅子(B类),而不会是放一头大象(C类),那么在推理时候就可以利用该全局注意力更好的进行解码预测输出 ![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第27张图片](http://img.e-com-net.com/image/info8/44de25f7fbfb43af9aba0325cc33ac5d.jpg)
关于上图右侧第1个multi-head self-attention的Q K V
如上图所示,它的Q K是这么来的:Decoder原本的输入一开始初始化成维度为
维的全部元素都为0的张量,然后和Object queries加在一起之后充当第1个multi-head self-attention的Query和Key,至于Value则是Decoder原本的输入,也就是全0的张量
关于上图右侧第2个multi-head self-attention的Q K V
它的Key和Value来自Encoder的输出张量,维度为
,其中Key值还进行位置编码(正如上面第一个输入所述)
至于其Query值一部分来自第1个Add and Norm的输出,维度为
的张量,另一部分来自Object queries,充当可学习的位置编码
所以,第2个multi-head self-attention的Key和Value的维度为
,而Query的维度为![(100,b,256)](http://img.e-com-net.com/image/info8/91b7b3db9d174ab78f34c368da03d373.png)
每个Decoder的输出维度为
,送入后面的前馈网络
到这里你会发现:Object queries充当的其实是位置编码的作用,只不过它是可以学习的位置编码,所以,我们对Encoder和Decoder的每个self-attention的Query和Key的位置编码做个归纳,如下图所示,Value没有位置编码
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第28张图片](http://img.e-com-net.com/image/info8/3965bdd63d1543f3991e549c7a327d7e.jpg)
3.1.4 损失函数部分解读
得到了Decoder的输出以后,如前文所述,应该是输出维度为
的张量。接下来要送入2个前馈网络FFN得到class和Bounding Box(如再度引用的下图所示),它们会得到
个预测目标 包含类别和Bounding Box(当然这个100肯定是大于图中的目标总数的,如果不够100,则采用背景填充
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第29张图片](http://img.e-com-net.com/image/info8/2d24ad3f50ad492c8df58a06c23e37bf.jpg)
所以,DETR输出张量的维度为
,和
『对应COCO数据集来说:
, 4 指的是每个预测目标归一化的
,归一化就是除以图片宽高进行归一化』,对于这两个维度
- 前者代表分类分支,指100个预测框的类型
- 后者代表回归分支,指100个预测框的Bounding Box(仅仅计算有物体位置,背景集合忽略)
但是读者可能会有疑问:预测框和真值是怎么一一对应的?换句话说:你怎么知道第47个预测框对应图片里的狗,第88个预测框对应图片里的车?..
- 这就需要用到经典的双边匹配算法了,也就是常说的匈牙利算法,该算法广泛应用于最优分配问题
一幅图片,我们把第
个物体的真值表达为
,其中,
表示它的 class ,
表示它的 Bounding Box
然后定义
为网络输出的
个预测值
对于第
个真值
,
为匈牙利算法得到的与真值
对应的预测值prediction的索引,举个例子,比如
,
,意思就是:与第3个真值对应的预测值是第18个
- 那如何根据匈牙利算法找到与每个真值对应的预测值到底是哪个呢?
![\hat{\sigma}=\arg \min _{\sigma \in \Sigma_{N}} \sum_{i}^{N} L_{\text {match }}\left(y_{i}, \hat{y}_{\sigma(i)}\right)](http://img.e-com-net.com/image/info8/6231b113feb1487d886473195bc880d9.png)
对于某一个真值
,假设已经找到这个真值对应的预测值
,这里的
是所有可能的排列(代表从真值索引到预测值索引的所有的映射),然后用
最小化
和
的距离
- 这个
具体是: ![-1_{\left\{c_{i} \neq \varnothing\right\}} \hat{p}_{\sigma(i)}\left(c_{i}\right)+1_{\left\{c_{i} \neq \varnothing\right\}} L_{b o x}\left(b_{i}, \hat{b}_{\sigma(i)}\right)](http://img.e-com-net.com/image/info8/837d1fd24d7442aab2d71813a115e33f.png)
意思是:假设当前从真值索引到预测值索引的所有映射为
,对于图片中的每个真值 ![i](http://img.e-com-net.com/image/info8/65c0f977522a4ae391fd39fa419fc3d7.png)
先找到对应的预测值
,再看看分类网络的结果
,取反作为
的第1部分
再计算回归网络的结果
与真值的 Bounding Box 的差异,即
,作为
的第2部分
所以,可以使得
最小的排列
就是我们要找的排列,即:对于图片中的每个真值
来讲,
就是这个真值所对应的预测值的索引
上述这个匈牙利算法的过程与Anchor或Proposal有异曲同工的地方,只是此时我们找的是一对一匹配
- 接下来就是使用上一步得到的排列
,计算匈牙利损失
![L_{\text {Hungarian }}(y, \hat{y})=\sum_{i=1}^{N}\left[-\log \hat{p}_{\hat{\sigma}(i)}\left(c_{i}\right)+1_{\left\{c_{i} \neq \varnothing\right\}} L_{b o x}\left(b_{i}, \hat{b}_{\hat{\sigma}(i)}\right)\right]](https://latex.csdn.net/eq?L_%7B%5Ctext%20%7BHungarian%20%7D%7D%28y%2C%20%5Chat%7By%7D%29%3D%5Csum_%7Bi%3D1%7D%5E%7BN%7D%5Cleft%5B-%5Clog%20%5Chat%7Bp%7D_%7B%5Chat%7B%5Csigma%7D%28i%29%7D%5Cleft%28c_%7Bi%7D%5Cright%29+1_%7B%5Cleft%5C%7Bc_%7Bi%7D%20%5Cneq%20%5Cvarnothing%5Cright%5C%7D%7D%20L_%7Bb%20o%20x%7D%5Cleft%28b_%7Bi%7D%2C%20%5Chat%7Bb%7D_%7B%5Chat%7B%5Csigma%7D%28i%29%7D%5Cright%29%5Cright%5D)
式中的
具体为: ![](http://img.e-com-net.com/image/info8/75b538a9c72547e1959d8c322eda32d1.jpg)
最常用的
loss对于大小 Bounding Box 会有不同的标度,即使它们的相对误差是相似的。为了缓解这个问题,作者使用了
loss和广义IoU损耗
的线性组合,它是比例不变的
Hungarian意思就是匈牙利,也就是前面的
,上述意思是需要计算
个 GTBounding Box 和
个输预测出集合两两之间的广义距离,距离越近表示越可能是最优匹配关系,也就是两者最密切,广义距离的计算考虑了分类分支和回归分支
第四部分 从ViT到MAE
4.1 Vision Transformer:用标准的Transformer直接干CV任务
继DETR、DDPM之后,此篇论文《AN IMAGE IS WORTH 16X16 WORDS: TRANSFORMERS FOR IMAGE RECOGNITION AT SCALE》提出的ViT彻底引燃了多模态的火热,更是直接挑战了此前CNN在视觉领域长达近10年的绝对统治地位
这个工作是怎么一步步出来的呢?自从Google在2017年发布的transformer在NLP领域大杀四方的时候,就一直不断有人想把如此强大且充满魔力的transformer用到CV领域中,但前路曲折啊
- 一开始面对的问题就是,当把transformer中对NLP的各个token之间两两互相做相似度计算的self-attention引入到图片各个像素点之间两两做self-attention时,你会发现计算复杂度瞬间爆炸(transformer 的计算复杂度是序列长度 n 的 平方
)
原因很简单,一句话才多少个token(顶多几百而已),但一张图片呢?比如一张像素比较低的
分辨率的图片,就已经达到了 50176 个像素点,再考虑到RGB三个维度,直接就是15万起步,你品..
- 兴高采烈之下理想遇挫,才发现没那么简单,咋办呢,那就降低序列长度呗。比如要么像CVPR Wang et al. 2018的工作把网络中间的特征图当做transformer的输入,毕竟ResNet 50 最后一个 stage, res4 的 feature map也就
的大小,要么借鉴CNN的卷积机制用一个局部窗口去抓图片的特征,从而降低图片的复杂度,但这一系列工作虽然逻辑上通畅,但因为硬件上无法加速等,导致模型没法太大
- 总之,之前的工作要么把CNN和self-attention结合起来,要么把self-attention取代CNN,但都没取得很好的扩展效果,看来得再次冲击transformer for CV (为何如此执着?还不是因为理想实在过于美丽,要不然人到中年 每每听到beyond的“原谅我这一生不羁放纵爱自由”便如此共鸣强烈),但还是得回头开头的老大难问题:如何处理图片的复杂度,于此,Vision Transformer(ViT)来了:不再一个一个像素点的处理,而是把整个图片切分成一个个图片块(比如分割为九宫格),这些图片块作为transformer的输入
下面,我们来仔细探究下ViT到底是怎么做的
4.1.1 ViT的架构:Embedding层 + Transformer Encoder + MLP Head
简单而言,Vision Transformer(ViT)的模型框架由三个模块组成:
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第30张图片](http://img.e-com-net.com/image/info8/aec5fe980b46439f824cfa06222dbdb7.jpg)
- Embedding层(线性投射层Linear Projection of Flattened Patches)
以ViT_base_patch16为例,一张224 x 224的图片先分割成 16 x 16 的 patch ,很显然会因此而存在
个 patch(这个patch数如果泛化到一般情况就是图片长宽除以patch的长宽,即
),且图片的长宽由原来的224变成:224/16 = 14
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
16*16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
16*16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
16*16 |
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
你可能还没意识到这个操作的价值,这相当于把图片需要处理的像素单元从5万多直接降到了196个像素块,如果一个像素块当做一个token,那针对196个像素块/token去做self-attention不就轻松多了么(顺带提一句,其实在ViT之前,已经有人做了类似的工作,比如ICLR 2020的一篇paper便是针对CIFAR-10中
的图片抽
的像素块)
而对于图片而言,还得考虑RGB channel这个因素,故每个 patch 的 维度便是 [16, 16, 3],但标准Transformer的输入是一个一维的token序列,所以需要把这个三维的维度通过线性映射linear projection成一维的维度,从而使得每个 patch 最终的输出维度是:![16\times 16\times 3 = 768](http://img.e-com-net.com/image/info8/b0f2ce51e3b445a98176966d4a772936.png)
这样图片就由原来的 [224, 224, 3] 变成了 [14, 14, 768],相当于之前图片横竖都是224个像素点的,现在横竖只是14个像素点了,而每个像素点的维度(相当于每个token的序列长度)为768
之后经过 Flatten 就得到
,接着再经过一个维度为
的Linear projection (本质上就是一个全连接层,用大写
表示,这个768的维度即embedding_dim可以变,简写为
,比如原始的transformer设置的维度为512),故最终的维度还是为![196\times 768](http://img.e-com-net.com/image/info8/ad5fa235957946b5822a5b6344a00e89.png)
至于在代码实现中,可通过一个卷积层来实现,卷积核大小为16,步长为16,输入维度是3,通过对整个图片进行卷积操作:[224, 224, 3] -> [14, 14, 768],然后把H以及W两个维度展平即可[14, 14, 768] -> [196, 768]
Conv2d(in_c, embed_dim, kernel_size=patch_size, stride=patch_size)
接下来,为了做最后的分类,故在所有tokens的前面加一个可以通过学习得到的 [class] token作为这些patchs的全局输出,相当于BERT中的分类字符CLS (这里的加是concat拼接),得益于self-attention机制,所有token两两之间都会做交互,故这个[class] token也会有与其他所有token交互的信息
且为了保持维度一致,[class] token的维度为 [1, 768] ,通过Concat操作,[196, 768] 与 [1, 768] 拼接得到 [197, 768]
由于self-attention本身没有考虑输入的位置信息,无法对序列建模。而图片切成的patches也是有顺序的,打乱之后就不是原来的图片了,故随后和transformer一样,就是对于这些 token 添加位置信息,也就是 position embedding,VIT的做法是在每个token前面加上位置向量position embedding(这里的加是直接向量相加即sum,不是concat),这里和 transformer 一致,都是可训练的参数,因为要加到所有 token 上,所以维度也是 [197, 768]
- Transformer Encoder
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第31张图片](http://img.e-com-net.com/image/info8/e17bb5e74d6c4e1fb5d53784180026f8.jpg)
维度为[197, 768]的embedded patches进来后,先做一次Layer Norm
然后再做Multi-head Attention,通过乘以三个不同的Q K V矩阵得到三个不同的Q K V向量,且ViT_base_patch16设计的是12个头,故每个头的维度为:[197, 768/12] = [197, 64],最后把12个头拼接起来,会再次得到[197, 768]的维度
接着再做Norm
最后是MLP,维度上先放大4倍到[197, 3072],之后又缩小回去恢复到[197, 768]的维度
- MLP Head(最终用于分类的层结构)
MLP里面,是用tanh作为一个非线性的激活函数,去根据[class] token做分类的预测
再通过小绿豆根据ViT的源码画的这个图总结一下
![vit-b/16](http://img.e-com-net.com/image/info8/cc3751e267f84730924eae57327038a9.jpg)
此外,上述这三个阶段的过程最终可以用如下4个公式表达
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第32张图片](http://img.e-com-net.com/image/info8/fbd0bb98e1f8430dbfab9278fa1d0f67.jpg)
对于公式(1),
表示图片patch,总共
个patch,
则表示patch embedding,
表示class embedding,因为需要用它做最后的输出/分类
对于公式(2),
则表示多头注意力的结果(
先Norm再multi-head attention,得到的结果再与
做残差连接)
对于公式(3),
表示最终整个transformer decoder的输出(
先做Norm再做MLP,得到的结果再与
做残差连接)
4.1.2 ViT与CNN在先验知识上的对比
值得一提的是,由于ViT不像CNN那样对图像有比较多的先验知识,即没有用太多的归纳偏置
- 具体来说,CNN的局部性locality (以滑动窗口的形式一点一点在图片上进行卷积,故会假设图片上相邻的区域会有近似的特征),和平移等变性translation equivariance「无论先做平移还是先做卷积,最后的 结果都是一样的,类似
,毕竟卷积核就像一个模板一样,输入一致的情况下,不论图片移动到哪里,最后的输出都是一样的」贯穿整个CNN模型的始终
- 而对于ViT而言,也就在最后的MLP用到了局部且平移等变性,以及针对每个图片的patch加了位置编码,除这两点之外,ViT没有再专门针对CV问题做任何额外的处理,说白了,就是干:直接拿transformer干CV
所以在中小型的数据集上训练的结果不如CNN也是可以理解的。既如此,transformer的全局建模能力比较强,而CNN又不用那么多的训练数据,那是否可以把这个模型的优势给结合起来呢?比如做一个混合网络,前头是CNN,后头是transformer呢,答案是:也是可以的! 但这是不是就类似上文介绍过的DETR呢?读者可以继续深入思考下。
4.2 MAE
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第33张图片](http://img.e-com-net.com/image/info8/bcfc8d89002141b9860c92faa913437a.jpg)
// 待更
第五部分 Swin Transformer
5.1 Swin Transformer:多尺度的ViT
swin transformer作为多尺度的ViT更加适合处理视觉问题,且证明transformer不但能在ViT所证明的分类任务上取得很好的效果,在检测、分割上也能取得很好的效果,而在结构上,swin transformer主要做了以下两点改进
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第34张图片](http://img.e-com-net.com/image/info8/191e2ad814314d698bf1862607a590f0.jpg)
- 获取图像多尺寸的特征
对于ViT而言,经过12层每一层的transformer都是16✖️16的patch块(相当于16倍下采样率),虽然通过transformer全局的自注意力操作可以达到全局的建模能力,但它对多尺寸特征的把握则相对弱些,而这个多尺寸的特征有多重要呢,比如对于目标检测而言,用的比较广的一个方法叫FPN,这个方法用的一个分层式的CNN,而每一个卷积层因为不同的感受野则会获取到不同尺寸的特征
而swin transformer就是为解决ViT只有单一尺寸的特征而来的
- 降低序列长度是图像处理中一个很关键的问题,虽然ViT把整张图片打成了16✖️16的patch,但但图像比较大的时候,计算的复杂度还是比较高
而Swin Transformer使用窗口Window的形式将16✖️16的特征图划分成了多个不相交的区域(比如16个4✖️4的,4个8✖️8的),并且只在每个小窗口(4✖️4或8✖️8)内进行多头注意力计算,大大减少计算量
之所以能这样操作的依据在于借鉴了CNN中locality先验知识(CNN是以滑动窗口的形式一点一点地在图片上进行卷积,原因在于图片上相邻的区域会有相邻的特征),即同一个物体的不同部位在一个小窗口的范围内是临近着的,从而在小窗口内算自注意力够用
且swin transformer使用patch merging,可以把相邻的四个小的patch合成一个大的patch(即patch merging),提高了感受野,这样就能获取多尺度的特征(类似CNN中的池化效果),这些特征通过FPN结构就可以做检测,通过UNet结构就可以做分割了
5.1.1 如何让4个互相独立不重叠的窗口彼此交互做自注意力操作:经过一系列shift操作
接下来,我们看下swin transformer中移动窗口的设计,图中灰色的小patch就是4✖️4的大小,然后最左侧的4个红色小窗口中均默认有7✖️7=49个小patch(当然,示意图中只展示了16个小patch),如果做接下来几个操作
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第35张图片](http://img.e-com-net.com/image/info8/9205aa4059364f029260fd8a0d86b5e2.jpg)
- 把最左侧的整个大窗口layer 1向右下角整体移动两个小patch,并把移动之后的大窗口的最右侧的宽为2个小patch、高为6个小patch的部分平移到大窗口之外的左侧
- 且同时把移动之后的大窗口最底部宽为8个小patch、高为2个小patch部分的左侧部分(宽为6个小patch 高为2个小patch)整体平移到大窗口之外的最上方,最后遗留下来的右下角小patch移动到大窗口之外的最左上角
![](http://img.e-com-net.com/image/info8/fbbfee8ff07d4afd859cc8109f6a1937.jpg)
则成为图中右侧所示的大窗口layer 1+1,从而使得之前互相独立不重叠的4个小窗口在经过这一系列shift操作之后,彼此之间可以进行互动做自注意力的计算了
貌似还是有点抽象是不?没事,我画个图 就一目了然了,如下所示,在右侧加粗的4个新的小窗口内部,每个小窗口都有其他小窗口的信息了(每个小窗口都由之前的单一颜色的patch组成,变成了由4种不同的颜色patch组成,相当于具备了全局的注意力,够直观吧?!)
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第36张图片](http://img.e-com-net.com/image/info8/9e051f0c4f294302b6b1a38693ce848a.jpg)
5.1.2 Swin Transformer模型总览图
以下是整个swin transformer模型的总览图
![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第37张图片](http://img.e-com-net.com/image/info8/bf3284f824eb4878af8a31d6d16c8787.jpg)
从左至右走一遍整个过程则是
- stage 1
patch partition
对于一张原始图片224✖️224✖️3,打成4✖️4的patch(则每个patch的维度是4✖️4✖️3 = 48,其中3是图片的RGB通道),从而会存在
个patch,相当于整个图片由[224,224,3]的维度变成了[56,56,48]的维度
- linear embedding
为了变成transformer能接受的值,[56,56,48]的维度变成[56,56,96],最前面的两个维度拉直之后,则维度变成了[3136,96],很明显在ViT里在这一步对应的维度是[196,768],故这个3136的维度太大了,咋办呢?
- swin transformer block:基于7✖️7个小patch的小窗口计算自注意力
好在swin transformer引入了基于窗口的自注意力机制,而每个窗口默认只有七七四十九个patch,所以序列长度就只有49了,也就解决了计算复杂度的问题
- stage 2
patch mergeing(很像lower level任务中很常用的一个上采样方式:pixel shuffle)
patch mergeing的作用在于把临近的小patch合并成一个大patch,比如针对下图中维度为[H,W,C]的张量
由于下采样两倍,所以选点的时候,是每隔一个点选一个,最终整个大张量变成了4个小张量(每隔张量大小为[H/2,W/2])
之后把这4个张量的在C的维度上拼接起来,拼接之后的张量的维度则就变成了[H/2,W/2,4C]
接着,在C这个维度上通过一个1✖️1的卷积操作把张量的维度降了下来(这个1✖️1的卷积操作类似于linear的作用),最终变成了[H/2,W/2,2C] ![](http://img.e-com-net.com/image/info8/75207400ff65487e80a669c1b55e881b.jpg)
所以对应到模型总览图上则是:[56,56,96]的维度变成了[28,28,192]的维度 ![AI绘画能力的起源:从VAE、扩散模型DDPM、DETR到ViT/MAE/Swin transformer_第38张图片](http://img.e-com-net.com/image/info8/2ca048e2f7284ac289e79cd3f5be008e.jpg)
- stage 3
维度上从[28,28,192]变成[14,14,384]
- stage 4
维度上从[14,14,384]变成[7,7,768]
整个前向传播过程走完了之后,可能有读者问,swin transformer如何做分类呢?它为了和CNN保持一致,没有像ViT在输入序列上加一个用于最后分类的CLS token,而是在得到最后的特征图之后,用了一个golbal average polling(即全局池化)的操作,直接把[7,7,768]中的7✖️1取平均并拉直成1,使得最终的维度变成[1,768]
//待更新..
参考文献与推荐阅读
- 变分自编码器(一):原来是这么一回事
- VAE原始论文
- 关于VAE的几篇文章:一文理解变分自编码器(VAE)、机器学习方法—优雅的模型(一):变分自编码器(VAE)、
- 苏剑林关于扩散模型的几篇文章:(一):DDPM = 拆楼 + 建楼、(二):DDPM = 自回归式VAE
- 怎么理解今年 CV 比较火的扩散模型(DDPM)?
-
知乎上关于扩散模型的几篇文章:全网最简单的扩散模型DDPM教程、Diffusion扩散模型大白话讲解、扩散生成模型: 唯美联姻物理概念与机器学习
- Understanding Diffusion Models: A Unified Perspective(写于2022年8月,此文写的非常细致,另,这是其PDF版本)
- 扩散模型是如何工作的:从0开始的数学原理
- What are Diffusion Models?,写于2021年7月
- Introduction to Diffusion Models for Machine Learning
- 关于扩散模型的几篇论文
CVPR 2022 Tutorial: Denoising Diffusion-based Generative Modeling: Foundations and Applications
Diffusion Models Beat GANs on Image Synthesis
- 关于DDPM的几篇文章(如果相关文章与本文有冲突,建议以本文为准,因为有些文章有笔误或错误):DDPM概率扩散模型(原理+代码)、Denoising Diffusion Probabilistic Models (DDPM)、从VAE到DDPM、扩散模型原理解析
- Vision Transformer 超详细解读 (原理分析+代码解读) (一)
- DETR论文的解读之一
- End-to-End Object Detection with Transformers,DETR原始论文
- Vision Transformer 超详细解读 (原理分析+代码解读) (二)
- AN IMAGE IS WORTH 16X16 WORDS: TRANSFORMERS FOR IMAGE RECOGNITION AT SCALE
ViT原始论文,挑战CNN的在CV领域的统治地位
- ViT论文逐段精读,这是针对该视频解读的笔记之一(神洛华)、针对该视频解读的笔记之二(MT_Joy)
- Vision Transformer 论文 + 详解,Vision Transformer详解by 小绿豆
- Masked Autoencoders Are Scalable Vision Learners
MAE原始论文
- MAE 论文逐段精读,此文则为对该视频解读所做的笔记
- Swin Transformer: Hierarchical Vision Transformer using Shifted Windows
Swin transformer原始论文
- Swin Transformer论文精读,此文是针对该视频解读所做的笔记(神洛华)、Swin-Transformer网络结构详解(by小绿豆)
- 图解Swin Transformer、如何看待微软亚洲研究院的Swin Transformer?
创作、修改/完善记录
- 第一大阶段
4.28,因要发布AI绘画与CV多模态原理解析的博客,从VAE开始写起
反复理了一个下午,总算把VAE写清楚了,也看了很多同类文章,之前推导看不下去的 都能看得下去了
- 5.1,拆解DDPM的前向过程,其他同类文章对于一个公式 可能一步或两三步到位我而言,能拆10步则10步 阅读无障碍,不然 何必我来写
- 5.3,连续抠了两天DDPM的推导 总算有雏形了
- 5.4,今天又抠了一天的DDPM公式推导,增加了很多同类文章里没有的细节,很爽 这就是我提笔的价值和意义所在了
- 5.6,完善2.2节
从5.2日起,连抠了整整4天DDPM的前向逆向推导,总算快写清楚了整个推导过程
大家害怕的不是公式,只是怕公式的展开不够细致,毕竟对每一个人而言,公式展开越细致 越不怕
且解读
九行推导的每一行
解读代码时 对每一行代码都加注释
拆解公式时 对每一行公式都做解释
已是一个固定的风格,这样人人都能理解
- 5.10,继续完善2.2节
理解DDPM不难,但里面的公式推导特别多,为了让每位朋友可以一目了然的理解每一个公式的推导
只要能拆开的一定拆开 要解释的一定解释
- 5.12,再次完善2.1.2节逆向过程(去噪)
为让整个推导看下来不费劲,修改部分描述以更流畅,使得最终尽可能就像看小说一样
- 5.14,开始更新3.1节DETR的部分
- 5.15,修改完善3.1节DETR结构之前两部分:backbone与encoder
- 5.16,开始更新3.1节DETR结构的后两部分:decoder和FFN,以及损失函数部分解读
- 第二大阶段
5.19,修改完善3.1节3.1节DETR结构的后两部分:decoder和FFN,以及损失函数部分解读
尽可能让行文清晰直观 一目了然 避免看着费劲/别扭
- 6.6,开始写ViT的部分
且为了尽可能让对ViT的介绍一目了然、清晰明确,做了反复多轮的修改
同时也创造了记录,只用一天便写清楚了ViT的介绍,算有史以来最快速度写清楚一个模型
但ViT这个工作真心6,Google这篇论文也写的真心好 每一句话 每一个配图都恰到好处(值得反复看好几遍),有类似感触的第一想到的是OpenAI那篇CLIP论文
- 6.9,开始写Swin Transformer的部分
- 6.12,继续写Swin Transformer的部分