Abstract:Let $\mathcal{P}$ be a packing of circular disks of radius $\rho>0$ in the Euclidean, spherical, or hyperbolic plane. Let $0\leq\lambda\leq\rho$. We say that $\mathcal{P}$ is a $\lambda$-separable packing of circular disks of radius $\rho$ if the family $\mathcal{P'}$ of disks concentric to the disks of $\mathcal{P}$ having radius $\lambda$ form a totally separable packing, i.e., any two disks of $\mathcal{P'}$ can be separated by a line which is disjoint from the interior of every disk of $\mathcal{F'}$. This notion bridges packings of circular disks of radius $\rho$ (with $\lambda=0$) and totally separable packings of circular disks of radius $\rho$ (with $\lambda=\rho$). In this note we extend several theorems on the density, tightness, and contact numbers of disk packings and totally separable disk packings to $\lambda$-separable packings of circular disks of radius $\rho$ in the Euclidean, spherical, and hyperbolic plane. In particular, our upper bounds (resp., lower bounds) for the density (resp., tightness) of $\lambda$-separable packings of unit disks in the Euclidean plane are sharp for all $0\leq\lambda\leq 1$ with the extremal values achieved by $\lambda$-separable lattice packings of unit disks. On the other hand, the bounds of similar results in the spherical and hyperbolic planes are not sharp for all $0\leq\lambda\leq\rho$ although they do not seem to be far from the relevant optimal bounds either. The proofs use local analytic and elementary geometry and are based on the so-called refined Molnár decomposition, which is obtained from the underlying Delaunay decomposition and as such might be of independent interest.

On separability in discrete geometry

On separably integrable symmetric convex bodies

From the Kneser-Poulsen conjecture to ball-polyhedra

Contacts in totally separable packings in the plane and in high dimensions

On proper separation of convex sets

Geometry of entanglement and separability in Hilbert subspaces of dimension up to three

The Complete Lattice of Erdős-Menger Separations

Selected topics from the theory of intersections of balls

The separativity problem in terms of varieties and diagonal reduction

Topics Surrounding The Combinatorial Anabelian Geometry Of Hyperbolic Curves Iv: Discreteness And Sections

Separation axiom $S_3$ for geodesic convexity in graphs

On optimal $λ$-separable packings in the plane

Minkowski Bisectors, Minkowski Cells and Lattice Coverings

On convex closed planar curves as equidistant sets

Separations of sets

Degrees of freedom in discrete geometry

On equidistant polytopes in the Euclidean space

On the connected (sub)partition polytope

Convex Equipartitions of volume and surface area

Almost separable spaces