List Decoding of Generalized Reed-Solomon Codes by Using a Modified Extended Key Equation Algorithm

Abstract

This work presents a modified extended key equation algorithm in list decoding of generalized Reed-Solomon (GRS) codes. A list decoding algorithm of generalized Reed-Solomon codes has two steps, interpolation and factorization. The extended key equation algorithm (EKE) is an interpolation-based approach with a lower complexity than Sudan's algorithm. To increase the decoding speed, this work proposes a modified EKE algorithm to perform codeword checking prior to such an interpolation process. Since the evaluation mapping is engaged in encoding, a codeword is not generated systematically. Thus, the transmission information is not directly obtained from a received codeword. Therefore, the proposed algorithm undertakes a matrix operation to obtain the transmission information once a received vector has been checked to be error-free. Simulation results demonstrate that the modified EKE algorithm in list decoding of a GRS code provides low complexity, particularly at high signal-to-noise ratios.

1. Introduction

Reed-Solomon (RS) codes are currently used in a wide variety of applications, ranging from data storage systems, mobile communications, to satellite communications. The third-generation (3G) wireless standard utilizes RS codes as outer codes. For CDMA2000 high-rate broadcast packet data air interface [1], they are expected to be adopted as outer codes in concatenated coding schemes for future fourth-generation (4G) wireless systems.

Algorithms for hard decision decoding of RS codes are typically classified into two well-known types, namely, syndrome-based decoding and interpolation-based decoding. Well-developed algorithms in the first category include the Peterson-Gorenstein-Zierler algorithm [2], Berlekamp-Massey algorithm [2, 3], Euclidean algorithm [2, 3], frequency domain algorithm [2, 3], and step-by-step algorithm [4–7]. Algorithms in the second category include the Welch-Berlekamp algorithms [8, 9] and list decoding algorithms [10–12], as Koetter-Vardy algorithm [13] is also a list decoding algorithm but with soft decision approaching.

Sudan's algorithm [10] decodes GRS codes in two steps involved, namely, interpolation and factorization. An interpolation is performed on a received word , producing a nonzero bivariate polynomial with at least points , such that and . Factorization is then performed on , yielding linear factors (or called -root polynomials) . The codewords are then generated from these distinct factors via an evaluation mapping. A decoded codeword is chosen if the Hamming distance between and is or less.

Because solving these interpolation equations of Sudan's algorithm with a naïve Gaussian elimination requires the time complexity , an EKE algorithm has been presented to decrease this complexity [12]. The EKE algorithm employs generalized Berlekamp-Massy algorithm (or the Feng-Tzeng algorithm in [14]) that obtains the shortest recurrence that generates a given sequence, and the time complexity of EKE to solve these interpolation equations is . represents a design parameter, typically a small constant, which is an upper bound on the size of the list of decoded codewords.

Guruswami and Sudan (GS) presented an improvement on Sudan's algorithm [11], by introducing a multiplicity at each interpolation point. A nonzero polynomial exists that interpolates the points , with multiplicity , and is formed by , where , and the expression of denotes the number of ways to choose from . In comparison with Sudan's work, the GS algorithm provides more linear homogeneous equations in interpolation, thus improving the decoding correction distance. Increasing improves the decoding performance but also increases the required complexity. The asymptotical decoding correction fraction is given by , and the code rate is given by . The increase in decoding capability is substantial, especially for low-rate GRS codes.

Koetter and Vardy [13] extended the GS algorithm by incorporating the soft information received from a channel into the interpolation process. With a complexity that is a polynomial of the code length, the Koetter-Vardy (KV) algorithm can achieve a substantial coding gain over the GS algorithm. For instance, at a frame-error-rate (FER) of , the KV algorithm can achieve a coding gain of about 1 dB over the GS algorithm, for a (255, 144) GRS code transmitted over an additive white Gaussian noise (AWGN) channel using 256-QAM modulation [13].

However, those approaches have a drawback, that is codeword checking is absent during decoding. In other words, regardless of whether the received sequence is correct or not, the decoding algorithm proceeds to decode it. This work overcomes this drawback by presenting a modified EKE algorithm with codeword checking. Additionally, a matrix operation is also proposed to obtain the transmission information from the received codeword. As in syndrome-based decoding, if the syndrome vector is all-zero, then the decoding process is terminated and the received sequence is output as a decoded codeword. The rest of this paper is organized as follows. Section 2 introduces the EKE algorithm. Section 3 then presents the modified EKE algorithm with the proposed codeword checking method and the matrix operation to obtain the transmission information from the received codeword. Finally, simulations and conclusions are presented in Section 4.

2. Extended Key Equation Algorithm

Consider an evaluation mapping and . A codeword in an GRS code over GF() is generated as

(1)

where the information vector is , the generator matrix is

(2)

and is a primitive element in GF().

The term is the upper bound of the number of consistent codewords, which are at Hamming distance from any received word. For an GRS code, Sudan's algorithm corrects any error pattern of up to errors for

(3)

where denotes the smallest nonnegative integer holding the following equation:

(4)

