Hyperball packings related to truncated cube and octahedron tilings in hyperbolic space

In this paper, we study congruent and noncongruent hyperball (hypersphere) packings to the truncated regular cube and octahedron tilings. These are derived from the Coxeter truncated orthoscheme tilings $\{4,3,p\}$ (6< p \in \mathbb{N}) and $\{3,4,p\}$ (4< p \in \mathbb{N}), respectively, by their Coxeter reflection groups in hyperbolic space $\mathbb{H}^{3}$. We determine the densest hyperball packing arrangement and its density with congruent and noncongruent hyperballs. &nbsp; We prove that the locally densest (noncongruent half) hyperball configuration belongs to the truncated cube with a density of approximately $0.86145$ if we allow 6< p \in \mathbb{R} for the dihedral angle $2\pi/p$. This local density is larger than the B\"or\"oczky--Florian density upper bound for balls and horoballs. But our locally optimal noncongruent hyperball packing configuration cannot be extended to the entire hyperbolic space $\mathbb{H}^3$. We determine the extendable densest noncongruent hyperball packing arrangement to the truncated cube tiling $\{4,3,p=7\}$ with a density of approximately $0.84931$

Coverings with congruent and non-congruent hyperballs generated by doubly truncated Coxeter orthoschemes

After the investigation of the congruent and non-congruent hyperball packings related to doubly truncated Coxeter orthoscheme tilings [Acta Univ. Sapientiae, Mathematica, 11, 2 (2019), 437–459], we consider the corresponding covering problems. In Non-fundamental trunc-simplex tilings and their optimal hyperball packings and coverings in hyperbolic space the authors gave a partial classification of supergroups of some hyperbolic space groups whose fundamental domains will be integer parts of truncated tetrahedra, and determined the optimal congruent hyperball packing and covering configurations belonging to some of these classes. In this paper, we complement these results with the investigation of the non-congruent covering cases and the remaining congruent cases. We prove, that between congruent and non-congruent hyperball coverings the thinnest belongs to the $\{7,3,7\}$ Coxeter tiling with density $\approx 1.26829$. This covering density is smaller than the conjectured lower bound density of L. Fejes Tóth for coverings with balls and horoballs. We also study the local packing arrangements related to $\{u,3,7\}$ (6< u < 7, ~ u\in \mathbb{R}) doubly truncated orthoschemes and the corresponding hyperball coverings. We prove, that these coverings are achieved their minimum density at parameter $u\approx 6.45953$ with covering density $\approx 1.26454$ which is smaller than the above record-small density, but this hyperball arrangement related to this locally optimal covering can not be extended to the entire $\mathbb{H}^3$. Moreover, we see that in the hyperbolic plane $\mathbb{H}^2$ the universal lower bound of the congruent circle, horocycle, hypercycle covering density $\sqrt{12}/\pi$ can be approximated arbitrarily well also with non-congruent hypercycle coverings generated by doubly truncated Coxeter orthoschemes