A candidate for the densest packing with equal balls in Thurston geometries

DOI10.1007/S13366-013-0158-2zbMATH Open1301.52035arXiv1210.2202OpenAlexW2064477513MaRDI QIDQ464802FDOQ464802

Jenö Szirmai

Publication date: 30 October 2014

Published in: Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Abstract: The ball (or sphere) packing problem with equal balls, without any symmetry assumption, in a $3$-dimensional space of constant curvature was settled by B"or"oczky and Florian for the hyperbolic space $HYP$ in cite{BF64} and by proving the famous Kepler conjecture by Hales cite{H} for the Euclidean space $EUC$. The goal of this paper is to extend the problem of finding the densest geodesic ball (or sphere) packing for the other $3$-dimensional homogeneous geometries (Thurston geometries) ${\displaystyle }$ SXR,~HXR,~SLR,~NIL,~SOL, ${\displaystyle }$ where a transitive symmetry group of the ball packing is assumed, one of the discrete isometry groups of the considered space. Moreover, we describe a candidate of the densest geodesic ball packing. The greatest density until now is $approx0.85327613$ that is not realized by packing with equal balls of the hyperbolic space $HYP$. However, it attains e.g. at horoball packing of $$ where the ideal centres of horoballs lie on the absolute figure of $$ inducing the regular ideal simplex tiling $(3,3,6)$ by its Coxeter-Schl"afli symbol. In this work we present a geodesic ball packing in the $SXR$ geometry whose density is $approx0.87499429$. The extremal configuration is described in Theorem 2.8, Our conjecture and further remarks are summarized in Section 3.

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

zbMATH Keywords

densityThurston geometriesball packingsthe densest ball packing

Mathematics Subject Classification ID

Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17) Non-Euclidean differential geometry (53A35) Polyhedra and polytopes; regular figures, division of spaces (51M20) Tilings in (n) dimensions (aspects of discrete geometry) (52C22)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A proof of the Kepler conjecture
• The projective interpretation of the eight 3-dimensional homogeneous geometries
• The classification of \(S^2\times\mathbb{R}\) space groups
• Optimally dense packings for fully asymptotic Coxeter tilings by horoballs of different types
• Horoball packings to the totally asymptotic regular simplex in the hyperbolic \(n\)-space
• The densest geodesic ball packing by a type of Nil lattices
• Lattice-like translation ball packings in Nil space
• Geodesic ball packings in \({H}^2\times{R}\) space for generalized Coxeter space groups
• Packing of spheres in spaces of constant curvature
• Horoball packings and their densities by generalized simplicial density function in the hyperbolic space
• Über die dichteste Kugelpackung im hyperbolischen Raum
• The Classification of Non-Euclidean Plane Crystallographic Groups
• Geodesic ball packings in \(S^{2} \times R\) space for generalized Coxeter space groups
• The densest translation ball packing by fundamental lattices in Sol space
• Highly saturated packings and reduced coverings
• The optimal ball and horoball packings to the Coxeter honeycombs in the hyperbolic \(d\)-space

Cited In (22)

• Translation-like isoptic surfaces and angle sums of translation triangles in \(\mathbf{Nil}\) geometry
• Isoptic surfaces of segments in \(\mathbf{S}^2 \times \mathbf{R}\) and \(\mathbf{H}^2 \times \mathbf{R}\) geometries
• On Menelaus' and Ceva's theorems in \textbf{Nil} geometry
• Densest geodesic ball packings to \({\mathbf S^2 \times \mathbf R}\) space groups generated by screw motions
• Decomposition method related to saturated hyperball packings
• Interior angle sums of geodesic triangles in $S^2 \times R$ and $H^2 \times R$ geometries
• Packings with horo- and hyperballs generated by simple frustum orthoschemes
• The least dense hyperball covering of regular prism tilings in hyperbolic \(n\)-space
• An upper bound of the density for packing of congruent hyperballs in hyperbolic \(3\)-space
• Congruent and non-congruent hyperball packings related to doubly truncated Coxeter orthoschemes in hyperbolic 3-space
• Nil geodesic triangles and their interior angle sums
• Infinite series of compact hyperbolic manifolds, as possible crystal structures
• Horoball packings related to the 4-dimensional hyperbolic 24 cell honeycomb {3,4,3,4}
• The sum of the interior angles in geodesic and translation triangles of Sl2(R)~ geometry
• Density upper bound for congruent and non-congruent hyperball packings generated by truncated regular simplex tilings
• Packings by translation balls in \({\widetilde{{\mathrm {SL}}_2(\mathbb{R})}}\)
• Regular prism tilings in \(\widetilde{\mathbf{SL}_2\mathbf R}\) space
• Hyperbolic Space Forms with Crystallographic Applications and Visualizations
• Hyperball packings in hyperbolic $3$-space
• Geodesic and translation ball packings generated by prismatic tessellations of the universal cover of \(\mathrm{SL}_2(\mathbb R)\)
• Fibre-like cylinders, their packings and coverings in \(\widetilde{\mathbf{SL}_2 \mathbf{R}}\) space
• Title not available (Why is that?)

Uses Software

• kepler98

This page was built for publication: A candidate for the densest packing with equal balls in Thurston geometries

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