arXiv++ Combinatorics

A path system $\mathscr{P}$ in a graph $G=(V,E)$ is a collection of paths, with exactly one path between any two vertices in $V$. A path system is said to be consistent if it is closed under subpaths. We say that a path system $\mathscr{P}$ is $α$-metric if there exists a metric $ρ$ on $V$ such that $\sum_{i=1}^{k}ρ(x_{i-1},x_{i}) \le αρ(x_0,x_k)$ for every path $(x_0,x_1,\dots,x_k)\in \mathscr{P}$. Also, we denote by $Δ(\mathscr{P})$ the infimum of $α$ for which $\mathscr{P}$ is $α$-metric. We construct here infinitely many $n$-point consistent path systems $\mathscr{P}_n$ with $Δ(\mathscr{P}_n) \ge n^{\frac{1}{2}-o(1)}$. We also show how to efficiently compute $Δ(\mathscr{P})$ for a given path system.

A path system in a graph $G$ is a collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We show that the number of consistent path systems on $n$ vertices is $n^{\frac{n^2}{2}(1-o(1))}$, whereas the number of consistent path systems which are realizable as the unique geodesics w.r.t. some metric is only $2^{Θ(n^2)}$. In addition, these insights allow us to improve known bounds on the face-count of the metric cone and shed new light on enumerating maximum-VC-classes.

A consistent path system in a graph $G$ is an collection of paths, with exactly one path between any two vertices in $G$. A path system is said to be consistent if it is intersection-closed. We say that $G$ is strictly metrizable if every consistent path system in $G$ can be realized as the system of unique geodesics with respect to some assignment of positive edge weight. In this paper, we show that the family of strictly metrizable graphs is minor-closed.

A consistent path system in a graph $G$ is an intersection-closed collection of paths, with exactly one path between any two vertices in $G$. We call $G$ metrizable if every consistent path system in it is the system of geodesic paths defined by assigning some positive lengths to its edges. We show that metrizable graphs are, in essence, subdivisions of a small family of basic graphs with additional compliant edges. In particular, we show that every metrizable graph with 11 vertices or more is outerplanar plus one vertex.

A path system $\mathcal{P}$ in a graph $G=(V,E)$ is said to be irreducible if there does not exist a partition $V= A\sqcup B$ such that $\mathcal{P}$ restricts to a path system on both $G[A]$ and $G[B]$. In this paper, we construct an infinite family of non-metrizable irreducible path systems defined on certain Paley graphs.

We investigate a graph theoretic analog of geodesic geometry. In a graph $G=(V,E)$ we consider a system of paths $\mathcal{P}=\{P_{u,v}|u,v\in V\}$ where $P_{u,v}$ connects vertices $u$ and $v$. This system is consistent in that if vertices $y, z$ are in $P_{u,v}$, then the sub-path of $P_{u,v}$ between them coincides with $P_{y,z}$. A map $w: E\to(0,\infty)$ is said to induce $\mathcal{P}$ if for every $u, v\in V$ the path $P_{u,v}$ is $w$-geodesic. We say that $G$ is metrizable if every consistent path system is induced by some such $w$. As we show, metrizable graphs are very rare, whereas there exist infinitely many $2$-connected metrizable graphs.