Related papers: Sharp isoperimetric inequalities on the Hamming cu…
In this paper, we prove the asymptotic stability of the incompressible porous media (IPM) equation near a stable stratified density, for initial perturbations in the Sobolev space $H^k$ with any $2<k \in\mathbb{R}$. While it is known that…
The celebrated Heinz inequality asserts that $ 2|||A^{1/2}XB^{1/2}|||\leq |||A^{\nu}XB^{1-\nu}+A^{1-\nu}XB^{\nu}|||\leq |||AX+XB|||$ for $X \in \mathbb{B}(\mathscr{H})$, $A,B\in \+$, every unitarily invariant norm $|||\cdot|||$ and $\nu \in…
Sharp bounds are obtained, under a variety of assumptions on the eigenvalues of the Einstein tensor, for the ratio of the Hawking mass to the areal radius in static, spherically symmetric space-times.
We investigate the advantage of coherent superposition of two different coded channels in quantum metrology. In a continuous variable system, we show that the Heisenberg limit $1/N$ can be beaten by the coherent superposition without the…
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…
Sharp affine fractional Sobolev inequalities for functions on $\mathbb R^n$ are established. For each $0<s<1$, the new inequalities are significantly stronger than (and directly imply) the sharp fractional Sobolev inequalities of Almgren…
A natural measure of smoothness of a Boolean function is its sensitivity (the largest number of Hamming neighbors of a point which differ from it in function value). The structure of smooth or equivalently low-sensitivity functions is still…
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…
In this paper we provide new characterizations of the Gehring-Hayman theorem from the point of view of Gromov boundary and uniformity. We also determine the critical exponents for the uniformized space to be a uniform space in the case of…
For a discrete memoryless channel with finite input and output alphabets, we prove convergence of a parametric family of iterative computations of the optimal correct-decoding exponent. The exponent, as a function of communication rate, is…
We study commutators of the Riesz potential $I_\alpha$ with functions $b$ in the capacitary space $\mathrm{BMO}^\beta(\mathbb{R}^n)$, defined through the Hausdorff content $\mathcal{H}^\beta_\infty$. We prove a Chanillo-type theorem…
We prove the Courtade-Kumar conjecture, for several classes of n-dimensional Boolean functions, for all $n \geq 2$ and for all values of the error probability of the binary symmetric channel, $0 \leq p \leq 1/2$. This conjecture states that…
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…
This article is devoted to the sharp improvement of the classical Bohr inequality for bounded analytic functions defined on the unit disk. We also prove two other sharp versions of the Bohr inequality by replacing the constant term by the…
The main purpose of this paper is to prove a sharp Sobolev inequality in an exterior of a convex bounded domain. There are two ingredients in the proof: One is the observation of some new isoperimetric inequalities with partial free…
We prove a sharp isoperimetric inequality for measured Finsler manifolds having non-negative Ricci curvature and Euclidean volume growth. We also prove a rigidity result for this inequality, under the additional hypotheses of boundedness of…
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…
The heat kernel associated with the setting of the classical Jacobi polynomials is defined by an oscillatory sum which cannot be computed explicitly, in contrast to the situation for the two other classical systems of orthogonal…
We investigate the quantitative stability of the nonlocal Sobolev inequality in Heisenberg group \begin{equation*}\label{non-Sobolev} C_{HL}(Q,\mu)…
Consider the Poincar\'e-Sobolev inequality on the hyperbolic space: for every $n \geq 3$ and $1 < p \leq \frac{n+2}{n-2},$ there exists a best constant $S_{n,p, \lambda}(\mathbb{B}^{n})>0$ such that $$S_{n, p,…