Assuming that , the value of becomes

(5)

Let be a field, and let represent the set of all polynomials of degree in the variable over . Sudan's algorithm consists of the following steps.

• (1) Find a nonzero bivariate polynomial over with at least points , such that and , for a received vector .

• (2) Output all polynomials for which is a factor of and for at least locators .

In [2, 3], for an RS code, the error-locator polynomial and the error-evaluator polynomial are computed in the following key equation (KE):

(6)

In [12], based on the linear factors of bivariate polynomials where the polynomial arithmetic is carried out modulo a power of in Sudan's algorithm, an EKE algorithm is derived as follows:

(7)

where , , and are polynomials that satisfy certain degree constraints and are syndrome polynomials computed as follows:

(8)

(9)

Furthermore, the above equation can be obtained as follows:

(10)

which is denoted as

(11)

Let

(12)

where and . After these polynomials , , have been computed in (11) by using the Feng-Tzeng algorithms [14] or a similar algorithm mentioned in [12], the polynomial is obtained as follows:

(13)

and satisfies

(14)

A design parameter in [12] is an upper bound on the size of the list of decoded codewords. For code rate , from (4), the value of is determined by the following range:

(15)

The EKE algorithm employs the Feng-Tzeng algorithm [14] to decode GRS codes. The dimensions of the -matrix in (11) are by . Since the Feng-Tzeng algorithm is run column by column in a matrix, therefore the column length dominates the decoding complexity. Reducing the column length lowers the complexity of locating the smallest set of linear dependent coefficients. The algorithm of [12] requires the solving of homogeneous linear equations in (11) and then finding the corresponding coefficients of in (14). Hence, the time complexity is , which is less than the time complexity of of Sudan's algorithm. Consequently, the EKE algorithm is more attractive than the algorithm of [10].

3. Modified Extended Key Equation Algorithm

Since the polynomial is associated with a codeword , which has zeros [15], a parity-check matrix for is given by [16, 17]

(16)

Theorem 1.

For a received vector , codeword checking is equal to the computation of  , which is

(17)

where denotes the matrix transpose.

Proof.

For computing the value of in (9), a different element should yield a different result for . Consequently, the value of can be simplified as

(18)

Equation (9) becomes

(19)

For the vector , the calculation of each can be denoted as follows:

(20)

and the vector becomes

(21)

Theorem 2.

The codeword checking is checked to be all-zero, and then the transmission message is given by

(22)

where is the last -tuple of and is a matrix such that is a systematical matrix.

Proof.

The proof is quite trivial. In the expression of (1),

(23)

Then,

(24)

Example 1.

For a (7, 3) GRS code over GF(2³) generated by the polynomial , a codeword is given by the evaluation mapping provided as the transmission message . If the codeword is transmitted over an error-free channel, then is checked to be all-zero by (17) and the transmission message is computed by (22) as follows:

(25)

where

(26)

With the above theorems, the list decoding algorithm [12] of an , GRS code is adjusted as follows.

• (1) Perform codeword-checking, , for a received vector . If is an all-zero vector, then output the corresponding message vector determined as , where a vector is the last -tuple of . Then, go to step 5.

• (2) Perform the EKE interpolation:

  • (a) compute the syndrome polynomials in parallel: and and ,

  • (b) find polynomial polynomials , where , by the Feng-Tzeng algorithm such that , ,

  • (c) form the bivariate polynomial , and then obtain the polynomial satisfying , .

• (3) Perform the factorization on the bivariate polynomial by employing the reconstruction algorithm [12] to find the -root polynomials .

• (4) Generate the corresponding codeword for each polynomial . Output the message vectors of the codewords with the Hamming distance to equal to or less.

• (5) Terminate decoding

4. Simulations and Conclusions

Figure 1 displays the decoding performance of listing decoding [12] with the modified EKE algorithm as a (255, 223, 33) GRS code and a (255, 239, 17) GRS code are transmitted with BPSK signaling over AWGN channels. Figure 2 illustrates the probability of the EKE algorithm being executed in such a listing decoding. Those simulations demonstrate that codeword checking has little effect on decoding at low signal-to-noise ratios. However, the modified EKE algorithm provides lower decoding complexity when the signal-to-noise is high. At a block error rate (BER) of , the probabilities of the EKE algorithm being utilized in list decoding of these two GRS codes are 0.98 and 0.75, respectively. This work presents a modified EKE algorithm, incorporating codeword checking and a matrix operation, which obtains the transmission information from the received codeword. The computation of codeword checking does not increase the complexity of the original EKE algorithm, because it is an item in the original decoding process. The proposed EKE algorithm is beneficial when the signal-to-noise ratio is high.

Figure 1

Performance of listing decoding with the modified EKE algorithm, when a (255, 233, 33) GRS code and a (255, 239, 17) GRS code are transmitted with BPSK signaling over AWQN channels.

Figure 2

Probability of the EKE algorithm in listing decoding, when a (255, 233, 33) GRS code and a (255, 239, 17) GRS code are transmitted with BPSK signaling over AWQN channels.