相关论文: An isoperimetric inequality for Hamming balls and …
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 a stability version of Harper's cube vertex isoperimetric inequality, showing that subsets of the cube with vertex boundary close to the minimum possible are close to (generalised) Hamming balls. Furthermore, we obtain a local…
An isoperimetric inequality on the Hamming cube for exponents $\beta\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $\beta\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the…
Harper's Theorem states that, in a hypercube, among all sets of a given fixed size the Hamming balls have minimal closed neighbourhoods. In this paper we prove a stability-like result for Harper's Theorem: if the closed neighbourhood of a…
We show that small perturbations of the metric of a ball in Euclidean n-space to metrics with nonpositive curvature do not reduce the isoperimetric ratio. Furthermore, the isoperimetric ratio is preserved only if the perturbation…
A sharp isoperimetric inequality for the Hamming cube is proved at the critical exponent $\beta=\frac12$. This follows up on previous work, where such bounds were established for $\beta$ near $\frac12$. As a consequence, this result settles…
For positive integers $n$ and $r$, we let $Q_n^r$ denote the $r$th power of the $n$-dimensional discrete hypercube graph, i.e., the graph with vertex-set $\{0,1\}^n$, where two 0-1 vectors are joined if they are Hamming distance at most $r$…
We prove that geodesic balls centered at some base point are isoperimetric in the real hyperbolic space $H_{\mathbb R}^n$ endowed with a smooth, radial, strictly log-convex density on the volume and perimeter. This is an analogue of the…
We obtain a sharp quantitative isoperimetric inequality for nonlocal $s$-perimeters, uniform with respect to $s$ bounded away from $0$. This allows us to address local and global minimality properties of balls with respect to the…
The discrete isoperimetric inequality states that among all n -gons with a fixed area, the regular n -gon has the least perimeter. We prove analogues of the discrete isoperimetric inequality (involving circumradius or inradius) for cyclic…
The isodiametric inequality is derived from the isoperimetric inequality trough a variational principle, establishing that balls maximize the perimeter among convex sets with fixed diameter. This principle brings also quantitative…
We prove the following isoperimetric-type inequality: for every convex body $K$ in $\mathbb R^n$ and some $\sigma\subset[n]:=\{1,\dots,n\}$ there exists a suitable Hanner polytope $B_K$ with the same volume as $K$ and such that the volume…
We prove an inequality for functions on the discrete cube extending the edge-isoperimetric inequality for sets. This inequality turns out to be equivalent to the following claim about random walks on the cube: Subcubes maximize 'mean first…
We prove a quantitative isoperimetric inequality for the nearly spherical subset of the Bergman ball in $\mathbb{C}^n$. We prove the Fuglede theorem for such sets. This result is a counterpart of a similar result obtained for the hyperbolic…
The relative isoperimetric inequality inside an open, convex cone $\mathcal C$ states that, at fixed volume, $B_r \cap \mathcal C$ minimizes the perimeter inside $\mathcal C$. Starting from the observation that this result can be recovered…
We prove a vertex-isoperimetric inequality for [n]^(r), the set of all r-element subsets of {1,2,...,n}, where x,y \in [n]^(r) are adjacent if |x \Delta y|=2. Namely, if \mathcal{A} \subset [n]^(r) with |\mathcal{A}|=\alpha {n \choose r},…
For compact Riemannian manifolds with convex boundary, B.White proved the following alternative: Either there is an isoperimetric inequality for minimal hypersurfaces or there exists a closed minimal hypersurface, possibly with a small…
We prove the sharp isoperimetric inequality $$ \mathbb{E} \,h_{A}^{\log_{2}(3/2)} \geq \mu(A)^{*} (\log_{2}(1/\mu(A)^{*}))^{\log_{2}(3/2)} $$ for all sets $A \subseteq \{0,1\}^n$, where $\mu$ denotes the uniform probability measure,…
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…
In this article we exhibit the largest constant in a quadratic isoperimetric inequality which ensures that a geodesic metric space is Gromov hyperbolic. As a particular consequence we obtain that Euclidean space is a borderline case for…