Related papers: Edge-isoperimetric inequalities and influences

We consider heat operators on a convex domain $\Omega$, with a critically singular potential that diverges as the inverse square of the distance to the boundary of $\Omega$. We establish a general boundary controllability result for such…

In this paper we prove that if $\Omega\in\mathbb{R}^n$ is a bounded John domain, the following weighted Poincare-type inequality holds: $$ \inf_{a\in \mathbb{R}}\| (f(x)-a) w_1(x) \|_{L^q(\Omega)} \le C \|\nabla f(x) d(x)^\alpha w_2(x)…

We generalize the classical Hardy and Faber-Krahn inequalities to arbitrary functions on a convex body $\Omega \subset \mathbb{R}^n$, not necessarily vanishing on the boundary $\partial \Omega$. This reduces the study of the Neumann…

We obtain a sharp lower bound on the isoperimetric deficit of a general polygon in terms of the variance of its side lengths, the variance of its radii, and its deviation from being convex. Our technique involves a functional minimization…

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…

In this paper we prove an isoperimetric inequality of euclidean type for complete metric spaces admitting a cone-type inequality. These include all Banach spaces and all complete, simply-connected metric spaces of non-positive curvature in…

We prove boundary controllability results for wave equations (with lower-order terms) on Lorentzian manifolds with time-dependent geometry satisfying suitable curvature bounds. The main ingredient is a novel global Carleman estimate on…

We prove that for any decision tree calculating a boolean function $f:\{-1,1\}^n\to\{-1,1\}$, \[ \Var[f] \le \sum_{i=1}^n \delta_i \Inf_i(f), \] where $\delta_i$ is the probability that the $i$th input variable is read and $\Inf_i(f)$ is…

Let $\Omega$ be a bounded Lipshcitz domain in $\mathbb{R}^n$ and we study boundary behaviors of solutions to the Laplacian eigenvalue equation with constant Neumann data. \begin{align} \label{cequation0} \begin{cases} -\Delta u=cu\quad…

If $\Omega \subset \R^n$ is a smooth bounded domain and $q \in (0, \frac{n}{n-1})$ we consider the Poincare-Sobolev inequality \[ c \Bigl(\int_{\Omega} \abs{u}^\frac{n}{n-1}\Bigr)^{1-\frac{1}{n}} \le \int_{\Omega} \abs{Du}, \] for every $u…

The Euclidean mixed isoperimetric-isodiametric inequality states that the round ball maximizes the volume under constraint on the product between boundary area and radius. The goal of the paper is to investigate such mixed…

We prove that the Bourgain slicing conjecture and the Kannan-Lov\'asz-Simonovits (KLS) isoperimetric conjecture in $\mathbb{R}^n$ hold true up to a factor of $\sqrt{\log n}$. A new ingredient used in the proof is an improved log-concave…

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…

In this paper, we prove that most of the boolean functions, $f : \{-1,1\}^n \rightarrow \{-1,1\}$ satisfy the Fourier Entropy Influence (FEI) Conjecture due to Friedgut and Kalai (Proc. AMS'96). The conjecture says that the Entropy of a…

We consider optimization of nonlinear objective functions that balance $d$ linear criteria over $n$-element independence systems presented by linear-optimization oracles. For $d=1$, we have previously shown that an $r$-best approximate…

Recently, Keller and Pilpel conjectured that the influence of a monotone Boolean function does not decrease if we apply to it an invertible linear transformation. Our aim in this short note is to prove this conjecture.

This article considers the existence and regularity of Kahler-Einstein metrics on a compact Kahler manifold $M$ with edge singularities with cone angle $2\pi\beta$ along a smooth divisor $D$. We prove existence of such metrics with…

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…

Kayal, Saha and Tavenas [Theory of Computing, 2018] showed that for all large enough integers $n$ and $d$ such that $d\geq \omega(\log{n})$, any syntactic depth four circuit of bounded individual degree $\delta = o(d)$ that computes the…

We are concerned with a semi-linear elliptic equation on a smooth bounded domain $\Omega$ of $\mathbb{R}^n,\,n\geq 5,$ which involves a critical nonlinearity and a linear term of the form $K(x)u^{(n+2)/(n-2)}$ and $\mu u,$ respectively. By…