Tight Lower and Upper Bounds on the Minimum Distance of LDPC Codes

Abstract

In this letter, we obtain lower and upper bounds on the minimum distance $d_{\min }$ of low-density parity-check (LDPC) codes. The bounds are derived by categorizing the non-zero code words of an LDPC code into two categories of elementary and non-elementary. The first category contains code words whose induced subgraph has only degree-2 check nodes. We propose an efficient search algorithm that can find the elementary code words of an LDPC code with weight less than a certain value $a_{\max }$ , exhaustively. We also derive a lower bound $L_{ne}$ on the weight of non-elementary code words. By performing the search with $a_{\max } = L_{ne}$ , we either obtain an elementary code word with the smallest weight $d_{\min }$ , or establish the lower bound of $L_{ne}$ on $d_{\min }$ . For the upper bound, we modify our search algorithm to reach elementary codewords of larger weights at the cost of being non-exhaustive. Once such a codeword is found, its weight acts as an upper bound on $d_{\min }$ . We examine a large number of regular and irregular LDPC codes, and demonstrate the efficiency and versatility of our technique in finding lower and upper bounds on, and in many cases the exact value of, $d_{\min }$ . Finding $d_{\min }$ , or establishing search-based lower or upper bounds, for many of the examined codes are out of the reach of any existing algorithm.