Stopping Set Analysis of Iterative Row-Column Decoding of Product Codes
Eirik Rosnes · IEEE Transactions on Information Theory · 2008
In this paper, we introduce stopping sets for iterative row-column decoding of product codes using optimal constituent decoders. When transmitting over the binary erasure channel (BEC), iterative row-column decoding of product codes using optimal constituent decoders will either be successful, or stop in the unique maximum-size stopping set that is contained in the (initial) set of erased positions. Let Cpdenote the product code of two binary linear codes Ccand Crof minimum distances dc and drand second generalized Hamming weights d2(Cc) and d2(Cr), respectively. We show that the size sminof the smallest noncode- word stopping set is at least mm(drd2(Cc),dcd2(Cr)) > drdc, where the inequality follows from the Griesmer bound. If there are no codewords in Cpwith support set S, where S is a stopping set, then S is said to be a noncodeword stopping set. An immediate consequence is that the erasure probability after iterative row-column decoding using optimal constituent decoders of (finite-length) product codes on the BEC, approaches the erasure probability after maximum-likelihood decoding as the channel erasure probability decreases. We also give an explicit formula for the number of noncodeword stopping sets of size smin, which depends only on the first nonzero coefficient of the constituent (row and column) first and second support weight enumerators, for the case when d2(Cr)rand d2(Cc)c. Finally, as an example, we apply the derived results to the product of two (extended) Hamming codes and two Golay codes.