汎化誤差を抑える様々な手法とその関係性(1)
今回は、二値ラベル分類の誤差解析に役立ついろいろな指標について解説していきます。
まずは、「経験ラデマッハ複雑度」です。「経験ラデマッハ複雑度」とは、関数のクラスFに対して定まる集合で、
ただし、はを満たす確率変数で、期待値はおよびについてとっています。これは、関数のクラスの「複雑度」を表す一つの指標です。
直観的には、はランダムラベルとみなすことができ、のとき関数fの当てはまりが成功しており、そうでないとき失敗しています。つまり、ラデマッハ複雑度は、どんなラベルに対しても、関数をクラスの中からうまく選べば、ある程度大きな値をとる(=当てはめることができる)ことを(大雑把には)意味しています。
これは、何に役立つかというと深層学習における汎化誤差の解析です。詳しくは述べませんが、この値を用い、「どれぐらい過学習してしまうか」を確率的に不等式で抑えることができるのです。
この「ラデマッハ複雑度」についてですが、以下の不等式が「Massartの補題」というものから成立することが知られています。(証明略)
二値仮説関数の集合をhのクラスをHとし、Hは有限集合とすると
以上のことを仮定して、growth function, VC dimension, covering numberについて、さらにそれらの関係性について説明をしていきます。まず、growth functionとは、fを二値関数としてそのset をFとすると、n個の点でと定義したとき
直観的には、n個の点をうまく選んで、fを色々変えたときのありうる結果の場合の数の最大値になります。クラスの自由度が高いほど(=複雑なほど)この数が大きくなることがわかると思います。
このgrowth functionについて、①式より
が成立します。この式より、ラデマッハ複雑度の方が汎化誤差の不等式を強く抑えることができる、ということがわかります。
続.Conditional Monte Carloの金融工学への応用
前ブログの定理の証明を書きます。
この証明のキーポイントは
(1)
という式を示すことです。実際、
が成り立つことに注意すると、(左辺はサンプルから推定したVaRボーダー、右辺は実際のVaRボーダーについての式ですね)
となり、(V~N(0, 1)です)この式を変形すれば示せます。
を連続とします。
をみたすがとの間にあります。
を広義単調減少と仮定すると、十分大きなRに対してなので
がそのRに対して成り立ちます。
この式との一致性より、
となり、(1)式が示せます。
この記事を読んだ方の中には、が与えられた中でのの条件付き分布の分位点を、R回繰り返す、という方法をとったほうがより単純にVaRを推定できるのでは?と思うかもしれません。しかし、この方法での推定値はにしてもバイアスがあります。
これはi.i.d.でN(0, 1)の例を考えれば単純で、推定値は
()
となりますが、
が正しい推定値です。
Conditional Monte Carlo法の金融工学への応用
Conditional Monte Carloの金融への応用に関する論文があったので内容を一部紹介します。
Conditional Monte Carlo(以下、CdMCと記します)とは、大雑把に言えば、「今までのシミュレーションした情報」ともとに「条件付き期待値」を求めることで期待値を推定する方法です。
この論文では、「確率変数の和の推定」という例でこの手法の利点や応用例を多く説明しています。
素朴なモンテカルロ法では、を確率変数の和と定義したとき、を推定する際は、
で推定されます。(Iは定義関数)
CdMCでは、がi.i.d.で共通の分布関数Fを持つ場合、
と推定されます。
この方法は、以下の点で優れています。
1, が固定されているときは、従来の方法より分散が小さい
2, CdMCでシミュレーションをR回繰り返しての平均を取って推定した分布関数は、従来の方法でのR回のシミュレーションを繰り返して分布関数を得るより滑らかな関数が得られる。
2番目については、累積分布関数が連続ならばその平均も連続なのであることからすぐわかります。1番目は、以下の条件付き分散に関するRao-Blackwellizationの公式
]]
によって成り立ちます。
実は、興味があるのが1の分散を減らすことだけであるならば、別の手法を用いたほうが効率がいいです。(ここでは省略します。)2の「推定される分布関数が滑らかである」ことがポイントです。
この手法を用いてVaRという、金融機関でよく使われるリスク指標を推定する方法について説明します。
の水準のはより損失値が大きくなる確率がであることを表します。
数値としてほかの定義をすることもありますが、ここでは分位点で定義します。以下、分布関数Fは連続と仮定します。
素朴なモンテカルロ法でR回シミュレーションして推測すると
と定義したときの
が推測値となります。
これは確率変数がi.i.d.である場合より複雑ですが、それでも中心極限定理のような式が成り立ち、
ただし
となることが知られています。ここでを推定するのが必要になりますが、(は密度関数です)これはとても難しいことが知られています。
しかし、CdMCを用いると、を用いることでの密度関数を推定できます。 (この推定値は、の密度関数をとしたとき、]なので不偏推定量になります)
これを使うと、以下の定理より、分散を減少させることができます。
定理
を
の解と定義する。
長くなるのでこの辺にして、証明は次回行います。