このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]今回は、「情報経路のモデル化」を探ってみよう。[br]せっかく効率的な情報源のモデルで効率的に情報を出しても、[br]通信先に正確に伝わるとは限りません。[br]通信経路に雑音が入ることはありうることです。

入力X、出力Yをつなぐのが通信路（経路）です。[br]通信経路の正確さは確率を並べた行列を使って表せます。[br]X={{1},{0}}の入力符号列ベクトルを[br]Y={{1},{0}}の出力符号列ベクトルに変換する[br]「[b]確率行列が経路モデル[/b]」です。[br][size=200][color=#0000ff]行列のi行j列の要素をp(yj|xi)[br][/color][size=100]に[/size][/size]するのです。[br][br][b][size=150]＜2元対称通信路＞[br][br][/size][/b]美しく間違えるモデルがあります。[br]2元対称通信路（BSC：binary symmetric channel)です。[br]正反対の符号に間違える確率が[br][b]p(1|0)=p(0|1)=ε[/b]で、[br]正しく送る確率が[br][b]p(0|0)=p(1|1)=1-ε[/b]と[br][color=#0000ff]「[b]美しく[/b]」間違えます[/color]。[br]行列の[b]対角成分[/b]が[b]1-ε[/b]ですね。[br][color=#0000ff][b][size=200]εは間違える方なので、[/size][/b][/color][b][color=#0000ff][size=200]誤り率[/size][/color][/b]です。[br][br]状態遷移図の通信バージョンとして、[br]送信側を左、受信側を右にして、符号要素０，１を上下におき、[br]４つのノードをかきます。[br]そうすると、ノードを結ぶ辺が確率になります。[br]グラフは4点4辺の砂時計型の[br]対称形になり、辺（確率）も左右対称、上下対称の美しい図形になりますね。[br][br][color=#9900ff][b][u][size=150]課題：BSCをgeogebraで視覚化しよう。[br][/size][/u][/b][/color][br]タイトルは「BSCの視覚化」[br]E1=(-3,3)#見出しは「１」[br]E2=(-3,-3)#見出しは「０」[br]R1=(3,3)#見出しは「１」[br]R2=(3,-3)#見出しは「０」[br]v11=Vector(E1,R1) #見出しは[1-ε]で、青[br]v12=Vector(E1,R2) #見出しは[ε]で、赤[br]v22=Vector(E2,R2) #見出しは[1-ε]で、青[br]v21=Vector(E2,R1) #見出しは[ε]で、赤[br]e=slider(0.1,0.9,0.1) #εの設定[br]Mat={{1-e,e},{e,1-e}}[br]text1="BSC通信路行列は"+Mat+""　#テキストをクリックしてLaTex数式をOn[br][br]

[size=150][b]＜消失通信路＞[br][/b][/size][br]記号X={0,1}の入力が、[br]出力で0,1以外のe(消失）に起きかわる可能性がある通信路が[br]消失通信路です。[br]たとえば、[br][b]p(1|0)=p(0|1)=0,[br]p(e|0)=p(e|1)=ε,[br]p(0|0)=p(1|1)=1-ε[br][/b]だとすると、正しい通信以外は消失してしまってます。[br][br][color=#9900ff][b][u][size=150]課題：消失通信路をgeogebraで視覚化しよう。[br][/size][/u][/b][/color][br]タイトルは「BSCの視覚化」[br]E1=(-3,3)#見出しは「１」[br]E2=(-3,-3)#見出しは「０」[br]R1=(3,3)#見出しは「１」[br]R2=(3,-3)#見出しは「０」[br]R3=(3,0)#見出しは「e」[br]v11=Vector(E1,R1) #見出しは[1-ε]で、青[br]v13=Vector(E1,R3) #見出しは[ε]で、赤[br]v22=Vector(E2,R2) #見出しは[1-ε]で、青[br]v23=Vector(E2,R3) #見出しは[ε]で、赤[br]e=slider(0.1,0.9,0.1) #εの設定[br]#3列目をeの項とします。[br]Mat={{1-e,0,e},{0,1-e,e}}[br]text1="消失通信路行列p(Y|X)は"+Mat+""　#テキストをクリックしてLaTex数式をOn[br]

[b][size=150]＜4元対称通信路＞[br][/size][/b][br]対称通信路を2元でなく4元にすることもできます。[br]たとえば、[br]符号が１増える誤りはあり得る。[br]ただし、要素がリング状（巡回群）に並んでいるため、３は１増やすと０として設定します。[br]他の誤りはなしとしましょう。[br][br]p(1|0)=p(2|1)=p(3|2)=p(0|3)=ε,[br]p(0|0)=p(1|1)=p(2|2)=p(3|3)=1-ε,[br]p(2|0)=p(3|0)=p(0|1)=p(3|1)=p(0|2)=p(1|2)=p(1|3)=p(2|3)=0,[br][br]課題：4元対称通信路をgeogebraで視覚化しよう。[br][br]タイトルは「4元対称通信路の視覚化」[br]E1=(-2,3)#見出しは「3」[br]E2=(-2,1)#見出しは「2」[br]E3=(-2,-1)#見出しは「1」[br]E4=(-2,-3)#見出しは「0」[br]R1=(2,3)#見出しは「3」[br]R2=(2,1)#見出しは「2」[br]R3=(2,-1)#見出しは「1」[br]R4=(2,-3)#見出しは「0」[br]v11=Vector(E1,R1) #見出しは[1-ε][br]v21=Vector(E2,R1) #見出しは[ε][br]v22=Vector(E2,R2) #見出しは[1-ε][br]v32=Vector(E3,R2) #見出しは[ε][br]v33=Vector(E3,R3) #見出しは[1-ε][br]v43=Vector(E4,R3) #見出しは[ε][br]v44=Vector(E4,R4) #見出しは[1-ε][br]v14=Vector(E1,R4) #見出しは[ε][br]e=slider(0.1,0.9,0.1) #εの設定[br]Mat={{1-e,e,0,0},{0,1-e,e,0},{0,0,1-e,e},{e,0,0,1-e}}[br]text1="4元通信路行列p(Y|X)は"+Mat+""

[size=150][b]＜いろいろな通信容量を求めよう＞[/b][/size][br][br]通信路の容量Cは[b]相互情報量の最大値[/b]とします。[br]つまり、[br][b][color=#0000ff][size=200]C＝maxI(X;Y）[br][/size][/color][/b]で定義します。[br][br][b]無記憶で雑音もない[/b]2元通信路、つまり、[br][b]p(1|0)=p(0|1)=0,[br]p(0|0)=p(1|1)=1[br][/b]を考えましょう。Y=Xとなり、無記憶だとH(X|Y)=0[br]I(X;Y)=H(X)-h(X|Y)=H(X)はXの確率が一様p(0)=p(1)=1/2のよき最大値１だから、[br][b]C=maxI(X;Y)=1[br][/b]です。[br][b]雑音のある[/b]通信路、たとえば、[br][b]p(1|0)=p(1|0)=1/2,[br]p(3|1)=p(2|1)=1/2[br][/b]とします。[br]出力から入力が逆算できますから[b]H（X|Y)=0[/b]なので、Xの確率が一様ならさっきと同じになり、[br][b]C=1[br][/b]になりますね。[br][br][b][size=150]＜BSCの通信容量＞[/size][/b][br]１でみた2元対称通信路の容量はどうなるでしょうか。[br][b]p(1|0)=p(0|1)=ε,[br]p(0|0)=p(1|1)=1-ε[br][/b]としていました。[br][color=#0000ff]I(X;Y)=H(Y)-H(Y|X)=H(Y)-Σp(x)[b]H(Y|X=x)[br][/b]=H(Y)-Σp(x)h(ε) [「[/color][b]h(ε)は[/b][size=150][b]取り違えのエントロピー（環境ノイズ）[/b][/size][color=#0000ff]」と同じだからH(Y|X=x)=h(ε)です。[br]　送信側が X=0を送ろうが X=1を送ろうが、[br]　通信路が起こす「エラーの不確実性（環境ノイズ）」は常に一定だからですね。][br][br]=H(Y)-h(ε)Σp(x) [xからすると、eは定数だからΣの外に出せます][br]=H(Y)-h(ε) [ p(0)+p(1)=1だからです。][br]≦1 - h(ε) [ Yは2元の確率変数なので、H(Y)の最大値は１です][br][/color]Xの確率が一様分布ならY=1の確率も[br]p(Y=1)=p(0)p(1|0)+p(1)p(1|1)=1/2(ε+(1-ε))=1/2[br]で、同様にp(Y=0)=1/2。[br][b]Xの一様分布がYの一様分布に伝播します[/b]ね。[br]ということは、H(Y)は１つの確率1/2=0.1(2)と同じ情報量で１で、[br]maxH(Y)の下限は１ですから、C≧1-h(ε)。[br]以上から、[br][br][color=#0000ff][b][size=200]C=1-h(ε)[br][/size][/b][/color][br]Cはエントロピー関数h(p)を上限反転させた形になるね。[br][br][b]h(p)=-plog_2(p)-(1-p)log_2(1-p)のグラフ[br][/b]を思い出そう。[br]p=1/2で最大値１、p=0,1で最小値０．p=1/2で線対称。[br]hは値域は0以上1以下だった。[br][br]だから、誤り率ε=1/2のときに、Cは最小値０となり、[br]誤り率ε=0,1のときにCの最大値１になる。[br][br][b][color=#0000ff][size=200]「完全な誤り」だと、[br]０１が逆に出力されるだけだから、[br]「完全に正しいと同じことになる」[br]というわけですね。[br][/size][/color][/b][br][color=#9900ff][b][u][size=150]課題：BSCの容量の変化を誤り率の変化でどうかわるかを視覚化してみよう。[br][/size][/u][/b][/color][br]タイトル「BSCの誤り率と容量」[br][b]e = Slider(0, 1 , 0.01) #誤り率 アニメーション[br][/b]px1 = Slider(0, 1, 0.01) #p(X=1)=0.5にすると、赤青のPが重なる。[br]px0 = 1 - px1[br]#p(Y=1)=p(0)p(1|0)+p(1)p(1|1)=px1 * e + px0 (1-e)[br]#p(Y=0)=p(0)p(0|0)+p(1)p(0|1)=px1 * (1-e)+ px0 e から、[br]py1 = px1 * e + px0 (1-e)[br]py0 = px1 * (1-e)+ px0 e[br]# 底2の対数関数（0のとき0を返す安全化処理）[br]safelog2(x) = If(x > 0, log(2, x), 0)[br]HY = -py1 safelog2(py1)-py0 safelog2(py0) #H(Y)[br][b]he = -e safelog2(e)-(1-e) safelog2(1-e) #h(e)取り違えのエントロピー（環境のノイズ）[/b][br]Ixy = HY-he #現在の相互情報量I(X;Y)[br]Cc =1- he #関数のC(x)と同名だとエラーになるので、定数としてcをつけます。[br][br]P_{capacity}=(e,Cc)　 #上限の容量で、「赤」にする[br]P_{current}=(e, Ixy) #現在の相互情報量I(X;Y)で、「青」にする。[br]h(x)=-x safelog2(x)-(1-x) safelog2(1-x) 　　#非表示[br]C(x)= 1- h(x) 　#表示する容量カーブは固定です。スライダーで変動しません。[br]I(x)= HY-h(x) 　#表示するIxyのカーブはeにもpx1にも影響されます。[br][br]#次をテキストボックスの設定に貼り付けて、LateX数式をオンにします。色を白にして、[br]#座標平面の格子が透けないようにしましょう。[br]#クリックしてオブジェクト一覧から変数名と同じものを選んで置き換えると、[br]#アニメーションに連動して数値が変わります。[br]\begin{array}{l}[br]\textbf{【BSCの通信路容量と相互情報量】} \\[0.5em][br]\text{誤り率 } \epsilon = \mathbf{e} , \quad P(X=1) = \mathbf{px1} \\[0.5em][br]\hline \\[0.5em][br]\text{受信エントロピー } H(Y) = \mathbf{HY} \; \text{bits} \\[br]\text{環境ノイズ量 } h(\epsilon) = \mathbf{he} \; \text{bits} \\[0.5em][br]\text{相互情報量 } I(X; Y) = H(Y) - h(\epsilon) = \mathbf{Ixy} \; \text{bits} \\[0.5em][br]\mathbf{\text{通信路容量 } C = 1 - h(\epsilon) = \mathbf{C} \; \text{bits}}[br]\end{array}[br][br]#さっき気づいたBSCの特徴をアニメーションで確認しよう。[br]#Cのカーブがｘ座標x=eのみで決まりp(X=1)に関係なく固定グラフになりますね。[br]#テキストボックスで詳細がわかるので、意味の確認までできますね。