Spatially Coupled Split-Component Codes With Iterative Algebraic Decoding

We analyze a class of high performance, low decoding-data-flow error-correcting codes suitable for high bit-rate optical-fiber communication systems. A spatially coupled split-component ensemble is defined, generalizing from the most important codes of this class, staircase codes and braided block codes, and preserving a deterministic partitioning of component-code bits over code blocks. Our analysis focuses on low-complexity iterative algebraic decoding, which, for the binary erasure channel, is equivalent to a generalization of the peeling decoder. Using the differential equation method, we derive a vector recursion that tracks the expected residual graph evolution throughout the decoding process. The threshold of the recursion, for asymptotically long component codes, is found using potential function analysis. We generalize the analysis to mixture ensembles consisting of more than one type of component code. We give an example of a mixture ensemble consisting of two component codes, which has better performance than spatially-coupled split-component ensembles consisting of only one component code. The analysis extends to the binary symmetric channel by assuming miscorrection-free component-code decoding. Simple upper bounds on the number of errors correctable by the ensemble are derived. Finally, we analyze the threshold of spatially coupled split-component ensembles under beyond bounded-distance component decoding.

[1]  Yung-Yih Jian,et al.  ON THE ANALYSIS OF SPATIALLY-COUPLED GLDPC CODES AND THE WEIGHTED MIN-SUM ALGORITHM , 2013 .

[2]  Andrea Montanari,et al.  Finite-Length Scaling for Iteratively Decoded LDPC Ensembles , 2004, IEEE Transactions on Information Theory.

[3]  Henry D. Pfister,et al.  Density Evolution for Deterministic Generalized Product Codes on the Binary Erasure Channel at High Rates , 2015, IEEE Transactions on Information Theory.

[4]  Frank R. Kschischang,et al.  Staircase Codes: FEC for 100 Gb/s OTN , 2012, Journal of Lightwave Technology.

[5]  Allan Bickle,et al.  The k-Cores of a Graph , 2010 .

[6]  Rüdiger L. Urbanke,et al.  Modern Coding Theory , 2008 .

[7]  Alexandre Graell i Amat,et al.  Deterministic and ensemble-based spatially-coupled product codes , 2016, 2016 IEEE International Symposium on Information Theory (ISIT).

[8]  Pablo M. Olmos,et al.  A Scaling Law to Predict the Finite-Length Performance of Spatially-Coupled LDPC Codes , 2014, IEEE Transactions on Information Theory.

[9]  J. Justesen,et al.  Analysis of Iterated Hard Decision Decoding of Product Codes with Reed-Solomon Component Codes , 2007, 2007 IEEE Information Theory Workshop.

[10]  Daniel A. Spielman,et al.  Efficient erasure correcting codes , 2001, IEEE Trans. Inf. Theory.

[11]  Michael Lentmaier,et al.  Braided Block Codes , 2009, IEEE Transactions on Information Theory.

[12]  Tor Helleseth,et al.  Error-correction capability of binary linear codes , 2003, IEEE Transactions on Information Theory.

[13]  Joel H. Spencer,et al.  Sudden Emergence of a Giantk-Core in a Random Graph , 1996, J. Comb. Theory, Ser. B.

[14]  Henry D. Pfister,et al.  Iterative hard-decision decoding of braided BCH codes for high-speed optical communication , 2013, 2013 IEEE Global Communications Conference (GLOBECOM).

[15]  Paul H. Siegel,et al.  On the asymptotic performance of iterative decoders for product codes , 2005, Proceedings. International Symposium on Information Theory, 2005. ISIT 2005..

[16]  N. Wormald Differential Equations for Random Processes and Random Graphs , 1995 .

[17]  Colin Cooper,et al.  The cores of random hypergraphs with a given degree sequence , 2004, Random Struct. Algorithms.

[18]  Nenad Miladinovic,et al.  Generalized LDPC codes and generalized stopping sets , 2008, IEEE Transactions on Communications.

[19]  Yi Lu,et al.  Counter Braids: Asymptotic optimality of the message passing decoding algorithm , 2008, 2008 46th Annual Allerton Conference on Communication, Control, and Computing.

[20]  Henry D. Pfister,et al.  Approaching capacity at high rates with iterative hard-decision decoding , 2012, 2012 IEEE International Symposium on Information Theory Proceedings.

[21]  N. Wormald The differential equation method for random graph processes and greedy algorithms , 1999 .

[22]  Michael Molloy,et al.  Cores in random hypergraphs and Boolean formulas , 2005, Random Struct. Algorithms.

[23]  R. Koetter,et al.  Performance of Iterative Algebraic Decoding of Codes Defined on Graphs: An Initial Investigation , 2007, 2007 IEEE Information Theory Workshop.

[24]  Pablo M. Olmos,et al.  Capacity achieving LDPC ensembles for the TEP decoder in erasure channels. , 2011, 2011 IEEE International Symposium on Information Theory Proceedings.

[25]  Robert Michael Tanner,et al.  A recursive approach to low complexity codes , 1981, IEEE Trans. Inf. Theory.

[26]  Daniel A. Spielman,et al.  Practical loss-resilient codes , 1997, STOC '97.

[27]  Gerhard Fettweis,et al.  On the thresholds of generalized LDPC convolutional codes based on protographs , 2010, 2010 IEEE International Symposium on Information Theory.

[28]  Henry D. Pfister,et al.  A Simple Proof of Maxwell Saturation for Coupled Scalar Recursions , 2013, IEEE Transactions on Information Theory.

[29]  J. Boutros,et al.  Generalized low density (Tanner) codes , 1999, 1999 IEEE International Conference on Communications (Cat. No. 99CH36311).

[30]  Pablo M. Olmos,et al.  Analyzing finite-length protograph-based spatially coupled LDPC codes , 2014, 2014 IEEE International Symposium on Information Theory.

[31]  Jørn Justesen,et al.  Performance of Product Codes and Related Structures with Iterated Decoding , 2011, IEEE Transactions on Communications.