In previous work a probabilistic approach to controlling difficulties of density in hyperbolic space led to a workable notion of optimal density for packings of bodies. In this paper we extend an ergodic theorem of Nevo to provide an appropriate definition of optimal dense packings. Examples are given to illustrate various aspects of the density problem, in particular the shift in emphasis from the analysis of individual packings to spaces of packings.
The goal of this paper to determine the optimal horoball packing arrangements and their densities for all four fully asymptotic Coxeter tilings (Coxeter honeycombs) in hyperbolic 3-space $\mathbb{H}^3$. Centers of horoballs are required to lie at vertices of the regular polyhedral cells constituting the tiling. We allow horoballs of different types at the various vertices. Our results are derived through a generalization of the projective methodology for hyperbolic spaces. The main result states that the known Böröczky--Florian density upper bound for "congruent horoball" packings of $\mathbb{…
In hyperbolic space density cannot be defined by a limit as we define it in Euclidean space. We describe the local density bounds for sphere packings and we discuss the different attempts to define optimal arrangements in hyperbolic space.
Four packings of hyperbolic 3-space are known to yield the optimal packing density of $0.85328\dots$. They are realized in the regular tetrahedral and cubic Coxeter honeycombs with Schläfli symbols $\{3,3,6 \}$ and $\{4,3,6\}$. These honeycombs are totally asymptotic, and the packings consist of horoballs (of different types) centered at the ideal vertices. We describe a method to visualize regular horoball packings of extended hyperbolic 3-space $\bar{\mathbb{H}}^3$ using the Beltrami-Klein model and the Coxeter group of the packing. We produce the first known images of these four optimal hor…
In this paper we study the horoball packings related to the hyperbolic 24 cell in the extended hyperbolic space $\overline{\mathbf{H}}^4$ where we allow {\it horoballs in different types} centered at the various vertices of the 24 cell. We determine, introducing the notion of the generalized polyhedral density function, the locally densest horoball packing arrangement and its density with respect to the above regular tiling. The maximal density is $\approx 0.71645$ which is equal to the known greatest ball packing density in hyperbolic 4-space given in \cite{KSz14}.
We analyze the general problem of determining optimally dense packings, in a Euclidean or hyperbolic space, of congruent copies of some fixed finite set of bodies. We are strongly guided by examples of aperiodic tilings in Euclidean space and a detailed analysis of a new family of examples in the hyperbolic plane. Our goal is to understand qualitative features of such optimum density problems, in particular the appropriate meaning of the uniqueness of solutions, and the role of symmetry in classfying optimally dense packings.
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óth (Regular Figures, 1964). We give seven examples of horoball packing configurations that yield higher densities of $0.71644896\dots$, where horoballs are centered at ideal vertices of certain Coxeter simplices, and are invariant under the actions of their respective Coxeter groups.
We continue the study of optimal chordal packings, with emphasis on packing subspaces of dimension greater than one. Following a principle outlined in a previous work, where the authors use maximal affine block designs and maximal sets of mutually unbiased bases to construct Grassmannian $2$-designs, we show that their method extends to other types of block designs, leading to a plethora of optimal subspace packings characterized by the orthoplex bound. More generally, we show that any optimal chordal packing is necessarily a fusion frame and that its spatial complement is also optimal.
In \cite{Sz17-2} we considered hyperball packings in $3$-dimensional hyperbolic space. We developed a decomposition algorithm that for each saturated hyperball packing provides a decomposition of $\HYP$ into truncated tetrahedra. In order to get a density upper bound for hyperball packings, it is sufficient to determine the density upper bound of hyperball packings in truncated simplices. Therefore, in this paper we examine the doubly truncated Coxeter orthoscheme tilings and the corresponding congruent and non-congruent hyperball packings. We proved that related to the mentioned Coxeter tilin…
This paper is being withdrawn because an error was discovered in lemma 4.3. Although the rest of the paper appears to be correct, this error invalidates the proof of theorem 3.1 and theorem 3.3.
We describe the optimal horoball packings of asymptotic Koszul type Coxeter simplex tilings of $5$-dimensional hyperbolic space where the symmetries of the packings are generated by Coxeter groups. We find that the optimal horoball packing density of $δ_{opt}=0.59421\dots$ is realized in an entire commensurability class of arithmetic Coxeter tilings. Eleven optimal arrangements are achieved by placing horoballs at the asymptotic vertices of the corresponding Coxeter simplices that give the fundamental domains. When multiple horoball types are allowed, in the case of the arithmetic Coxeter grou…
Supergroups of some hyperbolic space groups are classified as a continuation of our former works. Fundamental domains will be integer parts of truncated tetrahedra belonging to families F1 - F4, for a while, by the notation of E. Molnár et al. in $2006$. As an application, optimal congruent hyperball packings and coverings to the truncation base planes with their very good densities are computed. This covering density is better than the conjecture of L.~Fejes~Tóth for balls and horoballs in $1964$.
In this paper we study congruent and non-congruent hyperball (hypersphere) packings of the truncated regular octahedron and cube tilings. These are derived from the Coxeter simplex tilings $\{p,3,4\}$ $(7\le p \in \mathbb{N})$ and $\{p,4,3\}$ $(5\le p \in \mathbb{N})$ in $3$-dimensional hyperbolic space $\mathbb{H}^3$. We determine the densest hyperball packing arrangement and its density with congruent and non-congruent hyperballs related to the above tilings in $\mathbb{H}^3$. We prove that the locally densest congruent or non-congruent hyperball configuration belongs to the regular truncate…
The smallest three hyperbolic compact arithmetic 5-orbifolds can be derived from two compact Coxeter polytops which are combinatorially simplicial prisms (or complete orthoschemes of degree $d=1$) in the five dimensional hyperbolic space $\mathbf{H}^5$ (see \cite{BE} and \cite{EK}). The corresponding hyperbolic tilings are generated by reflections through their delimiting hyperplanes those involve the study of the relating densest hyperball (hypersphere) packings with congruent hyperballs. The analogous problem was discussed in \cite{Sz06-1} and \cite{Sz06-2} in the hyperbolic spaces $\mathbf{…
In earlier works \cite{Sz06-1}, \cite{Sz06-2}, \cite{Sz13-3} and \cite{Sz13-4} we have investigated the densest packings and the least dense coverings by congruent hyperballs (hyperspheres) to the regular prism tilings in $n$-dimensional hyperbolic space $\HYN$ ($ 3 \le n \in \mathbb{N})$. In this paper we study a large class of hyperball (hypersphere) packings in $3$-dimensional hyperbolic space that can be derived from truncated simplex tilings (e.g. \cite{S14}, \cite{MPSz}). It is clear, that in order to get a density upper bound for the above hyperball packings, it is sufficient to determi…
In \cite{Sz17-2} we proved that to each saturated congruent hyperball packing exists a decomposition of $3$-dimensional hyperbolic space $\mathbb{H}^3$ into truncated tetrahedra. Therefore, in order to get a density upper bound for hyperball packings, it is sufficient to determine the density upper bound of hyperball packings in truncated simplices. In this paper we prove, using the above results and the results of papers \cite{M94} and \cite{Sz14}, that the density upper bound of the saturated congruent hyperball (hypersphere) packings related to the corresponding truncated tetrahedron cells …
Optimal Ball and Horoball Packings Generated by Simply Truncated Coxeter Orthoschemes with Parallel Faces in Hyperbolic $n$-space for $4 \leq n \leq 6$
In $n$-dimensional hyperbolic space $\mathbf{H}^n$ $(n\ge2)$ there are $3$-types of spheres (balls): the sphere, horosphere and hypersphere. If $n=2,3$ we know an universal upper bound of the ball packing densities, where each ball volume is related to the volume of the corresponding Dirichlet-Voronoi (D-V) cell. E.g. in $\mathbf{H}^3$ the densest horoball packing is derived from the $\{3,3,6\}$ Coxeter tiling consisting of ideal regular simplices $T_{reg}^\infty$ with dihedral angles $\fracπ{3}$. The density of this packing is $δ_3^\infty\approx 0.85328$ and this provides a very rough upper b…
In this paper we study the problem of hyperball (hypersphere) packings in $3$-dimensional hyperbolic space. We introduce a new definition of the non-compact saturated ball packings and describe to each saturated hyperball packing, a new procedure to get a decomposition of 3-dimensional hyperbolic space $\HYP$ into truncated tetrahedra. Therefore, in order to get a density upper bound for hyperball packings, it is sufficient to determine the density upper bound of hyperball packings in truncated simplices.
We prove that given a fixed radius $r$, the set of isometry-invariant probability measures supported on ``periodic'' radius $r$-circle packings of the hyperbolic plane is dense in the space of all isometry-invariant probability measures on the space of radius $r$-circle packings. By a periodic packing, we mean one with cofinite symmetry group. As a corollary, we prove the maximum density achieved by isometry-invariant probability measures on a space of radius $r$-packings of the hyperbolic plane is the supremum of densities of periodic packings. We also show that the maximum density function v…
In this paper we deal with the packings derived by horo- and hyperballs (briefly hyp-hor packings) in the $n$-dimensional hyperbolic spaces $\HYN$ ($n=2,3$) which form a new class of the classical packing problems. We construct in the $2-$ and $3-$dimensional hyperbolic spaces hyp-hor packings that are generated by complete Coxeter tilings of degree $1$ i.e. the fundamental domains of these tilings are simple frustum orthoschemes and we determine their densest packing configurations and their densities. We prove that in the hyperbolic plane ($n=2$) the density of the above hyp-hor packings arb…
We find explicit formulas for the radii and locations of the circles in all the optimally dense packings of two, three or four equal circles on any flat torus, defined to be the quotient of the Euclidean plane by the lattice generated by two independent vectors. We prove the optimality of the arrangements using techniques from rigidity theory and topological graph theory.
In this paper, we describe and visualize the densest ball and horoball packing configurations belonging to the simply truncated $3$-dimensional hyperbolic Coxeter orthoschemes with parallel faces. These beautiful packing arrangements describe and show the very interesting structure of the mentioned orthoschemes and the corresponding Coxeter groups. We use for the visualization the Beltrami-Cayley-Klein ball model of $3$-dimensional hyperbolic space $\boldsymbol{H}^3$ and the pictures were made by the Python software.
The aim of this paper to determine the locally densest horoball packing arrangements and their densities with respect to fully asymptotic tetrahedra with at least one plane of symmetry in hyperbolic 3-space $\bar{\mathbf{H}}^3$ extended with its absolute figure, where the ideal centers of horoballs give rise to vertices of a fully asymptotic tetrahedron. We allow horoballs of different types at the various vertices. Moreover, we generalize the notion of the simplicial density function in the extended hyperbolic space $\bar{\mathbf{H}}^n, ~(n \ge 2)$, and prove that, in this sense, {\it the wel…
The sphere packing problem asks for the greatest density of a packing of congruent balls in Euclidean space. The current best upper bound in all sufficiently high dimensions is due to Kabatiansky and Levenshtein in 1978. We revisit their argument and improve their bound by a constant factor using a simple geometric argument, and we extend the argument to packings in hyperbolic space, for which it gives an exponential improvement over the previously known bounds. Additionally, we show that the Cohn-Elkies linear programming bound is always at least as strong as the Kabatiansky-Levenshtein bound…
In \cite{Sz11} we have generalized the notion of the simplicial density function for horoballs in the extended hyperbolic space $\bar{\mathbf{H}}^n, ~(n \ge 2)$, where we have allowed {\it congruent horoballs in different types} centered at the various vertices of a totally asymptotic tetrahedron. By this new aspect, in this paper we study the locally densest horoball packing arrangements and their densities with respect to totally asymptotic regular tetrahedra in hyperbolic $n$-space $\bar{\mathbf{H}}^n$ extended with its absolute figure, where the ideal centers of horoballs give rise to vert…
A packing by a body $K$ is collection of congruent copies of $K$ (in either Euclidean or hyperbolic space) so that no two copies intersect nontrivially in their interiors. A covering by $K$ is a collection of congruent copies of $K$ such that for every point $p$ in the space there is copy in the collection containing $p$. A completely saturated packing is one in which it is not possible to replace a finite number of bodies of the packing with a larger number and still remain a packing. A completely reduced covering is one in which it is not possible to replace a finite number of bodies of the …
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öröczky 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) $$ \SXR,~\HXR,~\SLR,~\NIL,~\SOL, $$ where a transitive symmetry group of the ball packing is assumed, one …
In this paper we study congruent and non-congruent hyperball (hypersphere) packings of the truncated regular tetrahedron tilings. These are derived from the Coxeter simplex tilings $\{p,3,3\}$ $(7\le p \in \mathbb{N})$ and $\{5,3,3,3,3\}$ in $3$ and $5$-dimensional hyperbolic space. We determine the densest hyperball packing arrangements related to the above tilings. We find packing densities using congruent hyperballs and determine the smallest density upper bound of non-congruent hyperball packings generated by the above tilings.
After having investigated the densest packings by congruent hyperballs to the regular prism tilings in the $n$-dimensional hyperbolic space $\mathbb{H}^n$ ($n \in \mathbb{N}, n \ge 3)$ we consider the dual covering problems and determine the least dense hyperball arrangements and their densities.
We study the 3-dimensional combinatorial Yamabe flow in hyperbolic background geometry. For a triangulation of a 3-manifold, we prove that if the number of tetrahedra incident to each vertex is at least 23, then there exist real or virtual ball packings with vanishing (extended) combinatorial scalar curvature, i.e. the (extended) solid angle at each vertex is equal to 4π. In this case, if such a ball packing is real, then the (extended) combinatorial Yamabe flow converges exponentially fast to that ball packing. Moreover, we prove that there is no real or virtual ball packing with vanishing (e…
In this paper we consider the ball and horoball packings belonging to $3$-dimensional Coxeter tilings that are derived by simply truncated orthoschemes with parallel faces. The goal of this paper to determine the optimal ball and horoball packing arrangements and their densities for all above Coxeter tilings in hyperbolic 3-space $\mathbb{H}^3$. The centers of horoballs are required to lie at ideal vertices of the polyhedral cells constituting the tiling, and we allow horoballs of different types at the various vertices. We prove that the densest packing of the above cases is realized by horob…
Previous discoveries of the first author (1984-88) on so-called hyperbolic football manifolds and our recent works (2016-17) on locally extremal ball packing and covering hyperbolic space $\HYP$ with congruent balls had led us to the idea that our "experience space in small size" could be of hyperbolic structure. In this paper we construct an infinite series of oriented hyperbolic space forms so-called cobweb (or tube) manifolds $Cw(2z, 2z, 2z)=Cw(2z)$, $3\le z$ odd, which can describe nanotubes, very probably.
Extremal compact hyperbolic surfaces contain a packing of discs of the largest possible radius permitted by the topology of the surface. It is well known that arithmetic conditions on the uniformizing group are necessary for the existence of a second extremal packing in the same surface, but constructing explicit examples of this phenomenon is a complicated task. We present a brute force computational procedure that can be used to produce examples in all cases.
We generalize Cauchy's celebrated theorem on the global rigidity of convex polyhedra in Euclidean $3$-space $\mathbb{E}^{3}$ to the context of circle polyhedra in the $2$-sphere $\mathbb{S}^{2}$. We prove that any two convex and proper non-unitary c-polyhedra with Möbius-congruent faces that are consistently oriented are Möbius-congruent. Our result implies the global rigidity of convex inversive distance circle packings in the Riemann sphere as well as that of certain hyperideal hyperbolic polyhedra in $\mathbb{H}^{3}$.
It is often of interest to identify a given number of points in projective space such that the minimum distance between any two points is as large as possible. Such configurations yield representations of data that are optimally robust to noise and erasures. The minimum distance of an optimal configuration not only depends on the number of points and the dimension of the projective space, but also on whether the space is real or complex. For decades, Neil Sloane's online Table of Grassmannian Packings has been the go-to resource for putatively or provably optimal packings of points in real pro…
We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).
We introduce and study certain notions which might serve as substitutes for maximum density packings and minimum density coverings. A body is a compact connected set which is the closure of its interior. A packing $\cal P$ with congruent replicas of a body $K$ is $n$-saturated if no $n-1$ members of it can be replaced with $n$ replicas of $K$, and it is completely saturated if it is $n$-saturated for each $n\ge 1$. Similarly, a covering $\cal C$ with congruent replicas of a body $K$ is $n$-reduced if no $n$ members of it can be replaced by $n-1$ replicas of $K$ without uncovering a portion of …
After having investigated the packings derived by horo- and hyperballs related to simple frustum Coxeter orthoscheme tilings we consider the corresponding covering problems (briefly hyp-hor coverings) in $n$-dimensional hyperbolic spaces $\mathbb{H}^n$ ($n=2,3$). We construct in the $2-$ and $3-$dimensional hyperbolic spaces hyp-hor coverings that are generated by simply truncated Coxeter orthocheme tilings and we determine their thinnest covering configurations and their densities. We prove that in the hyperbolic plane ($n=2$) the density of the above thinnest hyp-hor covering arbitrarily app…
How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that they conjectured to be within numerical precision of optimal in this sense, but until now only the cases $n \leq 7$ have been solved. In this paper, we resolve the case $n = 8$. Drawing inspiration from recent work on the Tammes problem, we enumerate contact graph candidates for an optimal configuration and eliminate those that violate various combinatorial and…
After the investigation of the congruent and non-congruent hyperball packings related to doubly truncated Coxeter orthoscheme tilings \cite{SzJ1}, we consider the corresponding covering problems. In \cite{MSSz} 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 compliment these results with the investigation of the non-congruent covering cases, and th…
A compact hyperbolic "cobweb" manifold (hyperbolic space form) of symbol $Cw(6,6,6)$ will be constructed in Fig.1,4,5 as a representant of a presumably infinite series $Cw(2p,2p,2p)$ $(3 \le p \in \bN$ natural numbers). This is a by-product of our investigations \cite{MSz16}. In that work dense ball packings and coverings of hyperbolic space $\HYP$ have been constructed on the base of complete hyperbolic Coxeter orthoschemes $\mathcal{O}=W_{uvw}$ and its extended reflection groups $\bG$ (see diagram in Fig.~3. and picture of fundamental domain in Fig.~2). Now $u=v=w=6 (=2p)$. Thus the maximal …
After having investigated the regular prisms and prism tilings in the $\SLR$ space in the previous work \cite{Sz13-1} of the second author, we consider the problem of geodesic ball packings related to those tilings and their symmetry groups $\mathbf{pq2_1}$. $\SLR$ is one of the eight Thurston geometries that can be derived from the 3-dimensional Lie group of all $2\times 2$ real matrices with determinant one. In this paper we consider geodesic spheres and balls in $\SLR$ (even in $\mathbf{SL_{\mathrm{2}}R})$, if their radii $ρ\in [0, \fracπ{2})$, and determine their volumes. Moreover, we cons…
