Open Access
This article is

- freely available
- re-usable

*Symmetry*
**2017**,
*9*(11),
255;
doi:10.3390/sym9110255

Article

Mathematical Properties on the Hyperbolicity of Interval Graphs

^{1}

Faculty of Mathematics, Autonomous University of Guerrero, Carlos E. Adame 54, La Garita, Acapulco 39650, Mexico

^{2}

Department of Mathematics, Carlos III University of Madrid, Avenida de la Universidad 30, 28911 Leganés, Spain

^{*}

Author to whom correspondence should be addressed.

Received: 3 October 2017 / Accepted: 27 October 2017 / Published: 1 November 2017

## Abstract

**:**

Gromov hyperbolicity is an interesting geometric property, and so it is natural to study it in the context of geometric graphs. In particular, we are interested in interval and indifference graphs, which are important classes of intersection and Euclidean graphs, respectively. Interval graphs (with a very weak hypothesis) and indifference graphs are hyperbolic. In this paper, we give a sharp bound for their hyperbolicity constants. The main result in this paper is the study of the hyperbolicity constant of every interval graph with edges of length 1. Moreover, we obtain sharp estimates for the hyperbolicity constant of the complement of any interval graph with edges of length 1.

Keywords:

interval graphs; indifference graphs; euclidean graphs; geometric graphs; Gromov hyperbolicity; geodesicsMSC:

Primary 05C75; Secondary 05C12## 1. Introduction

The focus of the first works on Gromov hyperbolic spaces were finitely generated groups [1]. Initially, the main application of hyperbolic spaces were the automatic groups (see, e.g., [2]). This concept appears also in some algorithmic problems (see [3] and the references therein). Besides, they are useful in the study of secure transmission of information on the internet [4].

In [5], the equivalence of the hyperbolicity of graphs and negatively curved surfaces was proved. The study of hyperbolic graphs is a topic of increasing interest (see, e.g., [4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28] and the references therein).

If $\gamma :[a,b]\to X$ is a continuous curve in the metric space $(X,d)$, $\gamma $ is a geodesic if ${L}_{X}\left(\gamma {|}_{[t,s]}\right)=d(\gamma \left(t\right),\gamma \left(s\right))=|t-s|$ for every $t,s\in [a,b]$. We say that X is a geodesic metric space if, for every $x,y\in X$, there exists a geodesic in X joining them. Let us denote by $\left[xy\right]$ any geodesic joining x and y (this notation is very convenient although it is ambiguous, recall that we do not assume uniqueness of geodesics). Consequently, any geodesic metric space is connected.

$G=\left(V\right(G),E(G\left)\right)$ will denote a non-trivial ($V\left(E\right)\ne \varnothing $) simple graph such that we have defined a length function, denoted by ${L}_{G}$ or L, on the edges ${L}_{G}:E\left(G\right)\to {\mathbb{R}}_{+}$; the length of a path $\eta =\{{e}_{1},{e}_{2},\dots ,{e}_{k}\}$ is defined as ${L}_{G}\left(\eta \right)={\sum}_{i=1}^{k}{L}_{G}\left({e}_{i}\right)$. We assume that $\ell \left(G\right):=sup\left\{{L}_{G}\left(e\right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.277778em}{0ex}}e\in E\left(G\right)\right\}<\infty .$ In order to consider a graph G as a geodesic metric space, identify (by an isometry $\mathcal{I}$) any edge $uv\in E\left(G\right)$ with the interval $[0,{L}_{G}\left(uv\right)]$ in the real line; then, the real interval $[0,{L}_{G}\left(uv\right)]$ is isometric to the edge $uv$ (considered as a graph with a single edge). If $x,y\in uv$ and ${\eta}_{xy}$ denotes the segment contained in $uv$ joining x and y, we define the length of ${\eta}_{xy}$ as ${L}_{G}\left({\eta}_{xy}\right)=|\mathcal{I}\left(x\right)-\mathcal{I}\left(y\right)|$. Thus, the points in G are the vertices $u\in V\left(G\right)$ and, in addition, the points in the interior of any edge $uv\in E\left(G\right)$.

We denote by ${d}_{G}$ or d the natural distance of the graph G. If $x,y$ belong to different connected components of G, then let us define ${d}_{G}(x,y)=\infty $. In Section 3, we just consider graphs with every edge of length 1. Otherwise, if a graph G has edges with different lengths, then we also assume that it is locally finite. These properties guarantee that any connected component of G is a geodesic metric space.

If X is a geodesic metric space and ${x}_{1},{x}_{2},{x}_{3}\in X$, the union of three geodesics $\left[{x}_{1}{x}_{2}\right]$, $\left[{x}_{2}{x}_{3}\right]$ and $\left[{x}_{3}{x}_{1}\right]$ is a geodesic triangle that will be denoted by $T=\{{x}_{1},{x}_{2},{x}_{3}\}$ and we will say that ${x}_{1},{x}_{2}$ and ${x}_{3}$ are the vertices of T; we can also write $T=\{\left[{x}_{1}{x}_{2}\right],\left[{x}_{2}{x}_{3}\right],\left[{x}_{3}{x}_{1}\right]\}$. The triangle T is $\delta $-thin if any side of T is contained in the $\delta $-neighborhood of the union of the two other sides. Let us denote by $\delta \left(T\right)$ the sharp thin constant of the geodesic triangle T, i.e., $\delta \left(T\right):=inf\{\delta \ge 0\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\delta -\mathrm{thin}\}.$ We say that the space X is $\delta $-hyperbolic if every geodesic triangle in X is $\delta $-thin. Let us define:

$$\delta \left(X\right):=sup\left\{\delta \right(T\left)\phantom{\rule{0.166667em}{0ex}}\right|\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{geodesic}\phantom{\rule{4.pt}{0ex}}\mathrm{triangle}\phantom{\rule{4.pt}{0ex}}\mathrm{in}\phantom{\rule{4.pt}{0ex}}X\}.$$

The geodesic metric space X is hyperbolic if it is $\delta $-hyperbolic for some $\delta \ge 0$; then, X is hyperbolic if and only if $\delta \left(X\right)<\infty .$ If Y is the union of geodesic metric spaces ${\left\{{Y}_{i}\right\}}_{i\in I}$, we define its hyperbolicity constant by $\delta \left(Y\right):={sup}_{i\in I}\delta \left({Y}_{i}\right)$, and we say that Y is hyperbolic if $\delta \left(Y\right)<\infty $.

To relate hyperbolicity with other properties of graphs is an interesting problem. The papers [6,9,28] prove, respectively, that chordal, k-chordal and edge-chordal graphs are hyperbolic; these results are improved in [23]. In addition, several authors have proved results on hyperbolicity for some particular classes of graphs (see, e.g., [21,29,30,31]).

A geometric graph is a graph in which the vertices or edges are associated with geometric objects. Two of the main classes of geometric graphs are Euclidean graphs and intersection graphs. A graph is Euclidean if the vertices are points in ${\mathbb{R}}^{n}$ and the length of each edge connecting two vertices is the Euclidean distance between them (this makes a lot of sense with the cities and roads analogy commonly used to describe graphs). An intersection graph is a graph in which each vertex corresponds with a set, and two vertices are connected by an edge if and only if their corresponding sets have non-empty intersection. In this paper, we work with interval graphs (a class of intersection graphs) and indifference graphs (a class of Euclidean graphs).

We say that G is an interval graph if it is the intersection graph of a family of intervals in $\mathbb{R}$: there is a vertex for each interval in the family, and an edge joins two vertices if and only if the their corresponding intervals intersect. Usually, we consider that every edge of an interval graph has length 1, but we also consider interval graphs whose edges have different lengths. It is well-known that interval graphs are always chordal graphs [32,33]. The complements of interval graphs also have interesting properties: they are comparability graphs [34], and the comparability relations are the interval orders [32]. The theory of interval graphs was developed focused on its applications by researchers at the RAND Corporation’s mathematics department (pp. ix–10, [35]).

An indifference graph is an interval graph whose vertices correspond to a set of intervals with length 1, and the length of the corresponding edge to two unit intervals that intersect is the distance between their midpoints. In addition, we can see an indifference graph as an Euclidean graph in $\mathbb{R}$ constructed by taking the vertex set as a subset of $\mathbb{R}$ and two vertices are connected by an edge if and only if they are within one unit from each other. Since it is a Euclidean graph, the length of each edge connecting two vertices is the Euclidean distance between them. Indifference graphs possess several interesting properties: connected indifference graphs have Hamiltonian paths [36]; an indifference graph has a Hamiltonian cycle if and only if it is biconnected [37]. In the same direction, we consider indifference graphs since for these graphs we can remove one of the hypothesis of a main theorem on interval graphs (compare Theorem 8 and Corollary 6).

