Next Article in Journal
RIM4J: An Architecture for Language-Supported Runtime Measurement against Malicious Bytecode in Cloud Computing
Previous Article in Journal
Complex Fuzzy Geometric Aggregation Operators
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Diameter and Incidence Energy of Iterated Total Graphs

by
Eber Lenes
1,
Exequiel Mallea-Zepeda
2,*,
María Robbiano
3 and
Jonnathan Rodríguez
3
1
Grupo de Investigación Deartica, Universidad del Sinú, Elías Bechara Zainúm, Cartagena 130001, Colombia
2
Departamento de Matemática, Universidad de Tarapacá, Arica 1000000, Chile
3
Departamento de Matemáticas, Universidad Católica del Norte, Antofagasta 1240000, Chile
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(7), 252; https://doi.org/10.3390/sym10070252
Submission received: 11 June 2018 / Revised: 28 June 2018 / Accepted: 29 June 2018 / Published: 2 July 2018

Abstract

:
The total graph of G, T ( G ) is the graph whose vertex set is the union of the sets of vertices and edges of G, where two vertices are adjacent if and only if they stand for either incident or adjacent elements in G. For k 2 , the k-th iterated total graph of G, T k ( G ) , is defined recursively as T k ( G ) = T ( T k 1 ( G ) ) , where T 1 ( G ) = T ( G ) and T 0 ( G ) = G . If G is a connected graph, its diameter is the maximum distance between any pair of vertices in G. The incidence energy I E ( G ) of G is the sum of the singular values of the incidence matrix of G. In this paper, for a given integer k we establish a necessary and sufficient condition under which d i a m ( T r + 1 ( G ) ) > k r , r 0 . In addition, bounds for the incidence energy of the iterated graph T r + 1 ( G ) are obtained, provided G is a regular graph. Finally, new families of non-isomorphic cospectral graphs are exhibited.

1. Introduction

Let G be a simple connected graph of order n, and v 1 , v 2 , , v n its vertices. An edge e with end vertices u and v will be denoted by ( u v ) . Sometimes, after a labeling of the vertices of G, a vertex v i is simply referred to by its label i, and an edge v i v j is simply referred to as ( i j ) . The incident vertices to the edge ( i j ) are i and j. The distance between two vertices v i and v j in G is equal to the length of the shortest path in G joining v i and v j , denoted by d G ( v i , v j ) . The diameter of G, denoted by d i a m ( G ) , is the maximum distance between any pair of vertices in G. The above distance provides the simplest and most natural metric in graph theory, and its study has recently received increasing interest in discrete mathematics research. As usual, K n , P n , C n , and S n denote, respectively, the complete graph, the path, the cycle, and the star of n vertices.
The line graph of G, denoted by L ( G ) , is the graph whose vertices are the edges of G, where two vertices are adjacent if the corresponding edges in G have a common vertex. The k-th iterated line graph of G is defined recursively as L k ( G ) = L ( L k 1 ( G ) ) , k 2 , where L 1 ( G ) = L ( G ) and L 0 ( G ) = G . Metric properties of the line graph have recently been extensively studied in the mathematical literature [1,2,3,4,5], and it found remarkable applications in chemistry [6,7,8,9].
The total graph of G, denoted by T ( G ) , is the graph whose vertex set corresponds union of set of vertices and edges of G, where, two vertices are adjacent if their corresponding elements are either adjacent or incident in G. The k-th iterated total graph of G is defined recursively as T k ( G ) = T ( T k 1 ( G ) ) , k 2 , where T ( G ) = T 1 ( G ) and G = T 0 ( G ) .
The incidence matrix, I ( G ) , is the n × m matrix whose ( i , j ) -entry is 1 if v i is incident to e j , and 0 otherwise. It is known that
I ( G ) I T ( G ) = Q ( G )
and
I T ( G ) I ( G ) = 2 I m + A ( L ( G ) ) ,
where Q ( G ) is the signless Laplacian matrix of G and A ( L ( G ) ) is the adjacency matrix of the line graph of G. Our results can be applied to several disciplines—in engineering for example, solid materials with discrete lattices are modeled to this type of graph. Some recent papers have focused on this application (see, for instance, [10,11,12] and references therein). In [13,14], the authors introduced the concept of the incidence energy I E ( G ) of G as the sum of the singular values of the incidence matrix of G. It is well-known that the singular values of a matrix M are the nonzero square roots of M M T or M T M , as these matrices have the same nonzero eigenvalues. From these facts and (1), it follows that
I E ( G ) = i = 1 n q i ,
where q 1 , q 2 , , q n are the signless Laplacian eigenvalues of G.
In [13], Gutman, Kiani, Mirzakhah, and Zhou proved that
Theorem 1
([13]). Let G be a regular graph on n vertices of degree r. Then,
I E ( L k + 1 ( G ) ) n k ( r k 2 ) 2 2 r k 4 + 4 r k 4 + ( n k 1 ) [ ( 3 r k 4 ) ( n k 1 ) r k ] ,
where n k and r k are the order and degree of L k + 1 ( G ) , respectively. Equality holds if and only if L k ( G ) K n .
This paper is organized as follows. In Section 2, we establish conditions on a graph G, so that the diameter of T ( G ) does not exceed k, k 2 . Additionally, conditions so that the diameter of T ( G ) is greater than or equal to k, k 3 , are established. Moreover, we establish a necessary condition so that the diameter of T r + 1 ( G ) is not greater than or equal to k r , k 2 , r 0 . In Section 3, we derive upper and lower bounds on the incidence energy for the iterated total graphs of regular graphs. Additionally, we construct some new families of non-isomorphic cospectral graphs.

2. Diameter of Total Graphs

In this section, for k 2 we establish necessary and sufficient conditions for a graph G, so that the diameter of T ( G ) does not exceed k . Moreover, for k 2 we establish necessary and sufficient conditions for a graph G, so that the diameter of T ( G ) is strictly greater than k .

2.1. Main Results

Before proceeding, we need the following definitions.
Definition 1.
A path P with end vertices u and v in a connected graph G is called a diameter path of G if P has d i a m ( G ) + 1 vertices and d G ( u , v ) = d i a m ( G ) .
Definition 2.
A subgraph H of a connected graph G is called diameter subgraph of G if H has a diameter path of G as a subgraph.
Definition 3.
The Lollipop L o l n , g is the graph obtained from a cycle with g vertices by identifying one of its vertices with a vertex of path length n g . Note that this graph has n vertices and diameter n g + 1 + g 2 . In Figure 1 we display an example of Lollipop L o l 8 , 4 .
In [15] it was conjectured that L o l 3 , n 3 is the non-bipartite graph of order n with minimum smallest signless Laplacian eigenvalue q n .
Lemma 1.
Let G be a connected graph on n vertices. Then, either d i a m ( T ( G ) ) = d i a m ( G ) or d i a m ( T ( G ) ) = d i a m ( L ( G ) ) or L o l l + d i a m ( G ) + 1 , 2 l + 1 is a diameter subgraph of G for some 1 l d i a m ( G ) , where d i a m ( T ( G ) ) = d i a m ( G ) + 1 .
Proof. 
The result can be easily verified for graphs of order n 3 . Consequently, we assume n > 3 . If d i a m ( G ) < d i a m ( T ( G ) ) , then d i a m ( L ( G ) ) < d i a m ( T ( G ) ) , and L o l l + d i a m ( G ) + 1 , 2 l + 1 is not a diameter subgraph of G for all 1 l d i a m ( G ) , where d i a m ( T ( G ) ) = d i a m ( G ) + 1 . We claim that d T ( G ) ( u , v ) < d i a m ( T ( G ) ) for any pair of vertices u , v in T ( G ) . Let v a , v b be two vertices in T ( G ) such that d T ( G ) ( v a , v b ) d i a m ( T ( G ) ) . Then, there must exist d i a m ( T ( G ) ) 1 vertices in T ( G ) , say v 1 , v 2 , , v d i a m ( T ( G ) ) 1 , such that v i is adjacent to v i + 1 , i = 1 , 2 , , d i a m ( T ( G ) ) 2 , where v a is adjacent to v 1 .
  • If v a , v b are vertices of G, then we can assume that v i is a vertex of G, i = 1 , 2 , , d i a m ( T ( G ) ) 1 . Then, d i a m ( G ) d i a m ( T ( G ) ) , which is impossible.
  • If v a , v b are vertices of the line graph of G, that is to say if v a , v b are edges of G, then we can assume that v i is an edge of G, i = 1 , 2 , , d i a m ( T ( G ) ) 1 . Thus, d i a m ( L ( G ) ) d i a m ( T ( G ) ) , which is impossible.
  • If v a is a vertex of G and v b is an edge of G, say v b = ( b 1 b 2 ) , we can assume without loss of generality that v i is a vertex of G , i = 1 , 2 , , d i a m ( T ( G ) ) 1 , or v i is an edge of G , i = 1 , 2 , , d i a m ( T ( G ) ) 1 . Suppose that v i is a vertex of G , i = 1 , 2 , , d i a m ( T ( G ) ) 1 . Then, d G ( v a , b 1 ) d i a m ( T ( G ) ) 1 . Since d i a m ( G ) < d i a m ( T ( G ) ) , then d G ( v a , b 1 ) = d i a m ( T ( G ) ) 1 = d i a m ( G ) . In addition, d G ( v a , b 2 ) = d i a m ( G ) . Thereby, L o l l + d i a m ( G ) + 1 , 2 l + 1 is a diameter subgraph of G some 1 l d i a m ( G ) , where d i a m ( T ( G ) ) = d i a m ( G ) + 1 , which is impossible. Otherwise, suppose v i is an edge of G , i = 1 , 2 , , d i a m ( T ( G ) ) 1 , with v d i a m ( T ( G ) ) 1 = ( c b 1 ) then d G ( v a , b 1 ) d i a m ( T ( G ) ) 1 . Since d i a m ( G ) < d i a m ( T ( G ) ) , then d G ( v a , b 1 ) = d i a m ( T ( G ) ) 1 = d i a m ( G ) . Moreover, d G ( v a , b 2 ) = d i a m ( G ) . Thus, L o l l + d i a m ( G ) + 1 , 2 l + 1 is a diameter subgraph of G for some 1 l d i a m ( G ) , where d i a m ( T ( G ) ) = d i a m ( G ) + 1 , which is impossible.
    That is, d T ( G ) ( u , v ) < d i a m ( T ( G ) ) for any pair of vertices u , v in T ( G ) , which is a contradiction.
