expander符号に関する文献調査.pptVIP

expander 符号に関する文献調査 安永憲司 大阪大学 大学院情報科学研究科 2005年12月7日　大阪市立大学文化交流センター 誤り訂正符号 送信したい情報系列に冗長性を持たせて通信路での誤りを訂正する技術 2元 (n, k) 線形符号 C n : 符号長, k : 情報長, R = k/n : レート 例. (6, 2) 符号 Shannon の通信路符号化定理 Shannon (1948) 通信路に対し、通信路容量 Cchannel を定義 すべての R Cchannel に対し、任意に小さい復号誤り率を達成する符号が存在することを証明 R Cchannel　のとき、ランダム符号に最尤復号を用いた場合、復号誤り率は符号長に対し指数的に減少  Perror = 2-nE(R)  E(R) 0 符号の漸近性 (n, k) 符号の性能評価のパラメータ R: レート （ = k/n ） d: 最小距離 （ = 符号語間の距離の最小値）δ= d/n: 相対最小距離 漸近的に良い符号のクラス n → ∞ としたとき R,δ → 0 とならない符号のクラス 符号理論の問題 すべての R Cchannel に対して、誤り指数が正の符号化?復号法 漸近的に良い符号 計算量が小さい符号化?復号法 2部グラフに基づく符号, Tanner (1981) グラフ G:n 個の変数ノードと次数Δの制約ノードをもつ2部グラフ 構成符号 C0:長さΔの符号 Tanner 符号 C(G, C0):{0,1}n を変数ノード列 (x1, x2, …xn) に割り当てたとき、各制約ノード vi に隣接する変数ノード列 (xa(i,1), xa(i,2),…, xa(i,Δ)) が C0 の符号語であるような (x1, x2, …, xn) の集合からなる符号 expander 符号 Sipser Spielman (1996) が expander グラフに基づく符号として提案 Zémor (2001), Barg Zémor (2002) 以降、 グラフの expansion 性を性能分析に利用する符号の総称 expander グラフ 離散数学や計算機科学などで、1970年代頃から研究 ネットワーク設計、暗号、擬似乱数などの幅広い応用 直観的には、小さな頂点部分集合が大きな隣接頂点集合を持つグラフ グラフ (V, E) の expansion 性:m 個以下の頂点集合はすべて、βの係数で拡大 ? すべての部分集合 S ? V に対して,  | S | ≤ m ? |{ y: (x, y) ∈ E for x ∈ S }| β| S | Sipser Spielman, IEEE Tans. IT (1996) expander 符号 C の最小距離 D の下界式を導出  D ≥ Nδ2 (1 －ε), N: C の符号長, δ: C0 の相対距離 ε は C0 とグラフの構造（expansion 性）に依存 グラフの expansion 性が高いと D は大きくなる 符号長の線形時間で復号可能な漸近的に良い符号 ビットフリッピングと呼ばれるシンプルな繰り返し復号 これまでに知られている多項式時間復号可能な漸近的に良い符号は Forney の連接符号だけ 繰り返し復号の性能を expander グラフと関連付け d/48 までの誤りを訂正可能（d は最小設計距離） Zémor, IEEE Trans. IT (2001) Sipser Spielman 符号の特別な場合 Zémor, IEEE Trans. IT (2001) 復号は以下を繰り返す 1. 各制約ノード について、隣接する変数ノード列に対して最尤復号 2. について上と同様 各最尤復号はΔに対して指数だが、符号長 N に対しては定数 繰り返し回数は O(log N) Zémor, IEEE Trans. IT (2001) 復号計算量は符号長の線形 Sipser Spielman (1996) と変わらない d/4 までの誤りを訂正可能（d は最小設計距離） Sipser Spielman (1996) は d/48 まで Skachek Roth, Proc. ITW (2003) Zémor (2001) の復号方法を修正することで、 d/2 までの誤りを訂正可能 Barg Zémor, IEEE Trans. IT (2002) Zémor (2001) を一般化した