# Measure contraction properties of Carnot groups

arXiv: https://arxiv.org/abs/1510.05960 · HTML: https://mlsanity.com/paper/1510.05960/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 20 Oct 2015.

## Built on by (most cited first, 1 of 1)

- [Online learning with exponential weights in metric spaces](https://mlsanity.com/paper/2103.14389/) (2021)

## Abstract (arXiv)

We prove that any corank 1 Carnot group of dimension k+1 equipped with a left-invariant measure satisfies the MCP(K,N) if and only if K ≤ 0 and N ≥ k+3. This generalizes the well known result by Juillet for the Heisenberg group mathbbHk+1 to a larger class of structures, which admit non-trivial abnormal minimizing curves. The number k+3 coincides with the geodesic dimension of the Carnot group, which we define here for a general metric space. We discuss some of its properties, and its relation with the curvature exponent (the least N such that the MCP(0,N) is satisfied). We prove that, on a metric measure space, the curvature exponent is always larger than the geodesic dimension which, in turn, is larger than the Hausdorff one. When applied to Carnot groups, our results improve a previous lower bound due to Rifford. As a byproduct, we prove that a Carnot group is ideal if and only if it is fat.