We would like to mention that Ref. [38] collects very rich results, especially those concerning path properties, about interval graphs and unit interval graphs. It is well-known that interval graphs (with a very weak hypothesis) and indifference graphs are hyperbolic. One of the main results in this paper is Theorem 8, which provides a sharp upper bound of the hyperbolicity constant of interval graphs verifying a very weak hypothesis. This result allows for obtaining bounds for the hyperbolicity constant of every indifference graph (Corollary 6) and the hyperbolicity constant of every interval graph with edges of length 1 (Corollary 7). Moreover, Theorem 10 provides sharp bounds for the hyperbolicity constant of the complement of any interval graph with edges of length 1. Note that it is not usual to obtain such precise bounds for large classes of graphs. The main result in this paper is Theorem 9, which allows for computing the hyperbolicity constant of every interval graph with edges of length 1, by using geometric criteria.

## 2. Previous Results

We collect some previous results that will be useful along the paper.

A cycle is a path with different vertices, unless the last vertex, which is equal to the first one.

**Lemma**

**1.**

([39] Lemma 2.1) Let us consider a geodesic metric space X. If every geodesic triangle in X that is a cycle is δ-thin, then X is δ-hyperbolic.

**Corollary**

**1.**

In any geodesic metric space X,

$$\delta \left(X\right)=sup\left\{\delta \left(T\right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}T\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{4.pt}{0ex}}is\phantom{\rule{4.pt}{0ex}}a\phantom{\rule{4.pt}{0ex}}geodesic\phantom{\rule{4.pt}{0ex}}triangle\phantom{\rule{4.pt}{0ex}}that\phantom{\rule{4.pt}{0ex}}is\phantom{\rule{4.pt}{0ex}}a\phantom{\rule{4.pt}{0ex}}cycle\right\}.$$

Recall that a chordal graph is one in which all cycles of four or more vertices have a chord, which is an edge that is not part of the cycle but connects two vertices of the cycle.

If C is a cycle in G and $v\in V\left(G\right)$, we denote by ${\mathrm{deg}}_{C}\left(v\right)$ the degree of the vertex v in the subgraph Γ induced by $V\left(C\right)$ (note that Γ could contain edges that are not contained in C, and thus it is possible to have ${\mathrm{deg}}_{C}\left(v\right)>2$).

**Lemma**

**2.**

([9] Lemma 2.2) Consider a chordal graph G and a cycle C in G with $a,v,b\in C\cap V\left(G\right)$ and $av,vb\in E\left(G\right)$. If $ab\notin E\left(G\right)$, then ${\mathrm{deg}}_{C}\left(v\right)\ge 3$.

**Corollary**

**2.**

Consider a cycle C in a chordal graph G and ${v}_{1},{v}_{2},{v}_{3}$ consecutive vertices in C. If ${\mathrm{deg}}_{C}\left({v}_{2}\right)=2$, then ${v}_{1}{v}_{3}\in E\left(G\right)$. Consequently, if C has at least four vertices, then ${\mathrm{deg}}_{C}\left({v}_{1}\right)\ge 3$ and ${\mathrm{deg}}_{C}\left({v}_{3}\right)\ge 3$.

Let $J\left(G\right)$ be the set of vertices and midpoints of edges in G. Consider the set ${\mathbb{T}}_{1}$ of geodesic triangles T in G that are cycles and such that the three vertices of the triangle T belong to $J\left(G\right)$, and denote by ${\delta}_{1}\left(G\right)$ the infimum of the constants $\lambda $ such that every triangle in ${\mathbb{T}}_{1}$ is $\lambda $-thin.

**Theorem**

**1.**

([40] Theorem 2.5) For every graph G with edges of length 1, we have ${\delta}_{1}\left(G\right)=\delta \left(G\right)$.

The next result will narrow the possible values for the hyperbolicity constant.

**Theorem**

**2.**

([40] Theorem 2.6) If G is a hyperbolic graph with edges of length 1, then $\delta \left(G\right)$ is a multiple of $1/4$.

**Theorem**

**3.**

([40] Theorem 2.7) If G is a hyperbolic graph with edges of length 1, then there exists a geodesic triangle $T\in {\mathbb{T}}_{1}$ such that $\delta \left(T\right)=\delta \left(G\right)$.

In the following theorems, we study the graphs G with $\delta \left(G\right)<1$.

**Theorem**

**4.**

([41] Theorem 11) If G is a graph with edges of length 1 with $\delta \left(G\right)<1$, then we have either $\delta \left(G\right)=0$ or $\delta \left(G\right)=3/4$. Furthermore,

- $\delta \left(G\right)=0$ if and only if G is a tree.
- $\delta \left(G\right)=3/4$ if and only if G is not a tree and every cycle in G has length 3.

**Corollary**

**3.**

A graph G with edges of length 1 satisfies $\delta \left(G\right)\ge 1$ if and only if there exists a cycle in G with length at least 4.

In order to characterize from a geometric viewpoint the interval graphs with hyperbolicity constant 1, we need the following result, which is a direct consequence of Theorems 2 and 4, and ([7] Theorem 4.14).

**Theorem**

**5.**

Let G be any graph with edges of length 1. We have $\delta \left(G\right)=1$ if and only if $\delta \left(G\right)\notin \{0,3/4\}$ and, for every cycle C in G and every $x,y\in C\cap J\left(G\right),$ we have $d(x,y)\le 2$.

Theorems 4 and 5 have the following consequences.

**Corollary**

**4.**

Let G be any graph with edges of length 1. We have $\delta \left(G\right)\le 1$ if and only if, for every cycle C in G and every $x,y\in C\cap J\left(G\right),$ we have $d(x,y)\le 2$.

By Theorems 2 and 4, and ([7] Theorems 4.14 and 4.21), we have the following result.

**Theorem**

**6.**

Let G be any graph with edges of length 1. If there exists a cycle in G with $p,q\in V\left(G\right)$ and $d(p,q)\ge 3$, then $\delta \left(G\right)\ge 3/2$.

We will also need this last result.

**Theorem**

**7.**

([41] Theorem 30) If G is any graph with edges of length 1 and n vertices, then $\delta \left(G\right)\le n/4$.

## 3. Interval Graphs and Hyperbolicity

Given a cycle C in an interval graph G, let $\{{v}_{1},\dots ,{v}_{k}\}$ be the vertices in G with

$$C={v}_{1}{v}_{2}\cup \cdots \cup {v}_{k-1}{v}_{k}\cup {v}_{k}{v}_{1}.$$

Denote by $\{{I}_{1},\dots ,{I}_{k}\}$ the corresponding intervals to $\{{v}_{1},\dots ,{v}_{k}\}$. If ${I}_{j}=[{a}_{j},{b}_{j}]$, then let us define the minimal interval of C as the interval ${I}_{{j}_{1}}=[{a}_{{j}_{1}},{b}_{{j}_{1}}]$ with ${a}_{{j}_{1}}\le {a}_{j}$ for every $1\le j\le k$ and ${b}_{{j}_{1}}>{b}_{j}$ if ${a}_{j}={a}_{{j}_{1}}$ with $1\le j\le k$ and $j\ne {j}_{1}$, and the maximal interval of C as the interval ${I}_{{j}_{2}}=[{a}_{{j}_{2}},{b}_{{j}_{2}}]$ with ${b}_{{j}_{2}}\ge {b}_{j}$ for every $1\le j\le k$ and ${a}_{{j}_{2}}<{a}_{j}$ if ${b}_{j}={b}_{{j}_{2}}$ with $1\le j\le k$ and $j\ne {j}_{2}$. If $i\in \mathbb{Z}\backslash \{1,2,\dots ,k\}$, $1\le j\le k$ and $i=j\left(\mathrm{mod}\phantom{\rule{0.277778em}{0ex}}k\right)$, then we define ${v}_{i}:={v}_{j}$ and ${I}_{i}:={I}_{j}$.

If H is a subgraph of G and $w\in V\left(H\right)$, we denote by ${\mathrm{deg}}_{H}\left(w\right)$ the degree of the vertex w in the subgraph induced by $V\left(H\right)$.

