从两个例子理解EM算法

从两个例子理解EM算法

本文是作者对EM算法学习的笔记，从EM算法出发介绍EM算法，为了更好理解，用两个应用EM算法求解的例子进一步解释EM的应用。

---

EM算法

EM算法引入

EM算法，指的是最大期望算法（Expectation Maximization Algorithm，期望最大化算法），是一种迭代算法，在统计学中被用于寻找，依赖于不可观察的隐性变量的概率模型中，参数的最大似然估计。基本思想是首先随机取一个值去初始化待估计的参数值，然后不断迭代寻找更优的参数使得其似然函数比原来的似然函数大。

• EM算法当做最大似然估计的拓展，解决难以给出解析解（模型中存在隐变量）的最大似然估计（MLE）问题
• 在算法中加入隐变量的思想可以类比为几何题中加入一条辅助线的做法。

假定有训练集{ $x^{(1)},x^{(2)},...x^{(m)}$}，包含$m$个独立样本，希望从中找到该组数据的模型$p(x,z)$的参数。
对数似然函数表达如下：

在表达式中因为存在隐变量，直接找到参数估计比较困难，所以我们通过EM算法迭代求解下界的最大值，直到收敛。

我们通过以下的图片来解释这一过程：

图片上的紫色部分是我们的目标模型$p(x|\theta)$曲线，该模型比较复杂，难以直接求解其解析解，为了消除隐变量$z$带来的影响，我们可以得到一个不包含的$z$的模型$r(x|\theta)$(该函数是我们自己选定的，因此最大值可求解)， 同时满足条件$r(x|\theta) \leq p(x|\theta)$。

• 我们先取一个$\theta_1$，使得$r(x|\theta_1) = p(x|\theta_1)$(如绿线所示)，然后再对此时的$r$求其最大值，得到极值点$\theta_2$,实现参数的更新。
• 不断重复以上过程，在更新过程中始终满足$r \leq p$直到收敛。

从以上过程来看，EM算法的核心就是如何找到这个$r$，即$p$的下界函数。

这个下界函数有多种方法理解，我们从Jensen不等式的角度来理解。

上述等号成立的条件是
$\frac{p(x^{(i)},z^{(i)};\theta)}{Q_i(z^{(i)})} = c$, $\sum_z Q_i(z^{(i)}) = 1$,所以：

最终框架如下：

EM推导高斯混合模型

高斯混合模型GMM

设有随机变量$X$, 则高斯混合模型可以用$p(x) = \sum_K \pi_k \mathcal{N} (x|\mu_k, \Sigma_k)$，其中$\mathcal{N} (x|\mu_k, \Sigma_k)$表示混合模型中的第$k$个分量$\pi_k$表示混合系数，满足
$\sum_k \pi_k =1， 0 \leq \pi_k \leq 1$。

我们知道高斯函数的概率分布为 f(x)=1(√2π)σexp(−(x