Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0110205

Improving Rogers' upper bound for the density of unit ball packings via estimating the surface area of Voronoi cells from below in Euclidean d-space for all d>7

Karoly Bezdek
View original source ↗Read source document ↗Export metadata ↓

Abstract

The sphere packing problem asks for the densest packing of unit balls in d-dimensional Euclidean space. This problem has its roots in geometry, number theory and it is part of Hilbert's 18th problem. In 1958 C. A. Rogers proved a non-trivial upper bound for the density of unit ball packings in d-dimensional Euclidean space for all d>0. In 1978 Kabatjanskii and Levenstein improved this bound for large d. In fact, Rogers' bound is the presently known best bound for 43>d>3, and above that the Kabatjanskii-Levenstein bound takes over. In this paper we improve Rogers' upper bound for the density of unit ball packings in Euclidean d-space for all d>7. We do this by estimating from below the surface area of Voronoi cells in any packing of unit balls in Euclidean d-space for all d>7.

Explore related subjects

math.MG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Karoly Bezdek. 2001-10-18. Improving Rogers' upper bound for the density of unit ball packings via estimating the surface area of Voronoi cells from below in Euclidean d-space for all d>7. https://arxiv.org/abs/math/0110205

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Equilibrium Laws for Julia's Zero and the Hyperbolic Zero of Binary Forms

For a real binary form with no real roots, Julia's zero and the hyperbolic zero are two SL(2,R)-equivariant points in the upper half-plane. We show that they admit closely related equilibrium characterizations, with radial weights given respectively by the hyperbolic tangent and hyperbolic sine of the distances to the roots. This common framework gives geometric criteria for coincidence of the two zero maps. They always agree for binary quartics; for binary sextics they agree exactly when the three upper-half-plane roots form an equilateral hyperbolic triangle, or are collinear with one root the hyperbolic midpoint of the other two. We also obtain a corresponding result for collinear binary octics. The two equilibrium laws further reveal a sharp difference in the influence of distant roots. A strict majority of roots confined to a compact set keeps Julia's zero in a compact set, and the threshold one-half is optimal. In contrast, an escaping minority can force the hyperbolic zero to escape at linear scale. We also illustrate the computational advantages of the explicit formula for the hyperbolic zero.

math.MG↗
arXiv2026

Hopf quotients of the infinite-dimensional Gaussian pyramid

We study the infinite-dimensional Gaussian pyramid and its quotients by the global sign flip and the $U(1)$-Hopf action. We resolve affirmatively a long-standing problem posed by Tomohiro Fukaya around 2014: these three limiting geometries are pairwise non-similar, meaning that no positive rescaling makes any two of them coincide.

math.MG↗
arXiv2026

The topology of Gromov--Hausdorff space

We prove that the space of isometry classes of nonempty compact metric spaces, equipped with the Gromov--Hausdorff distance, is homeomorphic to the real separable infinite-dimensional Hilbert space. We construct a continuous assignment of full-support probability measures that is equivariant under isometries and finite-dimensional local approximations that control all pairwise distances. These approximations yield the absolute retract property for all metrizable spaces. We also prove that any countable family of continuous maps from compact metrizable spaces can be approximated, with respect to a prescribed open cover, by maps whose images form a discrete family.

math.MG↗