SearcharxivSearch

arXiv subjects

Nathan Axvig

Publications and source records attributed to Nathan Axvig.

2 recordsLinked to original sources

Using Pseudocodewords to Transmit Information

The linear programming decoder will occasionally output fractional-valued sequences that do not correspond to binary codewords - such outputs are termed nontrivial pseudocodewords. Feldman et al. have demonstrated that it is precisely the presence of nontrivial pseudocodewords that prevents the linear programming decoder from attaining maximum-likelihood performance. The purpose of this paper is to cast a positive light onto these nontrivial pseudocodewords by turning them into beneficial additions to our codebooks. Specifically, we develop a new modulation scheme, termed insphere modulation, that is capable of reliably transmitting both codewords and pseudocodewords. The resulting non-binary, non-linear codebooks have higher spectral efficiencies than the binary linear codes from which they are derived and in some cases have the same or slightly better block error rates. In deriving our new modulation scheme we present an algorithm capable of computing the insphere of a polyhedral cone - which loosely speaking is the largest sphere contained within the cone. This result may be of independent mathematical interest.

cs.IT

LP Pseudocodewords of Cycle Codes are Half-Integral

In his Ph.D. disseration, Feldman and his collaborators define the linear programming decoder for binary linear codes, which is a linear programming relaxation of the maximum-likelihood decoding problem. This decoder does not, in general, attain maximum-likelihood performance; however, the source of this discrepancy is known to be the presence of non-integral extreme points (vertices) within the fundamental polytope, vectors which are also called nontrivial linear programming pseudocodewords. Restricting to the class of cycle codes, we provide necessary conditions for a vector to be a linear programming pseudocodeword. In particular, the components of any such pseudocodeword can only assume values of zero, one-half, or one.

math.CO