On Homogeneously Representable Interval Graphs

We determine all graphs whose line graphs (middle graphs, total graphs, respectively) are homogeneously representable interval graphs.

A graph G ¼ ðV; EÞ is said to be an interval graph if it is possible to assign to each vertex of G a closed interval on the real line such that two distinct vertices of G are adjacent if and only if the corresponding intervals have a non-empty intersection, that is, if there exists a collection I ¼ fI v v 2 VðGÞg of closed intervals on the real line such that G is isomorphic to the intersection graph XðI Þ of I . In such a situation, the collection I is called an interval representation of G. Without loss of generality we may assume that an interval representation consists of closed, nonempty, finite intervals in which all end points of the intervals are distinct. The first characterization of interval graphs has been proved by Lekkerkerker and Boland [1]. In some applications of interval graphs it is desirable to have an interval graph with as few different interval representations as possible. In [2] a class of interval graphs whose representations are far from being unique is demonstrated.
Let I ¼ fI 1 ; . . .; I p g be a set of intervals of the real line, where I i ¼ ½a i ; b i for i ¼ 1; 2; . . .; p. An interval I i is called an end interval of the set I if a i a j for all j, or b i ! b j for all j. A graph G is called a homogeneously representable interval graph (shortly, an HRI graph) if for every vertex v of G there exists an interval representation of G in which the interval representing v is an end interval. Homogeneously representable interval graphs were characterized in terms of forbidden subgraphs by Skrien and Gimbel [2].
Theorem 1 (Skrien and Gimbel) A graph G is an HRI graph if and only if it does not contain any of the graphs P 4 , C 4 , C 5 or G 1 (Fig. 1) as an induced subgraph.
The line graph of a graph G, denoted by LðGÞ, is the intersection graph XðEðGÞÞ of the family EðGÞ ¼ ffu; vg : uv 2 EðGÞg, that is, LðGÞ is the graph whose vertices are in one-to-one correspondence with the edges of G, and two vertices of LðGÞ are adjacent if and only if the corresponding edges of G are adjacent. Whitney [3] proved that K 1;3 , K 3 is the only pair of non-isomorphic connected graphs with isomorphic line graphs. In the next two theorems we characterize all graphs G whose line graphs LðGÞ are homogeneously representable interval graphs.

