Lecture 14: Hamming and Hadamard Codes

Size: px

Start display at page:

Download "Lecture 14: Hamming and Hadamard Codes"

Melina Carroll
6 years ago
Views:

1 CSCI-B69: A Theorist s Toolkit, Fall 6 Oct 6 Lecture 4: Hamming and Hadamard Codes Lecturer: Yuan Zhou Scribe: Kaiyuan Zhu Recap Recall from the last lecture that error-correcting codes are in fact injective maps from k symbols to n symbols in Σ, Enc: Σ k Σ n where k and n are referred to as the message dimension and block length respectively. We also call the image of the encoding function code, which is usually denoted by C, i.e. C = Im(Enc; and an element y C a codeword. The minimum distance d is defined as the smallest Hamming distance between two distinct codewords, d = min { (y, y } = min {i : y i y i } y y C y y C We want d to be large so that more errors can be tolerated, but this makes the number of vertices we can put in Σ n smaller. Therefore we have to sacrifice the rate k to generate the n same number of codeword. In many ways, coding theory is about exploring a tradeoff. Linear Codes In coding theory, a linear code is an error-correcting code for which any linear combination of codewords is still a codeword. Linear codes have the following advantages: i. easy to figure out the minimum distance; and ii. simple encoding and decoding algorithms. Definition. (Linear code Let Σ = F q be a finite field with q elements, then C is linear if y, y C F n q, y + y C. In other words, let G F n k q be a full rank n k matrix (making the map injective, then Enc: F k q F n q becomes x Gx, which defines a linear code with its generator matrix G. Example. Let q =, n = 3 and k =. Then the generator matrix G =, so that

2 Lecture 4: Hamming and Hadamard Codes G ( x x = x x x + x. Thus C = Im(G = { } Note that for linear codes, we introduce the following notation [n, k(, d] q henceforth, where n is the block length, k is the message dimension, and d is the minimum distance if known. Definition. (Hamming weight The Hamming weight of x F n q in a linear code is denoted by wt(x = (x,. Fact. In a linear code, the minimum distance d is equal to the minimum Hamming weight of a nonzero codeword. Proof. d = min { (y, y } = y y C min { (y y, } = y y C min {wt(y} y=y y C. Definition 3. (Dual code Given [n, k] q code C, denote the orthogonal space C {y F n q : y T x =, x C} as the dual code of C. Note that C has parameters [n, n k] q. Definition 4. (Parity check matrix The parity check matrix H of C is defined as an (n k n matrix such that C = Im(Enc, where Enc : Fq n k F n q maps w to H T w. In other words, H T is the generator matrix of C. Example. Reconsider the previous example, in which { C = { } Therefore C = and H = (,,. } Fact. y C Hy =. (re-express the code as null space of the parity check matrix Proof. Notice that H T is the generator matirx of C, i.e. C is the row span of H. Let h T h T x = h T h T x = ( n k H =, then Hx = a, a,, a n k F q, a i h T i x =.. h T i= n k h T n kx = y C, y T x = x (C = C

3 Lecture 4: Hamming and Hadamard Codes 3 Corollary 3. The minimum distance d is the minimum number of columns in H that are linearly dependent. Proof. d = min {wt(y} = min{wt(y y, Hy = }. y C 3 Hamming Code Hamming code [] is defined by the case of linear code that q =, which has excellent rate k but lower distance as we will see later. n Definition 5. (Hamming code Let r N +. Define the parity check matrix of a Hamming code as H =..... i.e. H F r (r, which is spanned by all distinct r nonzero column vectors. Example. For r =, H = (, and C = { Theorem 4. Hamming code is [ r, r r, 3] code. } Proof. We only need to prove d = 3, which is equivalent to say the minimum number of linearly dependent column is 3. Since is not a column of H, every cloumns are linearly independent. But there exists obviously triple of linearly dependent columns, such as, =.. Remark. Let n = r, then Hamming code is [n, n log (n +, 3] code. 3 Since the distance is 3, Hamming code is uniquely decodable for up to = error. In fact, we can correct one error easily. Let y C be any codeword, and z = y + e i be the received message. Then Hz = H(y + e i = He i.

4 Lecture 4: Hamming and Hadamard Codes 4 which is just the i the column of H. Otherwise Hz = implies that y isnot modified. For ( ( example, with y = and z =, Hz = =. This indicates that index 3 has changed. Definition 6. (Perfect code C is a perfect code if Hamming balls centered at codewords of radius t (i.e. max errors can partition Σ n exactly. Theorem 5. Hamming code is perfect. Proof. x F n, if Hx =, then x C. Otherwise Hx = h i, where h i is the i-th column of H. Hence H(x + e i = and therefore x + e i C. 4 Hadamard Code The Hadamard code is a code with extremely low rate but high distance. It is always used for error detection and correction when transmitting messages over very noisy or unreliable channels. Definition 7. (Hadamard Code Let r N +. The generator matrix of Hadamard code is a r r matrix where the rows are all possible binary strings in F r. Example. For r =, we have G = { }. which maps the messages to Gx = Fact 6. Hadamard code is a [ r, r, r ] code. Proof. It suffices to prove the minimum weight of a nonzero codeword is r. Let x

5 Lecture 4: Hamming and Hadamard Codes 5 F n, i.e. k s.t. x k =. Then wt(gx = P r i [ r ][gi T x = ] = P y F r [y T x = ] where g T i denote the i-th row of G. = P y F [r]\{k},y k F [ y k x k + ] y ix i = i k [ ] = E y P F [r]\{k} yk F y ix i = + y k = i:i k Remark. In other words, Hadamard code is [n, log n, n ] code with n = r. Reference [] Hamming, R. W. (95. Error detecting and error correcting codes. Bell System technical journal, 9(, []

Lecture B04 : Linear codes and singleton bound

IITM-CS6845: Theory Toolkit February 1, 2012 Lecture B04 : Linear codes and singleton bound Lecturer: Jayalal Sarma Scribe: T Devanathan We start by proving a generalization of Hamming Bound, which we