Before proceeding, we need to establish the following facts about the line graphs.
Lemma 2
([16]). If H is an induced subgraph of G, then L ( H ) is an induced subgraph of L ( G ) .
Let us denote by F 1 k the path of length k + 1 , k 2 . Let v 1 , v 2 , , v k + 2 be the vertices of F 1 k so that for i = 1 , 2 , , k + 1 , v i is adjacent to v i + 1 .
Let F 2 k and F 3 k be the graphs obtained from F 1 k + 1 by adding the edge ( v 1 v 3 ) , and the edges ( v 1 v 3 ) and ( v k + 1 v k + 3 ) , respectively. Note that F 1 k + 1 , F 2 k , and F 3 k have diameter k + 1 (see Figure 2).
Theorem 2.
Let k 2 . Then, d i a m ( T ( G ) ) k if and only if all the following conditions fail to hold:
  • F 1 k + 1 , F 2 k , and F 3 k are induced subgraphs of G, and
  • F 1 k is a diameter path of G, and
  • L o l l + k + 1 , 2 l + 1 is a diameter subgraph of G for some 1 l k , where d i a m ( G ) = k .
Proof. 
The result can be easily verified for graphs of order n 3 . Consequently, we assume that n > 3 . Let k 2 , and suppose that d i a m ( T ( G ) ) k . If F 1 k is a diameter path of G, by Lemma 1, d i a m ( T ( G ) ) d i a m ( F 1 k ) = k + 1 > k , which is a contradiction. Suppose that F 2 k is an induced subgraph of G, by Lemma 2, L ( F 2 k ) is an induced subgraph of L ( G ) . Thus, L ( F 2 k ) is an induced subgraph of T ( G ) . Therefore, d i a m ( T ( G ) ) d i a m ( L ( F 2 k ) ) = k + 1 , which is a contradiction. Similarly, we prove that F 1 k + 1 and F 3 k are not induced subgraphs of G. Moreover, if L o l l + k + 1 , 2 l + 1 is a diameter subgraph of G for some 1 l k , where d i a m ( G ) = k , then d i a m ( T ( G ) ) d i a m ( T ( L o l l + k + 1 , 2 l + 1 ) ) = k + 1 , which is a contradiction. Conversely, suppose that k 2 and d i a m ( T ( G ) ) > k . By Lemma 1, we have the following cases:
  • Case 1: Suppose d i a m ( T ( G ) ) = d i a m ( G ) . If d i a m ( G ) = k + 1 , then F 1 k is a diameter path in G—a contradiction. If d i a m ( G ) k + 2 , then F 1 k + 1 is an induced subgraph of G—a contradiction.
  • Case 2: Suppose d i a m ( T ( G ) ) = d i a m ( L ( G ) ) , then there must exist k + 2 edges in G, say e 1 , e 2 , , e k + 2 , such that e i is incident to e i + 1 in G, i = 1 , 2 , , k + 1 , and d L ( G ) ( e 1 , e k + 2 ) = k + 1 . Let e i = ( v i v i + 1 ) , i = 1 , 2 , , k + 1 . Then
    (i)
    If v 1 is not adjacent to v 3 and v k + 1 is not adjacent to v k + 3 , then F 1 k + 1 is an induced subgraph of G—a contradiction.
    (ii)
    If v 1 is adjacent to v 3 (or v k + 1 is adjacent to v k + 3 ), then F 2 k is an induced subgraph of G—a contradiction.
    (iii)
    If v 1 is adjacent to v 3 and v k + 1 is adjacent to v k + 3 , then F 3 k is an induced subgraph of G—a contradiction.
  • Case 3: Suppose that L o l l + d i a m ( G ) + 1 , 2 l + 1 is a diameter subgraph of G for some 1 l d i a m ( G ) , where d i a m ( T ( G ) ) = d i a m ( G ) + 1 . If d i a m ( T ( G ) ) = k + 1 , then L o l l + k + 1 , 2 l + 1 is a diameter subgraph of G for some 1 l k , where d i a m ( G ) = k —a contradiction. If d i a m ( T ( G ) ) = k + 2 , then F 1 k is a diameter path of G—a contradiction. If d i a m ( T ( G ) ) k + 3 , then F 1 k + 1 is an induced subgraph of G—a contradiction.
An equivalent result to Theorem 2 is given below.
Theorem 3.
Let k 2 . For a connected graph G, d i a m ( T ( G ) ) > k if and only if some of the following conditions are verified:
  • F 1 k + 1 or F 2 k or F 3 k is an induced subgraph of G, or
  • F 1 k is a diameter path of G, or
  • L o l l + k + 1 , 2 l + 1 is a diameter subgraph of G for some 1 l k , where d i a m ( G ) = k .
The following results characterize some subgraphs of T ( G ) according to the diameter of either L ( G ) or G. Evidently, d i a m ( T ( G ) ) = 0 if and only if G K 1 .
Lemma 3.
For a connected graph G, if d i a m ( L ( G ) ) = d i a m ( G ) = 2 , then some of the following conditions are verified:
  • K 4 e or L o l 4 , 3 , or C 4 is an induced subgraph of G, or
  • C 5 is a diameter subgraph of G.
