Tree approximation in quasi-trees (Q6062661)

A fundamental property of (Gromov) hyperbolic spaces is that any finite subset can be approximated by a finite tree up to finite additive error, only depending on the number of points and the hyperbolicity constant. The core technical result of this paper is that quasi-trees can in fact be globally approximated with uniform additive error by real trees or simplicial trees (Proposition 1.2, Corollary 4.3). As a consequence, various characterisations of quasi-trees are concluded (Theorem 4.6, Proposition 4.1, Proposition 5.4).