Reeb posets and tree approximations

Osman Berat Okutan, Facundo Mémoli

Abstract:

A well known result in the analysis of finite metric spaces due to Gromov says that given any metric space $(X, d_X)$ there exists a tree metric $t_X$ on $X$ such that $| d_X− t_X|_\infty$ is bounded above by twice $hyp (X)⋅ log(2|X|)$. Here $hyp (X)$ is the hyperbolicity of X, a quantity that measures the treeness of 4-tuples of points in $X$. This bound is known to be asymptotically tight.

We improve this bound by restricting ourselves to metric spaces arising from filtered posets. By doing so we are able to replace the cardinality appearing in Gromov’s bound by a certain poset theoretic invariant which can be much smaller thus significantly improving the approximation bound.

The setting of metric spaces arising from posets is rich: For example, every finite metric graph can be induced from a filtered poset. Since every finite metric space can be isometrically embedded into a finite metric graph, our ideas are applicable to finite metric spaces as well.

At the core of our results lies the adaptation of the Reeb graph and Reeb tree constructions and the concept of hyperbolicity to the setting of posets, which we use to formulate and prove a tree approximation result for any filtered poset.