【深度学习】18. 生成模型：Variational Auto-Encoder（VAE）详解

Variational Auto-Encoder（VAE）详解

本节内容完整介绍 VAE 的模型结构、优化目标、重参数化技巧及其生成机制。

回顾：Autoencoder（自编码器）

Autoencoder 是一种无监督学习模型，旨在从未标注的数据中学习压缩表示。其结构包括：

• Encoder：将输入 $x$ 映射为潜在空间的表示 $z$
• Decoder：将 $z$ 重构为 $\hat{x}$，使其尽可能接近原始输入 $x$

通常设置潜在变量 $z$ 的维度低于 $x$，实现降维和特征提取。

Autoencoder 的训练目标

目标是最小化重构误差：

$$L(x,\hat{x})=\Vert x-\hat{x}{\Vert }^2$$

模型通过优化参数使得 $\hat{x}=f(g(x))$ 尽可能接近 $x$，其中 $g$ 是 Encoder，$f$ 是 Decoder。

Encoder 的用途

自动编码器可以重构数据，并且可以学习特征来初始化监督模型。特征捕获训练数据中的变化因素

训练完成后，Encoder 可以作为特征提取器用于其他下游任务。通常在分类等监督任务中：

• 预训练阶段训练 Autoencoder
• 丢弃 Decoder，仅保留 Encoder
• 添加分类器，进行微调训练

这种方式可利用无标签数据提升有标签任务效果。

Variational Auto-Encoder（VAE）的提出

注意图中写的Variance or standard deviation有误，应该是log_var!

Autoencoder 能学习数据表示，但无法从潜在空间采样生成新样本。为此，VAE 将其扩展为生成模型：

• 假设存在潜变量 $z$，从先验分布 $p(z)$（通常是 $\mathcal{N}(0,I)$,高斯分布）中采样
• 使用生成网络从 $p_{\theta }(x|z)$ 中生成 $x$

完整生成过程为：

1. 从 $p(z)$ 中采样 $z$
2. 用 $p_{\theta }(x|z)$ 生成样本 $x$

但 $p(z|x)$ 往往难以直接推导，因此采用变分推断，引入近似后验分布 $q_{\varphi }(z|x)$。

1. 输入与编码（Encoder）

输入样本 $x$ 被送入编码器（Encoder），输出两个变量：

• $z_{\text{mean}}=\mu$
• $z_{\text{log\_var}}=\log {\sigma }^2$

这些构成了潜在变量 $z$ 的高斯分布参数。

2. KL 散度项（先验正则化）

使用高斯分布的 KL 散度公式计算 $q_{\varphi }(z|x)\sim \mathcal{N}(\mu ,{\sigma }^2)$ 与 $p(z)\sim \mathcal{N}(0,1)$ 之间的距离：

$$D_{KL}(\mathcal{N}(\mu ,{\sigma }^2)\Vert \mathcal{N}(0,1))=-\frac{1}{2}\left(1+\log {\sigma }^2-{\mu }^2-{\sigma }^2\right)$$

这项鼓励 $q(z|x)$ 与标准高斯分布接近，使得从 $p(z)$ 中采样具有可行性。

3. 重参数化技巧（Reparameterization Trick）

为了使得 $z$ 可导，引入噪声变量 $ϵ\sim \mathcal{N}(0,1)$，用如下方式采样 $z$：

$$z=\mu +\sigma \cdot ϵ$$

这样，整个采样过程对网络参数 $\mu ,\sigma$ 可导，允许使用反向传播训练网络。

我们知道在神经网络中，如果某个操作是“不可导的”或者“不确定的（stochastic）”，我们就无法对它的参数进行梯度传播。

而在 VAE 中，如果我们直接从 $z\sim \mathcal{N}(\mu ,{\sigma }^2)$ 中采样，那么这个采样过程本身是随机的、不可导的，无法对 $\mu$ 和 $\sigma$ 求导！

所以怎么解决？

我们使用重参数化技巧，将随机性“从参数中移除”，变成一个确定性的函数：

$z=\mu +\sigma \cdot ϵ,ϵ\sim \mathcal{N}(0,1)$

这个时候：

• $ϵ$ 是一个常量样本（在每次前向传播时采一次）
• $z$ 是 $\mu$ 和 $\sigma$ 的一个确定函数（因为 $ϵ$ 视为已知）

为什么 $ϵ$ 不影响反向传播？

因为反向传播的目标是对损失函数 $L$ 关于参数 $\mu$ 和 $\sigma$ 求导，比如：

