IEEE Transactions on Communications

Minimum distance computation of LDPC codes using a branch and cut algorithm

Ahmet Burak Keha, Tolga M. Duman

Published Mar 30, 2010• 20 citations

Abstract

We give a branch-and-cut algorithm for finding the minimum distance of a binary linear block code. We give two integer programming (IP) models and study the convex hull of the single constraint relaxation of these IP models. We use the new inequalities as cuts in a branch-and-cut scheme. Finally, we report computational results based on turbo and low density parity check (LDPC) codes that demonstrate the effectiveness of our cuts. We demonstrate that our IP formulation and specific cuts are efficient tools for determining the minimum distance of moderate size linear block codes, specifically, they are very efficient for LDPC codes, and provide us with an additional tool for solving this important problem.

DOI: 10.1109/tcomm.2010.04.090164

Related papers

Valid inequalities for binary linear codes

Akın Tanatmis, Stefan Ruzika, Horst W. Hamacher +3 more

We study an integer programming (IP) based separation approach to find the maximum likelihood (ML) codeword for binary linear codes. An algorithm introduced in Tanatmis et al. is extended and improved with respect to decoding performance without increasing the worst case complexity. This is demonstrated on the LDPC and the BCH code classes. Moreover, we propose an integer programming formulation to calculate the minimum distance of a binary linear code. We exemplarily compute the minimum distance of the (204, 102) LDPC code and the (576, 288) WIMAX code. Using the minimum distance of a code, a new class of valid inequalities is introduced.

IEEE International Symposium on Information Theory (ISIT)Jun 1, 200912 citations

A Branch-and-Cut Algorithm to Design LDPC Codes without Small Cycles in Communication Systems

Banu Kabakulak, Z. Caner Taşkın, Alí Emre Pusane

In a digital communication system, information is sent from one place to another over a noisy communication channel using binary symbols (bits). Original information is encoded by adding redundant bits, which are then used by low--density parity--check (LDPC) codes to detect and correct errors that may have been introduced during transmission. Error correction capability of an LDPC code is severely degraded due to harmful structures such as small cycles in its bipartite graph representation known as Tanner graph (TG). We introduce an integer programming formulation to generate a TG for a given smallest cycle length. We propose a branch-and-cut algorithm for its solution and investigate structural properties of the problem to derive valid inequalities and variable fixing rules. We introduce a heuristic to obtain feasible solutions of the problem. Our computational experiments show that our algorithm can generate LDPC codes without small cycles in acceptable amount of time for practically relevant code lengths.

arXiv:1709.09936Sep 28, 20170 citations

Calculating the minimum distance of linear block codes via Integer Programming

Mayur Punekar, Frank Kienle, Norbert Wehn +3 more

In recent years several authors have used Integer Programming (IP) formulations to model the Maximum Likelihood (ML) decoding problem. IP formulation of the ML decoding problem can be modified to calculate the minimum distance of the code also. The IP based approach for MD calculation can be effectively used for small block length codes. However, it is not known if this approach is useful for the moderate and long length codes used in practice. In this paper we demonstrate the usefulness of the IP based approach for the MD calculation by applying it to practically relevant codes. We calculate either the true MD or upper bounds on the MD for 3GPP LTE turbo codes, WiMax duo-binary turbo codes and WiMax & WiFi low density parity-check codes. A new IP formulation is also introduced to calculate the MD of punctured turbo codes. Along with MD calculation, the same IP formulation is used to find multiplicity of low weight codewords. Our results prove that, the IP based approach can estimate the MD of practically relevant codes fairly quickly and can also provide information about the multiplicity of codewords with a given Hamming weight. Also, the IP based method for the MD calculation is independent of the code used and can easily accommodate puncturing schemes.

International Symposium on Turbo Codes and Iterative Information ProcessingSep 1, 201016 citations

A New Linear Programming Approach to Decoding Linear Block Codes

Kai Yang, Xiaodong Wang, Jon Feldman

In this paper, we propose a new linear programming formulation for the decoding of general linear block codes. Different from the original formulation given by Feldman, the number of total variables to characterize a parity-check constraint in our formulation is less than twice the degree of the corresponding check node. The equivalence between our new formulation and the original formulation is proven. The new formulation facilitates to characterize the structure of linear block codes, and leads to new decoding algorithms. In particular, we show that any fundamental polytope is simply the intersection of a group of the so-called minimum polytopes, and this simplified formulation allows us to formulate the problem of calculating the minimum Hamming distance of any linear block code as a simple linear integer programming problem with much less auxiliary variables. We then propose a branch-and-bound method to compute a lower bound to the minimum distance of any linear code by solving a corresponding linear integer programming problem. In addition, we prove that, for the family of single parity-check (SPC) product codes, the fractional distance and the pseudodistance are both equal to the minimum distance. Finally, we propose an efficient algorithm for decoding SPC product codes with low complexity and maximum-likelihood (ML) decoding performance.

IEEE Transactions on Information TheoryFeb 29, 200878 citations

Computation of the minimum distance of low-density parity-check codes

Min Xiao

Low-density parity-check (LDPC) codes are a good liner block parity codes. In this paper, the fundamental of LDPC codes are introduced briefly first. Then an algorithm called the minimum-weight codeword searching is discussed, which can be used to compute the minimum distance of LDPC codes. The effectiveness and the practicability of the algorithm are demonstrated by some examples. It is significant for us to analyze and optimize the design of LDPC codes.

Information technology newsletterJan 1, 20050 citations

A Branch-Price-and-Cut Algorithm for Optimal Decoding of LDPC Codes

Banu Kabakulak, Z. Caner Taşkın, Alí Emre Pusane

Channel coding aims to minimize errors that occur during the transmission of digital information from one place to another. Low-density parity-check (LDPC) codes can detect and correct transmission errors if one encodes the original information by adding redundant bits. In practice, heuristic iterative decoding algorithms are used to decode the received vector. However, these algorithms may fail to decode if the received vector contains multiple errors. We consider decoding the received vector with minimum error as an integer programming problem and propose a branch-and-price method for its solution. We improve the performance of our method by introducing heuristic feasible solutions and adding valid cuts to the mathematical formulation. Computational results reveal that our branch-price-and-cut algorithm significantly improves solvability of the problem compared to a commercial solver in high channel error rates. Our proposed algorithm can find higher quality solutions than commonly used iterative decoding heuristics.

arXiv:1803.04798Mar 13, 20182 citations