離散無記憶通信路の達成可能性とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 離散無記憶通信路の達成可能性の意味・解説 

離散無記憶通信路の達成可能性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/09 22:52 UTC 版)

シャノンの通信路符号化定理」の記事における「離散無記憶通信路の達成可能性」の解説

この達成可能性の証明は、漸近等分配性(英語版)(AEP)を利用する証明スタイルに従う。他のスタイルとして、誤り指数英語版)を用い情報理論教科書もある。 どちらのタイプの証明でも、通信路通じて使用される符号表ランダムに構成されているランダム符号化論法を使う。これを用いることで解析簡単になるが、それでもなお通信路容量以下の任意のデータレートにおいて、誤り率が望むままに小さ符号存在することを証明できるAEP関連議論により、与えられ通信路について、長さ n {\displaystyle n} の情報源シンボル系列を X 1 n {\displaystyle X_{1}^{n}} 、長さ n {\displaystyle n} の通信路出力系列Y 1 n {\displaystyle Y_{1}^{n}} とするとき、同時典型集合(jointly typical set)を以下のように定義できる。 A ε ( n ) = { ( x n , y n ) ∈ X n × Y n {\displaystyle A_{\varepsilon }^{(n)}=\{(x^{n},y^{n})\in {\mathcal {X}}^{n}\times {\mathcal {Y}}^{n}} 2 − n ( H ( X ) + ε ) ≤ p ( X 1 n ) ≤ 2 − n ( H ( X ) − ε ) {\displaystyle 2^{-n(H(X)+\varepsilon )}\leq p(X_{1}^{n})\leq 2^{-n(H(X)-\varepsilon )}} 2 − n ( H ( Y ) + ε ) ≤ p ( Y 1 n ) ≤ 2 − n ( H ( Y ) − ε ) {\displaystyle 2^{-n(H(Y)+\varepsilon )}\leq p(Y_{1}^{n})\leq 2^{-n(H(Y)-\varepsilon )}} 2 − n ( H ( X , Y ) + ε ) ≤ p ( X 1 n , Y 1 n ) ≤ 2 − n ( H ( X , Y ) − ε ) } {\displaystyle {2^{-n(H(X,Y)+\varepsilon )}}\leq p(X_{1}^{n},Y_{1}^{n})\leq 2^{-n(H(X,Y)-\varepsilon )}\}} 2つ系列 X 1 n {\displaystyle {X_{1}^{n}}} と Y 1 n {\displaystyle Y_{1}^{n}} が上記定義した同時典型集合中にある場合、これらは同時典型(jointly typical)であるという。 ステップ ランダム符号化論法では、確率分布 Q から長さ n の符号語を 2 n R {\displaystyle 2^{nR}} 個ランダムに生成する。 この符号送信者と受信者に公開されるまた、両者通信路使用している遷移行列 p ( y | x ) {\displaystyle p(y|x)} を知っているものと仮定するメッセージ W は、符号語集合上の一様分布に従って選択される。その一様分布は、 P r ( W = w ) = 2 − n R , w = 1 , 2 , … , 2 n R {\displaystyle Pr(W=w)=2^{-nR},w=1,2,\dots ,2^{nR}} である。 メッセージ W は、通信路通じて送信される受信者は、 P ( y n | x n ( w ) ) = ∏ i = 1 n p ( y i | x i ( w ) ) {\displaystyle P(y^{n}|x^{n}(w))=\prod _{i=1}^{n}p(y_{i}|x_{i}(w))} に従って系列受信する。 これらの符号語通信路通じて送信すると、 Y 1 n {\displaystyle Y_{1}^{n}} が受信され、Y に同時典型符号語が丁度1個だけ存在するであれば何らかの情報源系列復号される。同時典型符号語存在しない、あるいは2つ以上存在する場合は、誤り宣言される。さらに、復号された符号語が元の符号語一致しない場合にも誤り発生する。これを典型集合復号(typical set decoding)という。 この枠組みにおける誤り率は、2つ部分分けられる受信系列Yに対して同時典型系列Xが存在しない場合誤り発生する可能性がある。 正しくない系列Xが受信系列Yと同時典型である場合誤り発生する可能性がある。 符号構成ランダムであることから、符号全体平均した平均誤り率は、送信されメッセージ番号依存しない仮定できる。従って、一般性を失うことなく、 W = 1 と仮定して良い同時AEPから、n を大きくすると、同時典型な X が存在しない確率は0に近付く。この誤り率は、上界として ε {\displaystyle \varepsilon } に限定できる。 また、同時AEPから、ある特定の X 1 n ( i ) {\displaystyle X_{1}^{n}(i)} とメッセージW = 1 から得られY 1 n {\displaystyle Y_{1}^{n}} とが同時典型である確率は ≤ 2 − n ( I ( X ; Y ) − 3 ε ) {\displaystyle \leq 2^{-n(I(X;Y)-3\varepsilon )}} である。 メッセージ1送信されたときの受信系列と、メッセージiとが同時典型である事象として、次のように事象 E i {\displaystyle E_{i}} を定義する。 定義: E i = { ( X 1 n ( i ) , Y 1 n ) ∈ A ε ( n ) } , i = 1 , 2 , … , 2 n R {\displaystyle E_{i}=\{(X_{1}^{n}(i),Y_{1}^{n})\in A_{\varepsilon }^{(n)}\},i=1,2,\dots ,2^{nR}} P ( error ) = P ( error | W = 1 ) ≤ P ( E 1 c ) + ∑ i = 2 2 n R P ( E i ) ≤ P ( E 1 c ) + ( 2 n R − 1 ) 2 − n ( I ( X ; Y ) − 3 ε ) ≤ ε + 2 − n ( I ( X ; Y ) − R − 3 ε ) . {\displaystyle {\begin{aligned}P({\text{error}})&{}=P({\text{error}}|W=1)\leq P(E_{1}^{c})+\sum _{i=2}^{2^{nR}}P(E_{i})\\&{}\leq P(E_{1}^{c})+(2^{nR}-1)2^{-n(I(X;Y)-3\varepsilon )}\\&{}\leq \varepsilon +2^{-n(I(X;Y)-R-3\varepsilon )}.\end{aligned}}} 通信路に関して R < I ( X ; Y ) {\displaystyle R<I(X;Y)} であれば、 n {\displaystyle n} を無限大持って行くと、誤り率は0に近付くことが分かる最終的に平均的な符号表が「良好」であることが示されたわけだが、性能平均よりも優れている符号表存在することは明らかであるため、雑音のある通信路通じて任意の小さな誤り率通信するという要求満たしている。

※この「離散無記憶通信路の達成可能性」の解説は、「シャノンの通信路符号化定理」の解説の一部です。
「離散無記憶通信路の達成可能性」を含む「シャノンの通信路符号化定理」の記事については、「シャノンの通信路符号化定理」の概要を参照ください。

ウィキペディア小見出し辞書の「離散無記憶通信路の達成可能性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「離散無記憶通信路の達成可能性」の関連用語

離散無記憶通信路の達成可能性のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



離散無記憶通信路の達成可能性のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのシャノンの通信路符号化定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS