Related papers: On the Isoperimetric Profile of the Hypercube
We prove that a proper geodesic metric space has non-positive curvature in the sense of Alexandrov if and only if it satisfies the Euclidean isoperimetric inequality for curves. Our result extends to non-geodesic spaces and non-zero…
The Kneser-Poulsen conjecture says that if a finite collection of balls in a Euclidean (spherical or hyperbolic) space is rearranged so that the distance between each pair of centers does not increase, then the volume of the union of these…
It has been shown that the $n$-dimensional unit hypercube contains an $n$-dimensional regular simplex of edge length $c\sqrt n$ for arbitrary $c<1/2$ if $n$ is sufficiently large (Maehara, Ruzsa and Tokushige, 2009). We prove the same…
We show that in any $d$-dimensional real normed space, unit balls can be packed with density at least \[\frac{(1-o(1))d\log d}{2^{d+1}},\] improving a result of Schmidt from 1958 by a logarithmic factor and generalizing the recent result of…
We study a non local approximation of the Gaussian perimeter, proving the Gamma convergence to the local one. Surprisingly, in contrast with the local setting, the halfspace turns out to be a volume constrained stationary point if and only…
For a convex domain $D$ bounded by the hypersurface $\partial D$ in a space of constant curvature we give sharp bounds on the width $R-r$ of a spherical shell with radii $R$ and $r$ that can enclose $\partial D$, provided that normal…
We consider the evolution by inverse mean curvature flow of a closed, mean convex and star-shaped hypersurface in the complex hyperbolic space. We prove that the flow is defined for any positive time, the evolving hypersurface stays…
We prove that given a hyperbolic manifold endowed with an auxiliary Riemannian metric whose sectional curvature is negative and whose volume is sufficiently small in comparison to the hyperbolic one, we can always find for any radius at…
We prove that for the mean curvature flow of closed embedded hypersurfaces, the intrinsic diameter stays uniformly bounded as the flow approaches the first singular time, provided all singularities are of neck or conical type. In…
We obtain a sharp characterization of the Euclidean ball among all convex bodies K whose boundary has a pointwise k-th mean curvature not smaller than a geometric constant at almost all normal points. This geometric constant depends only on…
Let $ M^n$ be a closed immersed minimal hypersurface in the unit sphere $\mathbb{S}^{n+1}$. We establish a special isoperimetric inequality of $M^n$. As an application, if the scalar curvature of $ M^n$ is constant, then we get a uniform…
For a closed, strictly convex projective manifold of dimension $n\geq 3$ that admits a hyperbolic structure, we show that the ratio of Hilbert volume to hyperbolic volume is bounded below by a constant that depends only on dimension. We…
Let $M^{n+1}$ be a closed manifold of dimension $3\le n+1\le 7$ equipped with a generic Riemannian metric $g$. Let $c$ be a positive number. We show that, either there exist infinitely many distinct closed hypersurfaces with constant mean…
Ball's celebrated cube slicing (1986) asserts that among hyperplane sections of the cube in $\mathbb{R}^n$, the central section orthogonal to $(1,1,0,\dots,0)$ has the greatest volume. We show that the same continues to hold for slicing…
We give rigidity results for the discrete Bonnet-Myers diameter bound and the Lichnerowicz eigenvalue estimate. Both inequalities are sharp if and only if the underlying graph is a hypercube. The proofs use well-known semigroup methods as…
We consider the problem of maximising the largest eigenvalue of subgraphs of the hypercube $Q_d$ of a given order. We believe that in most cases, Hamming balls are maximisers, and our results support this belief. We show that the Hamming…
A Hilbert cube of dimension $d$ is the set of integers \[ H(a_{0}; a_{1}, \ldots, a_{d})=a_{0}+\{0, a_{1}\}+\cdots+\{0, a_{d}\}=\left\{a_{0}+\sum_{i=1}^{d}\varepsilon_{i}a_{i}:\;\varepsilon_{i}\in\{0,1\}\right\}. \] Brown, Erd\H{o}s and…
We consider the inverse mean curvature flow by parallel hypersurfaces in space forms. We show that such a flow exists if and only if the initial hypersurface is isoparametric. The flow is characterized by an algebraic equation satisfied by…
We prove that on an essentially non-branching $\mathrm{MCP}(K,N)$ space, if a geodesic ball has a volume lower bound and satisfies some additional geometric conditions, then in a smaller geodesic ball (in a quantified sense) we have an…
Approximating convex bodies is a fundamental question in geometry, which has a wide variety of applications. Given a convex body $K$ in $\textbf{R}^d$ for fixed $d$, the objective is to minimize the number of facets of an approximating…