For any graph G,
i.e., $\mathrm{diam}V\left(G\right)$ is the diameter of the set of vertices of G, and $\mathrm{diam}G$ is the diameter of the whole graph G (recall that in order to have a geodesic metric space, G must contain both the vertices and the points in the interior of any edge of G).

$$\begin{array}{cc}\hfill \mathrm{diam}V\left(G\right)& :=sup\left\{{d}_{G}(v,w)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}v,w\in V\left(G\right)\right\},\hfill \\ \hfill \mathrm{diam}G& :=sup\left\{{d}_{G}(x,y)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}x,y\in G\right\},\hfill \end{array}$$

The following result is well-known.

**Lemma**

**3.**

For any geodesic triangle T in a graph G, we have $\delta \left(T\right)\le \left(\mathrm{diam}T\right)/2\le L\left(T\right)/4$.

**Corollary**

**5.**

The inequalities
hold for every graph G.

$$\delta \left(G\right)\le \frac{1}{2}\phantom{\rule{0.166667em}{0ex}}\mathrm{diam}G\le \frac{1}{2}\phantom{\rule{0.166667em}{0ex}}\left(\mathrm{diam}V\left(G\right)+\ell \left(G\right)\right)$$

A graph G is length-proper if every edge is a geodesic. A large class of length-proper graphs are the graphs with edges of length 1. Another important class of length-proper graphs are the following geometric graphs: consider a discrete set V in an Euclidean space (or in a metric space) where we consider two points connected by an edge if some criterium is satisfied. If we define the length of an edge as the distance between its vertices, then we obtain a length-proper graph.

It is well-known that every interval graph is chordal. Hence, every length-proper interval graph is hyperbolic. The following result is one of the main theorems in this paper, since it provides a sharp inequality for the hyperbolicity constant of any length-proper interval graph. Recall that $\ell \left(G\right):=sup\left\{{L}_{G}\left(e\right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.277778em}{0ex}}e\in E\left(G\right)\right\}$.

**Theorem**

**8.**

Every length-proper interval graph G satisfies the sharp inequality

$$\delta \left(G\right)\le \frac{3}{2}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right).$$

**Proof.**

Consider a geodesic triangle $T=\{x,y,z\}$ that is a cycle in G and $p\in \left[xy\right]$. Assume first that T satisfies the following property:

$$\mathrm{if}\phantom{\rule{4.pt}{0ex}}a,b\in V\left(G\right)\cap \left[xy\right]\phantom{\rule{4.pt}{0ex}}\mathrm{and}\phantom{\rule{4.pt}{0ex}}ab\in E\left(G\right),\phantom{\rule{4.pt}{0ex}}\mathrm{then}\phantom{\rule{4.pt}{0ex}}ab\subseteq \left[xy\right].$$

Consider the consecutive vertices $\{{v}_{1},\dots ,{v}_{k}\}$ in the cycle T, and their corresponding intervals $\{{I}_{1},\dots ,{I}_{k}\}$. As before, we denote by ${I}_{{j}_{1}}$ and ${I}_{{j}_{2}}$ the minimal and maximal intervals, respectively.

If $k<4$, then $L\left(T\right)\le 3\ell \left(G\right)$ and Lemma 3 gives:

$$d(p,\left[xz\right]\cup \left[zy\right])\le \frac{1}{4}\phantom{\rule{0.166667em}{0ex}}L\left(T\right)\le \frac{3}{4}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right).$$

Assume now that $k\ge 4$.

Case $\left(A\right)$. Assume that $p\in V\left(G\right)$. Let $a,b\in V\left(G\right)$ with $ap,bp\in E\left(G\right)$ and $ap\cup bp\subset T$.

Case $(A.1)$. If $ab\notin E\left(G\right)$, then Lemma 2 gives ${\mathrm{deg}}_{T}\left(p\right)\ge 3$, and there exists $q\in V\left(G\right)\cap T$ with $pq\in E\left(G\right)$ such that $pq$ is not contained in T. By (1), $q\in \left[xz\right]\cup \left[zy\right]$ and so:

$$d(p,[xz]\cup [zy\left]\right)\le d(p,q)=L\left(pq\right)\le \ell \left(G\right).$$

Case $(A.2)$. If $ab\in E\left(G\right)$, then $ab$ is not contained in T, since T is a cycle and $k\ge 4$. By (1), $\{a,b\}$ is not contained in $\left[xy\right]$, and:

$$d(p,\left[xz\right]\cup \left[zy\right])\le max\left\{d(p,a),\phantom{\rule{0.166667em}{0ex}}d(p,b)\right\}=max\left\{L\left(pa\right),\phantom{\rule{0.166667em}{0ex}}L\left(pb\right)\right\}\le \ell \left(G\right).$$

Case $\left(B\right)$. Assume that $p\notin V\left(G\right)$. Let $a,b\in V\left(G\right)$ with $p\in ab\subset T$ and $d(p,a)\le L\left(ab\right)/2\le \ell \left(G\right)/2$. Corollary 2 gives that we have ${\mathrm{deg}}_{T}\left(a\right)\ge 3$ or ${\mathrm{deg}}_{T}\left(b\right)\ge 3$.

Case $(B.1)$. Assume that ${\mathrm{deg}}_{T}\left(a\right)\ge 3$.

Case $(B.1.1)$. If $a\notin \left[xy\right]$, then:

$$d(p,\left[xz\right]\cup \left[zy\right])\le d(p,a)\le \frac{1}{2}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right).$$

Case $(B.1.2)$. Assume that $a\in \left[xy\right]$. Since ${\mathrm{deg}}_{T}\left(a\right)\ge 3$, there exists $q\in V\left(G\right)\cap T$ with $aq\in E\left(G\right)$ such that $aq$ is not contained in T. By (1), $q\in \left[xz\right]\cup \left[zy\right]$ and so:

$$\begin{array}{cc}\hfill d(p,[xz]\cup [zy\left]\right)& \le d(p,a)+d(a,[xz]\cup [zy\left]\right)\le d(p,a)+d(a,q)\hfill \\ & =d(p,a)+L\left(aq\right)\le \frac{1}{2}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right)+\ell \left(G\right)=\frac{3}{2}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right).\hfill \end{array}$$

Case $(B.2)$. Assume that ${\mathrm{deg}}_{T}\left(a\right)=2$ and ${\mathrm{deg}}_{T}\left(b\right)\ge 3$. Let $\alpha \ne b$ with $\alpha \in V\left(G\right)$, $\alpha a\in E\left(G\right)$ and $\alpha a\subset T$. Corollary 2 gives that we have $\alpha b\in E\left(G\right)$. By (1), we have that $\{\alpha ,b\}$ is not contained in $\left[xy\right]$, and:

$$\begin{array}{cc}\hfill d(p,[xz]\cup [zy\left]\right)& \le max\left\{d(p,\alpha ),\phantom{\rule{0.166667em}{0ex}}d(p,b)\right\}\le max\left\{d(p,a)+d(a,\alpha ),\phantom{\rule{0.166667em}{0ex}}d(p,b)\right\}\hfill \\ & \le max\left\{\frac{1}{2}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right)+\ell \left(G\right),\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right)\right\}=\frac{3}{2}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right).\hfill \end{array}$$

Consider now a geodesic triangle $T=\{x,y,z\}=\left\{\right[xy],[xz],[yz\left]\right\}$ that does not satisfy property (1). We are going to obtain a new geodesic $\gamma $ joining x and y such that the geodesic triangle ${T}^{\prime}=\{\gamma ,\left[xz\right],\left[yz\right]\}$ satisfies (1).

Let us define inductively a finite sequence of geodesics $\{{g}_{0},{g}_{1},{g}_{2},\dots ,{g}_{r}\}$ joining x and y in the following way:

If $j=0$, then ${g}_{0}:=\left[xy\right]$.

Assume that $j\ge 1$. If the geodesic triangle $\{{g}_{j-1},\left[xz\right],\left[yz\right]\}$ satisfies (1), then $r=j-1$ and the sequence stops. If $\{{g}_{j-1},\left[xz\right],\left[yz\right]\}$ does not satisfy (1), then there exists $a,b\in V\left(G\right)\cap \left[xy\right]$ such that $ab\in E\left(G\right)$ and $ab$ is not contained in $\left[xy\right]$. Denote by $\left[ab\right]$ the geodesic joining a and b contained in ${g}_{j-1}$. Let us define ${g}_{j}:=({g}_{j-1}\backslash \left[ab\right])\cup ab$. Note that ${g}_{j}\cap V\left(G\right)\subset {g}_{j-1}\cap V\left(G\right)$ and $|{g}_{j}\cap V\left(G\right)|<|{g}_{j-1}\cap V\left(G\right)|$.

