Abstract
本研究では、証明書（certificate）に基づく視点を通して、階数1行列因子分解に対する勾配降下を調べる。中心となる対象は、パラメータ化された二次の証明書 I(;cdot) であり、そのレベル集合はダイナミクスに沿って縮む。これによって単調な状態パラメータ _t が誘導される。証明された（certified）領域では、この仕組みにより大域的最小化点への収束が得られる。一方、臨界点の後（post-critical）では、軌道が終端のバランスした多様体へ向かうように駆動される。
これらの証明書がどこから生じるのかを説明するために、構造的公理に基づく、状態依存のリャプノフ（Lyapunov）枠組みを定式化する。この枠組みの中では、スカラーの証明書は一意に定まり、同じ局所ラグランジュ解析が、階数1拡張の信号ブロックとノイズブロックを制約する。したがって、これらの証明書は、場当たり的な代数的構成に由来するのではなく、ダイナミクスの単調性構造から生じる。
また、証明済みの場合を超えた数値的証拠も提示する。2次元の階数1近似問題 X=\mathrm{diag}(1,\sigma)（igma\in(0,1)）において、実験結果は C^1 の許容（admissible）な証明書ブランチの存在と整合的である。四次項で拡張されたスカラー損失 \frac12(ab-1)^2+\mu(ab-1)^4 においても、経験的しきい値を選択した後、同じスカラー証明書が複数の mu の値に対して予測可能なままである。これらの実験は、状態依存のリャプノフ手法が、本論文で証明した設定を超えて拡張できる可能性を示唆している。
