5.2 比例賭けの最適性
例 5.1.5 では二つの配分を比べただけだった.X上の賭け金の配分は|X| −1個の自由度をもつので,比べる相手はいくらでもある.本節はそのすべてを見渡して倍加率を最大にする配分を決める.答えは比例賭け(定義 5.1.3),すなわち自分が信じている確率をそのまま配分にしたものであり,最大を与える配分はそれだけである.しかも同じ計算から,比例賭けを離れたときに何をどれだけ損するのかまで出る.道具は第1章の情報不等式(定理 1.6.1)ただ一つで足りる.
最大を与える配分
定理 5.2.1. Xを有限アルファベット,𝑜をX上のオッズ,𝑏をX上の賭け金の配分(どちらも定義 5.1.1),𝑝をX上のすべての𝑥 ∈Xで正な分布とする.このとき
𝑊(𝑝,𝑜,𝑝)−𝑊(𝑏,𝑜,𝑝)=𝐷(𝑝‖𝑏)である.とくに𝑊(𝑏,𝑜,𝑝) ≤𝑊(𝑝,𝑜,𝑝)であり,等号が成り立つのは𝑏 =𝑝のとき,かつそのときに限る.
証明. 二つの倍加率の差をとる.定義 5.1.3 より
𝑊(𝑝,𝑜,𝑝)−𝑊(𝑏,𝑜,𝑝)=∑𝑥𝑝(𝑥)(log(𝑝(𝑥)𝑜(𝑥))−log(𝑏(𝑥)𝑜(𝑥)))=∑𝑥𝑝(𝑥)log𝑝(𝑥)𝑏(𝑥)である.ここで𝑝(𝑥) >0,𝑏(𝑥) >0,𝑜(𝑥) >0だからどの対数も有限の値をとり,オッズの項log𝑜(𝑥)は引き算で消える.右辺は分布𝑝と分布𝑏の相対エントロピー𝐷(𝑝 ‖ 𝑏)にほかならない(定義 5.1.1 より𝑏はX上の分布である).これで等式が示された.
不等式と等号条件は等式から出る.定理 1.6.1 より𝐷(𝑝 ‖ 𝑏) ≥0であり,等号は𝑝 =𝑏のとき,かつそのときに限る.よって𝑊(𝑏,𝑜,𝑝) ≤𝑊(𝑝,𝑜,𝑝)であり,等号が成り立つのは𝑏 =𝑝のとき,かつそのときに限る.◼
最大を与える配分にオッズは現れない. 定理 5.2.1 の等号条件は𝑏 =𝑝であって,そこにオッズ𝑜は現れない.証明でオッズの項が引き算で消えたのがその理由で,オッズは倍加率の値そのものは動かすものの,どの配分が最大を与えるかには関わらない.胴元がどんなオッズをつけていようと,賭け手は自分の信じる確率どおりに資産を割ればよいということである.ただし最大を与えるのは真の分布𝑝に一致する配分であって,𝑝と違う分布を信じて割れば,そのぶんは取り逃がす.いくら取り逃がすかも定理 5.2.1 の等式が測っており,次にそれを読む.例 5.1.4 のオッズと例 5.1.5 のオッズはまったく違い,同じ比例賭けに対する倍加率も0と0.2780…で違うが,最大を与える配分はどちらでも𝑏 =𝑝である.この比例賭けは Kelly の基準として知られている.
損の側から読む. 定理 5.2.1 の等式は,比例賭けから配分𝑏に変えたときの倍加率の落ち込みが,ちょうど𝐷(𝑝 ‖ 𝑏)だと言っている.第1章 1.6 節では相対エントロピーを「𝑞だと思い込んで符号化したために余計に払う符号長」と読んだが,ここでは「𝑏だと思い込んで賭けたために取り逃がす倍加率」になる.符号長では損が支払いとして出ていき,賭けでは損が稼ぎ損ねとして現れる.どちらも「思い込みで得をすることはない」という同じ一つの不等式の姿である.
例 5.2.2(比例賭けからずらす). 例 5.1.5 の設定,すなわちX ={1,2},𝑝(1) =0.8,𝑝(2) =0.2,𝑜(1) =𝑜(2) =2で,配分𝑏(1) =0.9,𝑏(2) =0.1をとる.このとき𝑊(𝑏,𝑜,𝑝) =0.2140…であり,比例賭けとの差𝑊(𝑝,𝑜,𝑝) −𝑊(𝑏,𝑜,𝑝)は0.0640…で,定理 5.2.1 の等式のとおり𝐷(𝑝 ‖ 𝑏)に一致する.
証明. 定義 5.1.3 より𝑊(𝑏,𝑜,𝑝) =0.8log(0.9 ⋅2) +0.2log(0.1 ⋅2) =0.8log1.8 +0.2log0.2であり,log1.8 =0.8479…,log0.2 = −2.3219…だから0.6783… −0.4643… =0.2140…である.例 5.1.5 より𝑊(𝑝,𝑜,𝑝) =0.2780…なので差は0.0640…になる.一方𝐷(𝑝 ‖ 𝑏) =0.8log0.80.9 +0.2log0.20.1 =0.8 ⋅( −0.1699…) +0.2 ⋅1 =0.0640…で,二つは一致する.◼
例 5.2.2 のずらし方は,1番の馬をわずかに買いすぎただけである.それでも倍加率は0.0640…だけ落ちる.落ちる量は,第1章 1.6 節で相対エントロピーとして測った量そのものである.そして定理 5.2.1 の等号条件により,この落ち込みが消えるのは𝑏 =𝑝のときに限る.
例 5.2.3(ずらすと倍加率が負になる). X ={1,2},𝑝(1) =0.8,𝑝(2) =0.2,𝑜(1) =1.2,𝑜(2) =6とする.比例賭けの倍加率は𝑊(𝑝,𝑜,𝑝) =0.0054…で正だが,一様な配分𝑏(1) =𝑏(2) =1/2の倍加率は−0.2725…で負である.
証明. 定義 5.1.3 より𝑊(𝑝,𝑜,𝑝) =0.8log(0.8 ⋅1.2) +0.2log(0.2 ⋅6) =0.8log0.96 +0.2log1.2である.log0.96 = −0.0588…,log1.2 =0.2630…だから,値は−0.0471… +0.0526… =0.0054…になる.一様な配分では𝑊(𝑏,𝑜,𝑝) =0.8log(0.5 ⋅1.2) +0.2log(0.5 ⋅6) =0.8log0.6 +0.2log3であり,log0.6 = −0.7369…,log3 =1.5849…だから−0.5895… +0.3169… = −0.2725…である.◼
例 5.2.3 のオッズは,勝ちにくい2番の馬に6倍という大きな戻りをつけている.それに釣られて2番を買い増すと,定理 5.2.1 のとおり倍加率は比例賭けより下がり,しかもこの例では正から負に転じる.倍加率が正であるか負であるかで資産の長時間のふるまいが分かれることは,5.5 節で見る.
そもそも,倍加率という尺度で配分を比べることの根拠はどこにあるのか.別の尺度をとれば答えも変わる.
例 5.2.4(資産の期待値で選ぶと別の配分になる). 例 5.1.5 の設定,すなわちX ={1,2},𝑝(1) =0.8,𝑝(2) =0.2,𝑜(1) =𝑜(2) =2とし,勝ち馬𝑋1が分布𝑝に従うとする.1レース後の資産の期待値𝔼[𝑆1(𝑏)]は,例 5.2.2 の配分𝑏(1) =0.9,𝑏(2) =0.1については1.48,比例賭けについては1.36,配分𝑏(1) =0.99,𝑏(2) =0.01については1.588である.三つめの配分の倍加率は𝑊(𝑏,𝑜,𝑝) = −0.3403…で負である.
証明. 定義 5.1.2 で𝑛 =1とすると𝑆1(𝑏) =𝑏(𝑋1) 𝑜(𝑋1)だから,𝔼[𝑆1(𝑏)] =∑𝑥𝑝(𝑥) 𝑏(𝑥) 𝑜(𝑥)である.例 5.2.2 の配分では0.8 ⋅0.9 ⋅2 +0.2 ⋅0.1 ⋅2 =1.44 +0.04 =1.48,比例賭けでは0.8 ⋅0.8 ⋅2 +0.2 ⋅0.2 ⋅2 =1.28 +0.08 =1.36,三つめの配分では0.8 ⋅0.99 ⋅2 +0.2 ⋅0.01 ⋅2 =1.584 +0.004 =1.588である.三つめの倍加率は定義 5.1.3 より0.8log(0.99 ⋅2) +0.2log(0.01 ⋅2) =0.8log1.98 +0.2log0.02であり,log1.98 =0.9855…,log0.02 = −5.6438…だから0.7884… −1.1287… = −0.3403…になる.◼
例 5.2.2 と例 5.2.4 は同じ二つの配分を別の尺度で比べていて,順位が逆になっている.三つめの配分はそのずらし方をさらに押し進めたもので,1番の馬にほとんど全額を寄せると,1レースの資産の期待値は三つの中でいちばん大きくなる一方,倍加率は負に落ちる.どちらの尺度で配分を選ぶべきかは 5.5 節で決着する.長く賭け続けたときの資産の増え方を確率1で支配するのは,1レースの期待値ではなく倍加率のほうだからである.
なお,馬をいくつもの投資先に,オッズを価格の比に置き換えれば,資産をどう割るかという同じ形の問いが株式の運用についても立てられる.本書ではポートフォリオ理論の章で扱う.
InformationTheory — 形式化検証つき情報理論教科書(レビュー版).数式は MathJax + AMS Euler で事前レンダリング.