本記事は以下の過去記事の内容を用います.
連続関数の劣位集合は閉集合であることを証明する - エンジニアを目指す浪人のブログ
ラグランジュ関数,ラグランジュ双対問題,最適性条件(KKT条件)のあらすじをまとめる - エンジニアを目指す浪人のブログ
係数行列が対称行列の二次関数が凸関数(あるいは狭義凸関数)であるための必要十分条件はその係数行列が半正定値(あるいは正定値)であることを証明する - エンジニアを目指す浪人のブログ
凸集合の条件数について考える - エンジニアを目指す浪人のブログ
勉強を進めていて,凸最適化問題の目的関数についての強凸(strong convexity)という性質について知り,その内容が面白くまた重要に感じました.そこで,強凸性を仮定することの意味について,目的関数の具体的な関数形やアルゴリズムには踏み込まない階層における内容をまとめておくことにしました.Boyd and Vandenberghe(2004)の9章1節をベースにしています.
=================================================================================
目次
0. 準備
0.1. 制約なし凸最適化問題
0.2. 初期点と劣位集合
1. 強凸性を仮定することの意味
1.1. 二階導関数の下界
1.2. 二階導関数の上界
1.3. 劣位集合の条件数
1.4. 強凸性の定数
1.5. まとめ
[ 0. 準備 ]
[ 0.1. 制約なし凸最適化問題 ]
制約なし最適化問題(unconstrained optimization problem)を導入します. です.
(0.1.1)
を最適化問題(0.1.1)の定義域(domain)といいます.目的関数
は凸で二階微分可能であるとします(よって
は開集合です).以後,この問題は求解可能,すなわち最適点
が存在すると仮定します(より正確には,このとき強凸性の仮定を追加すると最適点はただ一つ存在します.次の章で示します).最適値を
とします.
関数 は(二階)微分可能で凸なので,
が最適となるための必要十分条件は以下です(例えば文献[3] THEOREM 1.2.2 にあります(有名な結果なので証明なしで用います)).
(0.1.2)
このように,制約なし凸最適化問題(0.1.1)を解くことは, 本の方程式と
個の変数
からなる方程式(0.1.2)の解を求めることと等価です.いくつかの特別な場合に(0.1.2)を代数的に解くことが可能ですが,通常は
となる点列
を計算する反復的アルゴリズム(iterative algorithm)を用います.そのような点列を問題(0.1.1)の最小化列(minimizing sequence)といいます.アルゴリズムはある許容誤差を
として収束判定条件
をみたすとき終了します.
[ 0.2. 初期点と劣位集合 ]
アルゴリズムの初期点 とします.関数
の劣位集合(sublevel set)とは以下で定義される集合です.
(0.2.1)
劣位集合 は
が(二階微分可能なので)連続であることから閉集合です(冒頭の過去記事(連続関数の劣位集合)にあります).
この劣位集合が閉集合であるという条件は,関数 が閉(closed)すなわちすべての劣位集合が閉のとき(文献[4]にあります),すべての
について成り立ちます.
は開集合でも閉集合でもあります.したがって
の連続関数
は閉なので,
ならば任意の
について劣位集合は閉集合となります.また,
が開集合で
(
の定義は文献[5]にあります)をみたす連続関数
は閉なので,任意の
について劣位集合は閉集合となります.
[ 1. 強凸性を仮定することの意味 ]
本記事の目的に進みます.二階微分可能な凸関数の最適化問題(0.1.1)の目的関数 に強凸性を仮定することの意味について考えていきます.
[ 1.1. 二階導関数の下界 ]
目的関数 は
上で強凸(strongly convex)であると仮定します.強凸とは,すべての
について以下をみたすような
が存在することです.
は
単位行列,
はユークリッドノルムです.
(1.1.1)
すべての と線分
上の点
(ただし
)について以下を得ます.
(1.1.2) テイラーの定理(文献[6])
(1.1.1)
のとき凸関数を意味する不等式となります(冒頭の過去記事(ラグランジュ関数)(0.9)にあります);
のとき凸関数よりもよい(大きい)
の下界(lower bound)を得ます.
強凸性を仮定することにより得られる不等式(1.1.2)を用いて以下の事実を示すことができます.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実1.(強凸性)
・ により
を上から抑えられる.(点
の準最適性(suboptimality))
・ により
を上から抑えられる.
・最適点 はただ一つに定まる
'--------------------------------------------------------------------------------------------------------------------------------------------
はじめに, により
を上から抑えられることを示します.(1.1.2)の最右辺は(
を固定すると)
の二次関数で係数行列が単位行列なので凸です(冒頭の過去記事(係数行列が対称行列)定理 1.を
として用います).勾配が零となる
は以下です.
(1.1.3)
これを用いて以下を得ます.
(1.1.4)
(1.3)
(1.1.5)
この不等式は,勾配が小さい点は最適点 に近い点であることを示しています.また,この不等式は最適性条件(0.1.2)の一般化である準最適性条件として解釈することも可能です(最適性条件は
を扱い,準最適性条件は
を扱っています).以下に示します:
(1.1.6)
(1.1.5)
次に, と任意の最適点
の距離
が
により上から抑えられることを示します.(1.1.2)で
として以下を得ます.
は通常の内積です.
(1.1.7)
コーシーシュワルツの不等式(文献[7]にあります)
(1.7)
(1.1.8)
ここで とは別に最適点
が存在すると仮定して(1.1.8)に代入すると以下となり,
に矛盾します.したがって(1.1.8)より(強凸関数の)最適点
はただ一つであることがわかります.
(1.1.9)
(0.1.2)
[ 1.2. 二階導関数の上界 ]
(1.1.2)はすべての について成り立つので,
(ただ一つの最適点)とすると以下を得ます.
(1.2.0) (0.2.1)
(1.1.2)
(0.1.2)
したがって劣位集合 は有界集合です(文献[8]にあります).
連続関数である 行列
の固有多項式は係数が連続関数の多項式なので,固有値は連続関数です(文献[9]にあります).したがって有界性定理(boundedness theorem)(文献[10][11]にあります)より
の最大固有値は有界閉集合
上で有界です.すなわちすべての
について以下をみたすような定数
が存在します.行列
の固有値の総和(行列
の対角成分の総和)は
以下となることを意味します.
(1.2.1)
任意の について(1.1.2)と同様に以下を得ます.
(1.2.2) テイラーの定理(文献[6])
(1.2.1)
強凸性を仮定することにより得られる不等式(1.2.2)を用いて以下の事実を示すことができます.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実2.(強凸性)
・ により
を下から抑えられる.
'--------------------------------------------------------------------------------------------------------------------------------------------
(1.2.2)の左辺を ,右辺を(1.1.3)で求めた
の
を
と置き換えたものを用いて両辺を最小化すると以下を得ます.これは(1.1.5)に対応するものです.
(1.2.3)
[ 1.3. 劣位集合の条件数 ]
強凸性を仮定したことにより得られる不等式(1.1.1)(1.2.1)より以下を得ます.
(1.3.1)
強凸性を仮定することにより得られる不等式(1.3.1)を用いて以下の事実を示すことができます.条件数の定義は,冒頭の過去記事(凸集合の条件数)にあります.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実3.(強凸性)
・ により
-劣位集合
の条件数を上から抑えられる.
・ により 行列
の条件数(最大固有値と最小固有値の比)を上から抑えられる.
・ は
が
に近いとき中心
の楕円で近似できる.
'--------------------------------------------------------------------------------------------------------------------------------------------
(1.3.1)が成り立つときの の条件数の上界を導出します.
中心点 の球を二つ定義します.
より
です.
(1.3.2)
(1.3.3)
強凸性を仮定することにより得られる不等式(1.1.2)(1.2.2)で として以下を得ます.
(1.3.4)
左側の不等式について考えます.
(1.3.5)
(1.3.3)
右側の不等式について考えます.
(1.3.6)
とします.
(1.3.7)
(1.3.6)
対偶をとって が示せたので以下を得ます.
(1.3.8)
したがって(1.3.5)(1.3.8)をまとめると以下を得ます.
(1.3.9)
冒頭の過去記事(連続関数の劣位集合)事実1.より は凸集合です.
の条件数
は二つの球
の半径の二乗の比により上から抑えられます:
(1.3.10) 冒頭の過去記事(凸集合の条件数)(1.4)
(1.3.2)(1.3.3)(1.3.9)
次に,行列 の最適点
における条件数
の幾何的解釈を考えます.テイラーの定理より
を
のまわりで展開して以下を得ます.
(1.3.11)
に近い
において劣位集合
は以下となります.
(1.3.12)
(1.3.11)
(文献[12]にあります)
すなわち, に近い
において
は中心点
の楕円により精度よく近似できます.したがって条件数は以下となります.
(1.3.13) 冒頭の過去記事(凸集合の条件数)(1.9)
冒頭の過去記事(凸集合の条件数)事実.
(1.3.10)
以上の結果(1.3.13)より,行列 の条件数,すなわち最大固有値と最小固有値の比,の上界は
であることがわかります.
[ 1.4. 強凸性の定数 ]
定数 は通常は未知のパラメータなので,実際には(1.1.6)を収束判定として用いることはできません.それは勾配
が十分小さい
のとき,
と
の差が小さい,という概念的な収束判定条件です.
よりも十分小さくなるような十分小さい
をとり,
のときに アルゴリズムを止めるとき,
となります.
[ 1.5. まとめ ]
制約なし凸最適化問題の目的関数に強凸を仮定することの意味をまとめます.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実.(強凸性)(再掲)
・ により
を上から抑えられる.(点
の準最適性)
・ により
を下から抑えられる
・ により
を上から抑えられる.
・最適点 はただ一つに定まる
・ により
-劣位集合
の条件数を上から抑えられる.
・ により 行列
の条件数(最大固有値と最小固有値の比)を上から抑えられる.
・ は
が
に近いとき中心
の楕円で近似できる.
'--------------------------------------------------------------------------------------------------------------------------------------------
=================================================================================
以上,制約なし凸最適化問題の目的関数に強凸性を仮定することの意味について考えてみました.
参考文献
[1] Boyd, S., and Vandenberghe, L. (2004), Convex Optimization, Cambridge University Press.
[2] 東京大学 松島慎先生のノート https://ml.c.u-tokyo.ac.jp/wp-content/uploads/2020/05/optimization.pdf
[3] University of Washington Jim Burke先生のノート https://sites.math.washington.edu/~burke/crs/516/notes/ch1.pdf
[4] Wikipedia Closed convex functionのページ https://en.wikipedia.org/wiki/Closed_convex_function
[5] Wikipedia Boundary (topology)のページ https://en.wikipedia.org/wiki/Boundary_(topology)
[6] Wikipedia Taylor's theoremのページ https://en.wikipedia.org/wiki/Taylor%27s_theorem
[7] Wikipedia Cauchy Schwarz inequalityのページ https://en.wikipedia.org/wiki/Cauchy%E2%80%93Schwarz_inequality
[8] Wikipedia Bounded setのページ https://en.wikipedia.org/wiki/Bounded_set
[9] Mathematics Stack Exchange https://math.stackexchange.com/questions/556137/eigenvalues-are-continuous
[10] Wikipedia Extreme value theoremのページ https://en.wikipedia.org/wiki/Extreme_value_theorem
[11] Mathematics Stack Exchange https://math.stackexchange.com/questions/881564/multivariable-version-of-the-extreme-value-theorem
[12] Wikipedia Invertible matrixのページ https://en.wikipedia.org/wiki/Invertible_matrix