In (the surface of) a convex polytope P^n in R^n+1, for small prescribed volume, geodesic balls about some vertex minimize perimeter. This revision corrects a mistake in the mass bound argument in the proof of Theorem 3.8.
We choose some special unit vectors $\boldsymbol{n}_1,\dots,\boldsymbol{n}_5$ in $\mathbb{R}^3$ and denote by $\mathscr{L}\subset\mathbb{R}^5$ the set of all points $(L_1,\dots,L_5)\in\mathbb{R}^5$ with the following property: there exists a compact convex polytope $P\subset\mathbb{R}^3$ such that the vectors $\boldsymbol{n}_1,\dots,\boldsymbol{n}_5$ (and no other vector) are unit outward normals to the faces of $P$ and the perimeter of the face with the outward normal $\boldsymbol{n}_k$ is equal to $L_k$ for all $k=1,\dots,5$. Our main result reads that $\mathscr{L}$ is not a locally-analytic…
Let $P\subset\mathbb{R}^n$ $(n\geq 3)$ be a convex polytope containing the origin in its interior. Let $\mbox{vol}_{n-2} \big( \mbox{relbd} ( P\cap\lbrace tξ+ ξ^\perp \rbrace ) \big)$ denote the $(n-2)$-dimensional volume of the relative boundary of $P\cap\lbrace tξ+ ξ^\perp \rbrace$ for $t\in\mathbb{R}$, $ξ\in S^{n-1}$. We prove the following: if \begin{align*} \mbox{vol}_{n-2} \Big( \mbox{relbd} \big( P\capξ^\perp \big) \Big) = \max_{t\in\mathbb{R}} \mbox{vol}_{n-2} \Big( \mbox{relbd} \big( P\cap\lbrace tξ+ ξ^\perp \rbrace \big) \Big) \ \ \forall \ \ ξ\in S^{n-1}, \end{align*} then $P$ is or…
We have discovered a "little" gap in our proof of the sharp conjecture that in $\mathbb{R}^n$ with volume and perimeter densities $r^m$ and $r^k$, balls about the origin are uniquely isoperimetric if $0 < m \leq k - k/(n+k-1)$, that is, if they are stable (and $m > 0$). The implicit unjustified assumption is that the generating curve is convex.
We present a new blow-up method that allows for establishing the first general formula to compute the perimeter measure with respect to the spherical Hausdorff measure in noncommutative nilpotent groups. This result leads us to an unexpected relationship between the area formula with respect to a distance and the profile of its corresponding unit ball.
Let $m>1$ be an integer, $B_m$ the set of all unit vectors of $\Bbb R^m$ pointing in the direction of a nonzero integer vector of the cube $[-1, 1]^m$. Denote by $s_m$ the radius of the largest ball contained in the convex hull of $B_m$. We determine the exact value of $s_m$ and obtain the asymptotic equality $s_m\sim\frac{2}{\sqrt{\log m}}$.
Our main contribution is a concentration inequality for the symmetric volume difference of a $ C^2 $ convex body with positive Gaussian curvature and a circumscribed random polytope with a restricted number of facets, for any probability measure on the boundary with a positive density function. We also show that the Dirichlet-Voronoi tiling numbers satisfy $ \text{div}_{n-1} = (2πe)^{-1}(n+\ln n) + O(1)$, which improves a classical result of Zador by a factor of $o(n)$. In addition, we provide a remarkable open problem which is the natural geometric generalization of the famous and fundamental…
We study approximations of smooth convex bodies by random ball-polytopes. We examine the following probability model: let $K\subset{\bf R}^d$ be a convex body such that $K$ slides freely in a ball of radius $R>0$ and has $C^2$ smooth boundary. Let $x_1,\ldots, x_n$ be i.i.d. uniform random points in $K$. For $r\geq R$, let $K^r_{(n)}$ denote the intersection of all radius $r$ closed balls that contain $x_1,\ldots, x_n$. Then $K^r_{(n)}$ is a (uniform) random ball-polytope (of radius $r$) in $K$. We study the asymptotic properties of the expectation of the number of facets of $K_{(n)}^r$ as $n\…
We investigate in this paper the relation between Apollonian $d$-ball packings and stacked $(d+1)$-polytopes for dimension $d\ge 3$. For $d=3$, the relation is fully described: we prove that the $1$-skeleton of a stacked $4$-polytope is the tangency graph of an Apollonian $3$-ball packing if and only if no six $4$-cliques share a $3$-clique. For higher dimension, we have some partial results.
In the spirit of the Genetics of the Regular Figures, by L. Fejes Tóth, we prove the following theorem: If $2n$ points are selected in the $n$-dimensional Euclidean ball $B^n$ so that the smallest distance between any two of them is as large as possible, then the points are the vertices of an inscribed regular cross-polytope. This generalizes a result of R. A. Rankin for $2n$ points on the surface of the ball. We also generalize, in the same manner, a theorem of Davenport and Hajós on a set of $n+2$ points. As a corollary, we obtain a solution to the problem of packing $k$ unit $n$-dimensional…
We establish estimates for the asymptotic best approximation of the Euclidean unit ball by polytopes under a notion of distance induced by the intrinsic volumes. We also introduce a notion of distance between convex bodies that is induced by the Wills functional, and apply it to derive asymptotically sharp bounds for approximating the ball in high dimensions. Remarkably, it turns out that there is a polytope which is almost optimal with respect to all intrinsic volumes simultaneously, up to absolute constants. Finally, we establish asymptotic formulas for the best approximation of smooth conve…
Let $P$ and $Q$ be two convex polytopes both contained in the interior of an Euclidean ball $r\textbf{B}^{d}$. We prove that $P=Q$ provided that their sight cones from any point on the sphere $rS^{d-1}$ are congruent. We also prove an analogous result for spherical projections.
We study a family of polytopes and their duals, that appear in various optimization problems as the unit balls for certain norms. These two families interpolate between the hypercube, the unit ball for the $\infty$-norm, and its dual cross-polytope, the unit ball for the $1$-norm. We give combinatorial and geometric properties of both families of polytopes such as their $f$-vector, their volume, and the volume of their boundary.
We survey the Hilbert geometry of convex polytopes. In particular we present two important characterisations of these geometries, the first one in terms of the volume growth of their metric balls, the second one as a bi-lipschitz class of the simplexe's geometry.
We prove that the largest convex shape that can be placed inside a given convex shape $Q \subset \mathbb{R}^{d}$ in any desired orientation is the largest inscribed ball of $Q$. The statement is true both when "largest" means "largest volume" and when it means "largest surface area". The ball is the unique solution, except when maximizing the perimeter in the two-dimensional case.
The beta polytope $P_{n,d}^β$ is the convex hull of $n$ i.i.d. random points distributed in the unit ball of $\mathbb{R}^d$ according to a density proportional to $(1-\lVert{x}\rVert^2)^β$ if $β>-1$ (in particular, $β=0$ corresponds to the uniform distribution in the ball), or uniformly on the unit sphere if $β=-1$. We show that the expected normalized volumes of high-dimensional beta polytopes exhibit a phase transition and we describe its shape. We derive analogous results for the intrinsic volumes of beta polytopes and, when $β=0$, their number of vertices.
Let V be a finite set of points in Euclidean d-space (d >= 2). The intersection of all unit balls B(v,1) centered at v, where v ranges over V, henceforth denoted by B(V) is the ball polytope associated with V. Note that B(V) is non-empty iff the circumradius of V is <= 1. After some preparatory discussion on spherical convexity and spindle convexity, the paper focuses on two central themes. [a] Define the boundary complex of B(V) (assuming it is non-empty, of course), i.e., define its vertices, edges and facets in dimension 3 (in dimension 2 this complex is just a circuit), and investigate its…
Let $K$ be a convex body in $\mathbb{R}^d$ which slides freely in a ball. Let $K^{(n)}$ denote the intersection of $n$ closed half-spaces containing $K$ whose bounding hyperplanes are independent and identically distributed according to a certain prescribed probability distribution. We prove an asymptotic formula for the expectation of the difference of the volumes of $K^{(n)}$ and $K$, and an asymptotic upper bound on the variance of the volume of $K^{(n)}$. We achieve these results by first proving similar statements for weighted mean width approximations of convex bodies that admit a rollin…
The notion of ball convexity, considered in finite dimensional real Banach spaces, is a natural and useful extension of usual convexity; one replaces intersections of half-spaces by suitable intersections of balls. A subset $S$ of a normed space is called ball convex if it coincides with its ball hull, which is obtained as intersection of all balls (of fixed radius) containing $S$. Ball convex sets are closely related to notions like ball polytopes, complete sets, bodies of constant width, and spindle convexity. We will study geometric properties of ball convex bodies in normed spaces, for exa…
For a Riemannian polyhedra, we study the geometry of the unit ball for the unidimensional stable norm (stable ball). In the case of a unidimensional Riemannian polyhedra (graph), we show that the stable ball is a polytope whose vertices are completely described by combinatorial properties of the graph. We study then the realizable forms as stable ball of Riemannan manifolds of dimension larger than three. For a Riemannian manifold $(M, g)$ fixed, we show that a broad class of polytopes can appear as stable ball of metrics in the conformal class of $g$. We use for that a polyhedral technique.
There are two positive, absolute constants $c_{1}$ and $c_{2}$ so that the volume of the difference set of the $d$-dimensional Euclidean ball and an inscribed polytope with n vertices is larger than $$ c_{2}\ d\ {n}^{-\frac{2}{d-1}}vol_d(B^d_2) $$ for $n \geq (c_{1}\ d)^{\frac{d-1}{2}}$.
Makeev proved that among centrally symmetric four-dimensional polytopes, with more than twenty facets and circumscribed about the Euclidean ball of diameter one, there is no universal cover for the family of unit diameter sets. In this paper we examine the converse problem, and prove that each centrally symmetric polytope, with at most fourteen facets and circumscribed about the Euclidean ball of diameter one, is a universal cover for the family of unit diameter sets.
In this paper we study regularity and topological properties of volume constrained minimizers of quasi-perimeters in $\sf RCD$ spaces where the reference measure is the Hausdorff measure. A quasi-perimeter is a functional given by the sum of the usual perimeter and of a suitable continuous term. In particular, isoperimetric sets are a particular case of our study. We prove that on an ${\sf RCD}(K,N)$ space $({\rm X},{\sf d},\mathcal{H}^N)$, with $K\in\mathbb R$, $N\geq 2$, and a uniform bound from below on the volume of unit balls, volume constrained minimizers of quasi-perimeters are open bou…
A new intrinsic volume metric is introduced for the class of convex bodies in $\mathbb{R}^n$. As an application, an inequality is proved for the asymptotic best approximation of the Euclidean unit ball by arbitrarily positioned polytopes with a restricted number of vertices under this metric. This result improves the best known estimate, and shows that dropping the restriction that the polytope is contained in the ball or vice versa improves the estimate by at least a factor of dimension. The same phenomenon has already been observed in the special cases of volume, surface area and mean width …
Suppose we choose $N$ points uniformly randomly from a convex body in $d$ dimensions. How large must $N$ be, asymptotically with respect to $d$, so that the convex hull of the points is nearly as large as the convex body itself? It was shown by Dyer-Füredi-McDiarmid that exponentially many samples suffice when the convex body is the hypercube, and by Pivovarov that the Euclidean ball demands roughly $d^{d/2}$ samples. We show that when the convex body is the simplex, exponentially many samples suffice; this then implies the same result for any convex simplicial polytope with at most exponentia…
Recall that a convex body $K$ is in John's position if the unit Euclidean ball is the maximal volume ellipsoid contained in $K$. Approximating convex body in John's position by polytopes we obtain the following results. 1. Let $n>R_n\ge 1$ be a sequence such that $\lim_{n\rightarrow \infty} \frac{R_n}{n}=0$. For a sufficiently large $n$, we can construct a convex body $K\subset \mathbb{R}^n$ in John's position such that there is no $P$, polytope with a polynomial number of facets in $n$ such that $K\subset P\subset R_nK$; 2. For a sufficiently large $n$, there is a convex body $K\subset \mathb…
We study metric properties of convex bodies B and their polars B^o, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics (G=S_n, the symmetric group), the set of non-negative polynomials in real algebraic geometry (G=SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G=SO(n), but with a different action). We compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, g…
If we fix the angles at the vertices of a convex planar $n$-gon, the lengths of its edges must satisfy two linear constraints in order for it to close up. If we also require unit perimeter, our vectors of $n$ edge lengths form a convex polytope of dimension $n-3$, each facet of which consists of those $n$-gons in which the length of a particular edge has fallen to zero. Bavard and Ghys require unit area instead, which gives them a hyperbolic polytope. Those two polytopes are combinatorially equivalent, so either is fine for our purposes. Such a fixed-angles polytope is combinatorially richer w…
We introduce the flag-approximability of a convex body to measure how easy it is to approximate by polytopes. We show that the flag-approximability is exactly half the volume entropy of the Hilbert geometry on the body, and that both quantities are maximized when the convex body is a Euclidean ball. We also compute explicitly the asymptotic volume of a convex polytope, which allows us to prove that simplices have the least asymptotic volume.
A question related to some conjectures of Lutwak about the affine quermassintegrals of a convex body $K$ in ${\mathbb R}^n$ asks whether for every convex body $K$ in ${\mathbb R}^n$ and all $1\leqslant k\leqslant n$ $$Φ_{[k]}(K):={\rm vol}_n(K)^{-\frac{1}{n}}\left (\int_{G_{n,k}}{\rm vol}_k(P_F(K))^{-n}\,dν_{n,k}(F)\right )^{-\frac{1}{kn}}\leqslant c\sqrt{n/k},$$ where $c>0$ is an absolute constant. We provide an affirmative answer for some broad classes of random polytopes. We also discuss upper bounds for $Φ_{[k]}(K)$ when $K=B_1^n$, the unit ball of $\ell_1^n$, and explain how this special …
The amplituhedra arise as images of the totally nonnegative Grassmannians by projections that are induced by linear maps. They were introduced in Physics by Arkani-Hamed \& Trnka (Journal of High Energy Physics, 2014) as model spaces that should provide a better understanding of the scattering amplitudes of quantum field theories. The topology of the amplituhedra has been known only in a few special cases, where they turned out to be homeomorphic to balls. The amplituhedra are special cases of Grassmann polytopes introduced by Lam (Current Developments in Mathematics 2014, Int.\ Press). In thi…
Let $K$ be a convex body in $\R^d$, let $j\in\{1, ..., d-1\}$, and let $\varrho$ be a positive and continuous probability density function with respect to the $(d-1)$-dimensional Hausdorff measure on the boundary $\partial K$ of $K$. Denote by $K_n$ the convex hull of $n$ points chosen randomly and independently from $\partial K$ according to the probability distribution determined by $\varrho$. For the case when $\partial K$ is a $C^2$ submanifold of $\R^d$ with everywhere positive Gauss curvature, M. Reitzner proved an asymptotic formula for the expectation of the difference of the $j$th int…
We use symplectic techniques to obtain partial results on Mahler's conjecture about the product of the volume of a convex body and the volume of its polar. We confirm the conjecture for hyperplane sections or projections of $\ell_p$-balls or the Hanner polytopes.
We prove that the metric balls of a Hilbert geometry admit a volume growth at least polynomial of degree their dimension. We also characterise the convex polytopes as those having exactly polynomial volume growth of degree their dimension.