Proof. 
Let G be a connected graph such that d i a m ( L ( G ) ) = 2 , then there exists 4 vertices, say u 1 , u 2 , u 3 , u 4 , such that u i is adjacent to u i + 1 , for i = 1 , 2 , 3 .
(i)
If u 1 is not adjacent to u 3 , u 2 is not adjacent to u 4 and u 1 is not adjacent to u 4 , then P 4 is an induced subgraph of G. Moreover, since d i a m ( G ) = 2 , then P 3 : u 1 v u 4 is a diameter path of G for some v. Hence, C 5 is a diameter subgraph of G.
(ii)
If u 1 is adjacent to u 3 (or u 2 is adjacent to u 4 ) and u 1 is not adjacent to u 4 , then L o l 4 , 3 is an induced subgraph of G.
(iii)
If u 1 is adjacent to u 3 , u 2 is adjacent to u 4 and u 1 is not adjacent to u 4 , then K 4 e is an induced subgraph of G.
(iv)
If u 1 is adjacent to u 4 , u 1 is not adjacent to u 3 and u 2 is not adjacent to u 4 , then C 4 is an induced subgraph of G.
Corollary 1.
Let G be a connected graph. Then
a.
d i a m ( T ( G ) ) = 1 if and only if G K 2 .
b.
If the following conditions fail to hold:
  • K 4 e , L o l 4 , 3 and C 4 is an induced subgraph of G, and
  • C 5 is a diameter subgraph of G,
then d i a m ( T ( G ) ) = 2 if and only if G K n or G S n .
Proof. 
a.
If G K 2 , then all the vertices of T ( G ) are adjacent. That is, T ( G ) = K 3 . Thus, d i a m ( T ( G ) ) = d i a m ( K 3 ) = 1 .
Conversely, let d i a m ( T ( G ) ) = 1 and G K 2 . Then, there exists two different edges in G, say e i = ( x y ) and e j = ( y z ) . Thus, d T ( G ) ( e j , x ) = 2 . Therefore, d i a m ( T ( G ) ) > 1 —a contradiction.
b.
Suppose that none of the three graphs K 4 e , L o l 4 , 3 , and C 4 are induced subgraphs of G, and that C 5 is not a diameter subgraph of G. By Lemma 3 it does not occur that d i a m ( L ( G ) ) = d i a m ( G ) = 2 . Now, if d i a m ( T ( G ) ) = 2 , by Lemma 1 some of the following cases are verified:
  • Case 1: d i a m ( G ) = 2 . Then, d i a m ( L ( G ) ) = 1 , thus any couple of edges of G are incidents. Consequently, G K 3 or G S n . Since d i a m ( G ) = 2 , we concluded that G S n .
  • Case 2: d i a m ( L ( G ) ) = 2 . Then, d i a m ( G ) = 1 , thus any couple of vertices of G are adjacents. Therefore, G K n .
  • Case 3: L o l 3 , 3 is a diameter subgraph of G. Then, d i a m ( G ) = 1 . Thus, G K n .
Conversely, let G K n . Then, any couple of vertices in G are at distance 1. Let e i = ( x y ) and e j = ( z w ) be two different edges in G. If e i and e j are incident edges, then d L ( G ) ( e i , e j ) = 1 . Otherwise, since e k = ( y z ) is an edge in G, we have d L ( G ) ( e i , e j ) = 2 . Finally, let e = ( x y ) be an edge of G and let v be a vertex of G. If v = x or v = y , then d T ( G ) ( e , v ) = 1 . Otherwise, since ( x v ) is an edge of G, then d T ( G ) ( e , v ) = 2 . Hence, d i a m ( T ( G ) ) = 2 .
If G S n , then all the edges of G are incidents to a common vertex. Therefore, all vertices are pairwise incident in L ( G ) and thus L ( G ) K n 1 . Hence, d i a m ( L ( G ) ) = 1 . Moreover, all n 1 vertices are adjacents to a common vertex in G. Then, d i a m ( G ) = 2 . Finally, since d i a m ( L ( G ) ) = 1 , then any edge of G and any vertex of G are to distance less than or equal to 2. Therefore, d i a m ( T ( G ) ) = 2 .

2.2. Results for Iterated Total Graphs

Theorem 4.
Let r 1 and k 4 r + 3 . Let G be a connected graph such that
d i a m ( T r + 1 ( G ) ) > k r .
Then, F 1 k 4 r 1 is an induced subgraph of G.
Proof. 
Suppose d i a m ( T r + 1 ( G ) ) > k r . By Theorem 3, we have
  • F 1 k r + 1 or F 2 k r or F 3 k r is an induced subgraph of T r ( G ) , or
  • F 1 k r is a diameter path of T r ( G ) , or
  • L o l l + k r + 1 , 2 l + 1 is a diameter subgraph of T r ( G ) for some 1 l k r , where d i a m ( T r ( G ) ) = k r .
