The geometric traveling salesman problem in the Heisenberg group (Q2468411)

Let \(H\) be the first Heisenberg group endowed with its Carnot-Carathéodory metric dc. It is proved that a compact set \(E\subset H\), satisfying an analog of \textit{P. Jones}' geometric lemma [``Rectifiable sets and the travelling salesman problem'', Invent. Math. 102, No. 1, 1--15 (1990; Zbl 0731.30018)] is contained in a rectifiable curve. The proof is given in terms of Heisenberg \(\beta\) numbers which measure set \(E\) is approximated by Heisenberg straight line.