English

From the separable Tammes problem to extremal distributions of great circles in the unit sphere

Metric Geometry 2025-05-07 v3

Abstract

A family of spherical caps of the 2-dimensional unit sphere S2\mathbb{S}^2 is called a totally separable packing in short, a TS-packing if any two spherical caps can be separated by a great circle which is disjoint from the interior of each spherical cap in the packing. The separable Tammes problem asks for the largest density of given number of congruent spherical caps forming a TS-packing in S2\mathbb{S}^2. We solve this problem up to 88 spherical caps and upper bound the density of any TS-packing of congruent spherical caps in terms of their angular radius. Based on this, we show that the centered separable kissing number of 33-dimensional Euclidean balls is 88. Furthermore, we prove bounds for the maximum of the smallest inradius of the cells of the tilings generated by n>1n>1 great circles in S2\mathbb{S}^2. Next, we prove dual bounds for TS-coverings of S2\mathbb{S}^2 by congruent spherical caps. Here a covering of S2\mathbb{S}^2 by spherical caps is called a totally separable covering in short, a TS-covering if there exists a tiling generated by finitely many great circles of S2\mathbb{S}^2 such that the cells of the tiling are covered by pairwise distinct spherical caps of the covering. Finally, we extend some of our bounds on TS-coverings to spherical spaces of dimension >2>2.

Keywords

Cite

@article{arxiv.2201.11234,
  title  = {From the separable Tammes problem to extremal distributions of great circles in the unit sphere},
  author = {Károly Bezdek and Zsolt Lángi},
  journal= {arXiv preprint arXiv:2201.11234},
  year   = {2025}
}

Comments

Theorem 3 and its proof on pages 17-19, the footnote on page 7, and the quotation of Glazyrin's theorem on page 26 are new. Overall: 28 pages and 22 figures