Since $|{g}_{j}\cap V\left(G\right)|<|{g}_{j-1}\cap V\left(G\right)|$ for any $j\ge 1$, this sequence must finish with some geodesic ${g}_{r}$ such that the geodesic triangle ${T}^{\prime}:=\{{g}_{r},\left[xz\right],\left[yz\right]\}$ satisfies (1). Thus, define $\gamma :={g}_{r}$. Hence,
and so $\gamma \cap V\left(G\right)\subset \left[xy\right]\cap V\left(G\right)$.

$${g}_{r}\cap V\left(G\right)\subset {g}_{r-1}\cap V\left(G\right)\subset \cdots \subset {g}_{1}\cap V\left(G\right)\subset {g}_{0}\cap V\left(G\right),$$

Let us consider $p\in \left[xy\right]\subset T$.

If $p\in \gamma \subset {T}^{\prime}$, then, by applying the previous argument to the geodesic triangle ${T}^{\prime}$, we obtain $d(p,[xz]\cup [zy\left]\right)\le 3\ell \left(G\right)/2$. Assume that $p\notin \gamma $.

Since $\gamma \cap V\left(G\right)\subset \left[xy\right]\cap V\left(G\right)$, there exist $v,w\in \gamma \cap V\left(G\right)$ with $vw\in E\left(G\right)$ such that, if $\left[vw\right]$ denotes the geodesic joining v and w contained in $\left[xy\right]$, then:

$$p\in \left[vw\right],\phantom{\rule{2.em}{0ex}}\left[vw\right]\cap vw=\{v,w\}.$$

Since $vw$ and $\left[vw\right]$ are geodesics, we have $L\left(vw\right)=L\left(\right[vw\left]\right)$. Thus, we can define ${p}^{\prime}\in \gamma $ as the point in $vw$ with $d({p}^{\prime},v)=d(p,v)$ and $d({p}^{\prime},w)=d(p,w)$. By applying the previous argument to ${p}^{\prime}$ and ${T}^{\prime}$, we obtain $d({p}^{\prime},\left[xz\right]\cup \left[zy\right])\le 3\ell \left(G\right)/2$. Since ${p}^{\prime}$ belongs to the edge $vw$, we have $d({p}^{\prime},\left[xz\right]\cup \left[zy\right])=d({p}^{\prime},v)+d(v,\left[xz\right]\cup \left[zy\right])$ or $d({p}^{\prime},\left[xz\right]\cup \left[zy\right])=d({p}^{\prime},w)+d(w,\left[xz\right]\cup \left[zy\right])$. By symmetry, we can assume that $d({p}^{\prime},\left[xz\right]\cup \left[zy\right])=d({p}^{\prime},v)+d(v,\left[xz\right]\cup \left[zy\right])$. Since $d({p}^{\prime},v)=d(p,v)$, we have:

$$d(p,\left[xz\right]\cup \left[zy\right])\le d(p,v)+d(v,\left[xz\right]\cup \left[zy\right])=d({p}^{\prime},v)+d(v,\left[xz\right]\cup \left[zy\right])=d({p}^{\prime},\left[xz\right]\cup \left[zy\right])\le \frac{3}{2}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right).$$

Finally, Corollary 1 gives $\delta \left(G\right)\le 3\ell \left(G\right)/2$.

Proposition 1 below shows that the inequality is sharp. ☐

Note that, if we remove the hypothesis $\ell \left(G\right)<\infty $, then there are non-hyperbolic length-proper interval graphs: if Γ is any graph such that every cycle in Γ has exactly three vertices and $sup\left\{L\right(C\left)\phantom{\rule{0.166667em}{0ex}}\right|\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}C$ is a cycle in Γ $\}=\infty $, then Γ is a non-hyperbolic chordal graph. Some of these graphs Γ are length-proper interval graphs.

Recall that every indifference graph is an Euclidean graph. Hence, every indifference graph G is a length-proper graph and $\ell \left(G\right)\le 1$.

Theorem 8 has the following direct consequence.

**Corollary**

**6.**

Every indifference graph G satisfies the inequality:

$$\delta \left(G\right)\le \frac{3}{2}\phantom{\rule{0.166667em}{0ex}}\ell \left(G\right)\le \frac{3}{2}.$$

## 4. Interval Graphs with Edges of Length 1

Along this section, we just consider graphs with edges of length 1. This is a very usual class of graphs. Note that every graph G with edges of length 1 is a length-proper graph with $\ell \left(G\right)=1$.

The goal of this section is to compute the precise value of the hyperbolicity constant of every interval graph with edges of length 1 (see Theorem 9). We wish to emphasize that it is unusual to be able to compute the hyperbolicity constant of every graph in a large class of graphs. Let us start with a direct consequence of Theorem 8.

**Corollary**

**7.**

Every interval graph G with edges of length 1 satisfies the inequality:

$$\delta \left(G\right)\le \frac{3}{2}.$$

First of all, we characterize the interval graphs with edges of length 1 and $\delta \left(G\right)=3/2$ in Proposition 1 below. Furthermore, Proposition 1 shows that the inequality in Theorem 8 is sharp.

Let G be an interval graph. We say that G has the $(3/2)$-intersection property if there exists two disjoint intervals ${I}^{\prime}$ and ${I}^{\u2033}$ corresponding to vertices in a cycle C in G such that there is no corresponding interval I to a vertex in G with $I\cap {I}^{\prime}\ne \varnothing $ and $I\cap {I}^{\u2033}\ne \varnothing $.

**Proposition**

**1.**

An interval graph G with edges of length 1 satisfies $\delta \left(G\right)=3/2$ if and only if G has the $(3/2)$-intersection property.

**Proof.**

Assume that G has the $(3/2)$-intersection property. Thus, there exist two disjoint corresponding intervals ${I}^{\prime}$ and ${I}^{\u2033}$ to vertices in a cycle C in G such that there is no corresponding interval I to a vertex in G with $I\cap {I}^{\prime}\ne \varnothing $ and $I\cap {I}^{\u2033}\ne \varnothing $. If ${v}^{\prime}$ and ${v}^{\u2033}$ are the corresponding vertices to ${I}^{\prime}$ and ${I}^{\u2033}$, respectively, then ${v}^{\prime},{v}^{\u2033}\in C$ and $d({v}^{\prime},{v}^{\u2033})\ge 3$. Thus, Theorem 6 gives $\delta \left(G\right)\ge 3/2$ and, since $\delta \left(G\right)\le 3/2$ by Corollary 7, we conclude $\delta \left(G\right)=3/2$.

Assume now that G does not have the $(3/2)$-intersection property. Seeking for a contradiction, assume that $\delta \left(G\right)=3/2$. By Theorem 3, there exist a geodesic triangle $T=\{x,y,z\}$ that is a cycle in G and $p\in \left[xy\right]$ such that $d(p,[xz]\cup [zy\left]\right)=\delta \left(T\right)=\delta \left(G\right)=3/2$ and $x,y,z\in J\left(G\right)$. Since $d(p,\{x,y\left\}\right)\ge d(p,[xz]\cup [zy\left]\right)=3/2$, we have $d(x,y)\ge 3$. Since G does not have the $(3/2)$-intersection property, for each two disjoint corresponding intervals ${I}^{\prime}$ and ${I}^{\u2033}$ to vertices in the cycle T, there exists a corresponding interval I to a vertex in G with $I\cap {I}^{\prime}\ne \varnothing $ and $I\cap {I}^{\u2033}\ne \varnothing $. If ${v}^{\prime}$ and ${v}^{\u2033}$ are the corresponding vertices to ${I}^{\prime}$ and ${I}^{\u2033}$, respectively, then ${v}^{\prime},{v}^{\u2033}\in T$ and $d({v}^{\prime},{v}^{\u2033})=2$. We conclude that $\mathrm{diam}(T\cap V(G\left)\right)\le 2$ and $\mathrm{diam}T\le 3$. Since $d(x,y)\ge 3$ with $x,y\in J\left(G\right)$, we have $\mathrm{diam}(T\cap V(G\left)\right)=2$, $\mathrm{diam}T=3$, $d(x,y)=3$, $L\left(\right[xy\left]\right)/2=d(p,x)=d(p,y)=d(p,[xz]\cup [zy\left]\right)=\delta \left(T\right)=\delta \left(G\right)=3/2$ and p is the midpoint of $\left[xy\right]$. Thus $x,y\in J\left(G\right)\backslash V\left(G\right)$ and $p\in V\left(G\right)$. If $x\in {x}_{1}{x}_{2}\in E\left(G\right)$ and $y\in {y}_{1}{y}_{2}\in E\left(G\right)$, then $d(\{{x}_{1},{x}_{2}\},\{{y}_{1},{y}_{2}\})=2$. Let ${I}_{{x}_{1}},{I}_{{x}_{2}},{I}_{{y}_{1}},{I}_{{y}_{2}},{I}_{p}$ be the corresponding intervals to the vertices ${x}_{1},{x}_{2},{y}_{1},{y}_{2},p,$ respectively. We can assume that ${x}_{1},{y}_{1}\in \left[xy\right]$ and thus ${I}_{{x}_{1}}\cap {I}_{p}\ne \varnothing $ and ${I}_{{y}_{1}}\cap {I}_{p}\ne \varnothing $ since $d({x}_{1},{y}_{1})=2$, ${I}_{{x}_{1}}\cap {I}_{{y}_{1}}=\varnothing $. Thus, there exists $\zeta \in {I}_{p}\backslash ({I}_{{x}_{1}}\cup {I}_{{y}_{1}})$. Since $\left[xy\right]\cap V\left(G\right)=\{{x}_{1},p,{y}_{1}\}$ and T is a cycle containing ${x}_{1},p,{y}_{1},$ by continuity, there exists a corresponding interval J to a vertex $v\in \left(\right[xz]\cup [zy\left]\right)\cap V\left(G\right)$ with $\zeta \in J$. Thus, $pv\in E\left(G\right)$ and $3/2=d(p,[xz]\cup [zy\left]\right)\le d(p,v)=1$, which is a contradiction. Hence, $\delta \left(G\right)\ne 3/2$. ☐

