Related papers: Geometric inequalities on Heisenberg groups

We investigate the synthetic metric spacetime structure of the sub-Lorentzian Heisenberg group and we study the optimal transport problem in this space. The sub-Lorentzian version of Brenier's theorem is established in this setting.…

Utilizing the framework of quaternionic contact geometry, we define a sequence of Riemannian metrics $\{g_L\}$ on the quaternionic Heisenberg group $\mathfrak{H}_{\mathbb{H}}$ by rescaling the vertical directions. By analyzing the limit of…

Given a probability measure $\mu$ supported on a convex subset $\Omega$ of Euclidean space $(\mathbb{R}^d,g_0)$, we are interested in obtaining Poincar\'e and log-Sobolev type inequalities on $(\Omega,g_0,\mu)$. To this end, we change the…

We propose a new metric between probability measures on a compact metric space that mirrors the Riemannian manifold-like structure of quadratic optimal transport but includes entropic regularization. Its metric tensor is given by the…

The goal of the paper is to give an optimal transport characterization of sectional curvature lower (and upper) bounds for smooth $n$-dimensional Riemannian manifolds. More generally we characterize, via optimal transport, lower bounds on…

We prove a version of Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$. The sub-Riemannian distance makes $H^1$ a metric space and consenquently with a spherical Hausdorff measure. Using this measure, we define a Gaussian…

We prove the equivalence of the curvature-dimension bounds of Lott-Sturm-Villani (via entropy and optimal transport) and of Bakry--\'Emery (via energy and \Gamma_2$-calculus) in complete generality for infinitesimally Hilbertian metric…

We obtain Harnack estimates for a class of curvature flows in Riemannian manifolds of constant non-negative sectional curvature as well as in the Lorentzian Minkowski and de Sitter spaces. Furthermore, we prove a Harnack estimate with a…

We prove a geometrically meaningful stochastic representation of the derivative of the heat semigroup on sub-Riemannian manifolds with tranverse symmetries. This representation is obtained from the study of Bochner-Weitzenbock type formulas…

The notion of $\Gamma$-symmetric space is a natural generalization of the classical notion of symmetric space based on $\Z_2$-grading of Lie algebras. In our case, we consider homogeneous spaces $G/H$ such that the Lie algebra $\g$ of $G$…

The notion of $\Gamma$-symmetric space is a natural generalization of the classical notion of symmetric space based on $\z_2$-grading of Lie algebras. In our case, we consider homogeneous spaces $G/H$ such that the Lie algebra $\g$ of $G$…

In this paper we provide another way to deduce the Loomis-Whitney inequality on higher dimensional Heisenberg groups $\mathbb{H}^n$ based on the one on the first Heisenberg group $\mathbb{H}^1$ and the known nonlinear Loomis-Whitney…

We consider the inverse mean curvature flow (IMCF) in the Heisenberg group $(\He^n, d_\varepsilon)$, where $d_\varepsilon$ is distance associated to either $| \cdot |_\varepsilon$, $\varepsilon>0$, the natural family of left-invariant…

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…

In the present paper, we obtain explicit formulae for geodesics in some left-invariant sub-Finsler problems on Heisenberg groups $\mathbb{H}_{2n+1}$. Our main assumption is the following: the compact convex set of unit velocities at…

In this note, we derive a new logarithmic Sobolev inequality for the heat kernel on the Heisenberg group. The proof is inspired from the historical method of Leonard Gross with the Central Limit Theorem for a random walk. Here the non…

Let $G$ be a countable discrete group with an orthogonal representation $\alpha$ on a real Hilbert space $H$. We prove $L_p$ Poincar\'e inequalities for the group measure space $L_\infty(\Omega_H,\gamma)\rtimes G$, where both the group…

We prove several functional and geometric inequalities only assuming the linearity and a quantitative $\mathrm{L}^\infty$-to-Lipschitz smoothing of the heat semigroup in metric-measure spaces. Our results comprise a Buser inequality, a…

We prove a globally hyperbolic spacetime with locally Lipschitz continuous metric and timelike distributional Ricci curvature bounded from below obeys the timelike measure contraction property. The remarkable class of examples of spacetimes…

The group of diffeomorphisms of a compact manifold endowed with the L^2 metric acting on the space of probability densities gives a unifying framework for the incompressible Euler equation and the theory of optimal mass transport. Recently,…