Moreover,
(a)
If F 1 k r + 1 is an induced subgraph of T r ( G ) , then either F 1 k r 2 or F 1 k r + 1 is an induced subgraph of T r 1 ( G ) or F 1 k r + 1 is an induced subgraph of L ( T r 1 ( G ) ) . Since L ( F 1 k r + 2 ) = F 1 k r + 1 , then F 1 k r 2 is an induced subgraph of T r 1 ( G ) .
(b)
If F 2 k r is an induced subgraph of T r ( G ) , then F 1 k r is an induced subgraph of T r ( G ) . By ( a ) , F 1 k r 3 is an induced subgraph of T r 1 ( G ) .
(c)
If F 3 k r is an induced subgraph of T r ( G ) , then F 1 k r 1 is an induced subgraph of T r ( G ) . By ( a ) , F 1 k r 4 is an induced subgraph of T r 1 ( G ) .
(d)
If F 1 k r is a diameter path of T r ( G ) , then either F 1 k r or F 1 k r 1 is a diameter path of T r 1 ( G ) or F 1 k r is a diameter path of L ( T r 1 ( G ) ) . Since L ( F 1 k r + 1 ) = F 1 k r , then F 1 k r 1 is an induced subgraph of T r 1 ( G ) .
(e)
If L o l l + k r + 1 , 2 l + 1 is a diameter subgraph of T r ( G ) , for some 1 l k r , where d i a m ( T r ( G ) ) = k r . Then, F 1 k r 1 is a diameter path of T r ( G ) . By d ) , F 1 k r 2 is a diameter path of T r 1 ( G ) .
Therefore, F 1 k r 4 is an induced subgraph of T r 1 ( G ) . By (a), F 1 k r 7 is an induced subgraph of T r 2 ( G ) . Then, F 1 k r 10 is an induced subgraph of T r 3 ( G ) . Following this process, we concluded that F 1 k 4 r 1 is an induced subgraph of G. ☐
Theorem 5.
Let r 1 , k 2 r + 2 and G be a connected graph. If F 1 k 2 r be an induced subgraph of G, then
d i a m ( T r + 1 ( G ) ) > k r .
Proof. 
Suppose F 1 k 2 r is an induced subgraph of G, then F 1 k 2 r + 1 is an induced subgraph of T ( G ) . Moreover, F 1 k 2 r + 2 is an induced subgraph of T 2 ( G ) . Following this process, we concluded that F 1 k r 1 is an induced subgraph of T r 1 ( G ) . Then, the graph with vertices
v 1 , ( v 1 v 2 ) , v 2 , , v k r , ( v k r v k r + 1 ) , v k r + 1
is an induced subgraph of T r ( G ) isomorphic to F 3 k r . By Theorem 3, d i a m ( T r + 1 ( G ) ) > k r .

2.3. Results for Iterated Line Graphs

Let P k 1 be the path with vertices v 1 , v 2 , , v k 1 , where v i is adjacent to v i + 1 , i = 1 , 2 , , k 2 , k 3 . Let F 4 k be the graph obtained from P k 1 by joining two new vertices to the vertex v 1 and another two new vertices the vertex v k 1 . Thus, F 4 k has k + 3 vertices and k + 2 edges. Let P k + 1 be a path on the vertices v 1 , v 2 , , v k + 1 , where v i is adjacent to v i + 1 , i = 1 , 2 , , k , k 1 . Let F 5 k be the graph obtained from P k + 1 by joining two new vertices to the vertex v k + 1 . Note that F 4 k and F 5 k have diameter k + 1 (see Figure 3).
Lemma 4
([5]). Let G be a connected graph with n 3 vertices. Let k 2 . Then, d i a m ( L ( G ) ) > k , if and only if either F 1 k + 1 or F 2 k or F 3 k is an induced subgraph of G.
Considering Lemma 4, the next result is obtained.
Corollary 2.
Let G be a connected graph.
a.
If r 1 and k 2 r + 3 such that
d i a m ( L r + 1 ( G ) ) > k r .
Then F 1 k 2 r 1 is an induced subgraph of G.
b.
If 1 r < k 1 such that F 1 k + 1 or F 4 k or F 5 k is an induced subgraph of G. Then
d i a m ( L r + 1 ( G ) ) > k r .
Proof. 
a.
Suppose d i a m ( L r + 1 ( G ) ) > k r . By Lemma 4, F 1 k r + 1 or F 2 k r or F 3 k r is an induced subgraph of L r ( G ) . Then, F 1 k r 1 is an induced subgraph of L r ( G ) . Since L ( F 1 k r ) = F 1 k r 1 . Then, F 1 k r 2 is an induced subgraph of L r 1 ( G ) . Thus, F 1 k r 3 is an induced subgraph of L r 2 ( G ) . Then, F 1 k r 4 is an induced subgraph of L r 3 ( G ) . Following this process, we concluded that F 1 k 2 r 1 is an induced subgraph of G.
b.
Suppose F 1 k + 1 or F 4 k or F 5 k is an induced subgraph of G. By Lemma 2, L r ( F 1 k + 1 ) or L r ( F 4 k ) or L r ( F 5 k ) is an induced subgraph of L r ( G ) . Moreover, L r ( F 1 k + 1 ) = F 1 k r + 1 , L r ( F 4 k ) = F 3 k r , and L r ( F 5 k ) = F 2 k r . By Lemma 4, d i a m ( L r + 1 ( G ) ) > k r .

3. Energy of Iterated Graphs

In this section, we derive bounds on the incidence energy of iterated total graphs of regular graphs. Furthermore, we construct new families of non-isomorphic cospectral graphs.

3.1. Incidence Energy of Iterated Graphs

