A note on consequences of Mahler's inequalities

Yanlu Lian; Fei Xue

Home/Archive/arXiv

arXiv · 2610.34396

A note on consequences of Mahler's inequalities

Yanlu Lian·Fei Xue

View original source ↗Read source document ↗Export metadata ↓

Abstract

We derive Makai's inequality $\vol_n(K)\vol_n((K-K)^\circ)\ge(n+1)/n!$ in every dimension from the symmetric Mahler theorem in one higher dimension, with equality precisely for simplices. The proof uses a classical two-layer construction, an identity for its polar volume, and a Rogers--Shephard volume estimate. We then record basic consequences of the Mahler and Makai inequalities for polar successive minima, successive minima at the Santaló point, critical determinants, first covering minima, and non-separable lattice arrangements. We also combine Alexandrov--Fenchel with the volume-product inequalities to obtain sharp bounds for paired mixed volumes.

Explore related subjects

math.MG

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Yanlu Lian, Fei Xue. 2026-10-25. A note on consequences of Mahler's inequalities. https://arxiv.org/abs/2610.34396

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Non-separable arrangements of convex bodies revisited

A problem posed by Erdős in 1945 initiated the study of non-separable arrangements of convex bodies. A finite collection of convex bodies in Euclidean $d$-space is called a non-separable family (or NS-family) if every hyperplane intersecting their convex hull also intersects at least one member of the family. Recent work has focused on minimal coverings of NS-families consisting of positive homothetic convex bodies. In this paper, we strengthen these results by establishing their stability analogues and analyze weakly non-separable families of convex polytopes. We also examine weakly $k$-impassable families of convex $d$-polytopes for $0<k<d-1$ and study tightness of NS-lattice arrangements.

math.MG↗

arXiv2026

Approximating the Euclidean Ball by Polytopes: Surprising Rates in High Dimensions

We determine the sharp dimensional dependence of the asymptotic approximation error for the Euclidean unit ball $B_2^d\subset\mathbb{R}^d$ by polytopes with a prescribed number of vertices in the relative symmetric difference metric. Specifically, we prove that $$\lim_{N\to\infty}N^{2/(d-1)}\inf_{P\in P_d(N)}\frac{\operatorname{vol}_d(P\triangle B_2^d)}{\operatorname{vol}_d(B_2^d)}=Θ(d^{-1/2}),$$ where $P_d(N)$ consists of polytopes with at most $N$ vertices and no containment restriction. Equivalently, the classical Laguerre-Delone triangulation numbers satisfy $\operatorname{ldel}_{d-1}=Θ(d^{-1/2})$. This improves the lower bound $Ω(d^{-1})$ of Böröczky (2000) and the upper bound $O(1)$ of Ludwig, Schütt and Werner (2006). In contrast, the corresponding asymptotic coefficient for approximation with a prescribed number of facets has order one, as shown by Kur (2020). We also establish non-asymptotic bounds showing that, for every fixed $\varepsilon\in(0,1)$, the ball admits an $\varepsilon$-approximation with at most $\exp(C(\varepsilon)\sqrt d)$ vertices, whereas approximating the hypercube to the same accuracy requires at least $\exp(c(\varepsilon)d)$ vertices. Consequently, the ball does not maximize the optimal relative approximation error among convex bodies, even up to an absolute multiplicative constant at the same vertex budget. Thus Macbeath's theorem (1951) on the extremality of the ball for inscribed approximation does not extend to polytopes in arbitrary position.

math.MG↗

arXiv2026

An isometric embedding of the space of non-increasing sequences with non-negative terms into the Gromov-Hausdorff space

The Gromov-Hausdorff space is a certain metric space induced by the Gromov-Hausdorff convergence, and we study an isometric embedding into this space. While the subspace of non-negative real numbers in the Euclidean space admits an isometric embedding, we prove that the subspace of $\ell^\infty$ consisting of non-increasing sequences with non-negative terms can be isometrically embedded into the Gromov-Hausdorff space.

math.MG↗