Mathematical Properties on the Hyperbolicity of Interval Graphs

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.


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.,  and the references therein).
If γ : [a, b] → X is a continuous curve in the metric space (X, d), γ is a geodesic if L X (γ| [t,s] ) = d(γ(t), γ(s)) = |t − s| for every t, s ∈ [a, b].We say that X is a geodesic metric space if, for every x, y ∈ X, there exists a geodesic in X joining them.Let us denote by [xy] 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 = (V(G), E(G)) will denote a non-trivial (V(E) = ∅) simple graph such that we have defined a length function, denoted by L G or L, on the edges L G : E(G) → R + ; the length of a path η = {e 1 , e 2 , . . ., e k } is defined as L G (η) = ∑ k i=1 L G (e i ).We assume that (G) := sup L G (e) | e ∈ E(G) < ∞.In order to consider a graph G as a geodesic metric space, identify (by an isometry I) any edge uv ∈ E(G) with the interval [0, L G (uv)] in the real line; then, the real interval [0, L G (uv)] is isometric to the edge uv (considered as a graph with a single edge).If x, y ∈ uv and η xy denotes the segment contained in uv joining x and y, we define the length of η xy as L G (η xy ) = |I(x) − I(y)|.Thus, the points in G are the vertices u ∈ V(G) and, in addition, the points in the interior of any edge uv ∈ E(G).
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) = ∞.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 ∈ X, the union of three geodesics [x 1 x 2 ], [x 2 x 3 ] and [x 3 x 1 ] 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 = {[x 1 x 2 ], [x 2 x 3 ], [x 3 x 1 ]}.The triangle T is δ-thin if any side of T is contained in the δ-neighborhood of the union of the two other sides.Let us denote by δ(T) the sharp thin constant of the geodesic triangle T, i.e., δ(T) := inf{δ ≥ 0 | T is δ-thin}.We say that the space X is δ-hyperbolic if every geodesic triangle in X is δ-thin.Let us define: The geodesic metric space X is hyperbolic if it is δ-hyperbolic for some δ ≥ 0; then, X is hyperbolic if and only if δ(X) < ∞.If Y is the union of geodesic metric spaces {Y i } i∈I , we define its hyperbolicity constant by δ(Y) := sup i∈I δ(Y i ), and we say that 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 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 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 R constructed by taking the vertex set as a subset of 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.

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, 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 ∈ V(G), we denote by deg C (v) the degree of the vertex v in the subgraph Γ induced by V(C) (note that Γ could contain edges that are not contained in C, and thus it is possible to have deg Let J(G) be the set of vertices and midpoints of edges in G. Consider the set T 1 of geodesic triangles T in G that are cycles and such that the three vertices of the triangle T belong to J(G), and denote by δ 1 (G) the infimum of the constants λ such that every triangle in T 1 is λ-thin.

Theorem 1. ([40] Theorem 2.5) For every graph G with edges of length 1, we have δ 1 (G) = δ(G).
The next result will narrow the possible values for the hyperbolicity constant.In the following theorems, we study the graphs G with δ(G) < 1.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 δ(G) = 1 if and only if δ(G) / ∈ {0, 3/4} and, for every cycle C in G and every x, y ∈ C ∩ J(G), we have d(x, y) ≤ 2.
Theorems 4 and 5 have the following consequences.

Corollary 4.
Let G be any graph with edges of length 1.We have δ(G) ≤ 1 if and only if, for every cycle C in G and every x, y ∈ C ∩ J(G), we have d(x, y) ≤ 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 ∈ V(G) and d(p, q) ≥ 3, then δ(G) ≥ 3/2.
We will also need this last result.

Interval Graphs and Hyperbolicity
Given a cycle C in an interval graph G, let {v 1 , . . ., v k } be the vertices in G with Denote by {I 1 , . . ., I k } the corresponding intervals to {v 1 , . . ., 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 ≤ a j for every 1 ≤ j ≤ k and b j 1 > b j if a j = a j 1 with 1 ≤ j ≤ k and j = j 1 , and the maximal interval of C as the interval If H is a subgraph of G and w ∈ V(H), we denote by deg H (w) the degree of the vertex w in the subgraph induced by V(H).
For any graph is the diameter of the set of vertices of G, and 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).
The following result is well-known.

Corollary 5. The inequalities
hold for every graph G.
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 (G) := sup L G (e) | e ∈ E(G) .

Theorem 8. Every length-proper interval graph G satisfies the sharp inequality
Proof.Consider a geodesic triangle T = {x, y, z} that is a cycle in G and p ∈ [xy].Assume first that T satisfies the following property: Consider the consecutive vertices {v 1 , . . ., v k } in the cycle T, and their corresponding intervals {I 1 , . . ., I k }.As before, we denote by I j 1 and I j 2 the minimal and maximal intervals, respectively.
If p ∈ γ ⊂ T , then, by applying the previous argument to the geodesic triangle T , we obtain Finally, Corollary 1 gives δ(G) ≤ 3 (G)/2.Proposition 1 below shows that the inequality is sharp.
Note that, if we remove the hypothesis (G) < ∞, then there are non-hyperbolic length-proper interval graphs: if Γ is any graph such that every cycle in Γ has exactly three vertices and sup{L(C) | C is a cycle in Γ} = ∞, 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 (G) ≤ 1.
Theorem 8 has the following direct consequence.

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 (G) = 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: First of all, we characterize the interval graphs with edges of length 1 and δ(G) = 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 and I corresponding to vertices in a cycle C in G such that there is no corresponding interval I to a vertex in G with I ∩ I = ∅ and I ∩ I = ∅.
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 ∈ [xy] and thus Corollary 7 and Theorems 2 and 4 give that δ(G) ∈ {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 δ(G) = 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 , I and I to vertices in G, we have G has the (3/4)-intersection property if it does not have the 0-intersection property and for every four corresponding intervals I , I , I and I to vertices in G we have I ∩ I ∩ I = ∅ or I ∩ I ∩ I = ∅.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 δ(G) = 0 if and only if G has the 0-intersection property.
Proof.By Theorem 4, δ(G) = 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 , I and I to vertices in G with I ∩ I ∩ I = ∅.Hence, G has a cycle if and only if it does not have the 0-intersection property.Proof.By Theorem 4, δ(G) = 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 , I , I and I to vertices in G, we have 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 , I , I , I are the corresponding intervals to the vertices in C and I , I corresponds to vertices with a chord, and then I ∩ I ∩ I = ∅ and Assume now that there are corresponding intervals I , I ,

Proof. By Theorem 5, δ(G) = 1 if and only if δ(G) /
∈ {0, 3/4}, and, for every cycle C in G and every x, y ∈ C ∩ J(G), we have d(x, y) ≤ 2. Propositions 2 and 3 give that δ(G) / ∈ {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) ≤ 2 for every x, y ∈ C ∩ J(G) 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) ≤ 3/2 for every x ∈ C ∩ V(G) and y ∈ C ∩ (J(G) \ V(G)).Since every point in C ∩ (J(G) \ V(G)) has a point in C ∩ V(G) at distance 1/2, this last condition is equivalent to d(x, y) ≤ 2 for every x, y ∈ C ∩ J(G).
Finally, we collect the previous geometric characterizations in the following theorem.Note that the characterization of δ(G) = 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]

