Related papers: An approximate isoperimetric inequality for r-sets

A family of subsets of $\{1,2,\ldots,n\}$ is said to be {\em antipodal} if it is closed under taking complements. We prove a best-possible isoperimetric inequality for antipodal families of subsets of $\{1,2,\ldots,n\}$. Our inequality…

We consider the family of graphs whose vertex set is Z^k where two vertices are connected by an edge when their l\infty-distance is 1. We prove the optimal vertex isoperimetric inequality for this family of graphs. That is, given a positive…

We show that every isoperimetric set in R^N with density is bounded if the density is continuous and bounded by above and below. This improves the previously known boundedness results, which basically needed a Lipschitz assumption; on the…

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 a vertex isoperimetric inequality for the $n$-dimensional Hamming ball $\mathcal{B}_n(R)$ of radius $R$. The isoperimetric inequality is sharp up to a constant factor for sets that are comparable to $\mathcal{B}_n(R)$ in size. A…

We prove a relative isoperimetric inequality in the plane, when the perimeter is defined with respect to a convex, positively homogeneous function of degree one, and characterize the minimizers.

We prove an isoperimetric inequality for conjugation-invariant sets of size $k$ in $S_n$, showing that these necessarily have edge-boundary considerably larger than some other sets of size $k$ (provided $k$ is small). Specifically, let…

Necessary and sufficient quantitative geometric conditions are given for an unbounded set A in a euclidean space R^n to have the following property with a given c > 0: For every s > 0 and for every s-nearisometry f: A -> R^n there is an…

We prove that given any set of $n$ unit vectors $\{v_i\}_{i=1}^{n}\subset \mathbb R^n,$ the inequality \[ \sup\limits_{\Vert x \Vert_{\mathbb R^n} =1} \vert \langle x, v_1 \rangle \cdots \langle x, v_n\rangle\vert \ge n^{-n/2} \] holds for…

We solve a class of isoperimetric problems on $\mathbb{R}^2_+ :=\left\{ (x,y)\in \mathbb{R} ^2 : y>0 \right\}$ with respect to monomial weights. Let $\alpha $ and $\beta $ be real numbers such that $0\le \alpha <\beta+1$, $\beta\le 2…

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 show that a set $A \subset \{0,1\}^{n}$ with edge-boundary of size at most $|A| (\log_{2}(2^{n}/|A|) + \epsilon)$ can be made into a subcube by at most $(2 \epsilon/\log_{2}(1/\epsilon))|A|$ additions and deletions, provided $\epsilon$…

In this paper, we consider the isoperimetric problem in the space $\mathbb{R}^N$ with density. Our result states that, if the density f is l.s.c. and converges to a positive limit at infinity, being smaller than this limit far from the…

We consider the punctured plane with volume density $|x|^\alpha$ and perimeter density $|x|^\beta$. We show that centred balls are uniquely isoperimetric for indices $(\alpha,\beta)$ which satisfy the conditions $\alpha-\beta+1>0$,…

A property of smooth convex domains $\Omega \subset \mathbb{R}^n$ is that if two points on the boundary $x, y \in \partial \Omega$ are close to each other, then their normal vectors $n(x), n(y)$ point roughly in the same direction and this…

Let $G$ be a graph which satisfies $c^{-1} a^r \le |B(v,r)| \le c a^r$, for some constants $c,a>1$, every vertex $v$ and every radius $r$. We prove that this implies the isoperimetric inequality $|\partial A| \ge C |A| / \log(2+ |A|)$ for…

For all $n,\phi\in \mathbb{N}$ with $\phi\geqslant n+1$, the smallest possible isoperimetric quotient of an $n$-dimensional convex polytope that has $\phi$ facets is shown to be bounded from above and from below by positive universal…

Let $Q_{n}^{r}$ be the graph with vertex set $\{-1,1\}^{n}$ in which two vertices are joined if their Hamming distance is at most $r$. The edge-isoperimetric problem for $Q_{n}^{r}$ is that: For every $(n,r,M)$ such that $1\le r\le n$ and…

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…

Let $n,m\ge 1$, $\alpha\in(0,1)$, and $\beta\ge 0$. For the Grushin-type operator \[ L=-\nabla_x\!\cdot\!\bigl(|x|^{2\alpha}\nabla_x\bigr)+|x|^{2\beta}\Delta_y \qquad \text{on } \mathbb R^n\times \mathbb R^m, \] we prove the isoperimetric…