Konsep Inti
この論文は、微分可能な関数を低ランク行列の集合上で最小化する問題を扱っている。Bouligand定常点は局所最適性の最も強い必要条件であり、この論文では、Bouligand定常点を生成する効率的なアルゴリズムを提案している。
Abstrak
この論文は、微分可能な関数f(X)を低ランク行列の集合Rm×n≤rで最小化する問題を扱っている。Bouligand定常点は局所最適性の最も強い必要条件であるが、これを生成するアルゴリズムは限られている。
主な内容は以下の通り:
- 既存のアルゴリズムの中で最も計算コストが低いRFDRアルゴリズムでも、場合によっては計算コストが高くなる問題がある。
- 本論文では、ERFDR(拡張RFDR)アルゴリズムを提案する。これは、Bouligand定常点を生成しつつ、行列のランクに依存しない効率的な計算を実現する。
- ERFDR アルゴリズムの収束性を示し、Bouligand定常点への収束を証明する。
- さらに、ランクが過大に見積もられている場合に利用できるランク増加スキームも提案する。
ERFDR アルゴリズムの主なアイデアは以下の通り:
- 既存のRFDRアルゴリズムを拡張し、より簡単な制約集合を使うことで計算コストを削減する。
- 収束性と Bouligand定常点への収束を理論的に保証する。
- ランクが過大に見積もられている場合にも対応可能なランク増加スキームを提案する。
Statistik
行列Xの特異値をσ1(X), ..., σmin{m,n}(X)とする。このとき、以下の不等式が成り立つ:
|σj(X) - σj(Y)| ≤ σ1(X - Y) ≤ ∥X - Y∥