DENSE GENERIC WELL-ROUNDED LATTICES∗ CAMILLA HOLLANTIy , GUILLERMO MANTILLA-SOLERz , AND NIKLAS MILLERx Abstract. It is well-known that the densest lattice sphere packings also typically have the largest kissing numbers. The sphere packing density maximization problem is known to have a n solution among well-rounded lattices, of which the integer lattice Z is the simplest example. The integer lattice is also an example of a generic well-rounded lattice, i.e., a well-rounded lattice with a minimal kissing number. However, the integer lattice has the worst density among well-rounded lattices. In this paper, the problem of constructing explicit generic well-rounded lattices with dense sphere packings is considered. To this end, so-called tame lattices recently introduced by Damir et al. are utilized. Tame lattices came to be as a generalization of the ring of integers of certain abelian number fields. The sublattices of tame lattices constructed in this paper are shown to always result n in either a generic well-rounded lattice or the lattice An, with density ranging between that of Z and An. Further, explicit deformations of some known densest lattice packings are constructed, yielding a family of generic well-rounded lattices with densities arbitrarily close to the optimum. In addition to being an interesting mathematical problem on its own, the constructions are also motivated from a more practical point of view. Namely, the constructed lattices provide good candidates for lattice codes used in secure wireless communications. Key words. Generic well-rounded lattices, Tame lattices, Dense lattice packings, Trace forms, Kissing number. 1. Introduction. Lattices are of broad interest both in mathematics and appli- cations. Well-rounded lattices [18, 17] are a profound family of lattices, providing a sufficient source for various optimization problems. For instance, the known densest lattice sphere packings (e.g., the Gosset lattice E8) arise from well-rounded lattices, and it has been shown that the lattice sphere packing problem can be restricted to the space of well-rounded lattices also in general. A prominent feature of well-rounded lattices is that the set of shortest vectors span the ambient space. Previously, con- structions of well-rounded lattices have been considered in, e.g.,[12,1, 15], and they also relate to the famous Minkowski and Woods conjectures [22]. One way to describe a lattice is via its theta series, which can be further related to the so-called flatness factor utilized in communications theory and smoothing param- eter in cryptography. In [13], it was shown that well-rounded lattices yield promising candidates for lattice codes in wireless communications [26] and physical layer security [6]. In [2] a means to approximate theta functions was given, enabling efficient com- parison of candidate lattice codes. It was also noted in [13] that the densest packings might not provide the best candidates due to their large kissing numbers, and hence a study on generic well-rounded lattices having minimal kissing numbers was proposed. Motivated by these findings, tame lattices were introduced in [14], providing a source for constructing explicit well-rounded lattices. In the present paper, we take a arXiv:2107.00958v1 [math.NT] 2 Jul 2021 step further and show that tame lattices also give rise to generic well-rounded lattices. Moreover, we show that by distorting some of the densest lattice packings, it is possible ∗Submitted to the editors July 5, 2021. N. Miller and C. Hollanti are with the Department of Mathematics and Systems Analysis, Aalto University, Finland. G. Mantilla-Soler is with the Department of Mathematics at Universidad Konrad Lorenz, and is currently a visiting professor at Aalto University. The visiting professor funding from the department and the Aalto Science Institute is gratefully acknowledged. Data availability statement: Data sharing not applicable to this article as no datasets were generated or analysed during the current study. yEmail: camilla.hollanti@aalto.fi zEmail: [email protected] xEmail: niklas.miller@aalto.fi 1 to construct lattices that simultaneously have a large minimum distance and a small kissing number. Such lattices should provide ideal solutions for reliable and secure communications. More specifically, our main contributions are the following: • In Theorem 15, we state a stronger version of Theorem 4.9 in [14], namely (r;s) that a well-rounded lattice of the form Lv1 (see Definition 12) is GWR or equivalent to An. • In Proposition 18, we prove that for the center densities it holds that δ( n) ≤ δ(L(r;s)) ≤ δ(A ): Z v1 n • In Theorem 19, we give two conditions which tell when a well-rounded lattice (r;s) n Lv1 is equivalent to either Z or An. This is particularly interesting from the applications point-of-view, as discussed in Section5. • In Theorem 24, we show that the dual of a lattice of the form L(r;s) is of the T;v1 same type. α α • In Sections 4.2 and 4.3 we introduce deformed lattices Dn and E8 , where α is a real parameter, and in Theorems 32 and 38 we prove that these lattices are GWR if they are not equivalent to Dn and E8, respectively. It is also shown that the center density can be brought arbitrarily close to the optimum. Let us next provide some mathematical motivation for the concept of tame lat- tices. Let p be an odd prime and let K be a number field that is Galois over Q and such that Gal(K=Q) =∼ Z=pZ. In [8, IV.8] Conner and Perlis showed that if K is tame, i.e., no rational prime has wild ramification, then there exists an integral basis for OK , which they called Lagrangian basis, such that the Gram matrix of the integral trace in such basis is a p × p matrix of the form 2 a −h : : : −h 3 6 .. 7 6 −h a . 7 6 7 : 6 . .. .. 7 4 . −h 5 −h : : : −h a The values of a and h are given by d(p − 1) + 1 d − 1 a = h = p p where d is the conductor of K, i.e., the smallest positive integer such that K is inside of the cyclotomic extension Q(ζd). Since K is tame, d is also equal to the product of the primes that ramify in K. Based in this explicit description of the trace form over OK , in [15] the authors have constructed families of well-rounded lattices that are sublattices of OK . In [14], the notion of tame lattice is introduced by axiomatizing the key properties of the integral trace over degree p Galois extensions. For instance notice that that a and h satisfy a − h(p − 1) = 1 and a; h ≥ 0. In [14] these lattices are used to develop a procedure to construct well-rounded lattices, in fact strongly well-rounded, for which the previous results on Galois degree p number fields case is just a particular example. In the present paper we explore further the construction of tame lattices. For instance, one of the key elements of the construction of strongly well-rounded lattices in [14] is the construction of a family of sublattices of the form L(r;s) ; Tv1 ;v1 2 see Definition 12 for details, for a given lattice L. Such construction is inspired by the study of the trace form over real number fields but its applications go beyond such fields. For instance we show that several lattices, including An;Dn;E8 and their duals, all arise as special cases of this construction. Furthermore we study the behavior of quantities such as the center density over such families, and exhibit examples of lattices with large center density. 1.1. Organization. The rest of the paper is organized as follows. In Section 2, we introduce the mathematical preliminaries needed in later sections and discuss application potential in secure wireless communications. In Section3 we study well- rounded sublattices of tame lattices, specifically give bounds for the center densities of such lattices, and also characterize them under some conditions. In Section4 we α α define deformed lattices E8 and Dn , which are families of GWR lattices with density approaching optimal density as α ! 1. In Section5, we conclude this work and give directions for further research. 2. Preliminaries. In this section we define some basic concepts about lattices and number fields that we will need later on, as well as discuss some connections to applications. Vectors will always be column vectors, and will be denoted by boldface letters. 2.1. Lattices. Definition 1. A lattice Λ is a discrete subgroup of the additive group (Rn; +). Equivalently, it is a set ( m ) X Λ = uibi : ui 2 Z ; i=1 n where fb1; b2;:::; bmg is a set of linearly independent vectors in R called a basis of Λ, and m is called the rank of Λ. If m = n, then Λ is said to be full rank. All lattices considered in this article are full rank and thus, when we speak of a lattice, we implicitly mean a full rank lattice. The non-singular square matrix M whose columns consist of the basis vectors bi, 1 ≤ i ≤ n, is called a generator matrix for the lattice Λ. The generator matrix is not unique: if M is a generator matrix for Λ and U 2 Zn×n is a unimodular matrix, then M 0 = MU is another generator matrix for Λ. We have the following two important examples of lattices frequently occuring in this article. n Example 1. The orthogonal lattice Z is a lattice with a generator matrix In, the identity matrix. n+1 Example 2.