EM likelihood monotonicity
= EM likelihood monotonicity
{c}
For $Q(\theta\mid\theta_0)=\mathbb E_{\theta_0}[\log p_\theta(Y,Z)\mid Y]$, the <Jensen inequality> gives
$$
\log p_\theta(Y)-\log p_{\theta_0}(Y)\geq Q(\theta\mid\theta_0)-Q(\theta_0\mid\theta_0).
$$
Thus any <expectation-maximization algorithm> M-step that increases $Q$ cannot decrease the observed-data <likelihood function>. Monotonicity does not by itself assert convergence to a global maximum.