Related papers: Approximate isoperimetry for convex polytopes
We prove an exponential deviation inequality for the convex hull of a finite sample of i.i.d. random points with a density supported on an arbitrary convex body in $\R^d$, $d\geq 2$. When the density is uniform, our result yields rate…
Many algorithmic problems can be solved (almost) as efficiently in metric spaces of bounded doubling dimension as in Euclidean space. Unfortunately, the metric space defined by points in a simple polygon equipped with the geodesic distance…
Let P be a random $d$-dimensional 0/1-polytope with $n(d)$ vertices, and denote by $\phi_k(P)$ the \emph{$k$-face density} of $P$, i.e., the quotient of the number of $k$-dimensional faces of $P$ and $\binom{n(d)}{k+1}$. For each $k\ge 2$,…
Let $\phi$ be a quadratic, monic polynomial with coefficients in $\mathcal O_{F,D}[t]$, where $\mathcal O_{F,D}$ is a localization of a number ring $\mathcal O_F$. In this paper, we first prove that if $\phi$ is non-square and…
A small polygon is a polygon that has diameter one. The maximal perimeter of a convex equilateral small polygon with $n=2^s$ sides is not known when $s \ge 4$. In this paper, we construct a family of convex equilateral small $n$-gons,…
In this paper, the following two theorems are proved: $(1)$ every spherical convex body $W$ of constant width $\Delta (W) \geq \frac{\pi}{2}$ may be covered by a disk of radius $\Delta(W) + \arcsin \left( \frac{2\sqrt{3}}{3} \cdot \cos…
Let $E\subset \mathbb R^n$, $n\ge 2$, be a set of finite perimeter with $|E|=|B|$, where $B$ denotes the unit ball. When $n=2$, since convexification decreases perimeter (in the class of open connected sets), it is easy to prove the…
Given n >= 4 positive real numbers, we prove in this note that they are the face areas of a convex polyhedron if and only if the largest number is not more than the sum of the others.
Our basic result, an isoperimetric inequality for Hamming cube $Q_n$, can be written: \[ \int h_A^\beta d\mu \ge 2 \mu(A)(1-\mu(A)). \] Here $\mu$ is uniform measure on $V=\{0,1\}^n$ ($=V(Q_n)$); $\beta=\log_2(3/2)$; and, for $S\subseteq V$…
We prove that for $n>3$ each generic simple polytope in $\mathbb{R}^n$ contains a point with at least $2n+4$ emanating normals to the boundary. This result is a piecewise-linear counterpart of a long-standing problem about normals to smooth…
Let $\Omega\subset\mathbb{R}^{n+1}$ have minimal Gaussian surface area among all sets satisfying $\Omega=-\Omega$ with fixed Gaussian volume. Let $A=A_{x}$ be the second fundamental form of $\partial\Omega$ at $x$, i.e. $A$ is the matrix of…
In this paper, we prove a Wulff inequality for $n$-dimensional minimal submanifolds with boundary in $\mathbb{R}^{n+m}$, where we associate a nonnegative anisotropic weight $\Phi: S^{n+m-1}\to \mathbb{R}^{+}$ to the boundary of minimal…
The aperture angle alpha(x, Q) of a point x not in Q in the plane with respect to a convex polygon Q is the angle of the smallest cone with apex x that contains Q. The aperture angle approximation error of a compact convex set C in the…
We prove the following sparse approximation result for polytopes. Assume that $Q$ is a polytope in John's position. Then there exist at most $2d$ vertices of $Q$ whose convex hull $Q'$ satisfies $Q \subseteq - 2d^2 \, Q'$. As a consequence,…
Let $(M^{n+1},g)$ be a closed Riemannian manifold of dimension $3\le n+1\le 5$. We show that, if the metric $g$ is generic or if the metric $g$ has positive Ricci curvature, then $M$ contains infinitely many geometrically distinct constant…
The structure of maximal faces of the cone of completely positive matrices is still not well understood in higher dimensions, mainly due to the lack of a general characterization of extreme exposed rays of the copositive cone beyond small…
A $\lambda$-convex body in a three-dimensional space form $M^3(c)$ of constant curvature $c$ is a compact convex set $K$ whose boundary $\partial K$ has normal curvatures bounded below by a constant $\lambda>0$ (in a weak sense). Within…
We prove that if $\Omega\subseteq\mathbb{R}^N$ is a set with finite perimeter with $\mathscr{H}^{N-1}(\partial \Omega\setminus\partial^* \Omega)=0$, then any set of finite perimeter $E\subseteq\mathbb{R}^N$ can be approximated by a…
We give the sharp lower bound of the volume product of $n$-dimensional convex bodies which are invariant under a discrete subgroup $SO(K)=\{ g \in SO(n); g(K)=K \}$, where $K$ is an $n$-cube or $n$-simplex. This provides new partial results…
In this article we study adjoint hypersurfaces of geometric objects obtained by intersecting simple polytopes with few facets in $\mathbb{P}^5$ with the Grassmannian $\mathrm{Gr}(2,4)$. These generalize the positive Grassmannian, which is…