Related papers: Isoperimetric Inequalities Made Simpler

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,…

We prove the following stability version of the edge isoperimetric inequality for the cube: any subset of the cube with average boundary degree within $K$ of the minimum possible is $\varepsilon $-close to a union of $L$ disjoint cubes,…

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…

The hypercontractive inequality on the discrete cube plays a crucial role in many fundamental results in the Analysis of Boolean functions, such as the KKL theorem, Friedgut's junta theorem and the invariance principle. In these results the…

We prove, using elementary methods of complex analysis, the following generalization of the isoperimetric inequality: if $p\in\re$, $\Omega\subset\re^2$ then the inequality $$…

For the general obstacle problem, we prove by direct methods an epiperimetric inequality at regular and singular points, thus answering a question of Weiss (Invent. Math., 138 (1999), 23--50). In particular at singular points we introduce a…

We prove a family of $L^p$ uncertainty inequalities on fairly general groups and homogeneous spaces, both in the smooth and in the discrete setting. The crucial point is the proof of the $L^1$ endpoint, which is derived from a general weak…

In this paper, we prove some isoperimetric inequalities and give a sharp bound for the positive solution of sublinear elliptic equations.

We prove that the isoperimetric inequalities in the euclidean and hyperbolic plane hold for all euclidean, respectively hyperbolic, cone-metrics on a disk with singularities of negative curvature. This is a discrete analog of the theorems…

The `full' edge isoperimetric inequality for the discrete cube (due to Harper, Bernstein, Lindsay and Hart) specifies the minimum size of the edge boundary $\partial A$ of a set $A \subset \{0,1\}^n$, as a function of $|A|$. A weaker (but…

We prove two main results on how arbitrary linear threshold functions $f(x) = \sign(w\cdot x - \theta)$ over the $n$-dimensional Boolean hypercube can be approximated by simple threshold functions. Our first result shows that every…

This paper deals with the famous isoperimetric inequality. In a first part, we give some new functional form of the isoperimetric inequality, and in a second part, we give a quantitative form with a remainder term involving Wasserstein…

The influence of the $k$'th coordinate on a Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$ is the probability that flipping $x_k$ changes the value $f(x)$. The total influence $I(f)$ is the sum of influences of the coordinates. The…

In this paper, we simplify and improve the constant, $c$, that appears in effective irrationality measures, $|(a/b)^{m/n}-p/q|>c|q|^{-(\kappa+1)}$, obtained from the hypergeometric method for $a/b$ near $1$. The dependence of $c$ on $|a|$…

We show that for any constant $\epsilon > 0$ and $p \ge 1$, it is possible to distinguish functions $f : \{0,1\}^n \to [0,1]$ that are submodular from those that are $\epsilon$-far from every submodular function in $\ell_p$ distance with a…

Houdr\'e and Tetali defined a class of isoperimetric constants $\varphi_p$ of graphs for $0 \leq p \leq 1$, and conjectured a Cheeger-type inequality for $\varphi_\frac12$ of the form $$\lambda_2 \lesssim \varphi_\frac12 \lesssim…

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…

We discuss several classical and recent proofs of the isoperimetric inequality and the Sobolev inequality.

In this work the Isoperimetric Inequality for integral varifolds is used to obtain sharp estimates for the size of the set where the density quotient is small and to generalise Calder\'on's and Zygmund's theory of first order…

In this paper we revisit Talagrand's proof of concentration inequality for empirical processes. We give a different shorter proof of the main technical lemma that guarantees the existence of a certain kernel. Our proof provides the almost…