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}}$.
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.
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.
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…
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 problem of finding the largest number of points in the unit cross-polytope such that the $l_{1}$-distance between any two distinct points is at least $2r$ is investigated for $r\in\left(1-\frac{1}{n},1\right]$ in dimensions $\geq2$ and for $r\in\left(\frac{1}{2},1\right]$ in dimension $3$. For the $n$-dimensional cross-polytope, $2n$ points can be placed when $r\in\left(1-\frac{1}{n},1\right]$. For the three-dimensional cross-polytope, $10$ and $12$ points can be placed if and only if $r\in\left(\frac{3}{5},\frac{2}{3}\right]$ and $r\in\left(\frac{4}{7},\frac{3}{5}\right]$ respectively, an…
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.
We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a line, and a plane of symmetry. We also generalize our construction to higher dimensions and introduce a new family of cyclic polytopes.
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 …
Pick $d+1$ points uniformly at random on the unit sphere in $\mathbb R^d$. What is the expected value of the angle sum of the simplex spanned by these points? Choose $n$ points uniformly at random in the $d$-dimensional ball. What is the expected number of faces of their convex hull? We answer these and some related questions of stochastic geometry. To this end, we compute expected internal angles of random simplices whose vertices are independent random points sampled from one of the following $d$-dimensional distributions: (i) the beta distribution with the density proportional to $(1-\|x\|^…
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…
We show that the largest possible diameter $δ(d,k)$ of a $d$-dimensional polytope whose vertices have integer coordinates ranging between $0$ and $k$ is at most $kd-\lceil2d/3\rceil$ when $k\geq3$. In addition, we show that $δ(4,3)=8$. This substantiates the conjecture whereby $δ(d,k)$ is at most $\lfloor(k+1)d/2\rfloor$ and is achieved by a Minkowski sum of lattice vectors.
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…
We generalize the classical notion of packing a set by balls with identical radii to the case where the radii may be different. The largest number of such balls that fit inside the set without overlapping is called its {\em non-uniform packing number}. We show that the non-uniform packing number can be upper-bounded in terms of the {\em average} radius of the balls, resulting in bounds of the familiar classical form.
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 …
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.
Continuing the investigations of Harborth (1974) and the author (2002) we study the following two rather basic problems on sphere packings. Recall that the contact graph of an arbitrary finite packing of unit balls (i.e., of an arbitrary finite family of non-overlapping unit balls) in Euclidean 3-space is the (simple) graph whose vertices correspond to the packing elements and whose two vertices are connected by an edge if the corresponding two packing elements touch each other. One of the most basic questions on contact graphs is to find the maximum number of edges that a contact graph of a p…
We determine lattice polytopes of smallest volume with a given number of interior lattice points. We show that the Ehrhart polynomials of those with one interior lattice point have largest roots with norm of order n^2, where n is the dimension. This improves on the previously best known bound n and complements a recent result of Braun where it is shown that the norm of a root of an Ehrhart polynomial is at most of order n^2. For the class of 0-symmetric lattice polytopes we present a conjecture on the smallest volume for a given number of interior lattice points and prove the conjecture for cr…
The largest volume ratio of given convex body $K \subset \mathbb{R}^n$ is defined as $$\mbox{lvr}(K):= \sup_{L \subset \mathbb{R}^n} \mbox{vr}(K,L),$$ where the $\sup$ runs over all the convex bodies $L$. We prove the following sharp lower bound $$c \sqrt{n} \leq \mbox{lvr}(K),$$ for every body $K$ (where $c>0$ is an absolute constant). This result improves the former best known lower bound, of order $\sqrt{\frac{n}{\log \log(n)}}$. We also study the exact asymptotic behavior of the largest volume ratio for some natural classes. In particular, we show that $\mbox{lvr}(K)$ behaves as the square…
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…
Given two subsets of R^d, when does there exist a projective transformation that maps them to two sets with a common centroid? When is this transformation unique modulo affine transformations? We study these questions for 0- and d-dimensional sets, obtaining several existence and uniqueness results as well as examples of non-existence or non-uniqueness. If both sets have dimension 0, then the problem is related to the analytic center of a polytope and to polarity with respect to an algebraic set. If one set is a single point, and the other is a convex body, then it is equivalent by polar duali…
We use the generalized Minkowski billiard characterization of the EHZ-capacity of Lagrangian products in order to reprove that the $4$-dimensional Viterbo conjecture holds for the Lagrangian products (any triangle/parallelogram in $\mathbb{R}^2$)$\times$(any convex body in $\mathbb{R}^2$) and extend this fact to the Lagrangian products (any trapezoid in $\mathbb{R}^2$)$\times$(any convex body in $\mathbb{R}^2$). Based on this analysis, we classify equality cases of this version of Viterbo's conjecture and prove that most of them can be proven to be symplectomorphic to Euclidean balls. As a by-…