Related papers: An approximate isoperimetric inequality for r-sets

For $n\geq 3$, let $r=r(n)\geq 3$ be an integer. A hypergraph is $r$-uniform if each edge is a set of $r$ vertices, and is said to be linear if two edges intersect in at most one vertex. In this paper, the number of linear $r$-uniform…

The paper shows that almost every $n$-vertex graph is such that the multiset of its induced subgraphs on $3 \log_2{n}$ vertices is sufficient to determine it up to isomorphism. Therefore, for checking the isomorphism of a pair of $n$-vertex…

We classify the asymptotic densities of the $\Delta^0_2$ sets according to their level in the Ershov hierarchy. In particular, it is shown that for $n \geq 2$, a real $r \in [0,1]$ is the density of an $n$-c.e.\ set if and only if it is a…

A vertex subset of a graph is called a distance-$k$ independent set if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal…

A stability version of the Blaschke-Santal\'o inequality and the affine isoperimetric inequality for convex bodies of dimension n>2 is proved. The first step is the reduction to the case when the convex body is o-symmetric and has axial…

We show that ||u*u - v*v|| \leq ||u - v|| for partial isometries u and v. There is a stronger inequality if both u and v are extreme points of the unit ball of a C*-algebra, and both inequalities are sharp. If u and v are partial isometries…

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 prove that finite perimeter subsets of $\mathbb{R}^{n+1}$ with small isoperimetric deficit have boundary Hausdorff-close to a sphere up to a subset of small measure. We also refine this closeness under some additional a priori integral…

We prove that there exists an absolute constant $\alpha >1$ with the following property: if $K$ is a convex body in ${\mathbb R}^n$ whose center of mass is at the origin, then a random subset $X\subset K$ of cardinality ${\rm…

The $r$-parallel set of a measurable set $A \subseteq \mathbb R^d$ is the set of all points whose distance from $A$ is at most $r$. In this paper, we show that the surface area of an $r$-parallel set in $\mathbb R^d$ with volume at most $V$…

The set equality problem is to decide whether two sets $A$ and $B$ are equal or disjoint, under the promise that one of these is the case. Some other problems, like the Graph Isomorphism problem, is solvable by reduction to the set quality…

The vertex isoperimetric number of a graph $G=(V,E)$ is the minimum of the ratio $|\partial_{V}U|/|U|$ where $U$ ranges over all nonempty subsets of $V$ with $|U|/|V|\le u$ and $\partial_{V}U$ is the set of all vertices adjacent to $U$ but…

It is known that for every $\alpha \geq 1$ there is a planar triangulation in which every ball of radius $r$ has size $\Theta(r^\alpha)$. We prove that for $\alpha <2$ every such triangulation is quasi-isometric to a tree. The result…

Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph, the vertex cover number is at most $r{-}1$ times the matching number. This conjecture is only known to be true for $r\leq 3$ in general and for $r\leq 5$ if the…

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 criteria for $\mathcal{H}^k$-rectifiability of subsets of $\mathbb{R}^n$ with $C^{1,\alpha}$ maps, $0<\alpha\leq 1$, in terms of suitable approximate tangent paraboloids. We also provide a version for the case when there is not an…

Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $|x_i - x_j| \leq 1$ for all $1 \leq i,j \leq n$. We show that the ratio of the number of ``neighbors''…

We prove the existence of isoperimetric regions in $\R^n$ with density under various hypotheses on the growth of the density. Along the way we prove results on the boundedness of isoperimetric regions.

In this article, we prove that the double inequality $$\alpha G(a,b)+(1-\alpha)C(a,b)<M(a,b)<\beta G(a,b)+(1-\beta)C(a,b)$$ holds true for all $a,b>0$ with $a\neq b$ if and only if $\alpha\geq 5/9$ and $\beta\leq…

In this paper, we establish quantitative Alexandrov-Fenchel inequalities for quermassintegrals on nearly spherical sets. In particular, we bound the $(k,m)$-isoperimetric deficit from below by the Frankael asymmetry. We also find a lower…