Related papers: On sharp isoperimetric inequalities on the hypercu…

We obtain new sharp isoperimetric inequalities on a Riemannian manifold equipped with a probability measure, whose generalized Ricci curvature is bounded from below (possibly negatively), and generalized dimension and diameter of the convex…

In this short note, we establish an edge-isoperimetric inequality for arbitrary product graphs. Our inequality is sharp for subsets of many different sizes in every product graph. In particular, it implies that the $2^d$-element sets with…

We study the $P_1$ finite element approximation of the best constant in the classical Hardy inequality over bounded domains containing the origin in $\mathbb{R}^N$, for $N \geq 3$. Despite the fact that this constant is not attained in the…

We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…

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…

We prove that if $(X,\mathsf{d},\mathfrak{m})$ is a metric measure space with $\mathfrak{m}(X)=1$ having (in a synthetic sense) Ricci curvature bounded from below by $K>0$ and dimension bounded above by $N\in [1,\infty)$, then the classic…

Let $A$ be a positive semidefinite matrix, block partitioned as $$ A=\twomat{B}{C}{C^*}{D}, $$ where $B$ and $D$ are square blocks. We prove the following inequalities for the Schatten $q$-norm $||.||_q$, which are sharp when the blocks are…

Subject to suitable boundary conditions being imposed, sharp inequalities are obtained on integrals over a region $\Omega$ of certain special quadratic functions $f(\bf{E})$ where $\bf{E}(\bf{x})$ derives from a potential $\bf{U}(\bf{x})$.…

We prove quantitative stability of isometries on the first Heisenberg group with sub-Riemannian geometry: every $ (1+ \varepsilon)$-quasi-isometry of the John domain of the Heisenberg group $ \mathbb {H} $ is close to some isometry with…

A classical result owing to Mancini and Sandeep [Ann. Sc. Norm. Super. Pisa Cl. Sci. 7 (2008)] asserts that all positive solutions of the Poincar\'e-Sobolev equation on the hyperbolic space $$ -\Delta_{\mathbb{B}^n} u-\lambda u =…

Let $D$ be a closed disk centered at the origin in the horizontal hyperplane $\{t=0\}$ of the sub-Riemannian Heisenberg group $\hh^n$, and $C$ the vertical cylinder over $D$. We prove that any finite perimeter set $E$ such that $D\subset…

We prove the sharp quantitative isoperimetric inequality in the case of the barycentric asymmetry, for bounded sets. This generalizes the $2$-D case recently proved in~\cite{BCH}.

We establish an analog Hardy inequality with sharp constant involving exponential weight function. The special case of this inequality (for n=2) leads to a direct proof of Onofri inequality on S^2.

We prove sharp geometric rigidity estimates for isometries on Heisenberg groups. Our main result asserts that every $(1+\varepsilon)$-quasi-isometry on a John domain of the Heisenberg group $\mathbb{H}^n$, $n>1$, is close to some isometry…

We consider the imbedding inequality || f ||_{L^r(R^d)} <= S_{r,n,d} || f ||_{H^{n}(R^d)}; H^{n}(R^d) is the Sobolev space (or Bessel potential space) of L^2 type and (integer or fractional) order n. We write down upper bounds for the…

The sharp isoperimetric inequality for non-compact Riemannian manifolds with non-negative Ricci curvature and Euclidean volume growth has been obtained in increasing generality with different approaches in a number of contributions…

Let $\Omega$ be an open connected cone in $\mathbb{R}^n$ with vertex at the origin. Assume that the operator $$P_\mu:=-\Delta-\frac{\mu}{\delta_\Omega^2(x)}$$ is {\em subcritical} in $\Omega$, where $\delta_\Omega$ is the distance function…

Infinite-dimensional, holomorphic functions have been studied in detail over the last several decades, due to their relevance to parametric differential equations and computational uncertainty quantification. The approximation of such…

This paper deals with various questions related to the isoperimetic problem for smooth positive measure $d\mu = \varphi(x)dx$, with $x \in \Omega \subset \mathbb{R}^N$. Firstly we find some necessary conditions on the density of the measure…

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…