Correlation inequalities: a useful tool in the theory of LDPC codes | IEEE Conference Publication | IEEE Xplore