Metric spaces with small rough angles and the rectifiability of rough self-contracting curves
The small rough angle ($\mbox{SRA}$) condition, introduced by Zolotov in arXiv:1804.00234, captures the idea that all angles formed by triples of points in a metric space are small. In the first part of the paper, we develop the theory of metric spaces $(X,d)$ satisfying the $\mbox{SRA}(α)$ condition for some $α<1$. Given a metric space $(X,d)$ and $0<α<1$, the space $(X,d^α)$ satisfies the $\mbox{SRA}(2^α-1)$ condition. We prove a quantitative converse up to bi-Lipschitz change of the metric. We also consider metric spaces which are $\mbox{SRA}(α)$ free (there exists a uniform upper bound on the cardinality of any $\mbox{SRA}(α)$ subset) or $\mbox{SRA}(α)$ full (there exists an infinite $\mbox{SRA}(α)$ subset). Examples of SRA free spaces include Euclidean spaces, finite-dimensional Alexandrov spaces of non-negative curvature, and Cayley graphs of virtually abelian groups; examples of $\mbox{SRA}$ full spaces include the sub-Riemannian Heisenberg group, Laakso graphs, and Hilbert space. We study the existence or nonexistence of $\mbox{SRA}(ε)$ subsets for $0<ε<2^α-1$ in metric spaces $(X,d^α)$ for $0<α<1$. In the second part of the paper, we apply the theory of metric spaces with small rough angles to study the rectifiability of roughly self-contracting curves. In the Euclidean setting, this question was studied by Daniilidis, Deville, and the first author using direct geometric methods. We show that in any $\mbox{SRA}(α)$ free metric space $(X,d)$, there exists $λ_0 = λ_0(α)>0$ so that any bounded roughly $λ$-self-contracting curve in $X$, $λ\le λ_0$, is rectifiable. The proof is a generalization and extension of an argument due to Zolotov, who treated the case $λ=0$, i.e., the rectifiability of self-contracting curves in $\mbox{SRA}$ free spaces.