On Compact Packings of Euclidean Space with Spheres of Finitely Many Sizes
Miek Messerschmidt,Eder Kikianty
DOI: https://doi.org/10.1007/s00454-024-00628-y
2024-02-23
Discrete & Computational Geometry
Abstract:For , a compact sphere packing of Euclidean space is a set of spheres in with disjoint interiors so that the contact hypergraph of the packing is the vertex scheme of a homogeneous simplicial d -complex that covers all of . We are motivated by the question: For with , how many configurations of numbers \(0<r_{0}<r_{1}<\cdots <r_{n-1}="1\) can occur as the radii of spheres in a compact sphere packing of wherein there occur exactly n sizes of sphere? We introduce what we call 'heteroperturbative sets' of labeled triangulations of unit spheres and we discuss the existence of non-trivial examples of heteroperturbative sets. For a fixed heteroperturbative set, we discuss how a compact sphere packing may be associated to the heteroperturbative set or not. We proceed to show, for with and for a fixed heteroperturbative set, that the collection of all configurations of n distinct positive numbers that can occur as the radii of spheres in a compact packing is finite, when taken over all compact sphere packings of which have exactly n sizes of sphere and which are associated to the fixed heteroperturbative set.</r_{0}<r_{1}
mathematics,computer science, theory & methods