鏡像降下法

鏡像降下法（きょうぞうこうかほう、テンプレート:Lang-en-short）とは、数理最適化において微分可能関数の極値を求める反復法の一種。

鏡像降下法は最急降下法やテンプレート:仮リンクを一般化したアルゴリズムである。

歴史

鏡像降下法は1983年にテンプレート:仮リンク、ユーディンによって初めて提案された。

動機

最急降下法において学習率の列 $({\eta }_n{)}_{n\ge 0}$ を微分可能関数 $F$ に適用する。関数 $F$ の極小値を求めるために初期点 ${𝐱}_0$ から開始し、点列 ${𝐱}_0,{𝐱}_1,{𝐱}_2,\dots$ を求めていく:

${𝐱}_{n+1}={𝐱}_n-{\eta }_n\mathrm{\nabla }F({𝐱}_n),n\ge 0.$

これを以下のように書き換える:

${𝐱}_{n+1}=\arg \underset{𝐱}{\min }(F({𝐱}_n)+\mathrm{\nabla }F({𝐱}_n{)}^T(𝐱-{𝐱}_n)+\frac{1}{2{\eta }_n}\Vert 𝐱-{𝐱}_n{\Vert }^2)$

言い換えると、${𝐱}_{n+1}$ は関数 $F$ の点 ${𝐱}_n$ における一次式に近似の項 $\Vert 𝐱-{𝐱}_n{\Vert }^2$ を追加した関数を最小化する。

この二乗ユークリッド距離はテンプレート:仮リンクの特別な例である。別のブレグマン距離を使用すると特定の幾何上で最適化するのに適した Hedgeアルゴリズムなどのアルゴリズムを導くことができる。

定式化

凸集合 $K\subset {ℝ}^n$ 上で凸関数 $f$ を最適化することを考える。そして ${ℝ}^n$ でいくつかのノルム $\Vert \cdot \Vert$ が与えられているとする。

また、各ノルムには$\alpha$-強凸関数の微分可能凸関数 $h:{ℝ}^n\to ℝ$ が与えられる。これは距離生成関数（distance-generating function）と呼ばれ、その勾配 $\mathrm{\nabla }h:{ℝ}^n\to {ℝ}^n$ は鏡像写像（mirror map）として知られている。

初期点 $x_0\in K$ から始め、各反復における鏡像降下法の手続きは:

• 双対空間への写像: ${\theta }_t\leftarrow \mathrm{\nabla }h(x_t)$
• 勾配ステップにおいて双対空間を更新する: ${\theta }_{t+1}\leftarrow {\theta }_t-{\eta }_t\mathrm{\nabla }f(x_t)$
• 主空間に写像: $x{\text{'}}_{t+1}\leftarrow (\mathrm{\nabla }h{)}^{-1}({\theta }_{t+1})$
• 実行可能空間 $K$ に射影: $x_{t+1}\leftarrow \mathrm{a}\mathrm{r}\mathrm{g}\underset{x\in K}{\min }{D}_h(x||x{\text{'}}_{t+1})$、ただし、$D_h$ はテンプレート:仮リンクである。

拡張

テンプレート:仮リンクにおける鏡像降下法はオンライン鏡像降下法（テンプレート:Lang-en-short: OMD）として知られている。

関連項目

• 最急降下法
• テンプレート:仮リンク
• テンプレート:仮リンク