$ ∂μ∂L=∂z∂L⋅∂μ∂z,∂μ∂z=1$

$\partial L\partial \sigma =\partial L\partial z\cdot \partial z\partial \sigma ,\partial z\partial \sigma =ϵ$

• 虽然 $ϵ$ 是随机变量，但在一次前向过程中是常数（采样好了）
• 所以我们仍然可以对 $\mu$ 和 $\sigma$ 使用链式法则求导，反向传播不需要对 $ϵ$ 求导！

每次前向传播时，$ϵ$ 都要重新采样一次！

为什么？

在 VAE 中，我们采样的目的是从一个 随机潜在变量 $z$ 中生成样本。为了能让 $z$ 具有“随机性”，我们必须在每次前向传播时，从 $ϵ\sim \mathcal{N}(0,1)$ 中重新采样，否则模型生成的 $z$ 就是确定的了，完全失去生成模型的意义。

4. 解码与重建误差

将 $z$ 输入 Decoder 得到重建样本 $\hat{x}$。再与原始输入 $x$ 比较，计算重建误差：

• 若像素值为 $[0,1]$，常使用 二值交叉熵损失（Binary Cross Entropy）：

$$L_{\text{recon}}=\sum _{i=1}^n\left[-x_i\log {\hat{x}}_i-(1-x_i)\log (1-{\hat{x}}_i)\right]$$

• 若为连续实值向量（如图像灰度），可使用 均方误差（MSE）：

$$L_{\text{recon}}=\sum _{i=1}^n(x_i-{\hat{x}}_i{)}^2$$

VAE 的完整损失函数

VAE 的最终损失函数由两个部分组成：

$${\mathcal{L}}_{\text{VAE}}=L_{\text{recon}}+D_{KL}(q_{\varphi }(z|x)\Vert p(z))$$

其中：

• $L_{\text{recon}}$：重建误差（衡量生成的 $\hat{x}$ 与 $x$ 的差距）
• $D_{KL}$：先验正则化项（限制潜变量空间服从 $\mathcal{N}(0,1)$）

最终优化目标：

$$\underset{\theta ,\varphi }{\min }{\mathbb{E}}_{q_{\varphi }(z|x)}[-\log p_{\theta }(x|z)]+D_{KL}(q_{\varphi }(z|x)\Vert p(z))$$

VAE + GAN：Variational Autoencoder 与 GAN 的结合

本图展示了由 Makhzani 等人于 2015 年提出的 Adversarial Autoencoders (AAE) 架构，它结合了 Variational Autoencoder (VAE) 的编码思想与 Generative Adversarial Network (GAN) 的对抗训练机制。

模型结构解析

1. 编码器（Encoder）

• 输入图像 $x$（如 MNIST 的手写数字图像）

• 编码器输出两个向量：$z_{\text{mean}}$ 和 $z_{\text{log\_var}}$

• 通过重参数技巧采样得到 $z$：

  $$z=\mu +\sigma \cdot ϵ,ϵ\sim \mathcal{N}(0,1)$$

2. 解码器（Decoder）

• 接收采样的隐变量 $z$，重建图像 $\hat{x}$
• 使用重建误差（如 CrossEntropy 或 MSE）作为训练信号

3. 判别器（Discriminator）

• 判别器用于判断隐变量 $z$ 是否来自：

  • 编码器生成的 $q(z)$，即编码器输出的 $z$
  • 还是先验分布 $p(z)$，如 $\mathcal{N}(0,I)$

• 编码器的目标是欺骗判别器，使 $q(z)$ 与 $p(z)$ 的样本无法区分，从而用 GAN 的方式逼近先验分布。

数学公式说明

图中展示了边缘分布 $q(z)$ 的定义：

$$q(z)={\int }_{x}q(z|x)p_{\text{data}}(x)dx$$

即：将所有数据 $x$ 编码后的隐变量 $z$ 分布汇总起来形成 $q(z)$。我们希望 $q(z)$ 与先验 $p(z)$ 尽可能接近。

而对抗目标则是：

最小化判别器无法区分 $q(z)$ 与 $p(z)$ 的能力
用 GAN 代替 KL 散度进行对齐。

总结

• 传统 VAE 使用 KL 散度来匹配 $q(z)$ 与 $p(z)$，容易不稳定
• VAE + GAN (或 AAE) 使用判别器对抗训练，让隐空间更贴合先验分布
• 优势：
  • 更高质量生成样本
  • 更结构化的 latent space
  • 支持复杂先验（如高斯混合）

这种结构为生成建模提供了更加稳定与表达力强的框架。