行列式の対数はその行列の凹関数であることを証明する
本記事は以下の過去記事の結果を用います.
n次元ユークリッド空間上の関数が凸であるための必要十分条件は定義域内の任意の直線上で凸であることの証明をメモする - エンジニアを目指す浪人のブログ
本記事は以下の過去記事と関連しています.
いくつかの行列の公式を証明するその3 - エンジニアを目指す浪人のブログ
勉強を進めていて,行列式(determinant)の対数が凹(concave)であることを知りました.その証明を調べてメモしておくことにしました.文献[1][2][3]を参考にしてまとめます.
問題を設定するため,いくつか準備をします.
本記事で扱う行列,ベクトルの要素はすべて実数であるとします.
記号を準備します.
単位行列
対称行列の集合
半正定値行列の集合
正定値行列の集合
凹関数の定義は文献[4]にあります.
正定値の定義は文献[5]にあります.
直交行列の定義は文献[6]にあります.
よく知られている以下の3つの事実を証明なしで用います(それぞれ例えば文献[5][7][8]にあります).
事実0.1.
あらゆる正定値行列は正則であり,逆行列もまた正定値である.
事実0.2.
事実0.3.
あらゆる実対称行列 について以下をみたすような直交行列 が存在する. は の固有値である.
あまり知られていないように思いますが,以下の事実を証明なしで用います(例えば文献[9]にあります).
事実0.4.
あらゆる正定値行列 について をみたすような正定値行列 がただ一つ存在する. を行列 の平方根行列(square root of a matrix)という.事実0.1.より の逆行列 が存在し,これも正定値である.
以上の設定のもとで,本記事の目的に進みます.
'--------------------------------------------------------------------------------------------------------------------------------------------
事実1.
以下の関数 は凹である.
証明.
である. とし,関数 とする. は行列 が正定値となる範囲に制限する.一般性を失わずに はこのような範囲に含まれるようにできることから, としてよい.
冒頭の過去記事(n次元ユークリッド空間上)定理3はベクトルではなく行列にも適用可能(証明のベクトルを行列に入れかえても成り立つ)であるので,以下の命題が成り立つ.
(a) は凹である
(b) は任意の について凹である
以降,(b)を示す.
事実0.4.
事実0.2.
事実0.2.
(※)
行列 の固有値を とする.事実0.4.より は正定値なので対称行列であり, とから は対称行列であるので,事実0.3.より以下をみたす直交行列 が存在する.
これを用いて以下を得る.
(※)
直交行列
事実0.2.
事実0.2.
直交行列
したがって は凹であり(b)が成り立つ.さらに上の命題より(a)が成り立つ.(証明終わり)
'--------------------------------------------------------------------------------------------------------------------------------------------
以上,行列式の対数はその行列の凹関数であることを証明しました.
参考文献
[1] Boyd, S., and Vandenberghe, L. (2004), Convex Optimization, Cambridge University Press.
[2] University of California, Los Angeles Quanquan Gu先生のノート https://piazza-resources.s3.amazonaws.com/is58gs5cfya7ft/itawqt5undn2bv/lecture8.pdf
[3] Mathematics Stack Exchange https://math.stackexchange.com/questions/1192329/log-determinant-concavity-proof
[4] Wikipedia Convex function のページ https://en.wikipedia.org/wiki/Convex_function
[5] Wikipedia Definiteness of a matrix のページ https://en.wikipedia.org/wiki/Definiteness_of_a_matrix
[6] Wikipedia Orthogonal matrix のページ https://en.wikipedia.org/wiki/Orthogonal_matrix
[7] Wikipedia Determinant のページ https://en.wikipedia.org/wiki/Determinant
[8] Wikipedia Symmetric matrix のページ https://en.wikipedia.org/wiki/Symmetric_matrix#Real_symmetric_matrices
[9] Wikipedia Square root of a matrix のページ https://en.wikipedia.org/wiki/Square_root_of_a_matrix