Dual volume approximation of the Euclidean ball by polytopes with a fixed number of k-faces

2026/08/03 by Steven Hoehner, Carsten Schütt, Elisabeth M. Werner
Mathematics · #math.MG

paper · pdf

Abstract

We study dual volume approximation of the Euclidean ball by polytopes with a prescribed number of k-dimensional faces. This continues the authors' previous work on intrinsic volume approximation of the ball by polytopes with a fixed number of k-faces, and develops the corresponding dual radial theory. Our first main result gives a nonasymptotic lower bound for the volume deficit of an inscribed polytope P_M⊂ B_d with at most M k-faces, for 0≤ k≤ \lfloor d/2\rfloor. The estimate has the form vol_d(B_d∖ P_M) ≥ \frac1-e^-12κ_dmin\ 1,(d)/(2)(\fracω_d4κ_d-1)^(2)/(d-1) M^-(2)/(d-1)\, and, in the vertices case k=0, in the large-M regime it recovers the order of the lower bound of Gordon, Reisner and Schütt (J. Approx. Theory, 1997). We also prove the polar counterpart for the mean width excess of circumscribed polytopes with at most M k-faces, for \lceil d/2\rceil-1≤ k≤ d-1. More generally, using the analytic extension of the dual volume deviations introduced by Besau, Hoehner and Kur (Int. Math. Res. Not., 2021), we obtain nonasymptotic lower bounds for all q∈\mathbb R, including q=0, in both the inscribed and circumscribed models.