New lower bounds for optimal horoball packing density in hyperbolic \(n\)-space for \(6\le n\le 9\) (Q6038633)

In hyperbolic space the notion of packing density involves the local densities of balls with respect to their Dirichlet-Voronoi cells. For the study of horoball packing, the authors of the paper use an extended notion of local density. A Coxeter simplex is a simplex with dihedral angles being equal to either integral submultiple of \(\pi\) or zero. Noncompact Coxeter simplices which have some ideal vertices (or Koszul type Coxeter simplices) exist only for dimensions \(2\le n\le 9\). Moreover, in dimension \(n\ge 3\) their number is finite. In particular, there are 14 noncompact Coxeter simplices with some ideal vertices for dimensions \(6\le n\le 9\). The paper under review is the fourth article in a series of papers. The previous three works were devoted to horoball packings in hyperbolic \(n\)-space for dimensions \(n=3\), \(4\) and \(5\). \par In the present paper the authors determine the optimal horoball packing desities of Koszul type simplex tilings in dimensions \(6\le n\le 9\), yielding new lower bounds for optimal packing density in each dimension. The symmetries of the packings are given by Coxeter simplex groups. Isometry invariant Busemann functions are used, and a parameter related to them provides a description of different optimal horoball packing configurations.