Corollary 7 and Theorems 2 and 4 give that $\delta \left(G\right)\in \{0,3/4,1,5/4,3/2\}$ for every interval graph G with edges of length 1. Proposition 1 characterizes the interval graphs with edges of length 1 and $\delta \left(G\right)=3/2$. In order to characterize the interval graphs with the other values of the hyperbolicity constant, we need some definitions.

Let G be an interval graph.

We say that G has the 0-intersection property if, for every three corresponding intervals ${I}^{\prime}$, ${I}^{\u2033}$ and ${I}^{\u2034}$ to vertices in G, we have ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2034}=\varnothing $.

G has the $(3/4)$-intersection property if it does not have the 0-intersection property and for every four corresponding intervals ${I}^{\prime}$, ${I}^{\u2033}$, ${I}^{\u2034}$ and ${I}^{\u2057}$ to vertices in G we have ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2034}=\varnothing $ or ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2057}=\varnothing $.

By a couple of intervals in a cycle C of G, we mean the union of two non-disjoint intervals whose corresponding vertices belong to C. We say that G has the 1-intersection property if it does not have the 0 and $(3/4)$-intersection properties and, for every cycle C in G, each interval and a couple of corresponding intervals to vertices in C are not disjoint.

One can check that every chordal graph that has a cycle with length of at least four has a cycle with length four and, since this cycle has a chord, it also has a cycle with length three.

Next, we provide a characterization of the interval graphs with hyperbolicity constant 0. It is well-known that these are the caterpillar trees, see [42], but we prefer to characterize them by the 0-intersection property in Proposition 2 below, since it looks similar to the other intersection properties.

**Proposition**

**2.**

An interval graph G with edges of length 1 satisfies $\delta \left(G\right)=0$ if and only if G has the 0-intersection property.

**Proof.**

By Theorem 4, $\delta \left(G\right)=0$ if and only if G is a tree. Since every interval graph is chordal, G is not a tree if and only if it contains a cycle with length 3, and this last condition holds if and only if there exist three corresponding intervals ${I}^{\prime}$, ${I}^{\u2033}$ and ${I}^{\u2034}$ to vertices in G with ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2034}\ne \varnothing $. Hence, G has a cycle if and only if it does not have the 0-intersection property. ☐

**Proposition**

**3.**

An interval graph G with edges of length 1 satisfies $\delta \left(G\right)=3/4$ if and only if G has the $(3/4)$-intersection property.

**Proof.**

By Theorem 4, $\delta \left(G\right)=3/4$ if and only if G is not a tree and every cycle in G has length 3. Proposition 2 gives that G is not a tree if and only if G does not have the 0-intersection property. Therefore, it suffices to show that every cycle in G has length 3, if and only if for every four corresponding intervals ${I}^{\prime}$, ${I}^{\u2033}$, ${I}^{\u2034}$ and ${I}^{\u2057}$ to vertices in G, we have ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2034}=\varnothing $ or ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2057}=\varnothing $.

Since every interval graph is chordal, G has a cycle with length at least 4 if and only if it has a cycle C with length 4 and this cycle has at least a chord.

Assume first that there exists such a cycle C. If ${I}^{\prime},{I}^{\u2033},{I}^{\u2034},{I}^{\u2057}$ are the corresponding intervals to the vertices in C and ${I}^{\prime},{I}^{\u2033}$ corresponds to vertices with a chord, and then ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2034}\ne \varnothing $ and ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2057}\ne \varnothing $.

Assume now that there are corresponding intervals ${I}^{\prime},{I}^{\u2033},{I}^{\u2034},{I}^{\u2057}$ to the vertices ${v}^{\prime},{v}^{\u2033},{v}^{\u2034},{v}^{\u2057}$ in G with ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2034}\ne \varnothing $ and ${I}^{\prime}\cap {I}^{\u2033}\cap {I}^{\u2057}\ne \varnothing $. Thus, ${v}^{\prime}{v}^{\u2034},{v}^{\u2033}{v}^{\u2034}\in E\left(G\right)$ and ${v}^{\prime}{v}^{\u2034},{v}^{\u2033}{v}^{\u2057}\in E\left(G\right)$, and so ${v}^{\prime}{v}^{\u2034}\cup {v}^{\u2034}{v}^{\u2033}\cup {v}^{\u2033}{v}^{\u2057}\cup {v}^{\u2057}{v}^{\prime}$ is a cycle in G with length 4. ☐

**Proposition**

**4.**

An interval graph G with edges of length 1 satisfies $\delta \left(G\right)=1$ if and only if G has the 1-intersection property.

**Proof.**

By Theorem 5, $\delta \left(G\right)=1$ if and only if $\delta \left(G\right)\notin \{0,3/4\}$, and, for every cycle C in G and every $x,y\in C\cap J\left(G\right)$, we have $d(x,y)\le 2$. Propositions 2 and 3 give that $\delta \left(G\right)\notin \{0,3/4\}$ if and only if G does not have the 0 and $(3/4)$-intersection properties. Therefore, it suffices to show that for every cycle C in G, we have $d(x,y)\le 2$ for every $x,y\in C\cap J\left(G\right)$ if and only if each interval and couple of corresponding intervals to vertices in C are not disjoint.

Fix a cycle C in G. Each interval and couple of corresponding intervals to vertices in C are not disjoint if and only if $d(x,y)\le 3/2$ for every $x\in C\cap V\left(G\right)$ and $y\in C\cap \left(J\right(G)\backslash V(G\left)\right)$. Since every point in $C\cap \left(J\right(G)\backslash V(G\left)\right)$ has a point in $C\cap V\left(G\right)$ at distance $1/2$, this last condition is equivalent to $d(x,y)\le 2$ for every $x,y\in C\cap J\left(G\right)$. ☐

Finally, we collect the previous geometric characterizations in the following theorem. Note that the characterization of $\delta \left(G\right)=5/4$ in Theorem 9 is much simpler than the one in [7]. Recall that to characterize the graphs with hyperbolicity $3/2$ is a very difficult task, as it was shown in ([7] Remark 4.19).

**Theorem**

**9.**

Every interval graph G with edges of length 1 is hyperbolic and $\delta \left(G\right)\in \{0,3/4,1,5/4,3/2\}$. Furthermore,

- $\delta \left(G\right)=0$ if and only if G has the 0-intersection property.
- $\delta \left(G\right)=3/4$ if and only if G has the $(3/4)$-intersection property.
- $\delta \left(G\right)=1$ if and only if G has the 1-intersection property.
- $\delta \left(G\right)=5/4$ if and only if G does not have the 0, $3/4$, 1 and $(3/2)$-intersection properties.
- $\delta \left(G\right)=3/2$ if and only if G has the $(3/2)$-intersection property.

#### Complement of Interval Graphs

