Arnoldi法(Lanczos法)についてのメモ
動機
久しぶりのブログエントリになります。休んでる間何もしてなかったかというと、勿論そうではなくて、比重がインプットに偏っていたのが原因でした。
偏りなくできるのが理想ですが、あまり時間がない時はひとつのことに集中するのが、経験上効率的だと思っているので、今度書く時もまた半年ぶりとかになる可能性もありますが、まぁ自分用のメモみたいなものなので、気楽にやっていきたいと思います。
前置きはこの辺にして、本題に入ります。
最近、個人的な興味があって固有値の求め方を調べていました。
固有値は、特異値分解において重要な役割を持ち、そして特異値分解は主成分分析、潜在意味インデキシングといった応用の基本となるアルゴリズムです。特異値分解自体は、それ以外にも非常に多数の応用が考えられますが、詳細については省略します。
実際に固有値を求める方法は、学部時代に固有方程式を手計算で解き、また数値解析の授業でべき乗法とかヤコビ法を授業で聞いたなぁという程度でしたが、自然言語処理等でよく使われる大規模疎行列でも高速に計算可能と言われる方法について、一度はちゃんと勉強しておかなければいけないと思ったのが、今回調査したきっかけとなります。
なお、実用上は大規模疎行列の特異値分解や固有値を求めることが必要な状況であれば、ARPACKやredsvdを利用すれば良いと思いますので、別に興味がなければ知らないままでいいと思います。
事前準備
そもそも固有値は行列に対して、下記の式で成り立つような及びベクトルが存在する時にを固有値と呼びます。
固有値を考える上では複素ベクトル空間で考えなければならないので、の随伴行列(転置行列の複素共役行列)をと表すとします。
ここで、 (は単位ベクトル)が成り立つ行列をユニタリ行列と言います。
ユニタリ行列は、各列ベクトル(または各行ベクトル)をとすると、内積が以下のように記述できるので、各列ベクトルは正規直交基底であると言えます。
正規直交基底の定義
(内積に下記の関係が成り立つベクトル列であること)
こういった正規直交基底は、グラムシュミットの正規直交化法というアルゴリズムで任意の独立なベクトル列から生成することが可能です。
グラムシュミットの正規直交化法
1. Start: Compute := ||. If = 0 stop, else := /
2. Loop: For j = 2, . . . , p do:
Compute := ( , ) for i = 1, 2, . . . , j − 1
:= -
:= ||
If = 0 then stop, else := /
固有値を求めるフレームワーク
大規模行列の固有値を効率的に求める際に一般的に、下記のようなフレームワークがあります。- を部分空間に射影し、新しい行列を得る
- の固有値を求める
一般に1の過程はReductionと呼ばれ、よく名前の上がるArnoldi法やLanczos法は、1の過程でKrylov部分空間に射影する手法のことであり、の固有値を求める際はArnoldi法であればQR分解などまた別の手法を用います。
Krylov部分空間
Krylov部分空間は、べき乗法のアイディアを自然に発展させたものと考えることができます。べき乗法は、初期値を適当なベクトルを取ると、
という計算を繰り返すことによりが絶対値最大の固有値の固有ベクトルに収束する性質を利用した固有値の求め方です。(証明はこちら)
べき乗法の場合、途中の計算結果は捨ててしまいますが、Krylov部分空間を用いた手法は途中の計算結果を利用して下記のようなベクトル列を構成します。
このベクトル列を基底とする空間をKrylov部分空間と言います。
Krylov部分空間は、べき乗法と同様、絶対値最大の固有値をよく近似することが可能であり、またそのままべき乗法を利用する場合は最大固有値しか得られないという問題があるのですが、一度Krylov部分空間に射影してから固有値を求めるという方法を取ることにより、より高速に計算できるようになります。
Arnoldi法
それでは実際に非対称行列をArnoldi法を用いてKrylov部分空間に射影する方法について考えます。対称行列の場合は、より計算が簡便なLanczos法を用いますが、これはArnoldi法の特殊ケースであると考えることができます。
をKrylov部分空間に射影するアルゴリズムは下記のように計算ができます。
1. Start: Choose where
2. Loop: For j = 1, . . . do:
Compute := ( , ) for i = 1, 2, . . . , j
:= -
:= ||
If = 0 then stop, else := /
このアルゴリズムが具体的にどういうことを行っているのかということを説明すると、まずn回目のイテレーションで、Krylov部分空間を構成するベクトル列からなる行列をと置き、AをKrylov部分空間に射影した行列をと置くと、は各ベクトルをグラムシュミットの正規直交化法により正規化し、下記のようにを求めていることとなります。
求められたは、ヘッセンベルグ標準形と呼ばれる形式となります。
ヘッセンベルグ標準形
ヘッセンベルグ標準形はギブンス回転を用いたQR分解を実施することで固有値を高速に計算可能です。
の固有値 の固有値の証明
では、次にの固有値がの固有値の近似となるかを考えます。n回目のを考えると、誤差項をと置くと
が成り立ちます。
ここでの固有ベクトルを、固有値をと置いて、上式の両辺にをかけます。
ただし、
Arnoldi法の収束条件はこの誤差項が十分に0に近づく時ですので、
が成り立ち、これはの固有値を求める式と一致します。
まとめ
- Lanczos法やArnoldi法は、固有値を直接求めるアルゴリズムではなく、Krylov部分空間に射影するアルゴリズム
- Krylov部分空間はべき乗法のアイディアを発展させたもの
- 実用上は既存パッケージを使えばいい
部分空間に射影する方法は、redsvdが実装している方法も同様で、ランダム行列を使って射影を行い、特異値分解を行っているだけですのでアルゴリズム自体は実装も簡単です。ただ、理論的に近似誤差を求めているのですが、丁寧に説明が書かれているにも関わらず、まだよく理解できていません。特異値分解や固有値の求め方は、どちらかというと工学よりも理学(数学)よりですので、理論が難しくなりますね・・・。
また説明の際は簡単のため、各行列, ベクトルの次元を省略しています。
厳密な説明は参考文献を参照してください。
参考文献
数値解析(森 正武)数値計算の基礎
Numerical Methods for Large Eigenvalue Problems
英語版wikipedia(Arnoldi Iteration)
固有値問題ノートの補足
固有値計算アルゴリズムの最近の進展