Related papers: On sharp isoperimetric inequalities on the hypercu…
The goal of the paper is to sharpen and generalise bounds involving the Cheeger's isoperimetric constant $h$ and the first eigenvalue $\lambda_{1}$ of the Laplacian. A celebrated lower bound of $\lambda_{1}$ in terms of $h$,…
We give a new proof of an isoperimetric inequality for a family of closed surfaces, which have Gaussian curvature identically equal to one wherever the surface is smooth. These surfaces are formed from a convex, spherical polygon, with each…
The problem of testing monotonicity for Boolean functions on the hypergrid, $f:[n]^d \to \{0,1\}$ is a classic topic in property testing. When $n=2$, the domain is the hypercube. For the hypercube case, a breakthrough result of…
We obtain an estimate for the H\"older continuity exponent for weak solutions to the following elliptic equation in divergence form: \[ \mathrm{div}(A(x)\nabla u)=0 \qquad\mathrm{in\}\Omega, \] where $\Omega$ is a bounded open subset of…
We prove that for $p\in (0,1]$, the double inequality% \begin{equation*} \tfrac{1}{3p^{2}}\cos px+1-\tfrac{1}{3p^{2}}<\frac{\sin x}{x}<\tfrac{1}{% 3q^{2}}\cos qx+1-\tfrac{1}{3q^{2}} \end{equation*}% holds for $x\in (0,\pi /2)$ if and only…
Wang and Ye conjectured in [22]: Let $\Omega$ be a regular, bounded and convex domain in $\mathbb{R}^{2}$. There exists a finite constant $C({\Omega})>0$ such that \[ \int_{\Omega}e^{\frac{4\pi u^{2}}{H_{d}(u)}}dxdy\le C(\Omega),\;\;\forall…
By using optimal mass transport theory we prove a sharp isoperimetric inequality in ${\sf CD} (0,N)$ metric measure spaces assuming an asymptotic volume growth at infinity. Our result extends recently proven isoperimetric inequalities for…
In this note we give a new proof of the sharp constant $C = e^{-1/2} + \int_0^1 e^{-x^2/2}\,dx$ in the weak (1, 1) inequality for the dyadic square function. The proof makes use of two Bellman functions $\mathbb{L}$ and $\mathbb{M}$ related…
We study distributed protocols for finding all pairs of similar vectors in a large dataset. Our results pertain to a variety of discrete metrics, and we give concrete instantiations for Hamming distance. In particular, we give improved…
We prove the inequality $E[(X/\mu)^k] \le (\frac{k/\mu}{\log(k/\mu+1)})^k \le \exp(k^2/(2\mu))$ for sub-Poissonian random variables, such as Binomially or Poisson distributed random variables with mean $\mu$. The asymptotics $1+O(k^2/\mu)$…
We prove a generalization of the hyperplane inequality for intersection bodies, where volume is replaced by an arbitrary measure $\mu$ with even continuous density and sections are of arbitrary dimension $n-k,\ 1\le k <n.$ If $K$ is a…
A Sobolev type embedding for radially symmetric functions on the unit ball $B$ in $\mathbb R^n$, $n\geq 3$, into the variable exponent Lebesgue space $L_{2^\star + |x|^\alpha} (B)$, $2^\star = 2n/(n-2)$, $\alpha>0$, is known due to J.M. do…
We prove global H\"older regularity result for weak solutions $u\in N^{1,p}(\Omega, \mu)$ to a PDE of $p$-Laplacian type with a measure as non-homogeneous term: \[ -\text{div}\!\left( |\nabla u|^{p-2}\nabla u \right)=\overline\nu, \] where…
Motivated by applications to monotonicity testing, Lehman and Ron (JCTA, 2001) proved the existence of a collection of vertex disjoint paths between comparable sub-level sets in the directed hypercube. The main technical contribution of…
The classical hypercontractive inequality for the noise operator on the discrete cube plays a crucial role in many of the fundamental results in the Analysis of Boolean functions, such as the KKL (Kahn-Kalai-Linial) theorem, Friedgut's…
We prove weighted isoperimetric inequalities for smooth, bounded, and simply connected domains. More precisely, we show that the moment of inertia of inner parallel curves for domains with fixed perimeter attains its maximum for a disk.…
We prove a sharp H\"older estimate for solutions of linear two-dimensional, divergence form elliptic equations with measurable coefficients, such that the matrix of the coefficients is symmetric and has {\em unit determinant}. Our result…
We resolve a conjecture of Rob Morris concerning bijections on the hypercube. Specifically, we show that for any bijection $f : \{-1,1\}^n \to \{-1,1\}^n$, \[ \Pr_{x,y \in \{-1,1\}^n}\big[ \langle x,y \rangle \ge 0 \;\text{and}\; \langle…
We prove a new version of isoperimetric inequality: Given a positive real $m$, a Banach space $B$, a closed subset $Y$ of metric space $X$ and a continuous map $f:Y \rightarrow B$ with $f(Y)$ compact $$\inf_FHC_{m+1}(F(X))\leq…
$\mu$ being a nonnegative measure satisfying some log-Sobolev inequality, we give conditions on F for the measure $\nu=e^{-2F} \mu$ to also satisfy some log-Sobolev inequality. Explicit examples are studied.