The complement $\overline{G}$ of the graph G is defined as the graph with $V\left(\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}}\right)=V\left(G\right)$ and such that $e\in E\left(\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}}\right)$ if and only if $e\notin E\left(G\right)$. Recall that, for every disconnected graph G, we define $\delta \left(G\right)$ as the supremum of $\delta \left({G}_{i}\right)$, where ${G}_{i}$ varies in the set of connected components of G.

We consider that the length of the edges of every complement graph is 1.

If Γ is a subgraph of G, we consider in Γ the inner metric obtained by the restriction of the metric in G, that is:

$${d}_{\Gamma}(v,w):=inf\left\{L\left(\gamma \right)\phantom{\rule{0.166667em}{0ex}}|\phantom{\rule{0.166667em}{0ex}}\phantom{\rule{0.166667em}{0ex}}\gamma \subset \Gamma \phantom{\rule{4.pt}{0ex}}\mathrm{is}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{continuous}\phantom{\rule{4.pt}{0ex}}\mathrm{curve}\phantom{\rule{4.pt}{0ex}}\mathrm{joining}\phantom{\rule{4.pt}{0ex}}v\phantom{\rule{4.pt}{0ex}}\mathrm{and}\phantom{\rule{4.pt}{0ex}}w\right\}\ge {d}_{G}(v,w).$$

Note that the inner metric ${d}_{\Gamma}$ is the usual metric if we consider the subgraph Γ as a graph.

Since the complements of interval graphs belong to the class of comparability graphs [34], it is natural to also study the hyperbolicity constant of complements of interval graphs. In order to do it, we need some preliminary results and the following technical lemma.

**Lemma**

**4.**

Let G be an interval graph with edges of length 1, $V\left(G\right)=\{{v}_{1},\dots ,{v}_{r}\}$ and corresponding intervals $\{{I}_{1},\dots ,{I}_{r}\}$. We have $\mathrm{diam}V\left(G\right)=2$ if and only if there exists an interval ${I}_{i}$ with ${I}_{j}\cap {I}_{i}\ne \varnothing $ for every $1\le j\le r$ and $\mathrm{diam}V\left({G}^{\prime}\right)\ge 2$, where ${G}^{\prime}$ is the corresponding interval graph to $\{{I}_{1},\dots ,{I}_{r}\}\backslash {I}_{i}$. Furthermore, if this is the case, then $\delta \left(\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}}\right)=\delta \left(\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\prime}}\phantom{\rule{0.166667em}{0ex}}\right)$.

**Proof.**

Assume that $\mathrm{diam}V\left(G\right)=2$. Let $[{a}_{j},{b}_{j}]={I}_{j}$ for $1\le j\le r$. Consider integers $1\le {i}_{1},{i}_{2}\le r$ satisfying:

$${b}_{{i}_{1}}\le {b}_{j},\phantom{\rule{2.em}{0ex}}{a}_{j}\le {a}_{{i}_{2}},\phantom{\rule{2.em}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\mathrm{every}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{0.166667em}{0ex}}1\le j\le r.$$

Since $\mathrm{diam}V\left(G\right)=2$, we have ${b}_{{i}_{1}}<{a}_{{i}_{2}}$. Thus, ${d}_{G}({v}_{{i}_{1}},{v}_{{i}_{2}})=2$ and there exists i with ${v}_{i}{v}_{{i}_{1}},{v}_{i}{v}_{{i}_{2}}\in E\left(G\right)$. Hence, ${I}_{{i}_{1}}\cap {I}_{i}\ne \varnothing $ and ${I}_{{i}_{2}}\cap {I}_{i}\ne \varnothing $. Thus, (8) gives ${I}_{j}\cap {I}_{i}\ne \varnothing $ for every $1\le j\le r$, and we deduce ${d}_{G}({v}_{j},{v}_{i})\le 1$ for every $1\le j\le r$.

Seeking for a contradiction assume that $\mathrm{diam}V\left({G}^{\prime}\right)\le 1$. Thus, ${d}_{G}({v}_{j},{v}_{{j}^{\prime}})\le {d}_{{G}^{\prime}}({v}_{j},{v}_{{j}^{\prime}})\le 1$ for every $1\le j,{j}^{\prime}\le r$ with $j,{j}^{\prime}\ne i$. Furthermore, we have proved ${d}_{G}({v}_{j},{v}_{i})\le 1$ for every $1\le j\le r$. Therefore, ${d}_{G}({v}_{j},{v}_{{j}^{\prime}})\le 1$ for every $1\le j,{j}^{\prime}\le r$ and we conclude $\mathrm{diam}V\left(G\right)\le 1$, which is a contradiction. Hence, $\mathrm{diam}V\left({G}^{\prime}\right)\ge 2$.

The converse implication is well-known.

Finally, since ${v}_{j}{v}_{i}\in E\left(G\right)$ for every $1\le j\le r$ with $j\ne i$, we have $\overline{G}=\left\{{v}_{i}\right\}\cup \overline{{G}^{\prime}}$ and:
☐

$$\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})=max\{\delta (\{{v}_{i}\}),\phantom{\rule{0.166667em}{0ex}}\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\prime}}\phantom{\rule{0.166667em}{0ex}})\}=max\{0,\phantom{\rule{0.166667em}{0ex}}\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\prime}}\phantom{\rule{0.166667em}{0ex}})\}=\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\prime}}\phantom{\rule{0.166667em}{0ex}}).$$

Note that it is not usual to obtain such close lower and upper bounds for a large class of graphs. Some inequalities are not difficult to prove; the most difficult cases are the upper bound when $\mathrm{diam}V\left(G\right)=2$ (recall that this is the more difficult case in the study of the complement of a graph), and the lower bound when $\mathrm{diam}V\left(G\right)\ge 4$.

**Theorem**

**10.**

Let G be any interval graph.

- If $\mathrm{diam}V\left(G\right)=1$, then $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})=0$.
- If $2\le \mathrm{diam}V\left(G\right)\le 3$, then $0\le \delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\le 2$.
- If $\mathrm{diam}V\left(G\right)\ge 4$, then $5/4\le \delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\le 3/2$.

Furthermore, the lower bounds on $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})$ are sharp.

**Proof.**

If $\mathrm{diam}V\left(G\right)=1$, then G is a complete graph. Thus, $\overline{G}$ is a union of isolated vertices and $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})=0$.

Let us prove now the upper bounds.

It is well-known that if $\mathrm{diam}V\left(G\right)\ge 3$, then $\overline{G}$ is connected and $\mathrm{diam}V(\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\le 3$. Therefore, Corollary 5 gives $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\le 2$.

If $\mathrm{diam}V\left(G\right)\ge 4$, then ([43] Theorem 2.14) gives $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\le 3/2$.

Assume now that $\mathrm{diam}V\left(G\right)=2$. By Lemma 4, there exists an interval graph ${G}^{\prime}$ with $\left|V\left({G}^{\prime}\right)\right|=\left|V\left(G\right)\right|-1$, $\mathrm{diam}V\left({G}^{\prime}\right)\ge 2$ and $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})=\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\prime}}\phantom{\rule{0.166667em}{0ex}})$. Let us define inductively a finite sequence of interval graphs $\{{G}^{\left(0\right)},{G}^{\left(1\right)},{G}^{\left(2\right)},\dots ,{G}^{\left(k\right)}\}$ with:
in the following way:

$$\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\left(0\right)}}\phantom{\rule{0.166667em}{0ex}})=\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\left(1\right)}}\phantom{\rule{0.166667em}{0ex}})=\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\left(2\right)}}\phantom{\rule{0.166667em}{0ex}})=\cdots =\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\left(k\right)}}\phantom{\rule{0.166667em}{0ex}}),$$

$$|V({G}^{\left(j\right)})|=|V({G}^{(j-1)})|-1,\phantom{\rule{2.em}{0ex}}\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{0.166667em}{0ex}}0<j\le k,$$

$$\mathrm{diam}V({G}^{\left(j\right)})\ge 2,\phantom{\rule{2.em}{0ex}}\phantom{\rule{4.pt}{0ex}}\mathrm{for}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{0.166667em}{0ex}}0\le j\le k,$$

If $j=0$, then ${G}^{\left(0\right)}:=G$.

If $j=1$, then ${G}^{\left(1\right)}:={G}^{\prime}.$

