Chapter 29

Introduction to Algebraic Coding Theory

[35/71%]
Show
LaTeX
Problem 29.1

Find the Hamming weight of each code word in Table 29.1 (the code words of the Hamming (7,4)(7,4) code of Example 1):

0000000, 0001011, 0010111, 0100101, 1000110, 1100011, 1010001, 1001101,0110010, 0101110, 0011100, 1110100, 1101000, 1011010, 0111001, 1111111. \begin{aligned} & 0000000, \ 0001011, \ 0010111, \ 0100101, \ 1000110, \ 1100011, \ 1010001, \ 1001101, \\ & 0110010, \ 0101110, \ 0011100, \ 1110100, \ 1101000, \ 1011010, \ 0111001, \ 1111111. \end{aligned}
?
Problem 29.2

Find the Hamming distance between the following pairs of vectors: {1101,0111}\left\{ 1101, 0111\right\}, {0220,1122}\left\{ 0220, 1122\right\}, {11101,00111}\left\{ 11101, 00111\right\}.

?
Problem 29.3

Referring to Example 1, use the nearest-neighbor method to decode the received words 00001100000110 and 11101001110100.

?
Problem 29.4

For any vector space VV and any u,v,wu, v, w in FnF^n, prove that the Hamming distance has the following properties.

?
(a)

d(u,v)=d(v,u)d(u, v) = d(v, u) (symmetry).

(b)

d(u,v)=0d(u, v) = 0 if and only if u=vu = v.

(c)

d(u,v)=d(u+w,v+w)d(u, v) = d(u + w, v + w) (translation invariance).

Problem 29.5

Determine the (6,3)(6, 3) binary linear code with generator matrix

G=[100011010101001110]. G = \begin{bmatrix} 1 & 0 & 0 & 0 & 1 & 1 \\ 0 & 1 & 0 & 1 & 0 & 1 \\ 0 & 0 & 1 & 1 & 1 & 0 \end{bmatrix}.
?
Problem 29.6

Show that for binary vectors, wt(u+v)≥wt(u)=wt(v)\mathrm{wt}(u + v) \ge \mathrm{wt}(u) = \mathrm{wt}(v) and equality occurs if and only if for all ii the iith component of uu is 11 whenever the iith component of vv is 11.

?
Problem 29.7

If the minimum weight of any nonzero code word is 22, what can we say about the error-detecting capability of the code?

?
Remark.
?

Theorem 29.2, "Correcting Capability of a Linear Code," states: If the Hamming weight of a linear code is at least 2t+12t + 1, then the code can correct any tt or fewer errors. Alternatively, the same code can detect any 2t2t or fewer errors.

Problem 29.8

Suppose that CC is a linear code with Hamming weight 33 and that C′C' is one with Hamming weight 44. What can C′C' do that CC can't?

?
Problem 29.9

Let CC be a binary linear code. Show that the code words of even weight form a subcode of CC. (A subcode of a code is a subset of the code that is itself a code.)

?
Problem 29.10

Let

C={0000000,1110100,0111010,0011101,1001110,0100111,1010011,1101001}. C = \left\{ 0000000, 1110100, 0111010, 0011101, 1001110, 0100111, 1010011, 1101001\right\} .

What is the error-correcting capability of CC? What is the error-detecting capability of CC?

?
Problem 29.11

Suppose that the parity-check matrix of a binary linear code is

H=[1001111001]. H = \begin{bmatrix} 1 & 0 \\ 0 & 1 \\ 1 & 1 \\ 1 & 0 \\ 0 & 1 \end{bmatrix}.

Can the code correct any single error?

?
Problem 29.12

Use the generator matrix

G=[10110121] G = \begin{bmatrix} 1 & 0 & 1 & 1 \\ 0 & 1 & 2 & 1 \end{bmatrix}

to construct a (4,2)(4, 2) ternary linear code. What is the parity- check matrix for this code? What is the error-correcting capability of this code? What is the error-detecting capability of this code? Use parity-check decoding to decode the received word 12011201.

?
Problem 29.13

Find all code words of the (7,4)(7, 4) binary linear code whose generator matrix is

G=[1000111010010100101100001011]. G = \begin{bmatrix} 1 & 0 & 0 & 0 & 1 & 1 & 1 \\ 0 & 1 & 0 & 0 & 1 & 0 & 1 \\ 0 & 0 & 1 & 0 & 1 & 1 & 0 \\ 0 & 0 & 0 & 1 & 0 & 1 & 1 \end{bmatrix}.

Find the parity-check matrix of this code. Will this code correct any single error?

?
Problem 29.14

Show that in a binary linear code, either all the code words end with 00, or exactly half end with 00. What about the other components?

?
Problem 29.15

Suppose that a code word vv is received as the vector uu. Show that coset decoding will decode uu as the code word vv if and only if u−vu - v is a coset leader.

?
Problem 29.16

Consider the binary linear code

C={00000,10011,01010,11001,00101,10110,01111,11100}. C = \left\{ 00000, 10011, 01010, 11001, 00101, 10110, 01111, 11100\right\} .

Construct a standard array for CC. Use nearest-neighbor decoding to decode 1110111101 and 0110001100. If the received word 1110111101 has exactly one error, can we determine the intended code word? If the received word 0110001100 has exactly one error, can we determine the intended code word?

?
Problem 29.17

Construct a (6,3)(6, 3) binary linear code with generator matrix

G=[100110010011001101]. G = \begin{bmatrix} 1 & 0 & 0 & 1 & 1 & 0 \\ 0 & 1 & 0 & 0 & 1 & 1 \\ 0 & 0 & 1 & 1 & 0 & 1 \end{bmatrix}.

Decode each of the received words

001001,011000,000110,100001 001001, \quad 011000, \quad 000110, \quad 100001

by the following methods:

?
(a)

Nearest-neighbor method.

(b)

Parity-check matrix method.

(c)

Coset decoding using a standard array.

(d)

Coset decoding using the syndrome method.

Problem 29.18

Suppose that the minimum weight of any nonzero code word in a linear code is 66. Discuss the possible options for error correction and error detection.

?
Problem 29.19

Using the code and the parity-check matrix given in Example 10, show that parity-check matrix decoding cannot detect any multiple errors (i.e., two or more errors).

?
Problem 29.20

Suppose that the last row of a standard array for a binary linear code is

1000000011110100100110101001101111101100. 10000 \quad 00011 \quad 11010 \quad 01001 \quad 10101 \quad 00110 \quad 11111 \quad 01100.

Determine the code.

?
Problem 29.21

How many code words are there in a (6,4)(6, 4) ternary linear code? How many possible received words are there for this code?

?
Problem 29.22

If the parity-check matrix for a binary linear code is

H=[110011101100010001]. H = \begin{bmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix}.

will the code correct any single error? Why?

?
Problem 29.23

Suppose that the parity-check matrix for a ternary code is

H=[2122121001]. H = \begin{bmatrix} 2 & 1 \\ 2 & 2 \\ 1 & 2 \\ 1 & 0 \\ 0 & 1 \end{bmatrix}.

Can the code correct all single errors? Give a reason for your answer.

?
Problem 29.24

Prove that for nearest-neighbor decoding, the converse of Theorem 29.2 is true.

?
Problem 29.25

Can a (6,3)(6, 3) binary linear code be double-error-correcting using the nearest-neighbor method? Do not assume that the code is systematic.

?
Problem 29.26

Prove that there is no 2×52 \times 5 standard generator matrix GG that will produce a (5,2)(5, 2) linear code over Z3Z_3 capable of detecting all possible triple errors.

?
Problem 29.27

Why can't the nearest-neighbor method with a (4,2)(4, 2) binary linear code correct all single errors?

?
Problem 29.28

Suppose that one row of a standard array for a binary code is

000100110000011110111101101010001001100111010011. 000100 \quad 110000 \quad 011110 \quad 111101 \quad 101010 \quad 001001 \quad 100111 \quad 010011.

Determine the row that contains 100001100001.

?
Problem 29.29

Use the field F=Z2[x]/⟨x2+x+1⟩F = Z_2[x]/\langle x^2 + x + 1 \rangle to construct a (5,2)(5, 2) linear code that will correct any single error.

?
Problem 29.30

Find the standard generator matrix for a (4,2)(4, 2) linear code over Z3Z_3 that encodes 2020 as 20122012 and 1111 as 11001100. Determine the entire code and the parity-check matrix for the code. Will the code correct all single errors?

?
Problem 29.31

Assume that CC is an (n,k)(n, k) binary linear code and that, for each position i=1,2,…,ni = 1, 2, \ldots , n, the code CC has at least one vector with a 11 in the iith position. Show that the average weight of a code word is n/2n/2.

?
Problem 29.32

Let CC be an (n,k)(n, k) linear code over FF such that the minimum weight of any nonzero code word is 2t+12t + 1. Show that not every vector of weight t+1t+1 in FnF^n can occur as a coset leader.

?
Problem 29.33

Let CC be an (n,k)(n, k) binary linear code over F=Z2F = Z_2. If v∈Fnv \in F^n but v∉Cv \notin C, show that C∪(v+C)C \cup (v + C) is a linear code.

?
Problem 29.34

Let CC be a binary linear code. Show that either every member of CC has even weight or exactly half the members of CC have even weight. (Compare with Exercise 27 in Chapter 5.)

?
Problem 29.35

Let CC be an (n,k)(n, k) linear code. For each ii with 1≤i≤n1 \le i \le n, let Ci={v∈C∣the ith component of v is 0}C_i = \left\{ v \in C \mid \text{the } i\text{th component of } v \text{ is } 0\right\}. Show that CiC_i is a subcode of CC.

?