Feodor F. Dragan,Guillaume Ducoffe
Abstract:A graph is called $\alpha_i$-metric ($i \in {\cal N}$) if it satisfies the following $\alpha_i$-metric property for every vertices $u, w, v$ and $x$: if a shortest path between $u$ and $w$ and a shortest path between $x$ and $v$ share a terminal edge $vw$, then $d(u,x) \ge d(u,v) + d(v,x) - i$. The latter is a discrete relaxation of the property that in Euclidean spaces the union of two geodesics sharing a terminal segment must be also a geodesic. Recently in (Dragan & Ducoffe, WG'23) we initiated the study of the algorithmic applications of $\alpha_i$-metric graphs. Our results in this prior work were very similar to those established in (Chepoi et al., SoCG'08) and (Chepoi et al., COCOA'18) for graphs with bounded hyperbolicity. The latter is a heavily studied metric tree-likeness parameter first introduced by Gromov. In this paper, we clarify the relationship between hyperbolicity and the $\alpha_i$-metric property, proving that $\alpha_i$-metric graphs are $f(i)$-hyperbolic for some function $f$ linear in $i$. We give different proofs of this result, using various equivalent definitions to graph hyperbolicity. By contrast, we give simple constructions of $1$-hyperbolic graphs that are not $\alpha_i$-metric for any constant $i$. Finally, in the special case of $i=1$, we prove that $\alpha_1$-metric graphs are $1$-hyperbolic, and the bound is sharp. By doing so, we can answer some questions left open in (Dragan & Ducoffe, WG'23).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore the relationship between αi -metric graphs and hyperbolicity. Specifically, the author aims to prove that αi -metric graphs are f(i)-hyperbolic, where f is a function depending only on i, and the growth of this function with respect to i is linear. In addition, the paper also provides different proof methods to show this result, using various equivalent definitions of graph hyperbolicity. Through these studies, the author hopes to clarify the connection between αi -metric properties and hyperbolicity, which helps to better understand the structural characteristics of these two types of graphs and their potential in algorithm applications.
Some key points in the paper include:
- **Definition of αi -metric graphs**: A graph is called an αi -metric graph if for any four vertices u, v, w, x, when the shortest paths uw and vx share a terminal edge vw, d(u, x) ≥ d(u, v) + d(v, x) − i.
- **Definition of hyperbolicity**: A graph is called δ -hyperbolic if it satisfies the β2δ -metric property for any four vertices u, v, w, x, that is, if d(u, v) + d(w, x) ≤ d(u, w) + d(v, x) ≤ d(u, x) + d(v, w), then d(u, x) + d(v, w) − d(u, w) − d(v, x) ≤ 2δ.
- **Main contributions**: The main contribution of the paper is to prove that αi -metric graphs are f(i)-hyperbolic, where f is a linear function. By comparing αi -metric properties with some graph parameters, such as interval thinness, the author gives a simpler and more precise proof of the relationship.
Through these studies, the author not only deepens the understanding of αi -metric graphs and hyperbolic graphs but also provides new perspectives and tools for further research.