劣勾配法

劣勾配法（れつこうばいほう、テンプレート:Lang-en-short）とは、劣微分を用いた凸最適化の解法である。1960年代から1970年代にかけてテンプレート:仮リンクによって編み出された解法であり、微分不可能な目的関数に対して収束性を持つことが知られている。目的関数が微分可能な関数で無制約な問題の場合は最急降下法と同様の探索方向が使用される。

劣勾配法は2階微分可能な連続凸最小化問題に対してニュートン法より収束が遅いが、ニュートン法は微分不可能な点を持つ問題に対して適用することができないことから、汎用性が高い解法である。

近年では、凸最適化問題に対して内点法が提案されているが、射影劣勾配法やバンドル法といった解法も研究がなされている。劣勾配法などは計算にかかるメモリの量が比較的少量で済むことから、高次元の凸最適化問題に対しては適した解法である。

射影劣勾配法は大規模問題に対して分解法と共に使用されることが多い。分解法を用いることで問題を分割して問題を安易に扱うことができる。

古典的な劣勾配法の規則

定義域 ${ℝ}^n.$ において凸関数を $f:{ℝ}^n\to ℝ$ とする。 最も古典的な劣勾配法は以下の式によって反復点が更新される: $$x^{(k+1)}=x^{(k)}-{\alpha }_k{g}^{(k)}$$ ただし $g^{(k)}$ は 点 $x^{(k)}$ における $f$ の劣勾配を表し、$x^{(k)}$ は $k$ 回目の $x$ を表す。 もし $f$ が微分可能関数であるならば、劣勾配は勾配 $\mathrm{\nabla }f$ と等しい。 ある反復において劣勾配 $-g^{(k)}$ が $x^{(k)}$ の $f$ における降下方向ではない可能性もあり得る。したがって反復を通じて最良の目的関数値 $f_{\mathrm{b}\mathrm{e}\mathrm{s}\mathrm{t}}$ を記録する必要があり、これは: $$f_{\mathrm{b}\mathrm{e}\mathrm{s}\mathrm{t}}^{(k)}=\min \{f_{\mathrm{b}\mathrm{e}\mathrm{s}\mathrm{t}}^{(k-1)},f(x^{(k)})\}$$ と表される。

ステップサイズ規則

劣勾配法にはいくつかのステップサイズ規則が知られている。本記事では収束性が証明されている古典的なステップサイズ規則について説明する。

• Constant step size: ${\alpha }_k=\alpha .$
• Constant step length: ${\alpha }_k=\gamma /\Vert g^{(k)}{\Vert }_2.$ ただし、$\Vert x^{(k+1)}-x^{(k)}{\Vert }_2=\gamma .$
• Square summable but not summable step size: 以下の性質を満たすもの$${\alpha }_k\ge 0,\sum _{k=1}^{\mathrm{\infty }}{\alpha }_k^2<\mathrm{\infty },\sum _{k=1}^{\mathrm{\infty }}{\alpha }_k=\mathrm{\infty }.$$
• Nonsummable diminishing: 以下の性質を満たすもの$${\alpha }_k\ge 0,\underset{k\to \mathrm{\infty }}{\lim }{\alpha }_k=0,\sum _{k=1}^{\mathrm{\infty }}{\alpha }_k=\mathrm{\infty }.$$
• Nonsummable diminishing step lengths: ${\alpha }_k={\gamma }_k/\Vert g^{(k)}{\Vert }_2.$ ただし、$${\gamma }_k\ge 0,\underset{k\to \mathrm{\infty }}{\lim }{\gamma }_k=0,\sum _{k=1}^{\mathrm{\infty }}{\gamma }_k=\mathrm{\infty }.$$

上記のステップサイズの規則ではステップサイズは反復開始前にあらかじめ固定するオフライン型に分類される。つまり各ステップサイズは各反復における情報を利用しない。このオフライン型の規則は微分可能関数に対する降下法で用いられるオンライン型のステップサイズの規則とは異なった規則となっている。具体的には微分可能関数の最小化問題に対する手法ではウルフ条件を満たすステップサイズを選択する。このときステップサイズは各反復における点や探索方向を用いて決定される。（改良型を含む）劣勾配法におけるステップサイズの規則に関する内容は Bertsekasテンプレート:Sfnおよび Bertsekas、Nedic、Ozdaglarテンプレート:Sfn の著書にまとめられている。

収束の結果

constant step-length を使用し劣勾配のユークリッドノルムが1となるようにスケーリングした場合、劣勾配法は最小値に十分近い値へ収束することがテンプレート:仮リンクにより示されている。すなわち、

$\underset{k\to \mathrm{\infty }}{\lim }{f}_{\mathrm{b}\mathrm{e}\mathrm{s}\mathrm{t}}^{(k)}-f^{*}<ϵ$

が成り立つ。古典的なこれらの劣勾配法は収束が遅いことから、現在では一般的な問題に対して推奨されていないが、特定の問題ではその問題特有の性質を活かすことで簡単に適応するできるため、広く用いられている。

射影劣勾配法とバンドル法

1970年代、凸最適化問題に対して降下法の一種のバンドル法テンプレート:Efnをテンプレート:仮リンクとテンプレート:仮リンクによって提案されたテンプレート:Sfn。バンドル法は提案当時と現在において違う意味合いで用いられていた。現在知られている改良型のバンドル法や収束性の解析についてはKiwielによってによってまとめられた。 現在のバンドル法はボリス・ポリャク（1969）の射影劣勾配法から編み出されたステップサイズ決定のためのLevel Control規則を用いている。しかし、特定の問題では射影劣勾配法の方がバンドル法よりも優位性を持っている。

制約付き最適化問題

射影勾配法

劣勾配法を拡張させた解法として射影劣勾配法が挙げられる。以下の最適化問題:

minimize $f(x)$ subject to $$x\in 𝒞$$

を考える。ただし、$𝒞$ は凸集合を表す。 射影劣勾配法は以下の式によって値を更新していく: $$x^{(k+1)}=P(x^{(k)}-{\alpha }_k{g}^{(k)})$$ ただし、$P$ は $𝒞$ の射影、かつ $g^{(k)}$ は $x^{(k)}$ における $f$ の劣勾配を表す。

一般の制約

劣勾配法は不等式制約付き最適化問題に対する解法として拡張することができる。以下の最適化問題を考える:

minimize $f_0(x)$ subject to $$f_i(x)\le 0,i=1,\dots ,m$$

ただし、$f_i$ は凸関数である。不等式制約付き最適化問題においても無制約最適化問題と同様に更新式は $$x^{(k+1)}=x^{(k)}-{\alpha }_k{g}^{(k)}$$ となる。ただし、${\alpha }_k>0$ はステップサイズであり、$g^{(k)}$ は $x$ における目的関数・制約の関数の劣勾配を表す。すなわち、 $$g^{(k)}=\{\begin{array}{cc}\partial f_0(x)& \text{ if }{f}_i(x)\le 0\mathrm{\forall }i=1\dots m\\ \partial f_j(x)& \text{ for some }j\text{ such that }{f}_j(x)>0\end{array}$$ と表される。ただし、$\partial f$ は $f$ の劣微分である。現在の反復点が制約を満たす場合、劣勾配法は目的関数の劣勾配により値を更新する。現在の反復点が制約を満たさない場合、劣勾配法は違反している制約関数の劣勾配から値を更新する。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

関連項目

• テンプレート:Annotated link

外部リンク

• EE364A and EE364B, Stanford's convex optimization course sequence.