情報科学 › 機械学習の数学 › 勾配降下法

二次関数に対する勾配降下法

命題 5.1(「勾配降下法」§5) ・ ✓公理まで証明済み

A∈Rn×nA \in \mathbb{R}^{n\times n} を対称正定値行列、b∈Rn\boldsymbol{b} \in \mathbb{R}^n とし、

f(w)=12⟨w,Aw⟩−⟨b,w⟩f(\boldsymbol{w}) = \tfrac{1}{2}\langle \boldsymbol{w}, A\boldsymbol{w}\rangle - \langle \boldsymbol{b}, \boldsymbol{w}\rangle

とします。AA の固有値を 0<λ1≤λ2≤⋯≤λn0 < \lambda_1 \le \lambda_2 \le \cdots \le \lambda_n、条件数を κ=λn/λ1\kappa = \lambda_n/\lambda_1、最小点を w⋆=A−1b\boldsymbol{w}_\star = A^{-1}\boldsymbol{b} とします。定数学習率 η>0\eta > 0 の勾配降下法 wk+1=wk−η∇f(wk)\boldsymbol{w}_{k+1} = \boldsymbol{w}_k - \eta\nabla f(\boldsymbol{w}_k) について次が成り立ちます。

  1. wk−w⋆=(I−ηA)k(w0−w⋆)\boldsymbol{w}_k - \boldsymbol{w}_\star = (I - \eta A)^k(\boldsymbol{w}_0 - \boldsymbol{w}_\star)。
  2. ρ(η)=max⁡(∣1−ηλ1∣, ∣1−ηλn∣)\rho(\eta) = \max\bigl(|1-\eta\lambda_1|,\ |1-\eta\lambda_n|\bigr) とおくと ∥wk−w⋆∥≤ρ(η)k∥w0−w⋆∥\|\boldsymbol{w}_k - \boldsymbol{w}_\star\| \le \rho(\eta)^k\|\boldsymbol{w}_0 - \boldsymbol{w}_\star\| であり、さらにすべての初期値 w0\boldsymbol{w}_0 について wk→w⋆\boldsymbol{w}_k \to \boldsymbol{w}_\star となるのは 0<η<2/λn0 < \eta < 2/\lambda_n のとき、かつそのときに限ります。
  3. ρ(η)\rho(\eta) を最小にする学習率は η⋆=2λ1+λn\eta_\star = \dfrac{2}{\lambda_1 + \lambda_n} で、そのときの値は
ρ(η⋆)=λn−λ1λn+λ1=κ−1κ+1.\rho(\eta_\star) = \frac{\lambda_n - \lambda_1}{\lambda_n + \lambda_1} = \frac{\kappa - 1}{\kappa + 1}.

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 20 件、定義なども含めて 23 件)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義(直接 2 件)

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問