arXiv++ Combinatorics

This paper presents a combinatorial construction of low-density parity-check (LDPC) codes from difference covering arrays. While the original construction by Gallagher was by randomly allocating bits in a sparse parity-check matrix, over the past 20 years researchers have used a variety of more structured approaches to construct these codes, with the more recent constructions of well-structured LDPC coming from balanced incomplete block designs (BIBDs) and from Latin squares over finite fields. However these constructions have suffered from the limited orders for which these designs exist. Here we present a construction of LDPC codes of length $4n^2 - 2n$ for all $n$ using the cyclic group of order $2n$. These codes achieve high information rate (greater than 0.8) for $n \geq 8$, have girth at least 6 and have minimum distance 6 for $n$ odd.

One of the most promising structural approaches to resolving the Hadamard Conjecture uses the family of cocyclic matrices over ${\mathbb Z} _t \times {\mathbb Z}_2^2$. Two types of equivalence relations for classifying cocyclic matrices over ${\mathbb Z} _t \times {\mathbb Z}_2^2$ have been found. Any cocyclic matrix equivalent by either of these relations to a Hadamard matrix will also be Hadamard. One type, based on algebraic relations between cocycles over any finite group, has been known for some time. Recently, and independently, a second type, based on four geometric relations between diagrammatic visualisations of cocyclic matrices over ${\mathbb Z} _t \times {\mathbb Z}_2^2$, has been found. Here we translate the algebraic equivalences to diagrammatic equivalences and show one of the diagrammatic equivalences cannot be obtained this way. This additional equivalence is shown to be the geometric translation of matrix transposition.