5.2 比例賭けの最適性

例 5.1.5 では二つの配分を比べただけだった.上の賭け金の配分は個の自由度をもつので,比べる相手はいくらでもある.本節はそのすべてを見渡して倍加率を最大にする配分を決める.答えは比例賭け(定義 5.1.3),すなわち自分が信じている確率をそのまま配分にしたものであり,最大を与える配分はそれだけである.しかも同じ計算から,比例賭けを離れたときに何をどれだけ損するのかまで出る.道具は第1章の情報不等式(定理 1.6.1)ただ一つで足りる.

最大を与える配分

定理 5.2.1. を有限アルファベット,上のオッズ,上の賭け金の配分(どちらも定義 5.1.1),上のすべてので正な分布とする.このとき

𝑊(𝑝,𝑜,𝑝)𝑊(𝑏,𝑜,𝑝)=𝐷(𝑝𝑏)

である.とくにであり,等号が成り立つのはのとき,かつそのときに限る.

証明. 二つの倍加率の差をとる.定義 5.1.3 より

𝑊(𝑝,𝑜,𝑝)𝑊(𝑏,𝑜,𝑝)=𝑥𝑝(𝑥)(log(𝑝(𝑥)𝑜(𝑥))log(𝑏(𝑥)𝑜(𝑥)))=𝑥𝑝(𝑥)log𝑝(𝑥)𝑏(𝑥)

である.ここで𝑏(𝑥) >0だからどの対数も有限の値をとり,オッズの項は引き算で消える.右辺は分布と分布の相対エントロピーにほかならない(定義 5.1.1 より上の分布である).これで等式が示された.

不等式と等号条件は等式から出る.定理 1.6.1 よりであり,等号はのとき,かつそのときに限る.よってであり,等号が成り立つのはのとき,かつそのときに限る.

形式化: 等式 doublingRate_gap_eq_klDivPmf,不等式 doublingRate_le_proportional,等号条件 doublingRate_eq_proportional_iff (ソース)

最大を与える配分にオッズは現れない. 定理 5.2.1 の等号条件はであって,そこにオッズは現れない.証明でオッズの項が引き算で消えたのがその理由で,オッズは倍加率の値そのものは動かすものの,どの配分が最大を与えるかには関わらない.胴元がどんなオッズをつけていようと,賭け手は自分の信じる確率どおりに資産を割ればよいということである.ただし最大を与えるのは真の分布に一致する配分であって,と違う分布を信じて割れば,そのぶんは取り逃がす.いくら取り逃がすかも定理 5.2.1 の等式が測っており,次にそれを読む.例 5.1.4 のオッズと例 5.1.5 のオッズはまったく違い,同じ比例賭けに対する倍加率もで違うが,最大を与える配分はどちらでもである.この比例賭けは Kelly の基準として知られている.

損の側から読む. 定理 5.2.1 の等式は,比例賭けから配分に変えたときの倍加率の落ち込みが,ちょうどだと言っている.第1章 1.6 節では相対エントロピーを「だと思い込んで符号化したために余計に払う符号長」と読んだが,ここでは「だと思い込んで賭けたために取り逃がす倍加率」になる.符号長では損が支払いとして出ていき,賭けでは損が稼ぎ損ねとして現れる.どちらも「思い込みで得をすることはない」という同じ一つの不等式の姿である.

例 5.2.2(比例賭けからずらす). 例 5.1.5 の設定,すなわち𝑝(1) =0.8𝑝(2) =0.2で,配分をとる.このときであり,比例賭けとの差で,定理 5.2.1 の等式のとおりに一致する.

証明. 定義 5.1.3 よりであり,log1.8 =0.8479だからである.例 5.1.5 よりなので差はになる.一方で,二つは一致する.

例 5.2.2 のずらし方は,番の馬をわずかに買いすぎただけである.それでも倍加率はだけ落ちる.落ちる量は,第1章 1.6 節で相対エントロピーとして測った量そのものである.そして定理 5.2.1 の等号条件により,この落ち込みが消えるのはのときに限る.

例 5.2.3(ずらすと倍加率が負になる). X ={1,2}𝑝(1) =0.8𝑝(2) =0.2𝑜(1) =1.2とする.比例賭けの倍加率はで正だが,一様な配分の倍加率はで負である.

証明. 定義 5.1.3 よりである.log0.96 = 0.0588だから,値はになる.一様な配分ではであり,log0.6 = 0.7369だからである.

例 5.2.3 のオッズは,勝ちにくい番の馬に倍という大きな戻りをつけている.それに釣られて番を買い増すと,定理 5.2.1 のとおり倍加率は比例賭けより下がり,しかもこの例では正から負に転じる.倍加率が正であるか負であるかで資産の長時間のふるまいが分かれることは,5.5 節で見る.

そもそも,倍加率という尺度で配分を比べることの根拠はどこにあるのか.別の尺度をとれば答えも変わる.

例 5.2.4(資産の期待値で選ぶと別の配分になる). 例 5.1.5 の設定,すなわち𝑝(1) =0.8𝑝(2) =0.2とし,勝ち馬が分布に従うとする.レース後の資産の期待値は,例 5.2.2 の配分については,比例賭けについては,配分についてはである.三つめの配分の倍加率はで負である.

証明. 定義 5.1.2とするとだから,である.例 5.2.2 の配分では,比例賭けでは,三つめの配分ではである.三つめの倍加率は定義 5.1.3 よりであり,log1.98 =0.9855だからになる.

例 5.2.2例 5.2.4 は同じ二つの配分を別の尺度で比べていて,順位が逆になっている.三つめの配分はそのずらし方をさらに押し進めたもので,番の馬にほとんど全額を寄せると,レースの資産の期待値は三つの中でいちばん大きくなる一方,倍加率は負に落ちる.どちらの尺度で配分を選ぶべきかは 5.5 節で決着する.長く賭け続けたときの資産の増え方を確率で支配するのは,レースの期待値ではなく倍加率のほうだからである.

なお,馬をいくつもの投資先に,オッズを価格の比に置き換えれば,資産をどう割るかという同じ形の問いが株式の運用についても立てられる.本書ではポートフォリオ理論の章で扱う.

InformationTheory — 形式化検証つき情報理論教科書(レビュー版).数式は MathJax + AMS Euler で事前レンダリング.