Alternating Minimization

Citation

Information Geometry and Alternating Minimization Procedures, by I. Csiszar, G.Tusnady. In Statistics and Decisions, 1984.

I unfortunately cannot find this paper online.

Summary

Alternating minimization (AM) is used when we are optimizing two variables jointly. Let us call these two variables $p$ and $q$. The basic premise behind AM is that we keep one variable constant, say $q$ and optimize the other variable, i.e., $p$, and then we keep $p$ constant and optimize over $q$. This constitutes one cycle of the optimization procedure. One may find that AM is very similar to the EM algorithm, and in fact it has been shown by the original authors that EM is a special case of AM.

In recent work, this Method was presented in Soft-Supervised Text Classification as the primary method of solving or optimizing the objective function.

Details

The alternating minimization algorithm attempts to solve a minimization problem of the following form:

given ${\mathcal {P}},{\mathcal {Q}}$ and a function $D:{\mathcal {P}}\times {\mathcal {Q}}$, we would like to find: $\min _{(P,Q)\in {\mathcal {P}}\times {\mathcal {Q}}}D(P,Q)$.

The way AM does this is by generating a sequence of variables $(p^{n},q^{n})$ as follows: $p^{n}=\arg \min _{\textrm {P}}D(p,q^{n-1}),q^{n}=\arg \min _{q}D(p^{n},q)$.

The original paper has a prove that shows the sequence generated using the above single-variable minimizations converges to the minimum of $D(p,q)$, i.e., Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n /to \infty} D(p^{(n)}, q^{(n)}) = \inf_{p,q} D(p,q) <\math>. == Example == As an example, let us look at what Subramanya and Bilmes did in their [[SoftSupervisedTextClassification | Soft-Supervised Text Classification]] paper. For them, <math>(p^n, q^n)} is a sequence of sets of distributions, i.e., every $p^{i}$ is a set of distributions over all vertices in the graph. We know that their original formulation for their algorithm was:

$\min _{\textrm {p}}C_{1}({\textrm {p}})$, where $C_{1}(p)=\left[\sum _{i=1}^{l}D_{KL}(r_{i}\parallel p_{i})+\mu \sum _{i}^{n}\sum _{j}w_{ij}D_{KL}(p_{i}\parallel p_{j})-\nu \sum _{i=1}^{n}H(p_{i})\right]$.

In order to use alternating minimization, we introduce a second distribution over unlabeled data (apart from $p$), $q$. The new objective reads:

$\min _{\textrm {p,q}}C_{2}({\textrm {p,q}})$, where $C_{2}(p,q)=\left[\sum _{i=1}^{l}D_{KL}(r_{i}\parallel q_{i})+\mu \sum _{i}^{n}\sum _{j\in {\mathcal {N}}(i)}w'_{ij}D_{KL}(p_{i}\parallel q_{j})-\nu \sum _{i=1}^{n}H(p_{i})\right]$, where we define a new similarity matrix $W'=W+\alpha \mathbf {I} _{n}$, with $\alpha \geq 0$. We thus have two distributions defined for every training point, and the optimization procedure encourages the two to approach each other. Note that the smoothness regularizer (the third term, consisting of entropy) is defined on a different set of distributions as the first term, which aims to respect the labeled training data. It is this choice which makes the update equations for $p^{(n)}$ and $q^{(n)}$ relatively simple.

Assuming we start with a distribution that is initialized properly, we can express the update equations as:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p_i^{(n)} (y) = \frac{1}{\mathcal{Z}_i} exp\left\{ \frac{\beta_i^{(n-1)}(y)}{\gamma_i}} , and $q_{i}^{(n)}(y)={\frac {r_{i}(y)\delta (i\leq l)+\mu \sum _{j}w'_{ji}p_{j}^{(n)}(y)}{\delta (i\leq l)+\mu \sum _{j}w'_{ji}}}$, where $\gamma _{i}=\nu +\mu \sum _{j}w'_{ij}$ and $\beta _{i}^{(n-1)}(y)=-\nu +\mu \sum _{j}w'_{ij}(\log q_{j}^{(n-1)}(y)-1)$.

The derivations for these updates can be obtained by using the definitions of $p^{n}$ and $q^{n}$ provided above.