When is the ball a local pessimum for covering?

DOI10.1007/S00454-015-9690-1MaRDI QIDQ2354681zbMATH OpenOpenAlexFDO

Authors Yoav Kallus

Publication date 20 July 2015

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.5895

zbMATH Keywords

convex bodycoveringlatticepessimumspherical harmonics

Mathematics Subject Classification ID

Lattice packing and covering (number-theoretic aspects) (11H31) Lattices and convex bodies in (n) dimensions (aspects of discrete geometry) (52C07) Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17)

Abstract: We consider the problem of identifying the worst point-symmetric shape for covering n-dimensional Euclidean space with lattice translates. Here we focus on the dimensions where the thinnest lattice covering with balls is known and ask whether the ball is a pessimum for covering in these dimensions compared to all point-symmetric convex shapes. We find that the ball is a local pessimum in 3 dimensions, but not so for 4 and 5 dimensions.

Review text

The paper addresses the problem of identifying the worst point-symmetric shape for covering \(n\)-dimensional Euclidean space with lattice translates. It is shown that the ball is a local pessimum in dimension \(n=3\), and extensible for dimensions \(n=4\) and \(n=5\). One of the main results is given by the following Theorem: There exists \(\epsilon>0\) such that if a convex body \(K\) is a non-ellipsoidal origin-symmetric convex body and \((1-\epsilon)B^3 \subseteq K \subseteq (1+\epsilon)B^3\), then \(\vartheta(K)< \vartheta(B^3)\). In this theorem, \(B^3\) is the unit \(3\)-dimensional ball and \(\vartheta(K)\) is the optimal covering fraction for \(K\). The author also proposes the following Conjecture: For all origin-symmetric convex bodies \(K\subseteq {\mathbb R}^3\) that are not ellipsoids, \(\vartheta(K)< \vartheta(B^3)\).

Recommendations

• The 3-ball is a local pessimum for packing
• Covering and packing with spheres by diagonal distortion in R^n
• Pessimal packing shapes
• The local minima in the lattice-simplex covering problem
• Voronoĭ type criteria for lattice coverings with balls

Cites work

• A note on optimal unimodular lattices
• Computational approaches to lattice packing and covering problems
• Convex and Discrete Geometry
• Convolutions and multiplier transformations of convex bodies
• Extreme coverings ofn-space by spheres
• scientific article; zbMATH DE number 3869218 (Why is no real title available?)
• scientific article; zbMATH DE number 783365 (Why is no real title available?)
• scientific article; zbMATH DE number 863503 (Why is no real title available?)
• scientific article; zbMATH DE number 3364397 (Why is no real title available?)
• Inextensible domains
• Inhomogeneous extreme forms
• Reinhardt's problem of lattice packings of convex domains: Local extremality of the Reinhardt octagon
• The 3-ball is a local pessimum for packing
• Über die dichteste gitterförmige Lagerung kongruenter Bereiche in der Ebene und eine besondere Art konvexer Kurven

Cited in

(3)

• Pessimal packing shapes
• The local minima in the lattice-simplex covering problem
• The art of unlocking

This page was built for publication: When is the ball a local pessimum for covering?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2354681)