Assume that $j>1$. If $\mathrm{diam}V\left({G}^{(j-1)}\right)\ge 3$, then $k=j-1$ and the sequence stops. If $\mathrm{diam}V\left({G}^{(j-1)}\right)=2$, then Lemma 4 provides an interval graph ${\left({G}^{(j-1)}\right)}^{\prime}$ with:
and we define ${G}^{\left(j\right)}:={({G}^{(j-1)})}^{\prime}$.

$$|V({({G}^{(j-1)})}^{\prime})|=|V({G}^{(j-1)})|-1,\phantom{\rule{1.em}{0ex}}\mathrm{diam}V({({G}^{(j-1)})}^{\prime})\ge 2,\phantom{\rule{1.em}{0ex}}\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{(j-1)}}\phantom{\rule{0.166667em}{0ex}})=\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{({G}^{(j-1)})}^{\prime}}\phantom{\rule{0.166667em}{0ex}}),$$

Since $|V({G}^{\left(j\right)})|=|V({G}^{(j-1)})|-1$ for $0<j\le k$ and the diameter of a graph with just a vertex is 0, this sequence must finish with some graph ${G}^{\left(k\right)}$ satisfying $\mathrm{diam}V({G}^{\left(k\right)})\ge 3$. Thus,

$$\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})=\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\left(0\right)}}\phantom{\rule{0.166667em}{0ex}})=\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\left(1\right)}}\phantom{\rule{0.166667em}{0ex}})=\cdots =\delta (\phantom{\rule{0.166667em}{0ex}}\overline{{G}^{\left(k\right)}}\phantom{\rule{0.166667em}{0ex}})\le 2.$$

We prove now that $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\ge 5/4$ if $\mathrm{diam}V\left(G\right)\ge 4$. Let us fix any graph G with $\mathrm{diam}V\left(G\right)\ge 4$. Thus, there exists a geodesic $\left[{v}_{0}{v}_{4}\right]={v}_{0}{v}_{1}\cup {v}_{1}{v}_{2}\cup {v}_{2}{v}_{3}\cup {v}_{3}{v}_{4}$ in G. If Γ is the subgraph of $\overline{G}$ induced by $\{{v}_{0},{v}_{1},{v}_{2},{v}_{3},{v}_{3},{v}_{4}\}$, then $E(\Gamma )=\{{v}_{0}{v}_{2},{v}_{0}{v}_{3},{v}_{0}{v}_{4},{v}_{1}{v}_{3},{v}_{1}{v}_{4},{v}_{2}{v}_{4}\}$. Consider the cycle $C:={v}_{0}{v}_{2}\cup {v}_{2}{v}_{4}\cup {v}_{4}{v}_{1}\cup {v}_{1}{v}_{3}\cup {v}_{3}{v}_{0}$ in Γ. If p is the midpoint of ${v}_{0}{v}_{2}$, then ${d}_{\Gamma}({v}_{1},p)=5/2$ and so Corollary 4 gives $\delta (\Gamma )>1$. Therefore, Theorem 2 gives $\delta (\Gamma )\ge 5/4$. Since Γ is an induced subgraph of $\overline{G}$, if g is a path in $\overline{G}$ joining ${v}_{i}$ and ${v}_{j}$$(0\le i,j\le 4)$ and g is not contained in Γ, then ${L}_{\overline{G}}\left(g\right)\ge 2$. Since ${\mathrm{diam}}_{\overline{G}}V(\Gamma )=2$, we have ${d}_{\Gamma}\left({v}_{j},{v}_{j}\right)={d}_{\overline{G}}({v}_{j},{v}_{j})$ for every $0\le i,j\le 4$; consequently, ${d}_{\Gamma}(x,y)={d}_{\overline{G}}(x,y)$ for every $x,y\in \Gamma $, i.e., Γ is an isometric subgraph of $\overline{G}$. Hence, the geodesic triangles in Γ are also geodesic triangles in $\overline{G}$, and we have $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\ge \delta (\Gamma )\ge 5/4$.

Let us show now that the lower bounds on $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})$ are sharp. Recall that the path graph with n vertices ${P}_{n}$ is a graph with $V\left({P}_{n}\right)=\{{v}_{1},{v}_{2},\dots ,{v}_{n}\}$ and $E\left({P}_{n}\right)=\{{v}_{1}{v}_{2},{v}_{2}{v}_{3},\dots ,{v}_{n-1}{v}_{n}\}$.

Consider the path graph with four vertices $G={P}_{4}$. Since $\overline{G}={P}_{4}$, we have $\mathrm{diam}V\left(G\right)=3$ and $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})=0$.

Consider the path graph with five vertices $G={P}_{5}$. Since $\mathrm{diam}V\left(G\right)=4$, we have $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\ge 5/4$. Note that $\overline{G}$ has five vertices and thus Theorem 7 gives $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\le 5/4$. Hence, we conclude $\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})=5/4$. ☐

**Corollary**

**8.**

If G is any interval graph with edges of length 1, then

