PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
August 26, 2026Mathematics0 citationsOpen Access

A Blaschke-Type Covering Formula in Dimensions Higher than Two via Lattice Voronoi Cells

View Full Paper
EAElad Atia

Key Points

  • To establish general upper bounds on the number of Euclidean unit balls needed to cover a bounded convex body in arbitrary dimensions using lattice Voronoi cells.
  • Averaged the number of lattice Voronoi cells intersecting a convex body over a fundamental cell and the rotation group SO(n).
  • Expressed covering size bounds as linear combinations of intrinsic volumes of the target body and the lattice Voronoi cell.
  • Calculated explicit bounds for regular hexagonal, cubic, face-centered cubic, body-centered cubic, and A4* permutohedron lattices across dimensions 2 through 4.
  • Reproduced the classical planar Blaschke bound in two dimensions via the regular hexagonal lattice and provided closed-form estimates for cubic lattices in all dimensions n ≥ 2.
  • Identified that the body-centered cubic lattice achieves the smallest coefficientwise bound among cubic, face-centered cubic, and body-centered cubic lattices in three dimensions.
  • Derived a sharper bound in four dimensions using the A4* permutohedron computed from its graphical-zonotope representation compared to the standard cubic lattice.

Abstract

Let K⊂Rn be a bounded convex body. We prove a lattice-averaging formula that gives upper bounds for the number of unit balls required to cover K. If the Voronoi cell P of a lattice is contained in the Euclidean unit ball, then some translate and rotation of the lattice produces a covering whose size is at most a linear combination of the intrinsic volumes of K; the coefficients are determined by the intrinsic volumes of P. The proof averages the number of Voronoi cells meeting K over one fundamental cell and over SO(n). For the regular hexagonal lattice in R2, the formula reproduces the classical planar Blaschke bound. For the cubic lattice, it gives a closed-form estimate in every dimension n≥2. In R3, explicit computations for the cubic, face-centered cubic, and body-centered cubic Voronoi cells show that the body-centered cubic lattice has the smallest coefficientwise bound among these three lattices. In R4, the intrinsic volumes of the A4∗ permutohedron are computed from its graphical-zonotope representation, leading to a sharper bound than for the cubic lattice.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Elad Atia (2026) studied this question.

synapsesocial.com/papers/6a8ebb54451774b83f3b4cbahttps://doi.org/10.3390/math14173029
Ask AI
Helpful
Bookmark
Share
View Full Paper