- 読書ノート アーカイブ:http://yagays.github.com/blog/2012/10/20/archive-introducing-monte-carlo-methods-with-r/
内容:確率的勾配法(Stochastic Gradient Methods)で関数の最大値を求める
目的関数からの直接的なシミュレーションが難しい場合,関数の表面をローカルになぞって最大値を探索するという手法が使える.探索に用いる系列は以下のように表す事ができる.
これは現在のステップに摂動項を加えて次のステップとすることを表している.つまりこれはマルコフ連鎖となるのだが,今回はそれほどマルコフ性は重要にはならない.
概念的に目的関数の分布を山の斜面と考えるならば,現在の位置からちょっと動いて…を繰り返して山を登っていくような動きをする.ただし,単純に傾斜の上の方に登っていくのではなく,どちらかに進むかはランダムなので,たまに斜面を下ったりもする.その試行を繰り返していくことで,山の頂上を目指すような方法となっている.
有限差分法
有限差分法では,関数の勾配は
とし,摂動項を組み込んだ系列の更新は以のようになる.
例 5.7 有限差分法による関数の最大化において,複数の勾配パラメータがどのように収束に影響するかを調べる
例5.6の続き.有限差分法を用いて以下の式を最小化することを目的とする.
今回は最大化ではなく最小化することが目的なので,この関数をマイナスにする必要がある.
1 2 3 4 |
|
アルゴリズム
- 勾配の値が10-5 になるまで以下を繰り返す
- を生成する
- を使って勾配を生成する
- をとする
- とを更新する
なお,実際のソースコードでは勾配の値が発散しないように,scaleが1以上になった場合には内部でループをして値を再計算するようにしている.
の生成方法と有限差分法における役割
さて,ここで有限差分法のポイントとなるに関して,実際にどうやって値を生成するのか,そしてこの値がどういう意味を持っているかについて考えてみる.
まずはの生成方法について.本文中では「は単位球上に一様に分布しています」とあるだけで,コードの方を参照してみてもzeta / sqrt(t(zeta) %*% zeta)としか書かれていない.ではこれは一体何をしているのかというと,一言で言うと「球面上の一様分布から乱数を生成する」,つまり今回の場合は単位円の円周の上からある一点を取ってきての値にするということをしている.
このような球面上の一様分布に関しては「Rによる計算機統計学」のP.96に詳しく書かれており,この本ではD次元の球面上の一様乱数を生成する方法についてrunif.sphere()関数を定義している.今回の場合はxとyの2次元について考えているので,「Rによる計算機統計学」に倣ってrunif.sphere(1,2)とすれば,と同様の値が得られる.
1 2 3 4 5 6 7 8 9 10 11 12 |
|
次に,有限差分法におけるの役割について考えてみる.
そもそも,確率的勾配法はローカルに関数の表面をなぞるように探索して,値の大きいポイントを探す確率的なアプローチだった.概念的には,前回3Dプロットをしたような山みたいになっている関数の上をあちこち動いて頂上を探し出すということだが,あちこち動きまわるためには,歩く「方向」と「距離」を考えなければならない.今回の有限差分法における勾配はで表されていたが,その「方向」が,「距離」がに対応している.
では実際にと勾配を図示して,「方向」と「距離」の意味を確かめてみよう.以下の図は,の取りうる単位円と,赤い矢印,黒い矢印を示した図になっている().この図を見ると,赤い矢印で方向が示され,黒い矢印でどれくらいの距離を進むかが見て取れる.は乱数で生成された値なので,本書の「そのつど方向をランダムに選択する」という勾配の説明の通り,単位円の円周上からどこか一点を選択して進む方向を決めている.
といったように,この有限差分法では関数の山の傾斜を考えて進む方向を決めるのではなく,何も考えずに動いてみるといったアプローチとなっている.ただし,距離に関しては別で,関数を使って傾斜を見つつ調整しているので,その点は注意.
1 2 3 |
|
今回実験を行う4つのシナリオ
この有限差分法において,との系列の更新式は任意に設定できる.今回は4つのシナリオを用意して実験を行った.それぞれのシナリオの更新式は以下の通り.
- シナリオ1:,
- シナリオ2:,
- シナリオ3:,
- シナリオ4:,
(※シナリオ1と2に関しては後述の「本問題の疑問点」を参考)
例 5.7のソースコード
前置きがだいぶ長くなってしまったが,本題のソースコードおよび4つのシナリオにおける確率的勾配法の探索過程を示した図は以下のようになる.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 |
|
シナリオ2,3,4の場合は,whileループの最後のとの更新式を以下の通りにする.
1 2 3 4 5 6 7 8 9 |
|
上の図の解釈だが,この4つのシナリオの場合において
- シナリオ1では,動きまわる距離が大きすぎて(が収束するのに時間がかかって)なかなかアルゴリズムが停止しない
- シナリオ2では,動きまわる距離が小さすぎて(がすぐ収束してしまって)ローカルミニマムにはまっている
- シナリオ3では,動きまわる距離はシナリオ2より改善しているが,最大値を見つけられていない
- シナリオ4では,上手い具合に最大値を見つけることができている
ことが分かる.
なお,この解釈は本書(P.156)に書かれているものとは多少異なっているということを注意していただきたい.それに関しては次の疑問点のところで述べる.
本問題の疑問点
さて,この問題を素直に解いてもP.157の図5.7のようにはいかない.色々と試してみた結果,どうやら本書におけるシナリオ1と2のにおいて,分母にかかっている0.1乗の表記がおかしい気がする.この0.1乗がlogの中の括弧にかかっていると考えて0.1*log()としてコードを組むと,値が発散しすぎてなかなか収束しなくなる.ということで,ここでは以下のように式を解釈して問題を解いた.正直なところ,これが正しいのかよくわかっていない.
- シナリオ1と2の:→
これにともなって,シナリオの図示や解釈にも少し違いが出てきている.そのため,今回は本書の解説(P.156)からは少し外れることになったが,自分がスクリプトを回して得た結果を解釈に用いた.