弱双対性の幾何的な解釈と,凸最適化問題における強双対性とスレーターの条件の幾何的な解釈をまとめる
本記事は以下の過去記事の内容を用います.
ラグランジュ関数,ラグランジュ双対問題,最適性条件(KKT条件)のあらすじをまとめる - エンジニアを目指す浪人のブログ
内部と相対的内部の違いについて考える - エンジニアを目指す浪人のブログ
勉強を進めていて,最適化問題における弱双対性と強双対性の幾何的解釈について重要に感じたので,その内容をまとめておくことにしました.Boyd and Vandenberghe(2004)の5章3節をベースにしています.
=================================================================================
目次
0. 準備
1. 弱双対性の幾何的な解釈
1.1. 関数の値域による方法
1.2. 関数のエピグラフによる方法
2. 凸最適化問題の強双対性
2.1. スレーターの条件
2.2. 証明と幾何的な解釈
[ 0. 準備 ]
冒頭の過去記事(ラグランジュ関数)の内容を必要とします.
同記事にある標準的な最適化問題を再掲します. です.
(0.1)
同じく同記事にある凸最適化問題を再掲します.目的関数と不等式制約関数 は凸関数,等式制約関数はアフィン関数です.
(0.2)
(あるいは と書く)
以下の記号を準備します.
(0.3)
(0.4)
(0.5)
[ 1. 弱双対性の幾何的な解釈 ]
弱双対性の幾何的な解釈を二つの方法について示します.
[ 1.1. 関数の値域による方法 ]
不等式制約関数,等式制約関数,目的関数のとりうる値の集合を以下とします.
(1.1.1)
最適化問題(0.1)の最適値 とラグランジュ双対関数 は を用いて以下で表現できます.
(1.1.2)
(1.1.3)
冒頭の過去記事(ラグランジュ関数)(1.4)
この下限 が有限のとき以下の不等式を得ます. の支持超平面(supporting hyperplane)です(文献[2]にあります).法線ベクトル(normal vector)の最後の項が であり非零なので,垂直でない(nonvertical)支持超平面ということもあります.
(1.1.4)
ここで以下を仮定します.
(1.1.5)
すると弱双対性を得ます.
(1.1.6) (1.1.2)
(1.1.5)
(1.1.3)
ここまでの関数の値域による解釈を,不等式制約一つのみのときの簡単な問題について以下に示します.
'--------------------------------------------------------------------------------------------------------------------------------------------
Figure 5.3 の解釈のメモ
・実線は支持超平面(直線)
・ なので支持超平面(直線)は右下がり(あるいは水平)
・ を決めると支持超平面の傾き が決まる
・支持超平面を と接するようにとれば切片 も決まる
・(1.1.4)からもわかるように支持超平面の法線ベクトル と点 は支持超平面に対して同じ方向を向く
・(1.1.2)からもわかるように は における の最小値である
'--------------------------------------------------------------------------------------------------------------------------------------------
'--------------------------------------------------------------------------------------------------------------------------------------------
Figure 5.4 の解釈のメモ
・ は(見た目で明らかに)凸集合ではない
・ のなかから3つ を選んで図示している
・支持超平面(直線)のうち 軸の切片が最大となるとき
・その最大の切片が
・双対ギャップ なので,強双対性は成り立たない
・ が凸集合ならば強双対性 が成り立ちそうに思える
'--------------------------------------------------------------------------------------------------------------------------------------------
[ 1.2. 関数のエピグラフによる方法 ]
集合 を定義します. は 上のすべての点を含むので, のエピグラフの一種と考えることができます.
(1.2.1)
最適化問題(0.1)の最適値 は を用いて以下で表現できます.
(1.2.2) (1.1.2)
ここで以下を仮定します.
(1.2.3)
このときラグランジュ双対関数は以下です.
(1.2.4) (1.1.3)
(1.2.3)
この下限 が有限のとき以下の不等式を得ます. の支持超平面です.
(1.2.5)
は集合の境界(boundary)です(文献[3]にあります).以下の弱双対性を得ます.
(1.2.6) (1.2.2)
(1.2.7)
(1.2.5)(1.2.6)
強双対性 が成り立つための必要十分条件は,ある について(1.2.7)の等号が成り立つ,すなわち境界上の点 で の垂直でない支持超平面が存在することです.
ここまでのエピグラフによる解釈を,不等式制約一つのみのときの簡単な問題について以下に示します.
[ 2. 凸最適化問題の強双対性 ]
[ 2.1. スレーターの条件 ]
冒頭の過去記事(ラグランジュ関数)にある事実を再掲します. は集合の相対的内部(relative interior)です(冒頭の過去記事(内部と相対的内部)にあります).式番号は変更しています.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実.(再掲)
主問題(0.1)が凸最適化問題であるとき,すなわち(0.2)であるとき,つぎのスレーターの条件(Slater's condition)が成り立つならば,強双対性が成り立つ.
スレーターの条件
以下が成り立つような が存在する.
(2.1.1)
'--------------------------------------------------------------------------------------------------------------------------------------------
[ 2.2. 証明と幾何的な解釈 ]
いくつか仮定します.
'--------------------------------------------------------------------------------------------------------------------------------------------
仮定.
集合 は空集合でない内部を持つ,すなわち以下が成り立つ.
(2.2.1)
行列 は行フルランク,すなわち以下が成り立つ.
(2.2.2)
最適値は有限,すなわち以下が成り立つ.
(2.2.3)
'--------------------------------------------------------------------------------------------------------------------------------------------
スレーターの条件は凸最適化問題における強双対性を保証することを証明します.
凸最適化問題ならば は凸集合です.凸集合 を以下で定義します.
(2.2.4)
と仮定します. なので です. なので です.これは が主問題の最適値であることに矛盾します.したがって以下が成り立ちます.
(2.2.5)
分離超平面定理(separating hyperplane theorem)(文献[4]にあります)より,以下をみたす が存在します.
(2.2.6)
(2.2.7)
ここで(2.2.6)より を得ます.(そうでないと は 上でいくらでも小さくなってしまう)(2.2.7)は単に なので したがって を得ます.これらをあわせて以下を得ます.
(2.2.8)
を仮定します.(2.2.8)より以下を得ます.
(2.2.9)
これと弱双対性 より です.したがって のとき強双対性 が成り立ちます.
を仮定します.(2.2.8)より以下を得ます.
(2.2.10)
事実.(再掲)(スレーターの条件)
と より です.(2.2.10)は以下となります.
(2.2.11)
ここで であり事実.(再掲)と(2.2.1)より なので,(2.2.11)より でない限り が成り立ちます.したがって でなければなりませんがこれは が列フルランクであることすなわち(2.2.2)に矛盾します.したがって であり,分離超平面は垂直にはなりません.
ここまでの強双対性の証明の幾何的解釈を,不等式制約一つのみのときの簡単な問題について以下に示します.
'--------------------------------------------------------------------------------------------------------------------------------------------
Figure 5.5 の解釈のメモ
・ なので支持超平面(直線)は右下がり(あるいは水平)
・ (と ) は凸集合
・ と を分離する超平面は 点 での の支持超平面
・スレーターの条件は支持超平面を垂直でないものにする(すなわち法線ベクトルを にする)という意味がある
'--------------------------------------------------------------------------------------------------------------------------------------------
=================================================================================
以上,弱双対性の幾何的な解釈と,凸最適化問題における強双対性とスレーターの条件の幾何的な解釈をまとめました.
参考文献
[1] Boyd, S., and Vandenberghe, L. (2004), Convex Optimization, Cambridge University Press.
[2] Wikipedia Supporting hyperplane のページ https://en.wikipedia.org/wiki/Supporting_hyperplane
[3] Wikipedia Boundary (topology) のページ https://en.wikipedia.org/wiki/Boundary_(topology)
[4] Wikipedia Hyperplane separation theorem のページ https://en.wikipedia.org/wiki/Hyperplane_separation_theorem