Reeb Posets and Tree Approximations

TL;DR

This paper improves the approximation of finite metric spaces by trees when these spaces come from filtered posets, replacing the size-based bound with a smaller poset invariant, thus enhancing the analysis of treeness.

Contribution

It introduces a new bound for tree approximation of metric spaces derived from filtered posets, replacing the size parameter with a poset-theoretic invariant, and adapts Reeb graph concepts to this setting.

Findings

Improved bound for tree approximation using poset invariants.

Applicable to all finite metric spaces via metric graph embeddings.

Extension of Reeb graph concepts to filtered posets.

Abstract

A well known result in the analysis of finite metric spaces due to Gromov says that given any $(X,d_X)$ there exists a \emph{tree metric} $t_X$ on $X$ such that $\|d_X-t_X\|_\infty$ is bounded above by twice $\mathrm{hyp}(X)\cdot \log(2\,|X|)$. Here $\mathrm{hyp}(X)$ is the \emph{hyperbolicity} of $X$, a quantity that measures the \emph{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 (the maximum length of fences in the poset) which can be much smaller thus significantly improving the approximation bound. The setting of metric spaces arising from posets is rich: For example, save for the possible addition of new vertices, 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.