Subsets of rectifiable curves in Banach spaces I: Sharp exponents in traveling salesman theorems

Abstract

The analyst’s traveling salesman problem (TSP) is to find a characterization of subsets of rectifiable curves in a metric space. This problem was introduced and solved in the plane by Jones in 1990 and subsequently solved in higher-dimensional Euclidean spaces by Okikiolu in 1992 and in the infinite-dimensional Hilbert space ${\ell }_2$ by Schul in 2007. In this paper, we establish sharp extensions of Schul’s necessary and sufficient conditions for a bounded set $E\subset {\ell }_p$ to be contained in a rectifiable curve from $p=2$ to $1<p<\mathrm{\infty }$. While the necessary and sufficient conditions coincide when $p=2$, we demonstrate that there is a strict gap between the necessary condition and sufficient condition when $p\ne 2$. We also identify and correct technical errors in the proof by Schul. This investigation is partly motivated by recent work of Edelen, Naber, and Valtorta on Reifenberg-type theorems in Banach spaces and complements work of Hahlomaa and recent work of David and Schul on the analyst’s TSP in general metric spaces.