defs 6 Flashcards
(9 cards)
Distance Theorem for Linear Codes
Let C ⊆ F^n_q be a linear code with check matrix H. Then d(C) = d if and only if every set of d−1 columns of H is linearly independent and some set of d columns of H is linearly dependent.
line
A line is a 1-dimensional subspace of the vector space F^n_q
representative vector
A representative vector of a line is a non-zero vector u from that line. The line is then given by {λu | λ ∈ F_q}.
projective space
The projective space P_n−1(F_q) is the set of all lines in F^n
Hamming codes
Let r ≥ 2 be given. We let Ham(r, q) denote an Fq-linear code whose check matrix has columns which are representatives of the lines in P_r−1(Fq), exactly one representative vector from each line
Ham(r, q) is a perfect…
Ham(r, q) is a perfect [n, k, d]q code where
n =(q^r − 1) / q − 1
k = n − r, d = 3.
Decoding algorithm for a Hamming code
Let a Hamming code be given by its check matrix H. Suppose that a vector y is received.
• Calculate S(y) = yHT
• Find a column of H such that S(y) = λ × that column. (ith column)
• Subtract λ from the ith position in y. The result is the codevector DECODE(y).
A simplex code
A simplex code Σ(r, q) is defined as Ham(r, q)⊥
weight enumerator of the simplex code
W_Σ(r,q) (x, y) = x^n + (q^r − 1)x^[n−q^r−1]y^[q^r−1]
where n = q^r − 1 /q − 1