Pseudocodewords of Parity-Check Codes Over Fields of Prime Cardinality

• Published in: IEEE transactions on information theory Vol. 60; no. 9; pp. 5215 - 5227
• Main Authors: Kositwattanarerk, Wittawat, Matthews, Gretchen L.
• Format: Journal Article
• Language: English
• Published: New York, NY IEEE 01.09.2014; Institute of Electrical and Electronics Engineers; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Applied sciences; Coding, codes; Density; Exact sciences and technology; Information theory; Information, signal and communications theory; Iterative decoding; Linear matrix inequalities; Linear programming; Mapping; Matrix; Maximum likelihood decoding; Parity; Signal and communications theory; Symmetry; Telecommunications and information theory; Vectors; irreducible pseudocodewords; fundamental cone; low-density parity-check (LDPC) code; pseudocodewords; nonbinary code; Iterative decoding; Alphabet; Polytope; Lower bound; Finite field; Necessary and sufficient condition; Linear programming; Mapping; Algorithm; Necessary condition; Error correcting code; Parity check codes; Parity check
• ISSN: 0018-9448; 1557-9654
• DOI: 10.1109/TIT.2014.2331677

This paper considers pseudocodewords of lowdensity parity-check codes over alphabets with prime cardinality p for use over the p-ary symmetric channel. Pseudocodewords are decoding algorithm outputs that may not be legitimate codewords. Here, we consider pseudocodewords arising from graph cover decoding and linear programming decoding. For codes over the binary alphabet, such pseudocodewords correspond to rational points of the fundamental polytope. They can be characterized via the fundamental cone, which is the conic hull of the fundamental polytope; the pseudocodewords are precisely those integer vectors within the fundamental cone that reduce modulo 2 to a codeword. In this paper, we determine a set of conditions that pseudocodewords of codes over F p , the finite field of prime cardinality p, must satisfy. To do so, we introduce a class of critical multisets and a mapping, which associates a real number to each pseudocodeword over F p . The real numbers associated with pseudocodewords are subject to lower bounds imposed by the critical multisets. The inequalities are given in terms of the parity-check matrix entries and critical multisets. This gives a necessary and sufficient condition for pseudocodewords of codes over F 2 and F 3 and a necessary condition for those over larger alphabets. In addition, irreducible pseudocodewords of codes over F 3 are found as a Hilbert basis for the lifted fundamental cone.