English

Local Optimality Certificates for LP Decoding of Tanner Codes

Information Theory 2011-04-26 v1 Combinatorics math.IT

Abstract

We present a new combinatorial characterization for local optimality of a codeword in an irregular Tanner code. The main novelty in this characterization is that it is based on a linear combination of subtrees in the computation trees. These subtrees may have any degree in the local code nodes and may have any height (even greater than the girth). We expect this new characterization to lead to improvements in bounds for successful decoding. We prove that local optimality in this new characterization implies ML-optimality and LP-optimality, as one would expect. Finally, we show that is possible to compute efficiently a certificate for the local optimality of a codeword given an LLR vector.

Keywords

Cite

@article{arxiv.1104.4646,
  title  = {Local Optimality Certificates for LP Decoding of Tanner Codes},
  author = {Nissim Halabi and Guy Even},
  journal= {arXiv preprint arXiv:1104.4646},
  year   = {2011}
}
R2 v1 2026-06-21T17:58:13.842Z