Information geometry of turbo and low-density parity-check codes

Since the proposal of turbo codes in 1993, many studies have appeared on this simple and new type of codes which give a powerful and practical performance of error correction. Although experimental results strongly support the efficacy of turbo codes, further theoretical analysis is necessary, which is not straightforward. It is pointed out that the iterative decoding algorithm of turbo codes shares essentially similar ideas with low-density parity-check (LDPC) codes, with Pearl's belief propagation algorithm applied to a cyclic belief diagram, and with the Bethe approximation in statistical physics. Therefore, the analysis of the turbo decoding algorithm will reveal the mystery of those similar iterative methods. In this paper, we recapture and extend the geometrical framework initiated by Richardson to the information geometrical framework of dual affine connections, focusing on both of the turbo and LDPC decoding algorithms. The framework helps our intuitive understanding of the algorithms and opens a new prospect of further analysis. We reveal some properties of these codes in the proposed framework, including the stability and error analysis. Based on the error analysis, we finally propose a correction term for improving the approximation.

[1]  Giuseppe Caire,et al.  Density evolution and power profile optimization for iterative multiuser decoders based on individually optimum multiuser detectors , 2002 .

[2]  Robert G. Gallager,et al.  Low-density parity-check codes , 1962, IRE Trans. Inf. Theory.

[3]  Alexander Vardy,et al.  The turbo decoding algorithm and its phase trajectories , 2001, IEEE Trans. Inf. Theory.

[4]  Toshiyuki Tanaka,et al.  Information Geometry of Mean-Field Approximation , 2000, Neural Computation.

[5]  D. Saad,et al.  The TAP Approach to Intensive and Extensive Connectivity Systems , 2001 .

[6]  A. Vardy,et al.  The turbo decoding algorithm and its phase trajectories , 2000, 2000 IEEE International Symposium on Information Theory (Cat. No.00CH37060).

[7]  Shun-ichi Amari,et al.  Differential-geometrical methods in statistics , 1985 .

[8]  Rüdiger L. Urbanke,et al.  The capacity of low-density parity-check codes under message-passing decoding , 2001, IEEE Trans. Inf. Theory.

[9]  Shun-ichi Amari,et al.  Methods of information geometry , 2000 .

[10]  Martin J. Wainwright,et al.  Tree-based reparameterization for approximate inference on loopy graphs , 2001, NIPS.

[11]  Joachim Hagenauer,et al.  Iterative decoding of binary block and convolutional codes , 1996, IEEE Trans. Inf. Theory.

[12]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[13]  John Cocke,et al.  Optimal decoding of linear codes for minimizing symbol error rate (Corresp.) , 1974, IEEE Trans. Inf. Theory.

[14]  J. Mean field theory for graphical models , .

[15]  Alan L. Yuille,et al.  CCCP Algorithms to Minimize the Bethe and Kikuchi Free Energies: Convergent Alternatives to Belief Propagation , 2002, Neural Computation.

[16]  Jung-Fu Cheng,et al.  Turbo Decoding as an Instance of Pearl's "Belief Propagation" Algorithm , 1998, IEEE J. Sel. Areas Commun..

[17]  D. Declercq,et al.  Gallager codes for multiple user applications , 2002, Proceedings IEEE International Symposium on Information Theory,.

[18]  David J. C. MacKay,et al.  Good Error-Correcting Codes Based on Very Sparse Matrices , 1997, IEEE Trans. Inf. Theory.

[19]  Ralf R. Müller,et al.  Iterative multiuser joint decoding: optimal power allocation and low-complexity implementation , 2004, IEEE Transactions on Information Theory.

[20]  W. Freeman,et al.  Bethe free energy, Kikuchi approximations, and belief propagation algorithms , 2001 .

[21]  Yoshiyuki Kabashima,et al.  Belief propagation vs. TAP for decoding corrupted messages , 1998 .

[22]  Shun-ichi Amari,et al.  Information-Geometrical Significance of Sparsity in Gallager Codes , 2001, NIPS.

[23]  Thomas J. Richardson,et al.  The geometry of turbo-decoding dynamics , 2000, IEEE Trans. Inf. Theory.

[24]  Shun-ichi Amari,et al.  Stochastic Reasoning, Free Energy, and Information Geometry , 2004, Neural Computation.

[25]  L. Goddard Information Theory , 1962, Nature.

[26]  Saad,et al.  Statistical physics of regular low-density parity-check error-correcting codes , 2000, Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics.

[27]  A. Glavieux,et al.  Near Shannon limit error-correcting coding and decoding: Turbo-codes. 1 , 1993, Proceedings of ICC '93 - IEEE International Conference on Communications.

[28]  Shun-ichi Amari,et al.  Information geometry on hierarchy of probability distributions , 2001, IEEE Trans. Inf. Theory.

[29]  Shun-ichi Amari,et al.  Information Geometrical Framework for Analyzing Belief Propagation Decoder , 2001, NIPS.

[30]  Shun-ichi Amari,et al.  Information geometry of turbo codes , 2002, Proceedings IEEE International Symposium on Information Theory,.

[31]  D. Saad,et al.  Statistical mechanics of error-correcting codes , 1999 .

[32]  Abdelaziz Amraoui,et al.  Achieving general points in the 2-user Gaussian MAC without time-sharing or rate-splitting by means of iterative coding , 2002, Proceedings IEEE International Symposium on Information Theory,.

[33]  Alain Glavieux,et al.  Reflections on the Prize Paper : "Near optimum error-correcting coding and decoding: turbo codes" , 1998 .

[34]  M. Opper,et al.  Information Geometry of Mean Field Approximation , 2001 .