Some properties of Carnot-Carath'eodory balls in the Heisenberg group (Q2569822)

Summary: Using the exact representation of Carnot-Carathéodory balls in the Heisenberg group, we prove that: 1. \(|\nabla_{\mathbb{H}^n}d(z,t)|=1\) in the classical sense for all \((z,t)\in\mathbb{H}^n\) with \(z\neq 0\), where \(d\) is the distance from the origin; 2. Metric balls are not optimal isoperimetric sets in the Heisenberg group