Theorem 2
The line graph LðGÞ of a graph G is an HRI graph if and only if G contains no P 5 , C 4 , C 5 or G 2 (Fig. 1) as a subgraph.
at least one of the graphs P 4 , C 4 , C 5 , and G 1 is an induced subgraph of the line graph LðGÞ, then at least one of the graphs P 5 , C 4 , C 5 , and G 2 is a subgraph of G. From this and from Theorem 1 it follows that if LðGÞ is not an HRI graph, then at least one of the graphs P 5 , C 4 , C 5 , and G 2 is a subgraph of G. The opposite implication is straightforward. h Proof Since LðGÞ is an HRI graph if and only if every connected component of LðGÞ is an HRI graph, without loss of generality we may assume that G is connected and different from K 1 . First note that if G is a subgraph of any of the graphs given in Fig. 2, then it contains no P 5 , C 4 , C 5 or G 2 as a subgraph, and therefore LðGÞ is an HRI graph, by Theorem 2. Now assume that LðGÞ is an HRI graph. According to Theorem 2, the graph G does not contain P 5 , C 4 , C 5 or G 2 as a subgraph. Let P ¼ ðv 0 ; v 1 ; . . .; v d Þ be a longest path in G. Since P 5 is not a subgraph of G and G 6 ¼ K 1 , we have 1 d 4. If d ¼ 1, then G ¼ K 2 and G is a subgraph of H i . If d ¼ 2, then G is a star or a complete graph on three vertices. Notice that G is a subgraph of the graphs H 1 and H 2 . If d ¼ 3 and P has no chord in G, then it follows from the choice of P that the sets N G ðv 1 Þ and N G ðv 2 Þ are disjoint, and every vertex of N G ðv 1 Þ [ N G ðv 2 Þnfv 1 ; v 2 g is a leaf in G. Thus G is a double star, and it is a subgraph of H 2 . Now assume that d ¼ 3 and P has a chord in G. From the absence of C 4 in G, it follows that either v 0 v 2 or v 1 v 3 is a chord of P in G. Without loss of generality, assume that v 0 v 2 is a chord of P in G. Since P is a longest path in G, we have N G ðv 0 Þ ¼ fv 1 ; v 2 g, N G ðv 1 Þ ¼ fv 0 ; v 2 g, and each vertex of N G ðv 2 Þnfv 0 ; v 1 g is a leaf in G. Therefore G can be obtained from K 3 by attaching a positive number of leaves to exactly one vertex of K 3 . Certainly, G is a subgraph of H 2 . Now assume that d ¼ 4. From the absence of C 4 and C 5 in G and from the choice of P, it easily follows that N G ðv 0 Þnfv 1 g fv 2 g and N G ðv 4 Þnfv 3 g fv 2 g. In addition, N G ðv 2 Þnfv 1 ; v 3 g fv 0 ; v 4 g as otherwise G 2 would be a subgraph of G. Again from the choice of P and from the absence of C 4 in G, it follows that If v 0 v 2 is a chord of P and v 2 v 4 is not a chord of P, then the choice of P implies that the vertices belonging to N G ðv 3 Þ are independent, and G is a subgraph of H 1 . Similarly, G is a subgraph of H 1 if v 2 v 4 is a chord and v 0 v 2 is not a chord of P in G. Finally assume that neither v 0 v 2 nor v 2 v 4 is a chord of P in G. Then from the choice of P and from the absence of C 4 in G, it follows that the sets N G ðv 1 Þnfv 2 g and N G ðv 3 Þnfv 2 g are disjoint and each of them consists of independent vertices. Therefore G is a subgraph of H 2 . h The middle graph of a graph G, denoted by MðGÞ, is the intersection graph XðF Þ of the family F ¼ ffvg : v 2 VðGÞg [ ffv; ug : vu 2 EðGÞg. It is known that MðGÞ is isomorphic to the line graph LðG K 1 Þ [4], where G K 1 is a graph obtained by taking the graph G and jVðGÞj copies of K 1 and then joining the i-th vertex of G to the i-th copy of K 1 .
The following result follows from Theorems 1 and 2.
Theorem 4 The middle graph MðGÞ of a graph G is an HRI graph if and only if every connected component of G is isomorphic to K 1 or K 2 .
Proof If every component of G is isomorphic to K 1 or K 2 , then every component of MðGÞ is Thus by Theorem 1, MðGÞ is an HRI graph. Now assume that MðGÞ is an HRI graph. Suppose that G has a component different from K 1 and K 2 . Then K 1;2 is a Fig. 1 Graphs P 4 , P 5 , C 4 , C 5 , G 1 and G 2 subgraph of G and therefore G 2 ¼ K 1;2 K 1 is a subgraph of G K 1 . Consequently, by Theorem 2, the middle graph MðGÞ ¼ LðG K 1 Þ is not an HRI graph, a contradiction. h The total graph of a graph G, denoted by TðGÞ, is the intersection graph XðFÞ of the family F ¼ EðGÞ [ VEðGÞ ¼ ffv; ug : vu 2 EðGÞg [ ffvg [ ffv; ug : u 2 N G ðvÞg : v 2 VðGÞg, that is, TðGÞ is the graph for which there exists a one-to-one correspondence between its vertices and the vertices and edges of G such that two vertices of TðGÞ are adjacent if and only if the corresponding elements in G are adjacent or incident. This concept was originated by Behzad [5]. It is interesting to note that the graphs G and LðGÞ are induced subgraphs of the total graph TðGÞ.
We now determine all graphs whose total graphs are HRI graphs.
Theorem 5 The total graph TðGÞ of a graph G is an HRI graph if and only if every connected component of G is isomorphic to K 1 , K 2 or K 1;2 .
Proof The sufficiency follows immediately from Theorem 1. Now assume that TðGÞ is an HRI graph. It is easy to see that if TðGÞ is an interval graph, then every connected component of G is triangle-free. From this and from the absence of G 1 in TðGÞ (Theorem 1) it follows that P 3 is not a subgraph of G. Thus every component of G is isomorphic to one of the graphs K 1 , K 2 , or K 1;2 . h