Generalised Flatness Constants: A Framework Applied in Dimension 2

From MaRDI portal
Generalised Flatness Constants: A Framework Applied in Dimension $2$



Abstract: Let AinmathbbZ,mathbbR and XsubsetmathbbRd be a bounded set. Affine transformations given by an automorphism of mathbbZd and a translation in Ad are called (affine) A-unimodular transformations. The image of X under such a transformation is called an A-unimodular copy of X. It was shown in [Averkov, Hofscheier, Nill, 2019] that every convex body whose width is "big enough" contains an A-unimodular copy of X. The threshold when this happens is called the generalised flatness constant mathrmFltdA(X). It resembles the classical flatness constant if A=mathbbZ and X is a lattice point. In this work, we introduce a general framework for the explicit computation of these numerical constants. The approach relies on the study of A-X-free convex bodies generalising lattice-free (also known as hollow) convex bodies. We then focus on the case that X=P is a full-dimensional polytope and show that inclusion-maximal A-P-free convex bodies are polytopes. The study of those inclusion-maximal polytopes provides us with the means to explicitly determine generalised flatness constants. We apply our approach to the case X=Delta2 the standard simplex in mathbbR2 of normalised volume 1 and compute mathrmFlt2mathbbR(Delta2)=2 and mathrmFlt2mathbbZ(Delta2)=frac103.












This page was built for publication: Generalised Flatness Constants: A Framework Applied in Dimension $2$

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