The basic properties of iterated line graph sequences are summarized in References [17,18].
The line graph of a regular graph is a regular graph. In particular, the line graph of a regular graph of order n 0 and degree r 0 is a regular graph of order n 1 = 1 2 r 0 n 0 and degree r 1 = 2 r 0 2 . Consequently, the order and degree of L k ( G ) are (see [17,18]):
n k = 1 2 r k 1 n k 1 , and r k = 2 r k 1 2 , where n k 1 and r k 1 stand for the order and degree of L k 1 ( G ) . Therefore,
r k = 2 k r 0 2 k + 1 + 2
and
n k = n 0 2 k i = 0 k 1 r i = n 0 2 k i = 0 k 1 2 i r 0 2 i + 1 + 2 .
Theorem 6.
Let G be a regular graph of order n 0 and degree r 0 , then for k 1 the k-th iterated total graph of G is a regular graph of degree r k and order n k , where
1.
r k = 2 r k 1 , and
2.
n k = n k 1 r k 1 + 2 2 .
Proof. 
Let k 1 . Suppose that the ( k 1 ) -th iterated total graph of G is a regular graph of order n k 1 and degree r k 1 .
  • Let v be a vertex of the k-th iterated total graph of G. Then
    • Case a: If v is a vertex of the ( k 1 ) -th iterated total graph of G, then v is adjacent to r k 1 vertices and incident to r k 1 edges in T k 1 ( G ) . Thus, the degree of v in T k ( G ) is
      r k 1 + r k 1 = 2 r k 1 .
    • Case b: If v is an edge of the ( k 1 ) -th iterated total graph of G, then v is adjacent in each extreme to r k 1 1 edges and incident to its two extreme vertices in T k 1 ( G ) . Thus, the degree of v in T k ( G ) is
      ( r k 1 1 ) + ( r k 1 1 ) + 2 = 2 r k 1 .
    Therefore, the k-th iterated total graph of G is a regular graph of degree
    r k = 2 r k 1 .
  • Let T k 1 ( G ) be a regular graph with m k 1 edges, then m k 1 = n k 1 r k 1 2 . Therefore, the order of the k-th iterated total graph of G is
    n k = m k 1 + n k 1 = n k 1 r k 1 2 + n k 1 = n k 1 r k 1 + 2 2 .
Repeated application of the previous theorem generates the following result.
Corollary 3.
Let G be a regular graph of order n 0 and degree r 0 , then for k 1 the k-th iterated total graph of G is a regular graph of degree r k and order n k , where
r k = 2 k r 0 ,
and
n k = n 0 2 k i = 0 k 1 2 i r 0 + 2 .
The following result gives the eigenvalues of T ( G ) for a regular graph of order n and degree r.
Lemma 5
([19]). Let G be a regular graph of order n and degree r. Then, the eigenvalues of T ( G ) are
2 λ i + r 2 ± 4 λ i + r 2 + 4 2 i = 1 , 2 , , n , and 2 n ( r 2 ) 2 times ,
where λ i is an eigenvalue of G.
Now we consider bounds for the incidence energy of the iterated total graph.
Theorem 7.
Let G be a regular graph of order n and degree r. Then
  • I E ( T ( G ) ) < n ( r 2 ) 2 r 2 2 + 2 n r + ( n 1 ) 3 r 2 , and
  • I E ( T ( G ) ) n ( r 2 ) 2 r 2 2 + ( n + 1 ) r + 3 r 2 + ( n 1 ) 2 r 2 .
Equality holds if and only if G K 2 .
Proof. 
1. Let r = 1 , then G is union disjoint of copies of K 2 and T ( G ) is union disjoint of copies of K 3 . That is, G n 2 K 2 and T ( G ) n 2 K 3 , where n is even. Since I E ( K 3 ) = 4 , it follows that I E ( T ( G ) ) = 2 n . Therefore, if r = 1
n ( r 2 ) 2 r 2 2 + 2 n r + ( n 1 ) 3 r 2 = 3 n 1 > 2 n
n ( r 2 ) 2 r 2 2 + ( n + 1 ) r + 3 r 2 + ( n 1 ) 2 r 2 = n + 2 2 n ,
with equality if and only if n = 2 , that is, G K 2 .
Let r 2 . Since G is a regular graph of degree r. From Theorem 6, T ( G ) is a regular graph of degree 2 r . From Lemma 5, the signless Laplacian eigenvalues of T ( G ) are
5 r + 2 λ i 2 ± 4 λ i + r 2 + 4 2 i = 1 , 2 , , n and 2 r 2 n ( r 2 ) 2 times ,
where λ i is an eigenvalue of G.
From Perron–Frobenius’s theory, λ 1 = r and r λ i < r for i = 2 , , n . By definition of the incidence energy of a graph, we have
I E ( T ( G ) ) = n ( r 2 ) 2 r 2 2 + 2 r + 3 r 2 + i = 2 n 5 r + 2 λ i 2 + 4 λ i + r 2 + 4 2 + 5 r + 2 λ i 2 4 λ i + r 2 + 4 2 .
Let
g ( t ) = 5 r + 2 t 2 + r 2 + 4 t + 4 2 + 5 r + 2 t 2 r 2 + 4 t + 4 2
and
h ( t ) = r 2 + 4 t + 4 ,
where r t < r . Thus,
g ( t ) = 1 2 h ( t ) h ( t ) + 1 5 r + 2 t 2 + h ( t ) + h ( t ) 1 5 r + 2 t 2 h ( t ) .
It is clear that g ( t ) is an increasing function for r t < r .
I E ( T ( G ) ) < n ( r 2 ) 2 r 2 2 + 2 r + 3 r 2 + i = 1 n g ( r ) = n ( r 2 ) 2 r 2 2 + 2 n r + ( n 1 ) 3 r 2 .
I E ( T ( G ) ) n ( r 2 ) 2 r 2 2 + 2 r + 3 r 2 + i = 1 n g ( r ) = n ( r 2 ) 2 r 2 2 + ( n + 1 ) r + 3 r 2 + ( n 1 ) 2 r 2 .
Since n 3 , then there exists λ i > r for some i = 2 , 3 , , n . Therefore, the equality does not hold. ☐
Corollary 4.
Let G be a regular graph of order n 0 and degree r 0 2 , and let for k 0 , the k t h iterated total graph of G be of degree r k and order n k . Then,
  • I E ( T k + 1 ( G ) ) < n k ( r k 2 ) 2 r k 2 2 + 2 n k r k + ( n k 1 ) 3 r k 2 , and
  • I E ( T k + 1 ( G ) ) n k ( r k 2 ) 2 r k 2 2 + ( n k + 1 ) r k + 3 r k 2 + ( n k 1 ) 2 r k 2 .