$$\delta \left(G\right)\phantom{\rule{0.166667em}{0ex}}\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\le \left\{\begin{array}{cc}0,& \phantom{\rule{4.pt}{0ex}}if\phantom{\rule{4.pt}{0ex}}\mathrm{diam}V\left(G\right)=1,\hfill \\ 3,& \phantom{\rule{4.pt}{0ex}}if\phantom{\rule{4.pt}{0ex}}2\le \mathrm{diam}V\left(G\right)\le 3,\hfill \\ 9/4,& \phantom{\rule{4.pt}{0ex}}if\phantom{\rule{4.pt}{0ex}}\mathrm{diam}V\left(G\right)\ge 4.\hfill \end{array}\right.$$

Note that we can not improve the trivial lower bound $\delta \left(G\right)\delta (\overline{G})\ge 0$, since it is attained if G is any tree.

**Corollary**

**9.**

If G is any interval graph with edges of length 1, then

$$\delta \left(G\right)+\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\le \left\{\begin{array}{cc}3/2,& \phantom{\rule{4.pt}{0ex}}if\phantom{\rule{4.pt}{0ex}}\mathrm{diam}V\left(G\right)=1,\hfill \\ 7/2,& \phantom{\rule{4.pt}{0ex}}if\phantom{\rule{4.pt}{0ex}}2\le \mathrm{diam}V\left(G\right)\le 3,\hfill \\ 3,& \phantom{\rule{4.pt}{0ex}}if\phantom{\rule{4.pt}{0ex}}\mathrm{diam}V\left(G\right)\ge 4.\hfill \end{array}\right.$$

In addition, $\delta \left(G\right)+\delta (\phantom{\rule{0.166667em}{0ex}}\overline{G}\phantom{\rule{0.166667em}{0ex}})\ge 5/4$ for every graph G with $\mathrm{diam}V\left(G\right)\ge 4$.

## 5. Conclusions

Gromov hyperbolicity is an interesting geometric property, and so it is natural to study it in the context of geometric graphs. In this work we deal with interval and indifference graphs, which are important classes of intersection and Euclidean graphs, respectively. It is well-known that interval graphs (with a very weak hypothesis) and indifference graphs are hyperbolic. One of our main results is Theorem 8, which provides a sharp upper bound of the hyperbolicity constant of interval graphs verifying a very weak hypothesis. This result allows for obtaining bounds for the hyperbolicity constant of every indifference graph (Corollary 6) and the hyperbolicity constant of every interval graph with edges of length 1 (Corollary 7). Moreover, Theorem 10 provides sharp bounds for the hyperbolicity constant of the complement of any interval graph with edges of length 1. Note that it is not usual to obtain such precise bounds for large classes of graphs. Our main result is Theorem 9, which provides the hyperbolicity constant of every interval graph with edges of length 1, by using geometric criteria.

## Acknowledgments

This paper was supported in part by a grant from CONACYT (FOMIX-CONACyT-UAGro 249818), México and by two grants from the Ministerio de Economía y Competitividad, Agencia Estatal de Investigación (AEI) and Fondo Europeo de Desarrollo Regional (FEDER) (MTM2016-78227-C2-1-P and MTM2015-69323-REDT), Spain. We would like to thank the referees for their careful reading of the manuscript and several useful comments that have helped us to improve the presentation of the paper.

## Author Contributions

Juan Carlos Hernández-Gómez, Rosalío Reyes, José Manuel Rodríguez and José María Sigarreta contributed equally with the ideas and writing of this paper.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Gromov, M. Hyperbolic groups. In Essays in Group Theory; Gersten, S.M., Ed.; Springer: New York, NY, USA, 1987; Volume 8, pp. 75–263. [Google Scholar]
- Oshika, K. Discrete Groups; AMS Bookstore: Providence, RI, USA, 2002. [Google Scholar]
- Krauthgamer, R.; Lee, J.R. Algorithms on Negatively Curved Spaces. In Proceedings of the Foundations of Computer Science (FOCS’06), Berkeley, CA, USA, 21–24 October 2006. [Google Scholar]
- Jonckheere, E.A. Contrôle du traffic sur les réseaux à géométrie hyperbolique–Vers une théorie géométrique de la sécurité l’acheminement de l’information. J. Eur. Syst. Autom.
**2002**, 8, 45–60. (In French) [Google Scholar] - Tourís, E. Graphs and Gromov hyperbolicity of non-constant negatively curved surfaces. J. Math. Anal. Appl.
**2011**, 380, 865–881. [Google Scholar] [CrossRef] - Bermudo, S.; Carballosa, W.; Rodríguez, J.M.; Sigarreta, J.M. On the Hyperbolicity of Edge-Chordal and Path-Chordal Graphs. Filomat
**2016**, 30, 2599–2607. [Google Scholar] [CrossRef] - Bermudo, S.; Rodríguez, J.M.; Rosario, O.; Sigarreta, J.M. Small values of the hyperbolicity constant in graphs. Discret. Math.
**2016**, 339, 3073–3084. [Google Scholar] [CrossRef] - Boguñá, M.; Papadopoulos, F.; Krioukov, D. Sustaining the Internet with Hyperbolic Mapping. Nature Commun.
**2010**, 1, 1–19. [Google Scholar] [CrossRef] [PubMed] - Brinkmann, G.; Koolen, J.; Moulton, V. On the hyperbolicity of chordal graphs. Ann. Comb.
**2001**, 5, 61–69. [Google Scholar] [CrossRef] - Carballosa, W. Gromov hyperbolicity and convex tessellation graph. Acta Math. Hungarica
**2017**, 151, 24–34. [Google Scholar] [CrossRef] - Chalopin, J.; Chepoi, V.; Papasoglu, P.; Pecatte, T. Cop and Robber Game and Hyperbolicity. SIAM J. Discret. Math.
**2014**, 28, 1987–2007. [Google Scholar] [CrossRef] - Chepoi, V.; Dragan, F.F.; Estellon, B.; Habib, M.; Vaxès, Y. Notes on diameters, centers, and approximating trees of δ-hyperbolic geodesic spaces and graphs. Electron. Notes Discret. Math.
**2008**, 31, 231–234. [Google Scholar] [CrossRef] - Chepoi, V.; Dragan, F.F.; Estellon, B.; Habib, M.; Vaxès, Y.; Xiang, Y. Additive Spanners and Distance and Routing Labeling Schemes for Hyperbolic Graphs. Algorithmica
**2012**, 62, 713–732. [Google Scholar] [CrossRef] - Cohen, N.; Coudert, D.; Lancin, A. On computing the Gromov hyperbolicity. ACM J. Exp. Algortm.
**2015**, 20, 18. [Google Scholar] [CrossRef] - Fournier, H.; Ismail, A.; Vigneron, A. Computing the Gromov hyperbolicity of a discrete metric space. J. Inf. Process. Lett.
**2015**, 115, 576–579. [Google Scholar] [CrossRef] - Frigerio, R.; Sisto, A. Characterizing hyperbolic spaces and real trees. Geom. Dedic.
**2009**, 142, 139–149. [Google Scholar] [CrossRef] - Jonckheere, E.A.; Lohsoonthorn, P. Geometry of network security. Am. Control Conf.
**2004**, 6, 111–151. [Google Scholar] - Jonckheere, E.A.; Lohsoonthorn, P.; Ariaesi, F. Upper bound on scaled Gromov-hyperbolic delta. Appl. Math. Comput.
**2007**, 192, 191–204. [Google Scholar] - Jonckheere, E.A.; Lohsoonthorn, P.; Bonahon, F. Scaled Gromov hyperbolic graphs. J. Graph Theory
**2007**, 2, 157–180. [Google Scholar] [CrossRef] - Kiwi, M.; Mitsche, D. A Bound for the Diameter of Random Hyperbolic Graphs. In ANALCO; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 2015; pp. 26–39. [Google Scholar] [CrossRef]
- Koolen, J.H.; Moulton, V. Hyperbolic Bridged Graphs. Eur. J. Comb.
**2002**, 23, 683–699. [Google Scholar] [CrossRef] - Krioukov, D.; Papadopoulos, F.; Kitsak, M.; Vahdat, A.; Boguñá, M. Hyperbolic geometry of complex networks. Phys. Rev. E
**2010**, 82, 036106. [Google Scholar] [CrossRef] [PubMed] - Martínez-Pérez, A. Chordality properties and hyperbolicity on graphs. Electron. J. Comb.
**2016**, 23, P3.51. [Google Scholar] - Martínez-Pérez, A. Generalized Chordality, Vertex Separators and Hyperbolicity on Graphs. Symmetry
**2017**, 9, 199. [Google Scholar] [CrossRef] - Mitsche, D.; Pralat, P. On the Hyperbolicity of Random Graphs. Electron. J. Comb.
**2014**, 21, P2.39. [Google Scholar] - Shang, Y. Lack of Gromov-hyperbolicity in small-world networks. Cent. Eur. J. Math.
**2012**, 10, 1152–1158. [Google Scholar] [CrossRef] - Shang, Y. Non-hyperbolicity of random graphs with given expected degrees. Stoch. Models
**2013**, 29, 451–462. [Google Scholar] [CrossRef] - Wu, Y.; Zhang, C. Chordality and hyperbolicity of a graph. Electron. J. Comb.
**2011**, 18, P43. [Google Scholar] - Calegari, D.; Fujiwara, K. Counting subgraphs in hyperbolic graphs with symmetry. J. Math. Soc. Jpn.
**2015**, 67, 1213–1226. [Google Scholar] [CrossRef] - Eppstein, D. Squarepants in a tree: sum of subtree clustering and hyperbolic pants decomposition. In Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 2007; pp. 29–38. [Google Scholar]
- Li, S.; Tucci, G.H. Traffic Congestion in Expanders, (p,δ)-Hyperbolic Spaces and Product of Trees. arXiv, 2013. [Google Scholar]
- Fishburn, P.C. Interval orders and interval graphs: A study of partially ordered sets. In Wiley-Interscience Series in Discrete Mathematics; John Wiley and Sons: New York, NY, USA, 1985. [Google Scholar]
- Golumbic, M.C. Algorithmic Graph Theory and Perfect Graphs; Academic Press: New York, NY, USA, 1980. [Google Scholar]
- Gilmore, P.C.; Hoffman, A.J. A characterization of comparability graphs and of interval graphs. Can. J. Math.
**1964**, 16, 539–548. [Google Scholar] [CrossRef] - Cohen, J.E. Food webs and niche space. In Monographs in Population Biology 11; Princeton University Press: Princeton, NJ, USA, 1978. [Google Scholar]
- Bertossi, A.A. Finding Hamiltonian circuits in proper interval graphs. Inf. Process. Lett.
**1983**, 17, 97–101. [Google Scholar] [CrossRef] - Panda, B.S.; Das, S.K. A linear time recognition algorithm for proper interval graphs. Inf. Process. Lett.
**2003**, 87, 153–161. [Google Scholar] [CrossRef] - Li, P.; Wu, Y. Spanning connectedness and Hamiltonian thickness of graphs and interval graphs. Discret. Math. Theor. Comput. Sci.
**2015**, 16, 125–210. [Google Scholar] - Rodríguez, J.M.; Tourís, E. Gromov hyperbolicity through decomposition of metric spaces. Acta Math. Hung.
**2004**, 103, 107–138. [Google Scholar] [CrossRef] - Bermudo, S.; Rodríguez, J.M.; Sigarreta, J.M. Computing the hyperbolicity constant. Comput. Math. Appl.
**2011**, 62, 4592–4595. [Google Scholar] [CrossRef] - Michel, J.; Rodríguez, J.M.; Sigarreta, J.M.; Villeta, M. Hyperbolicity and parameters of graphs. Ars Comb.
**2011**, 100, 43–63. [Google Scholar] - Jürgen, E. Extremal interval graphs. J. Graph Theory
**1993**, 17, 117–127. [Google Scholar] - Hernández, J.C.; Rodríguez, J.M.; Sigarreta, J.M. On the hyperbolicity constant of circulant networks. Adv. Math. Phys.
**2015**, 2015, 1–11. [Google Scholar] [CrossRef]

© 2017 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).