Beruflich Dokumente
Kultur Dokumente
References
Block codes
Let Fq be a field of q elements.
TEMA 1 An [n, k]q –linear code is a vector subspace C ≤ Fn q of dimension k.
Vectors (a0 , a1 , . . . , an−1 ) ∈ Fn
q are written in the form a0 a1 . . . an−1 .
The vectors in C are called codewords.
Linear codes
Let C be an [n, k]–linear code.
Any G ∈ Fq k×n such that C = {uG | u ∈ Fkq } is called a generator matrix or an
encoder. Any set of k linearly independent columns of G is called an information
set, while the remaining n − k columns are called a redundancy set. An encoder
Simplified communication channel G = [Ik |A] is called a systematic encoder.
Any H ∈ Fqw (n−k)×n such that C = {v ∈ Fn q | vH = 0} is called a parity check
T
matrix.
Noise
Theorem 1. If G = [Ik |A] is a systematic encoder for a [n, k] code C, then H =
[−AT |In−k ] is a parity check matrix for C.
Message Received message
Binary repetition code
This is a binary [n, 1]–code with encoder
Sender Channel Receiver
G = 1 .n. . 1
F. J. Lobillo
MAI: Error Correcting Codes 3
F. J. Lobillo
4 Tema 1
Hamming codes
Let n = 2r − 1, with r ≥ 2. Let Hr be the r × n matrix whose columns, in order, The sphere of radius r centered in u ∈ Fn
q is
are the numbers 1, 2, . . . , 2r − 1 written as binary numerals. Any code permutation
equivalent to a code with parity check matrix Hr is the [n = 2r − 1, k = n − r]– Sr (U) = {v ∈ Fn
q | d(u, v) ≤ r}.
Hamming code, and denoted H2,r = Hr . Pr n
Its cardinality is i=0 i (q−1)i . They are disjoint as far as their radius is chosen
Theorem 12. 1. The Hamming code H3 has distance 3. small enough,
2. Any binary [2r − 1, 2r − 1 − r, 3]–code is permutation equivalent to Hr . Theorem 14. If d is the minimum distance of a code C and t = b(d − 1)/2c, then
1A monomial matrix has only one non-zero entry in each row and column the spheres of radius t about distinct codewords are disjoint.
F. J. Lobillo
MAI: Error Correcting Codes 5
Packing radius
The packing radius of a code is the largest radius of spheres centered at codewords
so that the spheres are pairwise disjoint.
Theorem 15. Let C be an [n, k, d]–code over Fq . The following hold:
1. The packing radius of C equals t = b(d − 1)/2c.
Syndrome
Let C be an [n, k, d]–code over Fq , with parity check matrix H. The syndrome of
y ∈ Fn T n
q is syn(y) = Hy . Let’s consider the equivalent relation in Fq associated
to C, i.e. x, y are related if and only if x − y ∈ C. It is clear that x, y are related if
and only if syn(x) = syn(y).
F. J. Lobillo