Equality holds if and only if G K 2 and k = 0 .
Corollary 5.
Under the notation specified in Corollary 3, for any integer k
  • I E ( T k ( G ) ) < ( n k 2 n k 1 ) r k 2 + n k 1 2 r k + ( n k 1 1 ) r k + r k 1 2 , and
  • I E ( T k ( G ) ) ( n k 2 n k 1 ) r k 2 + ( n k 1 + 1 ) r k 1 + r k + r k 1 2 + ( n k 1 1 ) r k 2 .
Equality holds if and only if G K 2 and k = 1 .

3.2. An Application: Constructing Non-isomorphic Cospectral Graphs

Many constructions of cospectral graphs are known. Most constructions from before 1988 can be found in [20], Section 6.1, and [21], Section 1.3; see also [22], Section 4.6. More recent constructions of cospectral graphs were presented by Seress [23], who gives an infinite family of cospectral 8-regular graphs. Graphs cospectral to distance-regular graphs can be found in [20,21,22,23,24,25,26]. Notice that the graphs mentioned are regular, so they are cospectral with respect to any generalized adjacency matrix, which in this case includes the Laplace matrix.
Let us consider the functions
f 1 ( x ) = 1 2 ( 2 x + r 2 + 4 x + r 2 + 4 )
and
f 2 ( x ) = 1 2 ( 2 x + r 2 4 x + r 2 + 4 ) .
Theorem 8.
Let G 1 and G 2 be two regular graphs of the same order and degree n 0 and r 0 3 , respectively. Then, for any k 1 , the following hold
(a) 
T k ( G 1 ) and T k ( G 2 ) are of the same order, and have the same edges number.
(b) 
T k ( G 1 ) and T k ( G 2 ) are cospectral if and only if G 1 and G 2 are cospectral.
Proof. 
Statement (a) follows from Equations (2) and (3), and the fact that the number of vertices and edges of T k ( G ) corresponds to the number of vertices of T k + 1 ( G ) . Statement (b) follows from relation (4) and the injectivity of the functions f 1 and f 2 on the segment [ r , r ] , r > 2 , applied a sufficient number of times. ☐

4. Conclusions

In this article, in Section 2, necessary and sufficient conditions such that the diameter of the total graph of a graph are less than or equal to a given integer k are established, k 2 . Additionally, we introduce necessary and sufficient conditions such that the diameter of the ( r + 1 ) -th iterated line and total graph of a graph are greater than the difference between two given integers k and r. In Section 3, upper and lower bounds are determined for the incidence energy of the total graph of a regular graph, depending on the order and degree of the graph. Finally, we obtain an application for the construction of non-isomorphic cospectral graphs.

Author Contributions

E.E., E.M.-Z., M.R. and J.R. have been contributed equally in the research and writing of this manuscript.

Funding

This research received no external funding.

Acknowledgments

Eber Lenes was supported by Departamento de Investigaciones of the Universidad del Sinú, Colombia, Exequiel Mallea-Zepeda was supported by Proyecto UTA-Mayor 4740-18, Universidad de Tarapacá, Chile and Maria Robbiano was partially supported by project VRIDT UCN 170403003. The authors express their gratitude to professor Ricardo Reyes of Universidad de Tarapacá for his valuable corrections and suggestions in the translation of the manuscript into english language.

Conflicts of Interest

The authors declares no conflict of interest.

