# Theory of Optimization: More on Mirror Descent

Published:

In this post, we will continue on our discuss of mirror descent. We will present a variant of mirror descent: the lazy mirror descent, also known as Nesterov’s dual averaging.

## Lazy Mirror Descent(Nesterov’s Dual Averaging)

### Algorithm

In this section, we will provide a more efficient version of mirror descent, named Lazy Mirror Descent. We will show that the convergence rate is the same as that of the original mirror descent(omit constants). The lazy mirror descent changes the update process of $y^{(k)}$ from

into

Moreover, $y^{(0)}$ is such that $\nabla \Phi(y^{(0)}) = 0$.

The Lazy Mirror Descent algorithm works as follow:

1. Initial point $x^{(0)} \in \mathbb R^n$, step size $h > 0$.
2. For $k=0,1,2,\dots$ do
3. Pick any $g^{(k)}\in\partial f(x^{(k)})$.

### Analysis

This analysis is adapted from Convex Optimization: Algorithms and Complexity. We have the following theorem.

Let $\Phi$ be a mirror map $\rho$-strongly convex on $\mathcal X\cap\mathcal D$ w.r.t $||\cdot||$ . Let $R^2 = \sup_{x\in\mathcal X\cap\mathcal D}\Phi(x) - \Phi(x^{(0)})$, and $f$ be convex and $L$-Lipschitz w.r.t $||\cdot||$ . Then the lazy mirror descent with $\eta = \frac{R}{L}\sqrt{\frac{\rho}{2t}}$ satisfies

Proof: We define $\Psi_t(x) = \eta \sum_{s=0}^{t-1}g_s^Tx + \Phi(x)$, so that $x^{(t)}\in\arg\min_{\mathcal X\cap\mathcal D}\Psi_{t-1}(x)$. Since $\Phi$ is $\rho$-strongly convex, we have $\Psi_t$ is $\rho$-strongly convex.

Then, we can compute

where the second inequality comes from the first order optimality condition for $x^{(t+1)}$. Next, we observe that

Putting together the two above displays and using Cauchy-Schwarz (with the assumption $||g^{(t)}||_{*} \le L$ ) one obtains

This shows that $||x^{(t+1)} - x^{(t)}|| \le \frac{2\eta L}{\rho}$ and thus with the above display

Then we proof the following result: for every $x\in\mathcal X\cap\mathcal D$,

which would conclude the proof.

The above equation is equivalent to

We prove this by induction,

where the first inequality follows from the induction step and the second follows from the definition of $x^{(t)}$.

Tags: