Professional Documents
Culture Documents
FinalSS21 Solution
FinalSS21 Solution
Channel Coding
• Write your name and student ID on every sheet. Please have your student card ready for
examination.
• The exam duration is 90 minutes.
• This exam has 7 questions on 22 pages (excluding the cover page).
• Do not write with pencils or red pens.
• You can get full credit if and only if you give reasons for your answer.
• Problem parts that are marked with an =⇒ can be solved independently of previous parts
of the same problem.
• Please remain seated until the end of the exam.
• This is an open book exam, you are allowed to use any material that is in paper form
(scripts, notes, print-outs, etc.) and a non-programmable calculator! Other materials are
not allowed.
SAMPLE SOLUTION
For internal use only:
Question Points Score
Channel Coding Principles 12
Linear Codes 15
Reed-Solomon Codes 19
Cyclic Codes 19
Reed–Muller Codes 10
Concatenated Codes 6
Convolutional Codes 9
Total: 90
Problem 1: Channel Coding Principles (12 points)
=⇒ a) What is the length n, the cardinality |C|, and the minimum distance d of the code C? (2 pt)
Solution: n = 5, |C| = 4.
The code length n is the length of each codeword in the codebook and the cardinality
|C| is the number of codewords.
The distance is d = 2.
Solution: No, since, the word 2 · (11222) is not in this code. Or some linear combi-
nations of the codewords are not in this code, e.g., (11111) + (11222) = (22000) ∈
/ C.
Solution: Any vector e ∈ {(00100), (00010), (00001), (00200), (00020), (00002), ...}.
Code distance is d = 2, so even for weight 1 not all errors are correctable.
over the q-ary symmetric channel (q = 3) with crossover probability p. The received word
at the channel output is denoted by r.
=⇒ d) First assume p = 0. Calculate the probability that the first symbol of the received word (1 pt)
is 1, i.e., P (r0 = 1).
Solution:
P (r0 = 1) = P c = (11111) + P c = (11222) = 0.7
=⇒ e) Now assume p = 0.1. Calculate the probability that the first symbol of the received (2 pt)
word is 1, i.e., P (r0 = 1).
Solution:
P (r0 = 1) = (1 − p)P c = (11111) + (1 − p)P c = (11222)
p p
+ P c = (00000) + P c = (22222)
2 2
129
=
200
p
Solution: For p = 23 we have (1−p) = q−1 = 13 , i.e., the channel output is uniformly
distributed and independent of the input. Each symbol occurs with probability 13 .
For the following tasks concerning MAP and ML decoding the crossover probability is fixed
to be p = 0.6. The channel input probabilities are still given by
P c = (00000) = 0.1, P c = (11111) = 0.5
P c = (22222) = P c = (11222) = 0.2 .
=⇒ g) A receiver needs to decide whether to use a MAP or ML decoder. Are these decoders (2 pt)
equivalent in the given setting? Which decoder should the receiver choose to get the
best performance?
Solution:
1 0 0 1 1 0 0
G = 0 1 0 1 1 2 1
0 0 1 2 2 0 2
=⇒ c) The minimum distance of the code C is d ≥ 3. Show that this bound is tight, i.e., d = 3. (2 pt)
Solution: The Hamming code is perfect, so the Hamming balls of radius 1 fill the
entire space. Since the word r is not in the radius-1 Hamming ball around c, it
must be in the radius-1 Hamming ball around some other codeword c0 , which will
be the output of the nearest codeword decoder.
Let α be a primitive element of Fpm . The elements of Fpm are given in the table below.
=⇒ a) Determine the parameters p and m of this field. Give the irreducible polynomial f (x) (2 pt)
used to construct this field.
=⇒ b) Give the polynomial representation of multiplicative and additive inverses of α4 and (3 pt)
x2 + 1. Is there an element in Fpm that does not have a multiplicative inverse? Is there
an element that does not have an additive inverse?
=⇒ c) Give a choice for the values of δ0 , δ1 , and δ2 such that the code is an RS code. For your (3 pt)
choice, is the code a primitive RS code?
=⇒ d) Give the length n, dimension k, and minimum distance d of the code RS. (1 pt)
Solution: n = 7, k = 3
d=n−k+1=5
r = c + e = (x, x2 , x2 + 1, x2 + x + 1, x2 , 1, x2 )
s = r · H> 2
RS = (1, 0, x + 1, 1).
=⇒ e) Set up and solve the linear system of equations S · Λ = Ω for the coefficients of the (4 pt)
error locator polynomial Λ(y).
Solution:
2
0 1 Λ1 x +1
· =
x2 + 1 0 Λ2 1
c = (x, x2 , x2 + x + 1, x2 + x + 1, x, 1, x2 ) .
Solution: Comparing the codeword to the received word shows that the errors
occurred in the positions corresponding to the locators x2 = α2 and x2 + x = α4 .
The roots of the ELP are given by the multiplicative inverses of these elements, i.e.,
by α5 and α3 .
Solution: The weight of each row of the systematic generator matrix is 1 plus the
number of non-zero parity symbols in this row. There are n − k parity symbols in
each row and from the Singleton bounds we know that the minimum distance of
this code is n − k + 1. Hence, each non-zero codeword and, specifically, each row
of the generator matrix is of weight ≥ n − k + 1. It follows that every ri,j must be
non-zero.
No, it is not sufficient. Every subset of k columns must be independent, which is
clearly violated if, e.g., all ri,j are chosen to be equal (arguing via the parity-check
matrix is also fine).
Consider a cyclic code over a finite field Fq with q = 5 and length n = 8. The polynomial
x8 − 1 can be factored over F5 into irreducible polynomials as follows
Solution:
3
The dimension k = n − deg{g(x)} = 8 − 5 = 3 and the rate R = .
8
=⇒ b) Write down the codeword c (in vector representation) that is obtained by encoding (1 pt)
u(x) = 1.
Solution:
x8 − 1
The parity-check polynomial h(x) = = (x + 4) · (x2 + 3) = x3 + 4x2 + 3x + 2
g(x)
e) Compute the generator polynomial g ⊥ (x) of the dual code C ⊥ . In this occasion, can the (2 pt)
parity-check matrix of C be a valid generator-matrix G⊥ of the dual code C ⊥ ? Justify
your answer!
Even though g ⊥ (x) 6= h(x) the generator matrix G⊥ = H since the codes are dual.
Solution:
i i i−1 i−1
Over F2 we can write (xn − 1) = (x2 + 1) = (x + 1)2 = (x + 1)2 · (x + 1)2 =
1 n
g(x) · h(x) since the rate is R = and deg{g(x)} = n − k = = 2i−1 . From the
2 2
hint we can write
i−1 i−1
g(x) = (x + 1)2 = x2 + 1
Since g(x) is a codeword then d ≤ wt(g) = 2.
The equality can be shown by saying that g(x) is a minimum weight codeword or
by showing that encoding u(x) into c(x) gives that: wt(c(x)) = 2 · wt(u(x))
Solution: One needs to compute 3s − 1 for s = 1, 2, · · · and can compute that the
smallest possible s s.t. n|(3s − 1) is s = 4.
Solution:
C0 = {0}
C1 = {1, 3, 7, 9} = C3 = C7 = C9
C2 = {2, 4, 6, 8} = C4 = C6 = C8
C5 = {5}
i) What are the possible dimensions for a ternary BCH code of length n = 10 ? (2 pt)
k) State the parameters of the code to which our constructed BCH code is a subfield (1 pt)
subcode.
b) What are the Reed-Muller component codes Cu and Cv that one can use to construct (2 pt)
the code in a)? Do they both have smaller minimum distance than the code in a) ?
=⇒ c) Show that for any valid m, the all-one codeword belongs to the RM(r > 2, m) code. (3 pt)
Solution: Due to linearity, every Reed-Muller code contains the all-zero codeword.
Due to the construction RM(r, m) = {(u, u + v) : u ∈ RM(r, m − 1), v ∈
RM(r − 1, m − 1)}, we can have that (0, 1) and (1, 0) by picking u = 0 = v̄
In this problem we want to construct a generalized concatenated code with l = 3 inner and
outer codes. The three binary inner codes are:
B1 : Single Parity Check Code (nSPC = 8)
B2 : Reed-Muller Code of first-order (r = 1, m = 3)
B3 : Repetition Code (n = 8)
=⇒ a) Argue why it holds that B3 ⊂ B2 ⊂ B1 . (2 pt)
Solution:
B1 : SPC [8, 7, 2]2
B2 : RM(1, 3) = [8, 4, 4]2
B3 : Rep. Code(n = 8) = [8, 1, 8]2
B3 has only two codewords, the all-zero and the all-one and both this codewords are
contained in B2 and B1 .
B2 , apart from the codewords mentioned above, has only weight 4 codewords, which
are all contained in B1 since it is a single parity check code.
=⇒ b) Find the parameters of the outer codes A1 , A2 , A3 such that the generalized concate- (4 pt)
nated code is a [72, 41, ≥ 8]2 code and A1 is an MDS code.
(i) c(1)
u(1) c(2)
u(2) + c(3)
(ii) c(4)
=⇒ a) What is the memory m and constraint length ν of this convolutional code? What is the (2 pt)
rate R? Is the convolutional encoder (quasi-)systematic? Justify your answer!
1 D D 0
Solution: G(D) =
0 0 D 1
Solution: For the given information sequence the transmitted codeword is:
c = (1000|0110|1001|0100).
6 3
The rate Rterm = =
16 8
=⇒ d) Assume that due to manufacturing problems, the lines depicted as (i) and (ii) in the (2 pt)
figure are disconnected. How can we reconstruct the information sequence if error-free
transmission is guaranteed? Is it possible to reconstruct it if only one error occurred?
Justify your answer!
Solution:
Error-free: û(1) = c(2) · D−1 and û(2) = c(3) · D−1 − û(1) where
D−1 is inverting the unit-delay.
if wt(e) = 1, we cannot reconstruct the information sequence anymore since the
redundancy is zero.
r = (1 0 ? ? ?)
00000
S0t S0t+1
1
1010
S1t 11
011
111
11
S2t
S3t
Assume that r is the received sub-sequence at the step t of decoding. The erasure symbol
is denoted by ?.
=⇒ e) Which of the path(s) will not be removed? (2 pt)
Solution: Since for a BEC we have that Pr{r = 1/x = 0} = Pr{r = 0/x = 1} = 0
only the path whose output starts with 10 · · · will be considered. Thus :
S0t S0t+1
1
1010
S1t
S2t
S3t
Solution: