100, rue des maths 38610 Gières / GPS : 45.193055, 5.772076 / Directeur : Louis Funar

# Wessel van Woerden

The Lattice Packing Problem and Perfect Quadratic Forms: an Upper Bound and Challenges in Enumeration.
Mardi, 8 Juin, 2021 - 15:30
Résumé :

In 1908 Voronoi introduced an algorithm that solves the lattice packing problem in any dimension in finite time.

Voronoi showed that any lattice with optimal packing density must correspond to a so-called perfect (quadratic)

form and his algorithm enumerates the finitely many perfect forms up to similarity in a fixed dimension.

However, the number of non-similar perfect forms grows quickly in the dimension and as a result

Voronoi’s algorithm has only been completely executed up to dimension 8.

We prove an upper bound of $\exp(O(d^^2 \log(d)))$ on the number of similarity classes [1]. The proof is mostly

geometric and concludes by a volumetric argument.

Additionally we discuss some practical challenges and progress for completing Voronoi's algorithm in dimension 9,

e.g. how to efficiently remove redundant similar quadratic forms from a large set [2].

Institution de l'orateur :
CWI, Amsterdam
Thème de recherche :
Théorie des nombres
Salle :
Visio (Zoom)