TY - EJOUR
AB - It is shown that a correlation inequality of statistical mechanics can be applied to linear low-density parity-check codes. Thanks to this tool we prove that, under a natural assumption, the exponential growth rate of regular low-density parity-check (LDPC) codes, can be computed exactly by iterative methods, at least on the interval where it is a concave function of the relative weight of code words. Then, considering communication over a binary input additive white Gaussian noise channel with a Poisson LDPC code we prove that, under a natural assumption, part of the GEXIT curve (associated to MAP decoding) can also be computed exactly by the belief propagation algorithm. The correlation inequality yields a sharp lower bound on the GEXIT curve. We also make an extension of the interpolation techniques that have recently led to rigorous results in spin glass theory and in the SAT problem.
T1 - Griffiths Kelly Sherman correlation inequalities: a useful tool in the theory of error correcting codes
IS - 2
DA - 2007
AU - Macris, N
JF - IEEE TRANSACTIONS ON INFORMATION THEORY
SP - 664-683
VL - 53
EP - 664-683
PB - Institute of Electrical and Electronics Engineers
ID - 100850
SN - 0018-9448
UR - http://infoscience.epfl.ch/record/100850/files/corelationinequality2007.pdf
ER -