Related papers: On sharp isoperimetric inequalities on the hypercu…

We provide sharp bounds for the isoperimetric constants of infinite plane graphs (tessellations) with bounded vertex and face degrees. For example, if $G$ is a plane graph satisfying the inequalities $p_1 \leq \mbox{deg}\ v \leq p_2$ for $v…

Let $\Omega\subset \mathbb{R}^N$ ($N\geq 3$) be an open domain which is not necessarily bounded. The sharp constant and extremal functions to the following kind of double-variable inequalities $$ S_{\alpha,\beta,\lambda,\mu}(\Omega)…

A \emph{chain} in the unit $n$-cube is a set $C\subset [0,1]^n$ such that for every $\mathbf{x}=(x_1,\ldots,x_n)$ and $\mathbf{y}=(y_1,\ldots,y_n)$ in $C$ we either have $x_i\le y_i$ for all $i\in [n]$, or $x_i\ge y_i$ for all $i\in [n]$.…

This paper studies two classical inequalities, namely the Hausdorff-Young inequality and equal-exponent Young's convolution inequality, for discrete functions supported in the binary cube $\{0,1\}^d\subset\mathbb{Z}^d$. We characterize the…

In this article, under mild constraints on the sectional curvature, we exploit a divergence formula for symmetric endomorphisms to deduce a general Poincar\'e type inequality. We apply such inequality to higher-order mean curvature of…

Let $(M,d)$ be a separable and complete geodesic space with curvature lower bounded, by $\kappa\in \mathbb R$, in the sense of Alexandrov. Let $\mu$ be a Borel probability measure on $M$, such that $\mu\in\mathcal P_2(M)$, and that has at…

This is a continuation of our previous work 0712.4092. It is well known that various isoperimetric inequalities imply their functional ``counterparts'', but in general this is not an equivalence. We show that under certain convexity…

We prove a vertex-isoperimetric inequality for [n]^(r), the set of all r-element subsets of {1,2,...,n}, where x,y \in [n]^(r) are adjacent if |x \Delta y|=2. Namely, if \mathcal{A} \subset [n]^(r) with |\mathcal{A}|=\alpha {n \choose r},…

In this note we prove two isoperimetric inequalities for the sharp constant in the Sobolev embedding and its associated extremal function. The first such inequality is a variation on the classical Schwarz Lemma from complex analysis,…

We find sharp bounds for the norm inequality on a Pseudo-hermitian manifold, where the L^2 norm of all second derivatives of the function involving horizontal derivatives is controlled by the L^2 norm of the sub-Laplacian. Perturbation…

The hypercontractive inequality is a fundamental result in analysis, with many applications throughout discrete mathematics, theoretical computer science, combinatorics and more. So far, variants of this inequality have been proved mainly…

Log-Sobolev inequalities (LSIs) upper-bound entropy via a multiple of the Dirichlet form (i.e. norm of a gradient). In this paper we prove a family of entropy-energy inequalities for the binary hypercube which provide a non-linear…

We give a brief literature review of the isoperimetric problem and discuss its relationship with the Cheeger constant of Riemannian $n$-manifolds. For some non-compact, finite area 2-manifolds, we prove the existence and regularity of…

Let G be a k-step Carnot group. We prove an isoperimetric-type inequality for compact C^2-smooth immersed hypersurfaces with boundary, involving the horizontal mean curvature of the hypersurface. This generalizes an inequality due to…

We prove a counterpart of the log-convex density conjecture in the hyperbolic plane.

Let $\H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,\|\cdot\|)$ is a $p$-convex Banach space then for any Lipschitz function $f:\H\to X$…

We improve the constant $\frac{\pi}{2}$ in $L^1$-Poincar\'e inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\frac{\pi}{2}}$. For Hamming cube the sharp constant is not known,…

We establish dimension-free quantum Talagrand-type inequalities with explicit constants on the quantum Boolean cube, via a unified variance-decay perspective. For individual observables, short-time variance decay along the depolarizing…

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…

Let $(E,\|.\|)$ be a Banach space and let $(\Omega,\mu)$ be a Lebesgue measure space. We characterize, for all $p>0$, measurable functions $u:\Omega\rightarrow \mathbb{R}$ for which \begin{equation*} \left\| \int_{\Omega} f\,d\mu…