New results on low-density integer lattices

A new family of integer lattices built from Construction A and non-binary low-density parity-check (LDPC) codes has been proposed by the authors in 2012. Lattices in this family are referred to as LDA lattices. Previous experimental results revealed excellent performance which clearly single out LDA lattices among the strongest candidates for potential applications in digital communications and networks, such as network coding and information theoretic security at the physical layer level. In this paper, we show that replacing random codes by LDPC codes in Construction A does not induce any structural loss. More precisely, our main theorem states that LDA lattices can achieve Poltyrev capacity limit on an additive white Gaussian noise channel. We present here the detailed proof and its consequences on the lattice dimension, the finite field size, and the parameters of the LDPC ensemble. The latter has a row weight that increases logarithmically in the code length. In a more recent work, it is proved that the Poltyrev limit is attained by a different LDA ensemble having a small constant row weight.

[1]  Thomas C. Hales Sphere packings, I , 1997, Discret. Comput. Geom..

[2]  N. Sloane,et al.  Sphere Packings and Error-Correcting Codes , 1971, Canadian Journal of Mathematics.

[3]  Daniel Panario,et al.  Turbo Lattices: Construction and Performance Analysis , 2011, ArXiv.

[4]  Gregory Poltyrev,et al.  On coding without restrictions for the AWGN channel , 1993, IEEE Trans. Inf. Theory.

[5]  N. Sloane,et al.  Sphere Packing and Error-Correcting Codes , 1999 .

[6]  Uri Erez,et al.  Achieving 1/2 log (1+SNR) on the AWGN channel with lattice encoding and decoding , 2004, IEEE Transactions on Information Theory.

[7]  O. Antoine,et al.  Theory of Error-correcting Codes , 2022 .

[8]  Loïc Brunel,et al.  Integer low-density lattices based on construction A , 2012, 2012 IEEE Information Theory Workshop.

[9]  László Lovász,et al.  Factoring polynomials with rational coefficients , 1982 .

[10]  Hans-Andrea Loeliger,et al.  Averaging bounds for lattices and linear codes , 1997, IEEE Trans. Inf. Theory.

[11]  G. David Forney,et al.  Coset codes-I: Introduction and geometrical classification , 1988, IEEE Trans. Inf. Theory.

[12]  Meir Feder,et al.  Low-Density Lattice Codes , 2007, IEEE Transactions on Information Theory.

[13]  Robert F. H. Fischer,et al.  Multilevel codes: Theoretical concepts and practical design rules , 1999, IEEE Trans. Inf. Theory.

[14]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[15]  Amir H. Banihashemi,et al.  Low-Density Parity-Check Lattices: Construction and Decoding Analysis , 2006, IEEE Transactions on Information Theory.

[16]  Rüdiger L. Urbanke,et al.  Modern Coding Theory , 2008 .

[17]  David J. C. MacKay,et al.  Low-density parity check codes over GF(q) , 1998, IEEE Communications Letters.

[18]  Philippe Gaborit,et al.  On the construction of dense lattices with A given automorphisms group , 2007 .

[19]  Robert G. Gallager,et al.  Low-density parity-check codes , 1962, IRE Trans. Inf. Theory.

[20]  Sae-Young Chung,et al.  Irregular low-density parity-check lattices , 2008, 2008 IEEE International Symposium on Information Theory.