References

  1. Buckley, F. Mean distance in line graph. Congr. Numer. 1981, 32, 153–162. [Google Scholar]
  2. Cohen, N.; Dimitrov, D.; Krakovski, R.; Skrekovski, R.; Vukasinović, V. On Wiener index of graphs and their line graph. MATCH Comm. Math. Comput. Chem. 2010, 64, 683–698. [Google Scholar]
  3. Gutman, I.; Pavlović, L. More on distance of line graph. Graph Theory Notes N. Y. 1997, 33, 14–18. [Google Scholar]
  4. Gutman, I. Distance of line graph. Graph Theory Notes N. Y. 1996, 31, 49–52. [Google Scholar]
  5. Ramane, H.S.; Gutman, I.; Ganagi, A.B. On diameter of line graphs. Iran. J. Math. Sci. Inform. 2013, 8, 105–109. [Google Scholar]
  6. Gutman, I.; Estrada, E. Topological indices based on the line graph of the molecular graph. J. Chem. Inf. Comput. Sci. 1996, 36, 541–543. [Google Scholar] [CrossRef]
  7. Gutman, I.; Tomović, Z. On the application of line graphs in quantitative structure-property studies. J. Serb. Chem. Soc. 2000, 65, 577–580. [Google Scholar] [CrossRef]
  8. Gutman, I. Edge versions of topological indices. In Novel Molecular Structure Descriptor-Theory and Applications II; Gutman, I., Furtula, B., Eds.; University of Kragujevac: Kragujevac, Serbia, 2010; pp. 3–20. [Google Scholar]
  9. Iranmanesh, A.; Gutman, I.; Khormali, O.; Mahmiani, A. The edge versions of the Weiner index. MATCH Comm. Math. Comput. Chem. 2009, 61, 663–672. [Google Scholar]
  10. Dassios, I.; O’Keeffe, G.; Jivkov, A.P. A mathematical model for elasticity using calculus on discrete manifolds. Math. Meth. Appl. Sci. 2018, 1–14. [Google Scholar] [CrossRef]
  11. Dassios, I.; Jivkov, A.; Abu-Muharib, A.; James, P. A mathematical model for plasticity and damage: A discrete calculus formulation. J. Comput. Appl. Math. 2017, 312, 27–38. [Google Scholar] [CrossRef] [Green Version]
  12. Dassios, I.K. Stability of Bounded Dynamical Networks with Symmetry. Symmetry 2018, 10, 121. [Google Scholar] [CrossRef]
  13. Gutman, I.; Kiani, D.; Mirzakhah, M. On incidence energy of graphs. MATCH Commun. Math. Comput. Chem. 2009, 62, 573–580. [Google Scholar] [CrossRef]
  14. Jooyandeh, M.R.; Kiani, D.; Mirzakhah, M. Incidence energy of a graph. MATCH Comm. Math. Comput. Chem. 2009, 62, 561–572. [Google Scholar]
  15. Cvetković, D.; Rowlinson, P.; Simić, S.K. Eigenvalue Bounds for the Signless Laplacian. Publications de l’Institut Mathématique 2007, 95, 11–27. [Google Scholar] [CrossRef]
  16. Ramane, H.S.; Ganagi, A.B.; Gutman, I. On a conjeture of the diameter of line graph of graph of diameter two. Kragujev. J. Math. 2012, 36, 59–62. [Google Scholar]
  17. Buckley, F. Iterated line graphs. Congr. Numer. 1981, 33, 390–394. [Google Scholar]
  18. Buckley, F. The size of iterated line graphs. Graph Theory Notes N. Y. 1993, 25, 33–36. [Google Scholar]
  19. Cvetković, D.M. Spectrum of the total graph of a graph. Publ. Inst. Math. 1973, 16, 49–52. [Google Scholar]
  20. Cvetković, D.N.; Doob, M.; Sachs, H. Spectra of Graphs: Theory and Applications; Deutscher Verlag der Wissenschaften: Berlin, Germany, 1979. [Google Scholar]
  21. Cvetković, D.M.; Doob, M.; Gutman, I.; Torgaśev, A. Recent Results in the Theory of Graph Spectra; Elsevier: New York, NY, USA, 1988. [Google Scholar]
  22. Godsil, C.D. Algebraic Combinatorics; Chapman and Hall: New York, NY, USA, 1993. [Google Scholar]
  23. Seress, Á. Large families of cospectral graphs. Des. Codes Cryptogr. 2000, 21, 205–208. [Google Scholar] [CrossRef]
  24. Brouwer, A.E.; Cohen, A.M.; Neumaier, A. Distance-Regular Graphs; Springer: Berlin, Germany, 1989. [Google Scholar]
  25. Haemers, W.H.; Spence, E. Graphs cospectral with distance-regular graphs. Linear Multilinear Algebra 1995, 39, 91–107. [Google Scholar] [CrossRef]
  26. Van Dam, E.R.; Haemers, W.H. Spectral characterizations of some distance-regular graphs. J. Algebraic Comb. 2002, 15, 189–202. [Google Scholar] [CrossRef]
Figure 1. A Lollipop L o l 8 , 4 .
Figure 1. A Lollipop L o l 8 , 4 .
Symmetry 10 00252 g001
Figure 2. Graphs F 1 k , F 2 k , and F 3 k .
Figure 2. Graphs F 1 k , F 2 k , and F 3 k .
Symmetry 10 00252 g002
Figure 3. Graphs F 4 k and F 5 k .
Figure 3. Graphs F 4 k and F 5 k .
Symmetry 10 00252 g003

Share and Cite

MDPI and ACS Style

Lenes, E.; Mallea-Zepeda, E.; Robbiano, M.; Rodríguez, J. On the Diameter and Incidence Energy of Iterated Total Graphs. Symmetry 2018, 10, 252. https://doi.org/10.3390/sym10070252

AMA Style

Lenes E, Mallea-Zepeda E, Robbiano M, Rodríguez J. On the Diameter and Incidence Energy of Iterated Total Graphs. Symmetry. 2018; 10(7):252. https://doi.org/10.3390/sym10070252

Chicago/Turabian Style

Lenes, Eber, Exequiel Mallea-Zepeda, María Robbiano, and Jonnathan Rodríguez. 2018. "On the Diameter and Incidence Energy of Iterated Total Graphs" Symmetry 10, no. 7: 252. https://doi.org/10.3390/sym10070252

APA Style

Lenes, E., Mallea-Zepeda, E., Robbiano, M., & Rodríguez, J. (2018). On the Diameter and Incidence Energy of Iterated Total Graphs. Symmetry, 10(7), 252. https://doi.org/10.3390/sym10070252

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop