Posterior Regularization for Expectation Maximization

Summary

The Expectation Maximization algorithm is a method for finding the maximum likelihood estimates for the parameters in a statistical model. During the E-step of this algorithm, posterior probabilities are calculated for the latent data by fixing the parameters.

In many fields, prior knowledge about the posterior probabilities are known and can be applied to the model to improve the statistical model, yet the method to include such in the most efficient way in EM is not clear.

Posterior Regularization is a method used to impose such contraints on posteriors in the Expectation Maximization algorithm, allowing a finer-level control over these posteriors. The key advantage of this method is the fact that the base model remains unchanged, but during learning it is driven to obey the constrains that are set.

Method Description

For a given set $x\in X$ of observed data, a set of latent data $z\in Z$ and a set of parameters $\theta$, the Expectation Maximization algorithm can be viewed as the alternation between two maximization steps of the function $F(q,\theta )$, by marginalizing different free variables.

The E-step is defined as:

$q^{t+1}=argmax_{q}F(q,\theta ^{t})=argmax_{q}[-D_{KL}(q||p_{\theta ^{t}}(z|x))]=p_{\theta ^{t}}(z|x)$

where $D_{KL}$ is the Kullback-Leibler divergence given by $D_{KL}(q||p)=E_{q}[log{\frac {q}{p}}]$, q(z|x) is an arbitrary probability distribution over the latent variable z and $p_{\theta ^{t}}(z|x)$ is the posterior probability for z, for the fixed parameters $\theta$.

The new $q$ is then used in the M-step, which is defined as:

$\theta ^{t+1}=argmax_{\theta }F(q^{t+1},\theta )=argmax_{\theta }\ E_{X}[\sum _{s}q^{t+1}(z|x)\ log\ p_{\theta }(x,z)]$

The goal of this method is to define a way to constrains over posteriors, so that prior information can be set over these posteriors by defining a constraint set $Q_{x}$ of allowed distribution over the latent variables $z$. This method addresses this by setting the restriction on $q(z|x)$. Thus, $Q_{x}$ is defined as:

$Q_{x}=\{q(z|x):\exists _{\xi }\ E_{q}[f(x,z)]-b_{x}\leq \xi ;\left\|\xi \right\|_{2}^{2}<\epsilon ^{2}\}$

, redefining the E-step as:

$q^{t+1}=argmax_{q\in Q(x)}F(q,\theta ^{t})=argmax_{q\in Q(x)}[-D_{KL}(q||p_{\theta ^{t}}(z|x))]$

Applications

Posterior regularization has been used to improve Word Alignments in Graca et al, 2010, by defining bijectivity and symmetry constraints over alignment posteriors.