Week 3: January 22-26, 2018

Transcription

1 EE564/CSE554: Error Correcting Codes Spring 2018 Lecturer: Viveck R. Cadambe Week 3: January 22-26, 2018 Scribe: Yu-Tse Lin Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. They may be distributed outside this class only with the permission of the Instructor. 3.1 Basics of Linear Algebra Abelian Group (G, ) is a group if it satisfies the axioms: 1. Closure: a b G a, b G 2. Associativity: a (b c) = (a b) c 3. Identity: e, a e = e a = a a 4. Inverse: a, a 1, a a 1 = e Moreover, (G, ) is an Abelian group if it also satisfies 5. Commutativity (Abelian): a b = b a Field (F, +, ) (F, +, ) is a field if it satisfies: (F, +) is an Abelian group (F {0}, ) is an Abelian group, where 0 is the identity in (F, +). Distributive law: a (b + c) = a b + a c A field is called finite field if F is a finite set. We will prove this theorem later in the course. Theorem 3.1 (Z q, +, ), where + and are performed modulo q, is a finite field if and only if q is a prime. 3-1

2 3-2 Week 3: January 22-26, Vector Space V is a vector space over field (F, +, ), where + is an addition operation over V and : F V V is a scalar multiplication operation if it satisfies: 1. (V, +) is an Abelian group, 2. Distributive law: α ( v 1 + v 2 ) = α v 1 + α v 2, where is scalar multiplication. Recall some linear algebra concepts that will be used in the course: Linear independence: v 1, v 2,..., v n are said to be linearly independent if α 1 v 1 + α 2 v α n v n = 0 α 1 = α 2 =... = α n = 0 Span: The span of vectors is the set of all finite linear combinations of the vectors. Basis: A basis B of a vector space V over a field F is a maximal spanning set. Equivalently, it is a linearly independent subset of V that spans V. Dimension: The dimension of a vector space is the number of vectors in any basis for the space. Note that F n is n-dimensional vector space over field F. 3.2 Linear Codes An (n, k) linear code C, over a finite field F, is a k dimensional subspace of F n. C = F k. Importantly, a linear combination of codewords is also a codeword in a linear code Generator Matrix of Linear Code C A generator matrix G is in the form that g 1 g 2 G =. g k and g 1, g 2,..., g k are 1 n vectors that form a basis for the space; note that these vectors are linearly independent codewords. Dimension: k n. Encoding: x = mg Examples 1. Repetition Codes: G 1 n = [ ]

3 Week 3: January 22-26, Single Parity codes: G k (k+1) = ( I 1 ) 3. ((7.4) Hamming Code ) m1 m 2 m 3 m 4 m 1 + m 2 + m 4 m 1 + m 2 + m 3 m 2 + m 3 + m G 4 7 = Systematic Form A generator matrix of form G = ( I P ) is said to be in systematic form. Any linear code C with generator matrix G can form a systematic form generator matrix Ĝ via matrix row operations Parity Check Matrix, Dual Code Given a generator matrix G F k n, then a parity check matrix H F (n k) n which H T is nullspace of G (or ker(g)), i.e. GH T = 0 Theorem 3.2 Rank-Nullity theorem rank(g) + rank(ker(g)) = n Theorem 3.3 Let G = ( I P ) be a generator matrix for a code C. Then H = ( P T I ) is a parity check matrix of the code. An alternate description of a linear code C, in terms of its parity check matrix H, is as follows: C = { x : x = m, m F k G} = { x : x F n, H x T = 0} Example Consider the repetition code over F = {0, 1}, where generator matrix G = ( 1 matrix H = ( ) 1 I n ), and parity check Note that H is also the generator matrix of single parity code. Repetition and Single parity codes are called dual codes Dual Code Let C be a code over F n, then the dual code of C is defined as C = { y : x y T = 0 for all x C} Note that for a linear code C, (C ) = C If H is a parity check matrix of C, then it is a generator matrix for C.

4 3-4 Week 3: January 22-26, Minimum Distance of Linear Codes (n, k) linear code has min distance d. Distance between two closest codewords = d Non-zero codeword with smallest Hamming weight = d d = smallest number such that every n (d 1) columns of G has rank k. d = largest number such that every (d 1) columns of H are linearly independent. We state the above properties more formally and give proofs/sketches below. Theorem 3.4 C is an (n, k, d) linear code if and only if d = min{hw( x) : x 0}. Proof:[Sketch.] d H ( x, y) = d H ( x y, 0) Then, min x, y C, x yd H ( x, y) = d = min x y 0 HW( x y) = d Noting that x y is also a codeword in C leads to the desired conclusion. Theorem 3.5 C is an (n, k, d) linear code if and only if 1. Every n (d 1) columns of G has rank k, and 2. There exists n d columns of G has rank k 1. Proof: We first prove 1. Minimum distance is d, which implies that C can correct d 1 erasures. Let J {1, 2,..., n} be the coordinates of a projection where J = n (d 1), then x J y J 0 m 1 G J m 2 G J 0 = (m 1 m 2 )G J 0 m 1 m 2 0 = mg J 0 m 0 = rank(g J ) = k Proof of 2. follows similarly, noting that if every n d columns had rank k, then the code could have corrected d erasures (just reversing the above chain of equalities), which contradicts the hypothesis that the minimum distance is d. Theorem 3.6 C is an (n, k, d) linear code if and only if 1. Every d 1 columns of H are linearly independent, and 2. There exists d linearly dependent columns of H. Proof: 1. Suppose for the sake of contradiction that d 1 columns of H that are linearly dependent, we show that minimum distance < d.

5 Week 3: January 22-26, Let H = [ h1 h2 hn ]. Suppose H J are linearly dependent, where J d 1. This implies that α i hi = 0, αj 0 for some j J i J Construct x = (x 1, x 2,..., x n ), where x i = { 0 i / J α i i J Then, H x T = i J α i h i = 0, which implies that (1) x C and (ii) HW( x) d 1. This contradicts the assumption that minimum distance of C is d. 2. Let y = (y 1, y 2,..., y n ) be a non-zero codeword in C with Hamming weight d, note that such a vector y indeed exists because d is the minimum distance of C. Let J {1,..., n}, where J = d, such that for j J, y j 0. Then, n y j hj = y i hi = y T H = 0 j J which implies that columns indexed by elements of J are linearly dependent. i= Hamming Code n = 2 m 1, (n k) = m, k = 2 m m 1, H an m 2 m 1 matrix whose columns include all m-long binary vectors except the zero vector. Theorem 3.6 can be used to conclude that the minimum distance of H is d = 3, that is, every pair of columns of H are linearly independent, but we can find 3 columns that are linearly dependent. Exercise: Verify that the Hamming code satisfies sphere packing bound (i.e. Hamming codes are perfect codes).