On the construction of dense lattices with a given automorphisms group (Q2372823)

The main result of this article is the construction of a family of lattices for large enough primes \(q\) in dimensions \(n=2q\) with density at least \(c\,n/2^n\), where \(c\) is an absolute constant, and whose automorphism group contains a subgroup isomorphic to \(\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/q \mathbb{Z}\). Up to the constant \(c\), this density is of the same order as the best known density for lattice packings. The complexity of the construction a lattice is of order \(\exp(n \log n)\), which improves the known orders for such a density. The technique used here relies on the Construction A by Leech and Sloane and consists in picking a double circulant code and lifting it to a lattice. Evidence are given that a constant proportion of these codes give rise to lattices that achieve the aforementioned lower bound on the density.