6. Codigos BCH.

1. C odigo Bloque y Distancia M nima

1.1 Si A es un alfabeto, una palabra de longitud n es una Denicion secuencia de s mbolos de dicho alfabeto. Al conjunto de todas las palabras de longitud n sobre ese alfabeto lo denotamos por An. 1.2 Un (n, M )-codigo Denicion bloque C sobre un alfabeto A, es un n subconjunto C de A , con |C | = M . Normalmente, hablaremos de n como la longitud de C y de M como o el numero el tamano de palabras codigo de C . 1.3 El peso Hamming de una palabra del codigo, Denicion x = (x1, x2, . . . , xn), al cual denotaremos por w(x),es el numero de com ponentes distintos de cero. 1.4 La distancia Hamming entre dos palabras del codigo, Denicion x e y, a la cual denotaremos por d(x, y ), es el numero de posiciones en que dichas palabras dieren. Es decir d(x, y ) = w(x y ) = w(y x) 1.5 La distancia m Denicion nima, dmin, de un codigo C es la m nima de las distancias entre todos los pares de las palabras del codigo. Teorema 1.6 Es necesario y suciente que la distancia m nima de un codigo sea mayor o igual que d, para poder detectar d 1 errores o menos. Teorema 1.7 Un codigo C puede corregir t errores o menos si y solo si dmin 2t + 1.

Codigos38

First Prev Next Last Go Back Full Screen Close Quit

Sea ahora f (x) = xn 1 y consideremos el anillo de polinomios Fq [x]/(xn 1). Entonces xn 1 (mod xn 1). Luego podemos re ducir cualquier polinomio modulo xn 1 reemplazando xn por 1, xn+1 por x, etc. Ahora identiquemos un vector a0, a1, ..., an1 V (n, q ) con el polinomio a(x) = a0 + a1x + a2x2 + + an1xn1 en F [x]/(xn 1) Entonces V (n, q ) = F [x]/(xn 1) Ahora, si multiplicamos a(x) por x, obtenemos xa(x) = a0x + a1x2 + a2x3 + + an1xn = an1 + a0x + a1x2 + a2x3 + + an2xn2. Es decir, si consideramos a(x) como una palabra de un codigo c clico, multiplicar por xi es equivalente a ciclar dicha palabra i veces. Teorema 1.8 Un codigo C en F [x]/(xn 1) es c clico si y solo si verica i) a(x), b(x) C a(x) + b(x) C ii) a(x) C y r(x) F [x]/(xn 1) r(x)a(x) C Corolario 1.9 Todo ideal en F [x]/(xn 1) es un codigo c clico. Teorema 1.10 Sea C un codigo c clico. Entonces i) Existe un unico polinomio monico g (x) de menor grado in C ii) C =< g (x) > iii) g (x) es un factor de xn 1

Codigos39

First Prev Next Last Go Back Full Screen Close Quit

Ejemplo 24: Codigos c clicos de longitud 3 en GF(2) x3 1 = (x + 1)(x2 + x + 1) Polinomio Generador 1 x+1 x2 + x + 1 x3 1 Codigo en F [x]/(x3 1) Todo F [x]/(x3 1) {0, 1 + x, x + x2, 1 + x2} {0 , 1 + x + x 2 } 0 Codigo en V (3, 2) Todo V (3, 2) {000, 110, 011, 101} {000, 111} {000}

2.

Codicaci on

En F [x]/(xn 1) basta con multiplicar por el polinomio de datos por el polinomio generador modulo (xn 1) generador. Teorema 2.1 Si C es un codigo c clico con polinomio generador g (x), n r. Es decir, y gr(g (x)) = r, entonces C tiene dimension C =< g (x) >= {f (x)g (x)|deg (f (x)) < n r}

3.

C odigos BCH

3.1 El codigo Denicion BCH denido sobre el cuerpo GF (q ). de es el mayor codigo longitud n y distancia m nima de diseno c clico entre cuyos ceros hay 1 potencias consecutivas de la forma b, b+1, . . . , b+2, b 0, 1 con una n-esima ra z primitiva en GF (q m) de la unidad (siendo m el orden multiplicativo de q modulo n). El polinomio generador de este codigo es: g (x) = mcm{Mb (x), Mb+1 (x), . . . , Mb+2 (x)} O lo que es lo mismo, el polinomio monico de menor grado que admite como ra ces a las n-esimas ra ces primitivas anteriormente descritas
Codigos40

First Prev Next Last Go Back Full Screen Close Quit

 Teorema 3.2 Sea una n-esima ra z de la unidad sobre Fq = GF (q ). Sea C un codigo c clico en Fq [x]/(xn 1) cuyo polinomio generador g (x) es el polinomio monico de menor grado sobre Fq que como ra ces a b, b+1, . . . , b+ 2 con b 0. Entonces C tiene distancia m nima al menos . Ejemplo 25: Los conjuntos 2-ciclotomicos modulo 31 son A 0 = {0 } A1 = {1, 2, 4, 8, 16} A3 = {3, 6, 12, 24, 17} A5 = {5, 10, 20, 9, 18} A7 = {7, 14, 28, 25, 19} A11 = {11, 22, 13, 26, 21} A15 = {15, 30, 29, 27, 23} x+1 x5 + x2 + 1 x5 + x4 + x3 + x2 + 1 x5 + x4 + x2 + x + 1 x5 + x3 + x2 + x + 1 x5 + x4 + x3 + x + 1 x5 + x3 + 1

El polinomio binario M (x)M3 (x), con ceros {i, i A1 A3} genera = 5. Si el un codigo binario BCH[31,21], con distancia de diseno polinomio generador es M (x)M3 (x)M5 (x), con ceros en {i, i A1 A3 A5}, entonces genera un codigo BCH[31,16], con = 7. Y si el polinomio generador es M (x)M3 (x)M5 (x)M7 (x) con ceros {i, i A1 A3 A5 A7}, entonces genera un codigo BCH[31,11] y = 11. Como n es de la forma 25 1, todos los distancia de diseno codigos descritos son primitivos.

Codigos41

First Prev Next Last Go Back Full Screen Close Quit