概要
- リーマン多様体上での最適化のお勉強をしている.
- 多様体上での最適化では接空間上での勾配を求めたり,多様体上へレトラクションしたりする.
- 例として球面上で,自明な最適化とレイリー商(対称行列の固有ベクトルを求める)をやる.
- レイリー商から複数の固有値を同時に求めようとするとシュティーフェル多様体上での最適化になる.
- シュティーフェル多様体はわかった気がするけど,グラスマン多様体がわからんのでできてない.
- 実装は色んなライブラリがあるけど,pytorchを使う.autogradがあればなんでもいい.
はじめに
年末からお正月で多様体上の最適化について勉強している. 今回は自分の理解のために勉強したことをまとめるが,多様体がそもそもよくわかってないレベルなので色々許してください.
やりたいのはユークリッド空間上での制約つき最適化. 制約付きの最適化はラグランジュの未定乗数法とかで解くイメージだが,ニューラルネットとかがくっついているとどうやって解くのかわからない(あるのかもしれないが). 簡単な方法としてペナルティ項として制約条件を表し,制約なし最適化として解く方法が考えられるが,制約条件を満たす保証はなかったり,パラメータ調整が難しかったりする.
ユークリッド空間上での制約付きの最適化は,制約条件を満たす全ての点があるリーマン多様体上にあるとき,リーマン多様体上での制約なし問題として解くことができる. 例えば,以下は後で使うレイリー商(を変形した式)である.この制約付きの最適化は半径1の球面上の制約なし最適化問題として解釈できる.
ただし
普通の勾配法に加わる操作としては以下の2つである.
図にすると以下のような感じ.
まだあんまり理解できてないので数学的な議論を避けて,具体例をやっていく. 最適化にもニュートン法とか共役勾配法とか色々あるけど,今回は単純な最急降下法だけを考える.(学習率も固定) pytorchを使ってfloatで計算しているので,数値誤差がそれなりにある.
こちらなどを参考にして勉強した(している). 数学的な話を含めてわかりやすいように思うのでおすすめ.
以下の内容は主に,これらに書かれていることを自分の理解した範疇で書きなおして,理解のためにpython (pytorch) で実装したというもの.
- リーマン多様体上の最適化の理論と応用
- Kyoto University Research Information Repository: シュティーフェル多様体上の同時対角化問題に対するニュートン法 (最適化の基礎理論と応用)
- グラスマン多様体上の最適化アルゴリズム
- [1609.06434] Partial Least Squares Regression on Riemannian Manifolds and Its Application in Classifications
またこれが有名らしい(?)けど,あまり読めてない (英語苦手...)
3次元空間中の球面の例
まずは簡単な例として球面上の最適化を考える. 最適化する関数は以下のようなもの
解は自明でだが,これを多様体上の最急降下法で解くことにする.
ペナルティ項としての実装
リーマン多様体上での最適化を行う前に比較手法として,制約をペナルティ項として表すことを考える. つまり以下の関数を制約なし最適化問題として解く.
コードは以下.
求まった解は
([ 5.31967416e-05, 3.33191572e-05, 1.02169939e+00])
で0.02ぐらいずれていて,制約を満たせていない.
収束途中の遷移は以下. 青い球が制約条件で,オレンジの点が上に向かって進んでいる.
多様体からはみだしたり戻ったりを繰り返しながらガタガタしつつ進んでいく. 最急降下法で最適解に落とすには学習率を減衰させる必要があるが,今回はやってないので,こんな感じになる.
これでもこの問題に対してはある程度の解は得られるが,今回はリーマン多様体上によって制約条件を常に(数値的には)厳密に満たしつつ最急降下法を行う.
多様体上の最適化
以下の最適化問題をリーマン多様体上での最適化として解く. つまり球面をとするとき,目的関数を以下のように変形する.
そもそもリーマン多様体が何かあまり理解できてないが, 多様体上の任意の点の接空間でリーマン計量 (内積的なもの)が定義できていればいい(たぶん). 内積が定義できれば接ベクトルの長さが定義できるので,測地線の長さがわかるということ(なのかな?)
ということで,まずは球面とするときの内積を以下のように定義する.
(これはいわゆる普通の内積だが,後で行列多様体を考える練習として順にやる.)
接空間上での勾配を考える. ユークリッド空間上での勾配はであるが,これは多様体の接空間上にはない.
リーマン多様体上での点における勾配は以下を満たすものとして定義される. は任意の接ベクトル.
なので,多様体上での勾配は以下のようになる.
なのでこの勾配は上の定義を満たす.
次にレトラクションを考える.今回は球面上に点を戻せばいいので,レトラクションは単純にノルムでわるだけにする.
以上から,勾配法で解くプログラムは以下のようになる.
得られた解は以下. float32なのでこれぐらいの誤差は許してほしいところ.
array([ 1.29403008e-04, -1.01325495e-04, 1.00000000e+00], dtype=float32)
制約条件は途中の点でも全て同様に満たされている.
レイリー商の例
レイリー商(を変形したもの)である以下の最適化問題を考える.
これも上と同様にリーマン多様体(球面)上の最適化問題として解ける. ちなみにこの問題の解はの最小固有値に対応する固有ベクトルになる.
このとき勾配,レトラクションは上と同様.
プログラムは以下.
図中青がペナルティ法での点の軌跡.オレンジが多様体上で最適化した時の点の軌跡. 紫は解(固有ベクトル)を表している.
オレンジは多様体上を移動しているのに対して,青は制約条件を満たさない点を経由して最適解へと近づいていく. また,(学習率などの問題もあるが)今回の問題では多様体上での最適化のほうが圧倒的に収束が速かった.
レイリー商(シュティーフェル多様体上での最急降下法)
ここまではベクトルの最適化について考えてきた. 次に行列の最適化について考える.
解く問題は先ほどと同様に対称行列の固有ベクトルを求めるもので以下の最適化問題である.
ここでの固有値は個あるがここではそのうち個を求めるときを考えている。つまりは正方行列に限らない。
これを解きたいがトレースは行列を並び替えても値が変わらないのでこのままでは解けない。 そこで以下のBrockett cost functionを導入する.
によって重み付けされるので,固有値の大きさによって解が順序付けられた状態のみが最適解になる.
制約条件を満たす行列からなる多様体をシュティーフェル多様体という。 まずは 接空間上のリーマン計量を以下の標準内積で定義する。
(あんまりわかってないので中略) このとき,多様体上の勾配は以下(たぶん).
次にレトラクションを考える. シュティーフェル多様体のレトラクションとして
- 極分解
- qr分解を使う方法
などがあるが今回はqr分解を使う方法を用いる.
以上よりプログラムは以下.
これにより2つの固有値を同時に求めることができた.
おわりに
リーマン多様体上での最急降下をやった. ペナルティで実装するよりは良さそう. 接空間を求めてからどうやって接空間上の勾配を求めれば良いのかがまだわかっていない. あとはQR分解とかの計算コストがどれぐらいなのかを考えたほうが良いかもしれない.
今回はpytorchで実装したが,pymanopt (python manifold optimization) というプロジェクトがあり,このライブラリを使うとシュティーフェル多様体上での最適化などが簡単にできるっぽいので良さそう.(Tensorflowなどとも連携できる(?))
そのうち中略をちゃんと埋める. また,Brockett cost functionではなく,グラスマン多様体として最適化する方法もやっていきたい.
参考
- リーマン多様体上の最適化の理論と応用
- Kyoto University Research Information Repository: シュティーフェル多様体上の同時対角化問題に対するニュートン法 (最適化の基礎理論と応用)
- グラスマン多様体上の最適化アルゴリズム
- [1609.06434] Partial Least Squares Regression on Riemannian Manifolds and Its Application in Classifications
- Optimization Algorithms on Matrix Manifolds | Princeton University Press
- Pymanopt
- QR factorization