凸最適化問題の等式制約の除去についてまとめる
本記事は以下の過去記事の内容を用います.
ラグランジュ関数,ラグランジュ双対問題,最適性条件(KKT条件)のあらすじをまとめる - エンジニアを目指す浪人のブログ
ムーア・ペンローズ逆行列による連立一次方程式の解表現について考える - エンジニアを目指す浪人のブログ
勉強を進めていて,凸最適化問題の等式制約を除去する方法について面白く感じたので,その内容をまとめておくことにしました.Boyd and Vandenberghe(2004)の4章1節(の3の一部),4章2節(の4の一部),10章1節(の2の一部)をベースにしています.
=================================================================================
目次
0. 準備
1. 一般の等式制約の除去
2. 線形等式制約の除去
3. 線形制約を除去する行列の選択
[ 0. 準備 ]
問題を設定するため,いくつか準備をします.
標準的な(凸でなくてもよい)最適化問題は,冒頭の過去記事(ラグランジュ関数)[ 0. 準備 ](0.1)にあります.再掲します.
(0.1)
行列 の列空間(値域)を とします(冒頭の過去記事(ムーア・ペンローズ逆行列による連立一次方程式)では を用いています).
行列 の零空間(核)を とします(冒頭の過去記事(ムーア・ペンローズ逆行列による連立一次方程式)では を用いています).
[ 1. 一般の等式制約の除去 ]
はじめに一般の等式制約の除去について考えます.
(1.1)
等式制約(1.1)のすべての解をパラメータ で表現できるとき,以下で説明するように等式制約を除去することができます.つぎの関数を考えます.
(1.2)
(1.3)
この変換した問題は変数 , 本の不等式制約からなり,等式制約はありません. が変換した問題(1.3)の最適点ならば, は元の問題(0.1)の最適点です.逆に, が元の問題(0.1)の最適点ならば,( は実行可能であり(1.1)をみたすので(1.2)より) となる が少なくとも一つ存在します.任意のそのような は変換した問題(1.3)の最適点です.
[ 2. 線形等式制約の除去 ]
つぎに線形等式制約の除去について考えます. 行列 とします.凸最適化問題は等式制約が線形でなければなりません(冒頭の過去記事(ラグランジュ関数)[ 0. 準備 ](0.8)にあります).
(2.1)
等式制約(1.1)がすべて線形,すなわち(2.1)のとき,変数を除去する過程はより明示的に記述でき,数値的に容易に実行できます.(2.1)が解を持たない,すなわち のとき,元の問題(0.1)は実行不可能です.そうではなく(2.1)が解を持つ,すなわち のときを考えます. を等式制約 の解とします.つぎに となる 行列 とします.すると連立一次方程式(2.1)の一般解は です.
(冒頭の過去記事(ムーア・ペンローズ逆行列による連立一次方程式)の内容を用います. はそれぞれ同記事定理 6.3.の に対応するものと考えることができます.)
( のとき は 行列であり,このとき を列フルランクすなわち に選ぶことができます.)
を元の問題(0.1)に代入して得る変数 についての以下の最適化問題は元の問題(0.1)に等価であり,等式制約はありません.目的関数と不等式制約関数 が凸関数のとき,アフィン関数と凸関数の合成は凸関数なので(文献[2]にあります),この問題は(元問題と同様に)凸最適化問題です.
(2.2)
が行フルランクであれば,変数の数よりも等式制約の方程式の数の方が少なく,等式制約はそれぞれ独立です.ここまでの内容より,以下の事実が成り立ちます.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実.
が行フルランク,すなわち のとき, 行列 の列を の基底とすることで, となる列フルランクの をとることができる.このとき以下が成り立つ.
'--------------------------------------------------------------------------------------------------------------------------------------------
[ 3. 線形制約を除去する行列の選択 ]
は行フルランクとします. となる 行列 は多くの選択があります. をそのような行列の一つ, 行列 を正則とすると, は以下をみたす行列です.
(3.1)
逆に, が(3.1)をみたすとき, をみたす正則行列 が存在します.
簡単のため,不等式制約がない場合を考えます.線形変換を導入すると最適化問題(2.2)は以下の等価な問題に変換できます.いいかえると,行列 を変換することは最適化問題を変数変換することであるといえます.
(3.2)
(3.3)
=================================================================================
以上,凸最適化問題の等式制約の除去についてまとめました.
参考文献
[1] Boyd, S., and Vandenberghe, L. (2004), Convex Optimization, Cambridge University Press.
[2] Wikipedia Convex function のページ https://en.wikipedia.org/wiki/Convex_function