BCH符号(BCHふごう、英: BCH code)は、パラメータ化された誤り訂正符号の一種で、最もよく研究されている符号の1つである。1959年 Alexis Hocquenghem(英語版) が、それとは別に1960年には Raj Chandra Bose(英語版) と D. K. Ray-Chaudhuri(英語版) が考案した[1]。BCH とは、この3人のイニシャルである。
BCH符号は、シンドローム復号という簡潔な代数学的手法で容易に復号できる点を特徴とする。そのための電子回路は非常に単純でコンピュータを使う必要もなく、低電力で小型の機器で復号可能である。符号としても非常に柔軟性があり、ブロック長や誤り訂正能力を自由に設定でき、目的に応じてカスタマイズされた符号を設計できる。
BCH符号は、マルチレベル/巡回/誤り訂正/可変長デジタル符号であり、複数の無作為誤りパターンを訂正できる。BCH符号は、レベル数が素数または素数のべき乗であるようなマルチレベルの位相偏移変調でも使われる。11レベルのBCH符号を使って、十進数の10個の数字と符号を表す場合もある[2]。
構築
BCH符号は、有限体上の特定の生成多項式を使った多項式符号である。また、同時に巡回符号でもある。
単純化したBCH符号
まず説明を簡単にするため、特殊なBCH符号を例とする。一般のBCH符号は次節で説明する。
有限体
(
は素数冪)を定める。そして、
および
となるように正の整数
,
,
を定める。これらから、
上で符号語長
、最小ハミング距離
以上の多項式符号を構築する。さらに定めるべきは、その符号の生成多項式である。
の1のn乗根を
とする。全ての
について
の
上の原始多項式を
とする。BCH符号の生成多項式は最小公倍数
で定義される。
例
、
とする(従って n = 15 )。
についてはいくつかの値を検討する。まず、
(1);
を満たす1の冪根
が存在し、
上の原始多項式は
![{\displaystyle m_{1}(x)=x^{4}+x+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67a3e90397f55d1db87dc310e7fef5fb2ac4bda7)
である。なお、
においては
が成り立つので、
となる。従って
は
の根であり、
![{\displaystyle m_{2}(x)=m_{1}(x)=x^{4}+x+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77223fd45b6611416eae5b232d86e9796267e633)
となる。
を求めるため、(1)を繰り返し適用して以下の線型関係式を得る。
![{\displaystyle 1=0\alpha ^{3}+0\alpha ^{2}+0\alpha +1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32b77a84969924deb13373e84f8d8a4cdc3d48e1)
![{\displaystyle \alpha ^{3}=1\alpha ^{3}+0\alpha ^{2}+0\alpha +0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b278fc5b626f723542d356a0bb74add6fcbd3389)
![{\displaystyle \alpha ^{6}=1\alpha ^{3}+1\alpha ^{2}+0\alpha +0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ebb5ce71559c2ab7001efc09715ffee564f2b44)
![{\displaystyle \alpha ^{9}=1\alpha ^{3}+0\alpha ^{2}+1\alpha +0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdf17e8907e014116db1866716779a1168c52e7d)
![{\displaystyle \alpha ^{12}=1\alpha ^{3}+1\alpha ^{2}+1\alpha +1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04582768c11787de8341c10b3d7abed86d9a9c21)
これらの右辺は線型従属でなければならず、そこから線型従属式
が得られる。これには少なからぬ従属性があるので、
の原始多項式は
![{\displaystyle m_{3}(x)=x^{4}+x^{3}+x^{2}+x+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/061227d81f221df0411dc2488910cb91038d7537)
となる。同様の考え方で、以下のような式が得られる。
![{\displaystyle m_{4}(x)=m_{2}(x)=x^{4}+x+1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/579bc19c767fc8a62024d629bd7b814fac7ff82d)
![{\displaystyle m_{5}(x)=x^{2}+x+1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8efa4fc5890b09104ccddd641238a2428be9a5ae)
![{\displaystyle m_{6}(x)=m_{3}(x)=x^{4}+x^{3}+x^{2}+x+1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa42b7aa81cb6251904e5c4b915bf0a9e3f7f367)
![{\displaystyle m_{7}(x)=x^{4}+x^{3}+1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/556cb2506aeddfa4983b0ac2ceb43c1d99a7ccae)
の場合のBCH符号の生成多項式は次のようになる。
![{\displaystyle d(x)=m_{1}(x)=x^{4}+x+1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/737718e74fea5a2f0aa70b9e7f009315f9e141ad)
この場合の最小ハミング距離は3で、最大1つの誤りを訂正できる。生成多項式の次数が4なので、この符号はデータビットが11ビット、チェックサムビットが4ビットとなる。
の場合のBCH符号の生成多項式は次のようになる。
![{\displaystyle d(x)={\rm {lcm}}(m_{1}(x),m_{3}(x))=(x^{4}+x+1)(1+x+x^{2}+x^{3}+x^{4})=x^{8}+x^{7}+x^{6}+x^{4}+1\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fea9706aa6f8b769455fc336501ff2e2498d99b)
この場合の最小ハミング距離は5で、最大2つの誤りを訂正できる。生成多項式の次数が8なので、この符号はデータビットが7ビット、チェックサムビットが8ビットとなる。
の場合のBCH符号の生成多項式は次のようになる。
![{\displaystyle {\begin{aligned}d(x)&{}={\rm {lcm}}(m_{1}(x),m_{3}(x),m_{5}(x))\\&{}=(x^{4}+x+1)(1+x+x^{2}+x^{3}+x^{4})(x^{2}+x+1)\\&{}=x^{10}+x^{8}+x^{5}+x^{4}+x^{2}+x+1\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2627fb41c40774432e2b3c05a43e04247018631)
最小ハミング距離は7で、3つまでの誤りを訂正できる。符号のデータビットは5ビット、チェックサムビットは10ビットとなる。
以上のBCH符号の生成多項式は、次の通りである。
![{\displaystyle {\begin{aligned}d(x)&{}={\rm {lcm}}(m_{1}(x),m_{3}(x),m_{5}(x),m_{7}(x))\\&{}=(x^{4}+x+1)(1+x+x^{2}+x^{3}+x^{4})(x^{2}+x+1)(x^{4}+x^{3}+1)\\&{}=x^{14}+x^{13}+x^{12}+\cdots +x^{2}+x+1\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ee342b6639b6473c154268880e2c89d54a9dc48)
この符号の最小ハミング距離は15で、7つまでの誤りを訂正できる。この場合、データビットが1ビットで、チェックサムビットが14ビットになる。実際、この符号は2つの符号語(000000000000000 と 111111111111111)しか持たない。
一般のBCH符号
一般のBCH符号は、上述の解説と2つの面で異なる。第一に
をより一般的条件にする。第二に生成多項式の一連の根として
ではなく
を採用する。
有限体
(
は素数冪)を定める。そして
、
が成り立ち、
を法とする
の位数が
となるように、正の整数
を選択する。
前節と同様、
の1のn乗根を
とし、全ての
について
の
上の原始多項式を
とする。BCH符号の生成多項式は、最小公倍数
で定義される。
単純化した例と同様に
を条件にすると、
は自動的に1となり、
を法とした
の位数は自動的に
となる。従って、単純化した定義は一般的定義の特殊ケースになっている。
特性
BCH符号の生成多項式の次数は最大で
である。さらに
かつ
の場合、生成多項式の次数は最大で
である。
- 証明: 各原始多項式
の次数は最大で
である。したがって、それらの
の最小公倍数の次数は最大で
となる。さらに
の場合、全ての
について
となる。したがって
は、奇数インデックス
の原始多項式
(最大でも
個)の最小公倍数であり、それぞれの多項式の次数は最大でも
である。
BCH符号の最小ハミング距離は最小で
である。単純化した例で証明を示すが、一般の場合も同様に証明できる。符号語
にはゼロでない項が
個未満存在するとする。すると、
![{\displaystyle p(x)=b_{1}x^{j_{1}}+\cdots +b_{d-1}x^{j_{d-1}},{\text{ where }}j_{1}<j_{2}<\cdots <j_{d-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f6077a6f466160b87bae4f29c952e1d9e2b16d4)
と表せる。
は
の根なので、
にとっても根である。したがって
は
について以下の式も満たす。
![{\displaystyle p(\alpha ^{i})=b_{1}\alpha ^{ij_{1}}+b_{2}\alpha ^{ij_{2}}+\cdots +b_{d-1}\alpha ^{ij_{d-1}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27d8c399d8d4d1954abdfb754bee8e8125d038aa)
この式を
で割り、
と記述すると、全ての
について
![{\displaystyle b_{1}+b_{2}\alpha ^{ik_{2}}+\cdots +b_{d-1}\alpha ^{ik_{d-1}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c2664fc0b15038b5aa1fe2ced28f96047ba9e9e)
という式が得られ、これと等価的に次が得られる。
![{\displaystyle {\begin{bmatrix}1&\alpha ^{k_{2}}&\cdots &\alpha ^{k_{d-1}}\\1&\alpha ^{2k_{2}}&\cdots &\alpha ^{2k_{d-1}}\\\vdots &\vdots &&\vdots \\1&\alpha ^{(d-1)k_{2}}&\cdots &\alpha ^{(d-1)k_{d-1}}\\\end{bmatrix}}{\begin{bmatrix}b_{1}\\b_{2}\\\vdots \\b_{d-1}\end{bmatrix}}={\begin{bmatrix}0\\0\\\vdots \\0\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a18ea89bca41398ea9bbd378fe5a12256627d94d)
この行列はヴァンデルモンド行列であり、その行列式は
![{\displaystyle \det(V)=\prod _{1\leq i<j\leq d-1}(\alpha ^{k_{j}}-\alpha ^{k_{i}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf02696f520e4b9218ed5f4ae29b05537750a94b)
となって、その値はゼロではない。したがって
となり、
となる。
BCH符号は巡回符号である。長さ
の多項式符号が巡回符号となるのは、生成多項式で
を割り切れる場合のみである。
は
を根とする原始多項式なので、
のそれぞれが
の根であることを示せばよい。
は定義上1の
乗根なので、簡単に証明できる。
特殊ケース
のBCH符号を「狭義BCH符号(narrow-sense BCH code)」と呼ぶ。
のBCH符号を「原始BCH符号(primitive BCH code)」と呼ぶ。
従って、本項目で単純化したBCH符号として解説したものは、原始・狭義BCH符号である。
の狭義BCH符号をリード・ソロモン符号と呼ぶ。
復号
BCH符号の復号は、次の4段階で行われる。
- 受信したベクトル R について 2t シンドローム値を計算する。
- 誤り位置多項式を計算する。
- その多項式の根を計算し、誤り位置を把握する。
- 2元BCH符号でない場合、それらの誤り位置での誤りの値を計算する。
よく使われる復号アルゴリズムとしては、Peterson Gorenstein Zierler(PGZ)アルゴリズムと Berlekamp-Massy アルゴリズムがある。
PGZアルゴリズム
このアルゴリズムは上述の工程の第2段階、すなわち誤り位置多項式の計算を行う。誤り位置多項式(error locator polynomial)の係数を
とすると、誤り位置多項式は
となる。
個の誤りを訂正できるよう設計された
BCH符号に対して、PGZアルゴリズムは次のように実施される。
- まず、
シンドロームの行列を生成する。 - 次に、下記のようにシンドローム値を配置した
行列を生成する。
![{\displaystyle S_{t\times t}={\begin{bmatrix}s_{1}&s_{2}&s_{3}&\dots &s_{t}\\s_{2}&s_{3}&s_{4}&\dots &s_{t+1}\\s_{3}&s_{4}&s_{5}&\dots &s_{t+2}\\\dots &\dots &\dots &\dots &\dots \\s_{t}&s_{t+1}&s_{t+2}&\dots &s_{2t-1}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/898e3bb07d0d61522ded880822b03682ceba07b2)
- 下記のような
行列を生成する。
![{\displaystyle C_{t\times 1}={\begin{bmatrix}s_{t+1}\\s_{t+2}\\\vdots \\\vdots \\s_{2t}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6111f73e18976692e985077ee1dae462d857388)
- 未知の多項式係数で示される
を次のように記述する。
![{\displaystyle \Lambda _{t\times 1}={\begin{bmatrix}\lambda _{1}\\\lambda _{2}\\\lambda _{3}\\\lambda _{4}\\\vdots \\\lambda _{t}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0df35842b4a1c4bbfda16d45959ef33d7d466cdd)
![{\displaystyle S_{t\times t}\Lambda _{t\times 1}=C_{t\times 1\,}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/432a8c4c3f38b944ab858fe498970f9541901d2f)
- 行列
の行列式が存在する場合、行列の逆を見つけ、
の値を求めることができる。
の場合、次の手順を実施する。
if
then
空の誤り位置多項式を宣言する。
完了。
end
set
PGZアルゴリズムの先頭に戻る。
の値が定まると、誤り位置多項式が得られる。 - PGZアルゴリズムの完了。
誤り位置多項式の因数分解
多項式が得られると、チェンサーチのアルゴリズムを使って
の根を求めることができる。
の次数が受信した符号語の誤り発生位置に対応する。そのため、誤り位置多項式と呼ばれている。
誤り訂正
2元BCH符号では、上述の誤り位置多項式を解くことで誤り位置がわかり、そのビット位置を反転させればよい。
脚注
- ^ Page 189, Reed, Irving, S.. Error-Control Coding for Data Networks. Kiuwer Academic Publishers. ISBN 0-7923-8528-4
- ^ Federal Standard 1037C, 1996.
参考文献
- S. Lin and D. Costello. Error Control Coding: Fundamentals and Applications. Prentice-Hall, Englewood Cliffs, NJ, 2004.
- W.J. Gilbert and W.K. Nicholson. Modern Algebra with Applications, 2nd edition. Wiley, 2004.
- R. Lidl and G. Pilz. Applied Abstract Algebra, 2nd edition. Wiley, 1999.