Complement of Interval Graphs
The complement G of the graph G is defined as the graph with V G = V(G) and such that e ∈ E G if and only if e / ∈ E(G).Recall that, for every disconnected graph G, we define δ(G) as the supremum of δ(G i ), 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: Note that the inner metric d Γ 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(G) = {v 1 , . . ., v r } and corresponding intervals {I 1 , . . ., I r }.We have diam V(G) = 2 if and only if there exists an interval I i with I j ∩ I i = ∅ for every 1 ≤ j ≤ r and diam V(G ) ≥ 2, where G is the corresponding interval graph to {I 1 , . . ., I r } \ I i .Furthermore, if this is the case, then δ G = δ G .(8) gives I j ∩ I i = ∅ for every 1 ≤ j ≤ r, and we deduce d G (v j , v i ) ≤ 1 for every 1 ≤ j ≤ r.
Seeking for a contradiction assume that diam V(G ) ≤ 1.Thus, d G (v j , v j ) ≤ d G (v j , v j ) ≤ 1 for every 1 ≤ j, j ≤ r with j, j = i.Furthermore, we have proved d G (v j , v i ) ≤ 1 for every 1 ≤ j ≤ r.Therefore, d G (v j , v j ) ≤ 1 for every 1 ≤ j, j ≤ r and we conclude diam V(G) ≤ 1, which is a contradiction.Hence, diam V(G ) ≥ 2.
The converse implication is well-known.Finally, since v j v i ∈ E(G) for every 1 ≤ j ≤ r with j = i, we have G = {v i } ∪ G and: 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 diam V(G) = 2 (recall that this is the more difficult case in the study of the complement of a graph), and the lower bound when diam V(G) ≥ 4.
Theorem 10.Let G be any interval graph.
Furthermore, the lower bounds on δ G are sharp.
Since |V(G (j) )| = |V(G (j−1) )| − 1 for 0 < j ≤ k and the diameter of a graph with just a vertex is 0, this sequence must finish with some graph G We prove now that δ G ≥ 5/4 if diam V(G) ≥ 4. Let us fix any graph G with diam V(G) ≥ 4. Thus, there exists a geodesic [v 0 If p is the midpoint of v 0 v 2 , then d Γ (v 1 , p) = 5/2 and so Corollary 4 gives δ(Γ) > 1.Therefore, Theorem 2 gives δ(Γ) ≥ 5/4.Since Γ is an induced subgraph of G, if g is a path in G joining v i and v j (0 ≤ i, j ≤ 4) and g is not contained in Γ, then L G (g) ≥ 2. Since diam G V(Γ) = 2, we have d Γ (v j , v j ) = d G (v j , v j ) for every 0 ≤ i, j ≤ 4; consequently, d Γ (x, y) = d G (x, y) for every x, y ∈ Γ, i.e., Γ is an isometric subgraph of G. Hence, the geodesic triangles in Γ are also geodesic triangles in G, and we have δ G ≥ δ(Γ) ≥ 5/4.
Let us show now that the lower bounds on δ G are sharp.Recall that the path graph with n vertices P n is a graph with V(P n ) = {v 1 , v 2 , . . ., v n } and E(P n ) = {v 1 v 2 , v 2 v 3 , . . ., v n−1 v n }.
Consider the path graph with four vertices G = P 4 .Since G = P 4 , we have diam V(G) = 3 and δ G = 0.
Consider the path graph with five vertices G = P 5 .Since diam V(G) = 4, we have δ G ≥ 5/4.Note that G has five vertices and thus Theorem 7 gives δ G ≤ 5/4.Hence, we conclude δ G = 5/4.Corollary 8.If G is any interval graph with edges of length 1, then Note that we can not improve the trivial lower bound δ(G)δ(G) ≥ 0, since it is attained if G is any tree.Corollary 9.If G is any interval graph with edges of length 1, then In addition, δ(G) + δ G ≥ 5/4 for every graph G with diam V(G) ≥ 4.

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.

Lemma 2 . 3 . 2 .
([9] Lemma 2.2) Consider a chordal graph G and a cycle C in G with a, v, b ∈ C ∩ V(G) and av, vb ∈ E(G).If ab / ∈ E(G), then deg C (v) ≥ Corollary Consider a cycle C in a chordal graph G and v 1 , v 2 , v 3 consecutive vertices in C. If deg C (v 2 ) = 2, then v 1 v 3 ∈ E(G).Consequently, if C has at least four vertices, then deg C (v 1 ) ≥ 3 and deg C (v 3 ) ≥ 3.

Proposition 1 .
An interval graph G with edges of length 1 satisfies δ(G) = 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 and I to vertices in a cycle C in G such that there is no corresponding interval I to a vertex in G with I ∩ I = ∅ and I ∩ I = ∅.If v and v are the corresponding vertices to I and I , respectively, then v , v ∈ C and d(v , v ) ≥ 3. Thus, Theorem 6 gives δ(G) ≥ 3/2 and, since δ(G) ≤ 3/2 by Corollary 7, we conclude δ(G) = 3/2.Assume now that G does not have the (3/2)-intersection property.Seeking for a contradiction, assume that δ(G) = 3/2.By Theorem 3, there exist a geodesic triangle T = {x, y, z} that is a cycle in G and p ∈ [xy] such that d(p, [xz] ∪ [zy]) = δ(T) = δ(G) = 3/2 and x, y, z ∈ J(G).Since d(p, {x, y}) ≥ d(p, [xz] ∪ [zy]) = 3/2, we have d(x, y) ≥ 3. Since G does not have the (3/2)-intersection property, for each two disjoint corresponding intervals I and I to vertices in the cycle T, there exists a corresponding interval I to a vertex in G with I ∩ I = ∅ and I ∩ I = ∅.If v and v are the corresponding vertices to I and I , respectively, then v , v ∈ T and d

Proposition 3 .
An interval graph G with edges of length 1 satisfies δ(G) = 3/4 if and only if G has the (3/4)-intersection property.

Proposition 4 .
An interval graph G with edges of length 1 satisfies δ(G) = 1 if and only if G has the 1-intersection property.
then G is a complete graph.Thus, G is a union of isolated vertices and δ G = 0.Let us prove now the upper bounds.It is well-known that if diam V(G) ≥ 3, then G is connected and diam V( G ≤ 3. Therefore, Corollary 5 gives δ G ≤ 2. If diam V(G) ≥ 4,then ([43] Theorem 2.14) gives δ G ≤ 3/2.Assume now that diam V(G) = 2.By Lemma 4, there exists an interval graph G with