Linear Programming Decoding of Binary Linear Codes for Symbol-Pair Read Channels
arXiv:1508.01640 · doi:10.1587/transfun.E99.A.2170
Abstract
In this paper, we develop a new decoding algorithm of a binary linear codes for symbol-pair read channels. Symbol-pair read channel has recently been introduced by Cassuto and Blaum to model channels with high write resolution but low read resolution. The proposed decoding algorithm is based on a linear programming (LP). It is proved that the proposed LP decoder has the maximum-likelihood (ML) certificate property, i.e., the output of the decoder is guaranteed to be the ML codeword when it is integral. We also introduce the fractional pair distance of a code which is a lower bound on the pair distance. It is proved that the proposed LP decoder will correct up to pair errors.
15pages, 2 figures