New lower bound for the optimal ball packing density in hyperbolic 4-space

DOI10.1007/S00454-014-9634-1MaRDI QIDQ2256589zbMATH OpenOpenAlexFDO

Authors Robert Kozma, Jenö Szirmai

Publication date 19 February 2015

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.6084

zbMATH Keywords

4-dimensional hyperbolic spaceball and horoball packingsCoxeter grouphyperbolic geometryoptimal densitytiling

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17) Tilings in (n) dimensions (aspects of discrete geometry) (52C22)

Abstract: In this paper we consider ball packings in $4$-dimensional hyperbolic space. We show that it is possible to exceed the conjectured $4$-dimensional realizable packing density upper bound due to L. Fejes T'oth (Regular Figures, 1964). We give seven examples of horoball packing configurations that yield higher densities of $0.71644896dots$, where horoballs are centered at ideal vertices of certain Coxeter simplices, and are invariant under the actions of their respective Coxeter groups.

Review text

In 4-dimensional hyperbolic space ball and horoball packings are considered. The packings are invariant under the action of Coxeter groups that have Coxeter simplices as their fundamental domains. In the paper under review the authors consider only asymptotic Coxeter simplices, i.e. ones which have at least one ideal vertex. The density of a horoball packing is defined via the respective Coxeter simplex tiling. The authors give seven examples of horoball packings of asymptotic Coxeter simplex tilings with optimal density of 0.71644896\dots . This density is greater than the conjectured density upper bound due to \textit{L. Fejes Tóth} [Regular figures. Oxford etc.: Pergamon Press (1964; Zbl 0134.15705)]. The authors use the Cayley-Klein ball model and a projective interpretation of hyperbolic geometry.

Recommendations

• New horoball packing density lower bound in hyperbolic 5-space
• The optimal ball and horoball packings to the Coxeter honeycombs in the hyperbolic \(d\)-space
• Horoball packings related to the 4-dimensional hyperbolic 24 cell honeycomb \(\{3, 4, 3, 4\}\)
• New lower bounds for optimal horoball packing density in hyperbolic n-space for 6 n 9
• Horoball packings to the totally asymptotic regular simplex in the hyperbolic \(n\)-space

Cites work

• Ball packings in spaces of constant curvature and the simplicial density function
• Commensurability classes of hyperbolic Coxeter groups.
• Densest packing of equal spheres in hyperbolic space
• Highly saturated packings and reduced coverings
• Historical overview of the Kepler conjecture
• Horoball packings and their densities by generalized simplicial density function in the hyperbolic space
• Horoball packings to the totally asymptotic regular simplex in the hyperbolic \(n\)-space
• scientific article; zbMATH DE number 1295599 (Why is no real title available?)
• scientific article; zbMATH DE number 480248 (Why is no real title available?)
• scientific article; zbMATH DE number 3217531 (Why is no real title available?)
• scientific article; zbMATH DE number 5046178 (Why is no real title available?)
• scientific article; zbMATH DE number 3282420 (Why is no real title available?)
• Optimally dense packings for fully asymptotic Coxeter tilings by horoballs of different types
• Packing of spheres in spaces of constant curvature
• Quaternionic modular groups
• Regular prism tilings in \(\widetilde{\mathbf{SL}_2\mathbf R}\) space
• Simply transitive geodesic ball packings to \(\mathbf{S}^2\times \mathbf{R}\) space groups generated by glide reflections
• Sphere packings revisited
• Symmetries in the 8 homogeneous 3-geometries
• The densest geodesic ball packing by a type of Nil lattices
• The densest translation ball packing by fundamental lattices in Sol space
• The inradius of a hyperbolic truncated \(n\)-simplex
• The optimal ball and horoball packings of the Coxeter tilings in the hyperbolic 3-space
• The optimal ball and horoball packings to the Coxeter honeycombs in the hyperbolic \(d\)-space
• The projective interpretation of the eight 3-dimensional homogeneous geometries
• The size of hyperbolic Coxeter simplex
• Über die dichteste Kugelpackung im hyperbolischen Raum

Cited in

(14)

• Packings with horo- and hyperballs generated by simple frustum orthoschemes
• Density upper bound for congruent and non-congruent hyperball packings generated by truncated regular simplex tilings
• Congruent and non-congruent hyperball packings related to doubly truncated Coxeter orthoschemes in hyperbolic 3-space
• New horoball packing density lower bound in hyperbolic 5-space
• Horoball packings to the totally asymptotic regular simplex in the hyperbolic \(n\)-space
• A universal upper bound on density of tube packings in hyperbolic space
• An upper bound of the density for packing of congruent hyperballs in hyperbolic 3-space
• Hyperball packings in hyperbolic 3-space
• Horoball packings related to the 4-dimensional hyperbolic 24 cell honeycomb \(\{3, 4, 3, 4\}\)
• scientific article; zbMATH DE number 7244010 (Why is no real title available?)
• Decomposition method related to saturated hyperball packings
• The least dense hyperball covering of regular prism tilings in hyperbolic \(n\)-space
• New lower bounds for optimal horoball packing density in hyperbolic n-space for 6 n 9
• Optimal ball and horoball packings generated by 3-dimensional simply truncated Coxeter orthoschemes with parallel faces

This page was built for publication: New lower bound for the optimal ball packing density in hyperbolic 4-space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2256589)