arXiv++ Combinatorics

Robinson spaces are structures equipped with a total order that encodes comparative dissimilarity relationships. We study the problem of representing Robinson dissimilarity spaces into low-dimensional metric spaces. These representations aim to preserve the relative dissimilarity relationships between elements rather than their exact values. While low dimensional Euclidean spaces such as $\mathbb{R}^1$ and $\mathbb{R}^2$ are natural candidates for such embeddings, previous work has shown that not all Robinson spaces admit a valid embedding in the real line that respects their structural constraints. Motivated by this limitation, we explore the broader class of real trees, which retain low-dimensional interpretability while allowing greater flexibility. To address the embedding problem, we develop two key tools: a combinatorial representation of Robinson spaces and a topological characterization of caterpillars, a restricted class of real trees. These tools enable a formulation of the embedding problem as a linear program, providing both computational and theoretical insights. We prove that some subclasses of Robinson spaces always admit embeddings in a caterpillar, and we establish the existence of Robinson spaces that cannot be embedded in any real tree. These results clarify the geometric limitations of representing ordered dissimilarity structures and open new directions for studying the interaction between dissimilarity, order, and metric geometry.

For a graph $G$, an edge-separating (resp. vertex-separating) path system of $G$ is a family of paths in $G$ such that for any pair of edges $e_1, e_2$ (resp. pair of vertices $v_1, v_2$) of $G$ there is at least one path in the family that contains one of $e_1$ and $e_2$ (resp. $v_1$ and $v_2$) but not the other. We determine the size of a minimum edge-separating path system of an arbitrary tree $T$ as a function of its number of leaves and degree-two vertices. We obtain bounds for the size of a minimal vertex-separating path system for trees, which we show to be tight in many cases. We obtain similar results for a variation of the definition, where we require the path system to separate edges and vertices simultaneously. Finally, we investigate the size of a minimal vertex-separating path system in Erdős--Rényi random graphs.