Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/an-upper-bound-of-the-density-for-packing-of-congruent-hyperballs-in-P0ba00qwky
- Publisher
- Springer Journals
- Copyright
- Copyright © The Author(s) 2023
- ISSN
- 0001-9054
- eISSN
- 1420-8903
- DOI
- 10.1007/s00010-023-00947-0
- Publisher site
- See Article on Publisher Site
Abstract
Aequat. Math. c The Author(s) 2023 Aequationes Mathematicae https://doi.org/10.1007/s00010-023-00947-0 An upper bound of the density for packing of congruent hyperballs in hyperbolic 3−space Jeno Szirmai Abstract. In Szirmai (Ars Math Contemp 16:349–358, 2019) we proved that to each saturated congruent hyperball packing there exists a decomposition of the 3-dimensional hyperbolic space H 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 pack- ings in truncated simplices. In this paper we prove, using the above results and results of the papers Miyamoto (Topology 33(4): 613–629, 1994) and Szirmai (Mat Vesn 70(3): 211–221, 2018), that the density upper bound of the saturated congruent hyperball (hypersphere) packings related to the corresponding truncated tetrahedron cells is realized in regular trun- cated tetrahedra with density ≈ 0.86338. Furthermore, we prove that the density of locally optimal congruent hyperball arrangement in a regular truncated tetrahedron is not a mono- tonically increasing function of the height (radius) of the corresponding optimal hyperball, unlike the ball (sphere) and horoball (horosphere) packings. Mathematics Subject Classification. Primary 52C17, Secondary 52C22, 52B15. Keywords. Hyperbolic geometry, Hyperball packings, Packing density. 1. Preliminary results Let X denote a space of constant curvature, either the n-dimensional sphere n n n S , the Euclidean space E , or the hyperbolic space H with n ≥ 2. An important question of discrete geometry is to find the highest possible packing density in X by congruent non-overlapping balls of a given radius [1, 5]. The Euclidean cases are the best explored. One major recent develop- ment has been the settling of the long-standing Kepler conjecture, part of Hilbert’s 18th problem, by Thomas Hales at the turn of the 21st century. Hales’ computer-assisted proof was largely based on a program set forth by L. Fejes T´ oth in the 1950s [9]. In n-dimensional hyperbolic geometry there are several new questions con- cerning the packing and covering problems, e.g. in H there are 3 kinds of J. Szirmai AEM “generalized balls (spheres)”: the usual balls (spheres), horoballs (horospheres) and hyperballs (hyperspheres). Moreover, the definition of packing density is crucial in hyperbolic spaces as shown by Bor¨ ¨ oczky [3], for standard examples also see [5, 22]. The most widely accepted notion of packing density considers the local densities of balls with respect to their Dirichlet–Voronoi cells (cf. [3, 12]). In order to consider ball packings in H , we use an extended notion of such local density. In space X let d (r) be the density of n + 1 mutually touching spheres or horospheres of radius r (for a horosphere r = ∞) with respect to the simplex spanned by their centres. L. Fejes T´ oth and H. S. M. Coxeter conjectured that the packing density of balls of radius r in X cannot exceed d (r). This conjecture has been proved by C. A. Rogers for the Euclidean space E .The 2-dimensional spherical case was settled by L.Fejes T´ oth [8]. Ball (sphere) and horoball (horosphere) packings: In [3, 4]K.Bor¨ ¨ oczky proved the following theorem for ball and horoball packings for any n (2 ≤ n ∈ N): Theorem 1.1. (K. Bor¨ ¨ oczky) In an n-dimensional space of constant curvature consider a packing of spheres of radius r. In the spherical space suppose that r< . Then the density of each sphere in its Dirichlet-Voronoi cell cannot exceed the density of n +1 spheres of radius r mutually touching one another with respect to the simplex spanned by their centers. The above greatest density in H is ≈ 0.85328 which is not realized by packing with any equal balls. However, it is attained by the horoball packing (in this case r = ∞)of H where the ideal centers of horoballs lie on the absolute figure of H . This ideal regular tetrahedron tiling is given with the Coxeter-Schl¨ afli symbol {3, 3, 6}. Ball packings of hyperbolic n-space and of other Thurston geometries are extensively discussed in the literature see e.g. [1, 3, 6, 7, 20, 36], where the reader finds further references as well. In a previous paper [13] we proved that the above known optimal horoball packing arrangement in H is not unique using the notions of horoballs of the same and different types. Two horoballs in a horoball packing are of the “same type” iff the local densities of the horoballs to the corresponding cell (e.g. D- V cell or ideal simplex) are equal, (see [31]). We gave several new examples of horoball packing arrangements based on totally asymptotic Coxeter tilings that yield the above Bor¨ ¨ oczky–Florian packing density upper bound (see [4]) We have also found that the Bor¨ ¨ oczky-Florian type density upper bound for horoball packings of different types is no longer valid for fully asymptotic simplices in higher dimensions n> 3(see[30]). For example in H , the density of such optimal, locally densest horoball packing is ≈ 0.77038 larger than the analogous Bor¨ ¨ oczky-Florian type density upper bound of ≈ 0.73046. However, these horoball packing configurations are only locally optimal and cannot be extended to the whole hyperbolic space H . An upper bound of the density In the papers [14, 15] we continued our previous investigation in H (n ∈ {4, 5}) allowing horoballs of different types. We gave several new examples of horoball packing configurations that yield high densities (≈ 0.71645 in H and ≈ 0.59421 in H ) where horoballs are centered at ideal vertices of certain Cox- eter simplices, and are invariant under the actions of their respective Coxeter groups. Hyperball (hypersphere) packings: A hypersphere is the set of all points in H , lying at a certain distance, called its height, from a hyperplane, on both sides of the hyperplane (cf. [41] for the planar case). In the hyperbolic plane H the universal upper bound of the hypercycle packing density is , and the universal lower bound of the hypercycle covering density is ,provedbyI.Vermesin[40–42]. We note here that independently from him in [17] T. H. Marshall and G. J. Martin obtained similar results to hypercycle packings. In [32, 33] we analysed regular prism tilings (simply truncated Coxeter or- thoscheme tilings) and the corresponding optimal hyperball packings in H (n =3, 4) and we extended the method developed in the paper [33]tothe 5-dimensional hyperbolic space (see [34]). In the paper [35] we studied n- dimensional hyperbolic regular prism honeycombs and the corresponding cov- erings by congruent hyperballs and we determined their least dense covering densities. Furthermore, we formulated conjectures for candidates of the least dense hyperball covering by congruent hyperballs in 3- and 5-dimensional hy- perbolic spaces. In [27] we discussed congruent and non-congruent hyperball packings of truncated regular tetrahedron tilings. These are derived from the Coxeter sim- plex tilings {p, 3, 3} (7 ≤ p ∈ N)and {5, 3, 3, 3, 3} in 3- and 5-dimensional hyperbolic spaces. We determined the densest hyperball packing arrangement and its density with congruent hyperballs in H and determined the smallest density upper bounds of non-congruent hyperball packings generated by the above tilings in H , (n =3, 5). In [26] we deal with packings derived by horo- and hyperballs (briefly hyp- hor packings) in n-dimensional hyperbolic spaces H (n =2, 3) which form a new class of the classical packing problems. We constructed in the 2− and 3−dimensional hyperbolic spaces hyp-hor packings that are generated by com- plete Coxeter tilings of degree 1 and we determined their densest packing con- figurations and their densities. We proved using also numerical approximation methods that in the hyperbolic plane (n = 2) the density of the above hyp-hor packings arbitrarily approximate the universal upper bound of the hypercycle or horocycle packing density and in H the optimal configuration belongs to the {7, 3, 6} Coxeter tiling with density ≈ 0.83267. Furthermore, we analyzed the hyp-hor packings in truncated orthoschemes {p, 3, 6} (6 <p< 7,p ∈ R) J. Szirmai AEM whose density function attains its maximum for a parameter which lies in the interval [6.05, 6.06] and the densities for parameters lying in this interval are larger than ≈ 0.85397. In [25] we proved that if the truncated tetrahedron is regular, then the density of the densest packing is ≈ 0.86338. This is larger than the B¨ or¨ oczky- Florian density upper bound but our locally optimal hyperball packing con- figuration cannot be extended to the entirety of H . However, we described a hyperball packing construction, by the regular truncated tetrahedron tiling under the extended Coxeter group {3, 3, 7} with maximal density ≈ 0.82251. Recently, (to the best of the author’s knowledge) the candidates for the densest hyperball (hypersphere) packings in the 3, 4 and 5-dimensional hyper- bolic spaces H are derived by regular prism tilings which were studied in the papers [32–34]. In [28] we considered hyperball packings in the 3-dimensional hyperbolic space and developed a decomposition algorithm that for each saturated hy- perball packing provides a decomposition of H 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 [37] we studied hyperball packings related to the truncated regular oc- tahedron and cube tilings that are derived from the Coxeter simplex tilings {p, 3, 4} (7 ≤ p ∈ N)and {p, 4, 3} (5 ≤ p ∈ N) in 3-dimensional hyper- bolic space H . We determined the densest hyperball packing arrangement and its density with congruent and non-congruent hyperballs related to the above tilings. Moreover, we prove that the locally densest congruent or non- congruent hyperball configuration belongs to the regular truncated cube with density ≈ 0.86145. This is larger than the B¨ or¨ oczky-Florian density upper bound for balls and horoballs. We described a non-congruent hyperball pack- ing construction, by the regular cube tiling under the extended Coxeter group {4, 3, 7} with maximal density ≈ 0.84931. In [39] we examined congruent and non-congruent hyperball packings gen- erated by doubly truncated Coxeter orthoscheme tilings in the 3-dimensional hyperbolic space. We proved that the densest congruent hyperball packing belongs to the Coxeter orthoscheme tiling of parameter {7, 3, 7} with density ≈ 0.81335. This density is equal – in our conjecture – with the upper bound density of the corresponding non-congruent hyperball arrangements. Remark 1.2. We can try to define the density of system of sets in hyperbolic space as we did in the Euclidean space, i.e. by the limiting value of the density with respect to a sphere C(r) of radius r with a fixed centre O. But since for a fixed value of h the volume of the spherical shell C(r + h) − C(r)is of the same order of magnitude as the volume of C(r), the argument used in the Euclidean space to prove that the limiting value is independent of the An upper bound of the density choice of O does not work in the hyperbolic space. Therefore the definition of packing density is crucial in hyperbolic spaces H as shown by K. Bor¨ ¨ oczky [3]. For nice examples also see [5, 22]. The most widely accepted notion of packing density considers the local densities of balls with respect to their Dirichlet– Voronoi cells (cf. [3, 12]), but in our cases these cells are infinite hyperbolic polyhedra. The other possibility: the packing density δ can be defined (see [32, 34, 41, 42]) as the reciprocal of the ratio of the volume of a fundamental domain for the symmetry group of a tiling to the volume of the ball pieces contained in the fundamental domain (δ< 1). The covering density Δ > 1is defined similarly. In the present paper our aim is to determine a density upper bound for saturated, congruent hyperball packings in H therefore we use an extended notion of such local density. 2. Saturated hyperball packings in H and their density upper bound 3 n We use for H (and analogously for H , n ≥ 3) the projective model in the 1,3 4 Lorentz space E that denotes the real vector space V equipped with the 0 0 1 1 2 2 3 3 bilinear form of signature (1, 3), x, y = −x y +x y +x y +x y , where the 0 1 2 3 4 0 1 2 3 4 non-zero vectors x =(x ,x ,x ,x ) ∈ V and y =(y ,y ,y ,y ) ∈ V , are n 3 determined up to real factors, for representing points of P (R). Then H can be 3 3 interpreted as the interior of the quadric Q = {(x) ∈P |x, x =0} =: ∂H 3 4 4 in the real projective space P (V , V ) (here V is the dual space of V ). 4 4 Namely, for an interior point y we have y, y < 0. 3 3 Points of the boundary ∂H in P are called points at infinity, or at the 3 3 3 absolute of H . Points lying outside ∂H are said to be outer points of H 3 3 relative to Q. Let (x) ∈P ,apoint(y) ∈P is said to be conjugate to (x) relative to Q if x, y = 0 holds. The set of all points which are conjugate to (x) form a projective (polar) hyperplane pol(x):= {(y) ∈P |x, y =0}. Thus the quadric Q induces a bijection (linear polarity V → V )fromthe points of P onto their polar hyperplanes. A point X(x) and a hyperplane α(a) are incident if xa =0 (x ∈ V \{0}, a ∈ V \{0}). The hypersphere (or equidistance surface) is a quadratic surface at a con- stant distance from a plane (base plane) in both halfspaces. The infinite body of the hypersphere, containing the base plane, is called hyperball. The half hyperball with distance h to a base plane β is denoted by H .The volume of a bounded hyperball piece H (A), delimited by a 2-polygon A⊂ β, and its prism orthogonal to β, can be determined by the classical formula (2.1) of J. Bolyai [2]. 1 2h Vol(H (A)) = Area(A) k sinh +2h , (2.1) 4 k J. Szirmai AEM −1 The constant k = is the natural length unit in H , where K denotes the constant negative sectional curvature. In the following we may assume that k =1. h 3 Let B be a hyperball packing in H with congruent hyperballs of height h. The notion of saturated packing follows from that fact that the density of any packing can be improved by adding further packing elements as long as there is sufficient room to do so. However, we usually apply this notion for packings with congruent elements. In [28] we modified the classical definition of saturated packing for non- compact ball packings with generalized balls (horoballs, hyperballs) in the n-dimensional hyperbolic space H (n ≥ 2 integer parameter): Definition 2.1. A ball packing with non-compact generalized balls (horoballs or/and hyperballs) in H is saturated if no new non-compact generalized ball can be added to it. To obtain a hyperball (hypersphere) packing upper bound it obviously suf- fices to study saturated hyperball packings (using the above definition) and in what follows we assume that all packings are saturated unless otherwise stated. h h We take the set of hyperballs {H } of a saturated hyperball packing B (see Definition 2.1). Their base planes are denoted by β . Thus in a saturated hy- perball packing the distance between two ultraparallel base planes d(β ,β )is i j at least 2h (where for the natural indices we have i<j and d is the hyperbolic distance function). In [28] we described a procedure to get a decomposition of the 3-dimensional hyperbolic space H into truncated tetrahedra corresponding to a given satu- rated hyperball packing whose main steps were the following: 1. Using the radical planes of the hyperballs H , similarly to the Euclidean space, we can construct the unique Dirichlet-Voronoi (in short D-V) de- 3 h composition of H to the given hyperball packing B . 2. We consider an arbitrary proper vertex P ∈ H of the above D − V de- composition and the hyperballs H (P ) whose D-V cells meet at P.The base planes of the hyperballs H (P ) are denoted by β (P ), and these planes determine a non-compact polyhedron D (P ) with the intersec- tion of their halfspaces containing the vertex P . Moreover, denote with i i A ,A ,A ,... the outer vertices of D (P ) and cut off D (P ) with the 1 2 3 polar planes α (P ) of its outer vertices A . Thus, we obtain a convex j j compact polyhedron D(P ). This is bounded by the base planes β (P ) and “polar planes” α (P ). Applying this procedure to all vertices of the above Dirichlet-Voronoi decomposition, we obtain an other decomposi- tion of H into convex polyhedra. An upper bound of the density 3. We consider D(P ) as a tile of the above decomposition. The planes from the finite set of base planes {β (P )} are called adjacent if there is a vertex A of D (P ) that lies on each of the above planes. We con- sider non-adjacent planes β (P ),β (P ),β (P ),...β (P ) ∈{β (P )} k k k k i 1 2 3 m (k ∈ N ,l =1, 2, 3,... m) that have an outer point of intersection denoted by A .Let N ∈ N denote the finite number of the k ...k 1 m D(P ) outer points A related to D(P ). It is clear, that its minimum is 0 k ...k 1 m if D (P ) is tetrahedron. The polar plane α of A is orthogo- k ...k k ...k 1 m 1 m nal to the planes β (P ),β (P ),...β (P ) (thus it contains their poles k k k 1 2 m B , B ,... B ) and divides D(P ) into two convex polyhedra D (P ) k k k 1 1 2 m and D (P ). 4. If N =0 and N = 0 then N <N and N < D (P ) D (P ) D (P ) D(P ) D (P ) 1 2 1 2 N then we apply point 3 to the polyhedra D (P ),i ∈{1, 2}. D(P ) i 5. If N =0 or N =0 (i = j, i, j ∈{1, 2}) then we consider the D (P ) D (P ) i j polyhedron D (P ) where N = N − 1 because the vertex A i k ...k D (P ) D(P ) 1 m is left out and apply point 3. 6. If N =0 and N = 0 then the procedure is over for D(P ). We D (P ) D (P ) 1 2 continue the procedure with the next cell. 7. We have seen in steps 3, 4, 5 and 6 that the number of the outer vertices A of any polyhedron obtained after the cutting process is less than k ...k 1 m the original one, and we have proven in step 7 that the original hyperballs form packings in the new polyhedra D (P)and D (P ), as well. We con- 1 2 tinue the cutting procedure described in step 3 for both polyhedra D (P ) and D (P ). If a derived polyhedron is a truncated tetrahedron then the cutting procedure does not give new polyhedra, thus the procedure will not be continued. Finally, after a finite number of cuttings we get a de- composition of D(P ) into truncated tetrahedra, and in any truncated tetrahedron the corresponding congruent hyperballs from {H } form a packing. Moreover, we apply the above method to the other cells. From the above algorithm we obtained the following Theorem 2.2. (J. Sz. [28]) The algorithm described in [28] provides for each congruent saturated hyperball packing a decomposition of H into truncated tetrahedra. Remark 2.3. Przeworski, A. proved a similar theorem in [21] but it was true only for cases where the base planes of hyperspheres form “symmetric cocom- pacts arrangements” in H . In [18] Y. Miyamoto proved the analogue theorem of K. Bor¨ ¨ oczky’s theorem (Theorem 1.1): Theorem 2.4. (Y. Miyamoto, [18]) If a region in H bounded by hyperplanes has a hyperball (hypersphere) packing of height (radius) r about its boundary, J. Szirmai AEM 1 0 Figure 1. Regular truncated simplex, S(p), p ∈ (6, ∞) with a simply truncated orthoscheme O = Q Q Q P P P 0 1 2 0 1 2 then in some sense, the ratio of its volume to the volume of its boundary is at least that of a regular truncated simplex of (inner) edgelength 2r. Remark 2.5. Independently from the above paper A. Przeworski proved a sim- ilar theorem with other methods in [21]. Therefore, in order to get density upper bound related to the saturated hyperball packings it is sufficient to determine the density upper bound of hyperball packings in truncated regular simplices (see Fig. 1). Thus, in the following we assume that the ultraparallel base planes β of h(p) H (i =1, 2, 3, 4, and 6 <p ∈ R) generate a “regular truncated tetrahedron” S(p) with outer vertices B (see Fig. 1) whose non-orthogonal dihedral angles 2π are equal to , and the distances between two base planes d(β ,β )=: e i j ij (i<j ∈{1, 2, 3, 4}) are equal to 2h(p) depending on the angle . The truncated regular tetrahedron S(p) can be decomposed into 24 con- gruent simply truncated orthoschemes; one of them O = Q Q Q P P P is 0 1 2 0 1 2 illustrated in Fig. 1 where P is the centre of the “regular tetrahedron” S(p), P is the centre of a hexagonal face of S(p), P is the midpoint of a “common 1 2 perpendicular” edge of this face, Q is the centre of an adjacent regular tri- angle face of S(p), Q is the midpoint of an appropriate edge of this face and one of its endpoints is Q . In our case the essential dihedral angles of orthoschemes O are the follow- π π π ing: α = ,α = ,α = . Therefore, the volume Vol(O) of the or- 01 12 23 p 3 3 thoscheme O and the volume Vol(S(p)) = 24 · Vol(O) can be computed for any given parameter p (6 <p ∈ R) by Theorem 2.6 of R. Kellerhals [11] (extending the brilliant formula of N. I. Lobachevsky [16] to classical orthoschemes): An upper bound of the density Theorem 2.6. (R. Kellerhals, [11], Theorem II.) The volume of a three-dimen- sional hyperbolic complete orthoscheme (except for Lambert cube cases, i.e. complete orthoschemes of degree m =2 with outer edge) O⊂ H is expressed with the essential angles α ,α ,α , (0 ≤ α ≤ ) in the following form: 01 12 23 ij 1 π Vol(O)= {L(α + θ) −L(α − θ)+ L( + α − θ) 01 01 12 4 2 π π + L( − α − θ)+ L(α + θ) −L(α − θ)+2L( − θ)}, 12 23 23 2 2 where θ ∈ [0, ) is defined by: 2 2 cos α − sin α sin α 12 01 23 tan(θ)= , cos α cos α 01 23 and where L(x):= − log |2sin t|dt denotes the Lobachevsky function. In this case for a given parameter p the length of the common perpendicu- lars h(p)= e (i<j, i, j ∈{1, 2, 3, 4}) can be determined by the machinery ij of projective metric geometry. (In the following x ∼ c · x with c ∈ R\{0} represents the same point X =(x ∼ c · x)of P .) The points P (p )and Q (q ) are proper points of the hyperbolic 3-space 2 2 2 2 and Q lies on the polar hyperplane pol(B )(b ) of the outer point B . 2 1 1 Thus the hyperbolic distance h(p) can be calculated by the following for- mula (see [25]): −q , p 2 2 cosh h(p)=cosh P Q = 2 2 q , q p , p 2 2 2 2 2 2 h − h h h h − h 22 33 22 33 23 23 = = , h h h q , q 22 33 22 2 2 where h is the inverse of the Coxeter-Schl¨ afli matrix ij ⎛ ⎞ 1 − cos 00 π π ⎜ ⎟ − cos 1 − cos 0 ij ⎜ p 3 ⎟ (c ):= (2.2) π π ⎝ ⎠ 0 − cos 1 − cos 3 3 00 − cos 1 of the orthoscheme O. We get that the volume Vol(S(p)), the maximal height h(p) h(p) of the congruent hyperballs lying in S(p)and Vol(H ∩S(p)) all depend only on the parameter p of the truncated regular tetrahedron S(p). Therefore, the locally optimal density of the congruent hyperball packing related to the regular truncated tetrahedron of parameter p is h(p) 4 · Vol(H ∩S(p)) δ(S(p)) := , Vol(S(p)) J. Szirmai AEM 0.85 0.8625 0.8 0.86 0.75 0.8575 0.7 0.855 6.0 6.05 6.1 6.15 6.2 6.25 6.3 6 7 8 9 10 Figure 2. The density function δ(S(p)), p ∈ (6, 10) and δ(S(p)) depends only on p (6 <p ∈ R). Moreover, the total volume of the parts of the four hyperballs lying in S(p) can be computed by formula (2.1), and the volume of S(p) can be determined by Theorem 2.6. Finally, we obtain the plot after careful analysis of the smooth density function (cf. Fig. 2) and we obtain the following Theorem 2.7. (J. Sz. [25]) The density function δ(S(p)), p ∈ (6, ∞) attains its opt maximum at p ≈ 6.13499,and δ(S(p)) is strictly increasing in the interval opt opt (6,p ), and strictly decreasing in (p , ∞). Moreover, the optimal density opt opt δ (S(p )) ≈ 0.86338 (see Fig. 2). Remark 2.8. 1. In our case lim (δ(S(p))) is equal to the B¨ or¨ oczky-Florian p→6 upper bound of the ball and horoball packings in H [4] (observe that the dihedral angles of S(p) for the case of the horoball equal 2π/6). opt opt 2. δ (S(p )) ≈ 0.86338 is larger than the B¨ or¨ oczky-Florian upper bound δ ≈ 0.85328; but these hyperball packing configurations are only lo- BF cally optimal and cannot be extended to the entire hyperbolic space H . We obtain the next theorem as a direct consequence of the previous state- ments: Theorem 2.9. The density upper bound of the saturated congruent hyperball packings related to the corresponding truncated tetrahedron cells is realized in a opt regular truncated tetrahedra belonging to parameter p ≈ 6.13499 with density ≈ 0.86338. We get from the above theorem directly the denial of A. Przeworski’s con- jecture [21]: An upper bound of the density Table 1. ..... ph(p)Vol(O)Vol(H (A)) δ(S(p)) 7 0.78871 0.08856 0.07284 0.82251 8 0.56419 0.10721 0.08220 0.76673 9 0.45320 0.11825 0.08474 0.71663 . . . . . . . . . . . . . . . 20 0.16397 0.14636 0.06064 0.41431 . . . . . . . . . . . . . . . 50 0.06325 0.15167 0.02918 0.19240 . . . . . . . . . . . . . . . 100 0.03147 0.15241 0.01549 0.10165 p →∞ 0 0.15266 0 0 Corollary 2.10. The density function δ(S(p)), is not an increasing function of h(p) (the height of hyperballs). Remark 2.11. The hyperball packings in the regular truncated tetrahedra un- der the extended reflection groups with Coxeter-Schl¨ afli symbol {3, 3,p},in- vestigated in paper [25], can be extended to the entire hyperbolic space if p is an integer parameter bigger than 6. They coincide with the hyperball pack- ings given by the regular p-gonal prism tilings in H with extended Coxeter- Schl¨ afli symbols {p, 3, 3}, see in [32]. As we know, {3, 3,p} and {p, 3, 3} are dually isomorphic extended reflection groups, just with the above frustum of ij orthoscheme as fundamental domain (Fig. 1, matrix (c ) in formula (2.2)). In [25] we studied these tilings and the corresponding hyperball pack- ings. Moreover, we computed their metric data for some integer parameters p (6 <p ∈ N), where A is a trigonal face of the regular truncated tetrahedron, cf. Fig. 1. In Table 1 we recalled from [25] important metric data of some “realizable hyperball packings”. In hyperbolic spaces H (n ≥ 3) the problems of the densest ball, horoball and hyperball packings have not been settled yet, in general (see e.g. [10, 14, 23, 24, 29–31]). Moreover, the optimal sphere packing problem can be extended to other homogeneous Thurston geometries, e.g. Nil, Sol, SL R. For these non- Euclidean geometries only very few results are known (e.g. [19, 36, 38] and the references given there). J. Szirmai AEM By the above we can say that the revisited Kepler problem still holds several interesting open questions. Funding Information Open access funding provided by Budapest University of Technology and Economics. Open Access. This article is licensed under a Creative Commons Attribution 4.0 Interna- tional License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creativecommons.org/licenses/by/4.0/. Publisher’s Note Springer Nature remains neutral with regard to jurisdic- tional claims in published maps and institutional affiliations. References [1] Bezdek, K.: Sphere packings revisited. Eur. J. Combin. 27(6), 864–883 (2006) [2] Bolyai, J.: Appendix. Scientiam spatii absolute veram exhibens, Marosv´ as´ arhely (1831) [3] B¨ or¨ oczky, K.: Packing of spheres in spaces of constant curvature. Acta Math. Acad. Sci. Hungar. 32, 243–261 (1978) [4] B¨ or¨ oczky, K., Florian, A.: Uber die dichteste Kugelpackung im hyperbolischen Raum. Acta Math. Acad. Sci. Hungar. 15, 237–245 (1964) [5] Fejes T´ oth, G., Kuperberg, W.: Packing and Covering with Convex Sets. In Gruber, P.M., Willis, J.M., (eds), Handbook of Convex Geometry Volume B, pp. 799-860, North- HollandD (1983) [6] Fejes T´ oth, G., Kuperberg, G., Kuperberg, W.: Highly saturated packings and reduced coverings. Monatsh. Math. 125(2), 127–145 (1998) [7] Fejes T´ oth, G., Fejes T´ oth, L., Kuperberg, W.: Ball packings in hyperbolic space, Preprint (2022). arXiv:2202.10797, https://doi.org/10.48550/arXiv.2202.10797 [8] Fejes T´ oth, L.: Regular Figures. Macmillan, New York (1964) [9] Hales, T.C.: Historical overview of the Kepler conjecture. Discret. Comput. Geom. 35, 5–20 (2006) [10] Im Hof, H.-C.: Napier cycles and hyperbolic Coxeter groups. Bull. Soc. Math. Belgique 42, 523–545 (1990) [11] Kellerhals, R.: On the volume of hyperbolic polyhedra. Math. Ann. 285, 541–569 (1989) [12] Kellerhals, R.: Ball packings in spaces of constant curvature and the simplicial density function. J. Reine Angew. Math. 494, 189–203 (1998) [13] Kozma, R.T., Szirmai, J.: Optimally dense packings for fully asymptotic Coxeter tilings by horoballs of different types. Monatsh. Math. 168(1), 27–47 (2012) [14] Kozma, R.T., Szirmai, J.: New lower bound for the optimal ball packing density of hyperbolic 4-space. Discrete Comput. Geom. 53(1), 182–198 (2015). https://doi.org/10. 1007/s00454-014-9634-1 [15] Kozma, R.T., Szirmai, J.: New horoball packing density lower bound in hy- perbolic 5-space. Geom. Dedicata. 206(1), 1–25 (2020). https://doi.org/10.1007/ s10711-019-00473-x An upper bound of the density [16] Lobachevsky, N.I.: Complete Collected Works, Vol. I-IV. In: Kagan, V.F. (eds.) GITTL, Moscow-Leningrad (1946-51) [17] Marshall, T.H., Martin, G.J.: Packing strips in the hyperbolic plane. Proc. Edinb. Math. Soc. 46(1), 67–73 (2003) [18] Miyamoto, Y.: Volumes of hyperbolic manifolds with geodesic boundary. Topology 33(4), 613–629 (1994) [19] Moln´ ar, E.: The projective interpretation of the eight 3-dimensional homogeneous ge- ometries. Beitr. Algebra Geom. 38(2), 261–288 (1997) [20] Moln´ ar, E., Szirmai, J.: Top dense hyperbolic ball packings and coverings for complete Coxeter orthoscheme groups. Publications de l’Institut Math´ ematique 103(117), 129– 146 (2018). https://doi.org/10.2298/PIM1817129M. arXiv:1612.04541 [21] Przeworski, A.: An upper bound on density for packings of collars about hyper- planes in H . Geom. Dedicata. 163(1), 193–213 (2013). https://doi.org/10.1007/ s10711-012-9745-x [22] Radin, C.: The symmetry of optimally dense packings. In: Pr´ ekopa, A., Moln´ ar, E. (eds.) Non-Eucledian Geometries, pp. 197–207, Springer (2006) [23] Stojanovi´ c, M.: Coxeter groups as automorphism groups of solid transitive 3-simplex tilings. Filomat 28(3), 557–577 (2014). https://doi.org/10.2298/FIL1403557S [24] Stojanovi´ c, M.: Hyperbolic space groups and their supergroups for fundamental sim- plex tilings. Acta Math. Hungar. 153(2), 276–288 (2017). https://doi.org/10.1007/ s10474-017-0761-z [25] Szirmai, J.: Hyperball packings in hyperbolic 3-space. Mat. Vesn. 70(3), 211–221 (2018) [26] Szirmai, J.: Packings with horo- and hyperballs generated by simple frustum or- thoschemes. Acta Math. Hungar. 152(2), 365–382 (2017). https://doi.org/10.1007/ s10474-017-0728-0 [27] Szirmai, J.: Density upper bound of congruent and non-congruent hyperball packings generated by truncated regular simplex tilings. Rend. Circ. Mat. Palermo (2) 67, 307– 322 (2018). https://doi.org/10.1007/s12215-017-0316-8 [28] Szirmai, J.: Decomposition method related to saturated hyperball packings. Ars Math. Contemp. 16, 349–358 (2019) [29] Szirmai, J.: The optimal ball and horoball packings to the Coxeter honeycombs in the hyperbolic d-space. Beitr. Algebra Geom. 48(1), 35–47 (2007) [30] Szirmai, J.: Horoball packings to the totally asymptotic regular simplex in the hyperbolic n-space. Aequat. Math. 85, 471–482 (2013). https://doi.org/10.1007/ s00010-012-0158-6 [31] Szirmai, J.: Horoball packings and their densities by generalized simplicial density func- tion in the hyperbolic space. Acta Math. Hungar. 136(1–2), 39–55 (2012). https://doi. org/10.1007/s10474-012-0205-8 [32] Szirmai, J.: The p-gonal prism tilings and their optimal hypersphere packings in the hyperbolic 3-space. Acta Math. Hungar. 111(1–2), 65–76 (2006) [33] Szirmai, J.: The regular prism tilings and their optimal hyperball packings in the hy- perbolic n-space. Publ. Math. Debrecen 69(1–2), 195–207 (2006) [34] Szirmai, J.: The optimal hyperball packings related to the smallest compact arith- metic 5-orbifolds. Kragujevac J. Math. 40(2), 260–270 (2016). https://doi.org/10.5937/ KgJMath1602260S [35] Szirmai, J.: The least dense hyperball covering to the regular prism tilings in the hyper- bolic n-space. Ann. Mat. Pur. Appl. 195(1), 235–248 (2016). https://doi.org/10.1007/ s10231-014-0460-0 [36] Szirmai, J.: A candidate for the densest packing with equal balls in Thurston geometries. Beitr. Algebra Geom. 55(2), 441–452 (2014). https://doi.org/10.1007/ s13366-013-0158-2 [37] Szirmai, J.: Hyperball packings related to octahedron and cube tilings in hyperbolic space. Contrib. Discrete Math. 15(2), 42–59 (2020) J. Szirmai AEM [38] Szirmai, J.: Classical Notions and Problems in Thurston Geometries, Submitted man- uscript, (2022), arXiv: 2203.05209 [39] Szirmai, J.: Congruent and non-congruent hyperball packings related to doubly trun- cated Coxeter orthoschemes in hyperbolic 3-space. Acta Univ. Sapientiae Math. 11(2), 437–459 (2019). https://doi.org/10.26493/1855-3974.1485.0b1 [40] Vermes, I.: Uber die Parkettierungsm¨ oglichkeit des dreidimensionalen hyperbolischen Raumes durch kongruente Polyeder. Studia Sci. Math. Hungar. 7, 267–278 (1972) [41] Vermes, I.: Ausfullungen ¨ der hyperbolischen Ebene durch kongruente Hyperzykelbere- iche. Period. Math. Hungar. 10(4), 217–229 (1979) ¨ ¨ [42] Vermes, I.: Uber regul¨ are Uberdeckungen der Bolyai-Lobatschewskischen Ebene durch kongruente Hyperzykelbereiche. Period. Polytech. Mech. Eng. 25(3), 249–261 (1981) Jen¨oSzirmai Department of Geometry, Institute of Mathematics Budapest University of Technology and Economics M¨ uegyetem rkp. 3. 1111 Budapest Hungary e-mail: szirmai@math.bme.hu Received: November 9, 2021 Revised: March 3, 2023 Accepted: March 9, 2023
Journal
Aequationes Mathematicae – Springer Journals
Published: Jun 1, 2023
Keywords: Hyperbolic geometry; Hyperball packings; Packing density; Primary 52C17; Secondary 52C22; 52B15