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

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.

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. (1)

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

    
2. (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].

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. (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. (2)
   Perform the EKE interpolation:

   1. (a)

      compute the syndrome polynomials in parallel: and and ,

       
   2. (b)

      find polynomial polynomials , where , by the Feng-Tzeng algorithm such that , ,

       
   3. (c)

      form the bivariate polynomial , and then obtain the polynomial satisfying , .

       
    
3. (3)

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

    
4. (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. (5)

   Terminate decoding