Open Access

Bounds on normalized Laplacian eigenvalues of graphs

Journal of Inequalities and Applications20142014:316

https://doi.org/10.1186/1029-242X-2014-316

Received: 6 January 2014

Accepted: 22 July 2014

Published: 21 August 2014

Abstract

Let G be a simple connected graph of order n, where n 2 . Its normalized Laplacian eigenvalues are 0 = λ 1 λ 2 λ n 2 . In this paper, some new upper and lower bounds on λ n are obtained, respectively. Moreover, connected graphs with λ 2 = 1 (or λ n 1 = 1 ) are also characterized.

MSC:05C50, 15A48.

Keywords

normalized Laplacian eigenvaluelargest eigenvaluebound

1 Introduction

Let G be a graph with vertex set V ( G ) and edge set E ( G ) . Its order is | V ( G ) | , denoted by n, and its size is | E ( G ) | , denoted by m. In this paper, all graphs are simple connected of order n 2 . For v V ( G ) , let d ( v ) and N ( v ) be the degree and the set of neighbors of v, respectively. The maximum and minimum degrees of G are denoted by Δ and δ, respectively.

Let A ( G ) and D ( G ) be the adjacency matrix and the diagonal matrix of vertex degrees of G, respectively. The Laplacian and normalized Laplacian matrices of G are defined as L ( G ) = D ( G ) A ( G ) and L ( G ) = D ( G ) 1 / 2 L ( G ) D ( G ) 1 / 2 , respectively. When only one graph G is under consideration, we sometimes use A, D, L and instead of A ( G ) , D ( G ) , L ( G ) and L ( G ) , respectively. It is easy to see that L ( G ) is a symmetric positive semidefinite matrix and D ( G ) 1 / 2 1 is an eigenvector of L ( G ) with eigenvalue 0, where 1 is the vector with all ones. Thus, the eigenvalues λ i ( G ) ( 1 i n ) of L ( G ) (or the normalized Laplacian eigenvalues of G) satisfy
λ n ( G ) λ 2 ( G ) λ 1 ( G ) = 0 .

Some of them may be repeated according to their multiplicities. We call λ k ( G ) the k th smallest normalized Laplacian eigenvalue of G. When only one graph G is under consideration, we sometimes write λ k instead of λ k ( G ) , for 1 k n .

The normalized Laplacian is mentioned briefly in the recent monograph by Cvetković et al. [1]; however, the standard reference for it is the monograph by Chung [2], which deals almost entirely with this matrix. The normalized Laplacian eigenvalues can be used to give useful information about a graph [2]. For example, one can obtain the number of connected components from the multiplicity of the eigenvalue 0, the bipartiteness from its λ n (which is at most 2), as well as the connectivity from its λ 2 . Moreover, λ 2 is also closely related to the discrete Cheeger’s constant, isoperimetric problems, etc. (see [2]). Chen and Jost [3] established the relationship between minimum vertex covers and the eigenvalues of the normalized Laplacian on trees. Some upper bounds for λ n have been introduced by Rojo and Soto [4] and Banerjee [5], respectively. For more results on the normalized Laplacian eigenvalues of graphs can be found in [2, 6, 7].

In this paper, some new upper and lower bounds on λ n of a graph in terms of its maximum degree, covering number etc., are deduced, respectively. Moreover, connected graphs with λ 2 = 1 (or λ n 1 = 1 ) are also characterized.

2 Preliminaries

Here we recall some basic properties of the eigenvalues and eigenfunctions of the normalized Laplacian matrix of a graph G.

Let g : V ( G ) R n which assigns to each vertex v of G a real value g ( v ) , the coordinate of g according to v. Let f = D 1 / 2 g . Then we have
g T L g g T g = f T D 1 / 2 L D 1 / 2 f ( D 1 / 2 f ) T D 1 / 2 f = f T L f f T D f = u v E ( G ) ( f ( u ) f ( v ) ) 2 v V ( G ) d ( v ) f ( v ) 2 .
Thus, the following formula for λ n is clear:
λ n = sup f D 1 u v E ( G ) ( f ( u ) f ( v ) ) 2 v V ( G ) d ( v ) f ( v ) 2 .
(2.1)

A vector f that satisfies equality in Eq. (2.1) is called a harmonic eigenfunction of associated with λ n ( G ) .

Proposition 2.1 ([2])

Let G be a graph and f be a harmonic eigenfunction of associated with λ n ( G ) . Then for any v V ( G ) , we have
f ( v ) 1 d ( v ) u v E ( G ) f ( u ) = λ n ( G ) f ( v ) .

3 Main result

We call G a triangulation, if every pair of adjacent vertices of G have at least one common adjacent vertex. A planar graph is called a maximal planar graph if for every pair of nonadjacent vertices u and v of G, the graph G + u v is nonplanar. Lu et al. [8] and Guo et al. [9] gave the upper bounds for the Laplacian spectral radius of a triangulation and a maximal planar graph, respectively. For the normalized Laplacian spectral radius, we have the following somewhat similar result.

Theorem 3.1 Let G = ( V , E ) be a triangulation of order n. Then
λ n max { 2 d ( v i ) 1 + 4 d ( v i ) m ( v i ) 4 d ( v i ) + 1 2 d ( v i ) : v i V } ,

where m ( v i ) = v j N ( v i ) d ( v j ) / d ( v i ) is the average 2-degree of the vertex v i . Moreover, the equality holds if G K 3 .

Proof Let V = { v 1 , , v n } , and let f = ( f ( v 1 ) , , f ( v n ) ) T be the harmonic eigenfunction of L ( G ) corresponding to λ n . Then by Proposition 2.1, we have for each v i V ,
d ( v i ) ( 1 λ n ) f ( v i ) = v i v j E f ( v j ) .
Hence by the Lagrange identity, we have for each v i ,
d ( v i ) 2 ( 1 λ n ) 2 f ( v i ) 2 = d ( v i ) v i v j E f ( v j ) 2 1 j < k n v j , v k N ( v i ) ( f ( v j ) f ( v k ) ) 2 .
Sum over v i to obtain
i = 1 n d ( v i ) 2 ( 1 λ n ) 2 f ( v i ) 2 = i = 1 n d ( v i ) v i v j E f ( v j ) 2 i = 1 n 1 j < k n v j , v k N ( v i ) ( f ( v j ) f ( v k ) ) 2 = i = 1 n d ( v i ) m ( v i ) f ( v i ) 2 i = 1 n 1 j < k n v j , v k N ( v i ) ( f ( v j ) f ( v k ) ) 2 ,
(3.1)

where m ( v i ) = v j N ( v i ) d ( v j ) / d ( v i ) .

Note that G is a triangulation. Then by Eq. (2.1), we have
i = 1 n 1 j < k n v j , v k N ( v i ) ( f ( v j ) f ( v k ) ) 2 1 j < k n v j v k E ( G ) ( f ( v j ) f ( v k ) ) 2 = λ n i = 1 n d ( v i ) f ( v i ) 2 .
(3.2)
Thus, combining Eqs. (3.1) and (3.2), we have
i = 1 n [ d ( v i ) 2 ( 1 λ n ) 2 d ( v i ) m ( v i ) + λ n d ( v i ) ] f ( v i ) 2 0 .
This implies that there exists at least one vertex v i such that
d ( v i ) 2 ( 1 λ n ) 2 d ( v i ) m ( v i ) + λ n d ( v i ) 0 .
That is,
λ n max { 2 d ( v i ) 1 + 4 d ( v i ) m ( v i ) 4 d ( v i ) + 1 2 d ( v i ) : v i V } .

For G = K 3 , it is easy to check that the equality holds. □

Furthermore, we have the following more general result.

Theorem 3.2 Let G = ( V , E ) be a simple connected graph of order n with m edges. If each edge of G belongs to at least t triangles ( t 1 ), then
λ n max { 2 d ( v i ) t + 4 d ( v i ) m ( v i ) 4 t d ( v i ) + t 2 2 d ( v i ) : v i V } ,
(3.3)

the equality occurs if G is the complete graph K t + 2 .

Proof For G = K t + 2 , it is easy to check that the equality in Eq. (3.3) holds. If we replace Eq. (3.2) in the proof of Theorem 3.1 by
i = 1 n 1 j < k n v j , v k N ( v i ) ( f ( v j ) f ( v k ) ) 2 t 1 j < k n v j v k E ( f ( v j ) f ( v k ) ) 2 = t λ n i = 1 n d ( v i ) f ( v i ) 2 ,

then the result follows. □

For the maximal planar graphs, we have the following upper bound.

Theorem 3.3 Let G be a maximal planar graph of order n 4 with m edges. Then
λ n max { d ( v i ) 1 + d ( v i ) m ( v i ) 2 d ( v i ) + 1 d ( v i ) : v i V ( G ) } .
(3.4)

Proof Note that for any maximal planar graph G, each edge of G belongs to at least 2 triangles. Then the result follows from Theorem 3.2. □

In what follows, we turn to some lower bounds on λ n . The following result due to Chung [2] concerns the lower bound on λ n ( G ) .

Lemma 3.4 ([2])

Let G be a connected graph of order n. Then λ n ( G ) n n 1 , the equality holds if and only if G K n , where K n is the complete graph of order n.

Let G = ( V , E ) be a graph and X V be a subset of the vertices. Let X ¯ = V X be the complement of the set X. The volume of X is defined to be the sum of the degrees of the vertices in G, that is,
vol ( X ) = v X d ( v ) .

Note that vol ( V ) is equal to twice the number of edges in the graph.

Theorem 3.5 Let G be a connected graph of order n with m edges. For any nonempty subset X V , we have
λ n 2 m | E X | vol ( X ) ( 2 m vol ( X ) ) ,

where E X is the set of all edges with one end in X and the other end in X ¯ . Moreover, if the equality holds, then u N ( v ) f ( u ) d ( v ) = x for each v X and u N ( v ) f ( u ) d ( v ) = y for each v X ¯ , where x and y are constant such that x y = vol ( X ¯ ) vol ( X ) .

Proof Let X V and f be a vector such that
f ( u ) = { vol ( X ¯ ) if  u X , vol ( X ) if  u X .
Clearly, u V d ( u ) f ( u ) = vol ( X ¯ ) vol ( X ) + vol ( X ¯ ) vol ( X ) = 0 . Moreover, note that vol ( X ) + vol ( X ¯ ) = vol ( V ) = 2 m . Then, by Eq. (2.1), we have
λ n u v E ( G ) ( f ( u ) f ( v ) ) 2 v V ( G ) d ( v ) f ( v ) 2 = | E X | ( vol ( X ) + vol ( X ¯ ) ) 2 vol ( X ) vol ( X ¯ ) ( vol ( X ) + vol ( X ¯ ) ) = 2 m | E X | vol ( X ) ( 2 m vol ( X ) ) .
Moreover, if the equality holds, then f is the harmonic eigenfunction of associated with λ n ( G ) . Hence Proposition 2.1 implies that
{ ( λ n 1 ) vol ( X ¯ ) = u N ( v ) f ( u ) d ( v ) for each  v X , ( 1 λ n ) vol ( X ) = u N ( v ) f ( u ) d ( v ) for each  v X ¯ .

Let x = ( λ n 1 ) vol ( X ¯ ) and y = ( 1 λ n ) vol ( X ) . Then x y = vol ( X ¯ ) vol ( X ) . This completes the proof. □

Let X = { u } in Theorem 3.5. Note that vol ( X ) = d ( u ) = | E X | . Then we have the following.

Corollary 3.6 Let G be a graph of order n with m edges. Then
λ n 2 m 2 m Δ ,
(3.5)

where Δ is the maximum degree of G.

Remark 3.1 Note that 2 m n Δ holds for any graph of order n with m edges and maximum degree Δ. Thus the lower bound in Corollary 3.6 is always better than that in Lemma 3.4. Moreover, if G is a complete graph K n or a star S n , then it is easy to check that the equality holds in Eq. (3.5).

Similarly, let X = { u , v } in Theorem 3.5. Then we have:

Corollary 3.7 Let G be a graph of order n with m edges. Let a = max u v E ( G ) { d ( u ) + d ( v ) } and b = max u v E ( G ) { d ( u ) + d ( v ) } . Then:
  1. (1)

    λ n 2 m ( a 2 ) a ( 2 m a ) , and the equality holds if G K n .

     
  2. (2)

    λ n 2 m 2 m b , and the equality holds if G K 2 , n 2 , where G K 2 , n 2 is the complete bipartite graph with parts of cardinalities 2 and n 2 .

     
Proof Let X = { u , v } in Theorem 3.5. If u v E ( G ) , then | E X | = d ( u ) + d ( v ) 2 and vol ( X ) = d ( u ) + d ( v ) . Theorem 3.5 implies that
λ n 2 m [ ( d ( u ) + d ( v ) ) 2 ] ( d ( u ) + d ( v ) ) [ 2 m ( d ( u ) + d ( v ) ) ] .

Let f ( x ) = 2 m ( x 2 ) x ( 2 m x ) for x > 2 . Then it is easy to see that f ( x ) is increasing on x. Hence, we have λ n 2 m ( a 2 ) a ( 2 m a ) . Moreover, it is easy to check that the equality holds when G K n .

If u v E ( G ) , then | E X | = vol ( X ) = d ( u ) + d ( v ) . Theorem 3.5 implies that
λ n 2 m 2 m ( d ( u ) + d ( v ) ) .

Hence λ n 2 m 2 m b . Moreover, it is easy to check that the equality holds when G K 2 , n 2 . □

A set of vertices X of G is called a cover of G if every edge of G is incident to some vertex in X. The least cardinality of a cover of G is called the covering number of G and denoted by τ ( G ) . It is clear that if a vertex set X is a vertex cover if and only if X ¯ is an independent set. The following lower bound for λ n in terms of τ ( G ) is obtained.

Theorem 3.8 Let G be a graph order n with m edges. Then
λ n 2 m 2 m δ ( n τ ( G ) ) ,

where δ is the minimum degree of G. Moreover, the equality holds if G C n when n is even, G K a , b or G K n , where C n is the cycle of order n and K a , b is the complete bipartite graph with parts of cardinalities a and b.

Proof Let X be a minimal covering set of G with | X | = τ ( G ) . Then X ¯ is an independent set. Hence vol ( X ¯ ) = | E X | and vol ( X ) = 2 m | E X | . Then Theorem 3.5 implies that λ n 2 m 2 m | E X | . Moreover, by the definition of covering set, we have | E X | δ ( n τ ( G ) ) . Hence we have λ n 2 m 2 m δ ( n τ ( G ) ) . Moreover, if G C n when n is even, then τ ( G ) = n 2 . Hence it is easy to check that the equality holds. Similarly, if G K a , b or G K n , then the equality holds. This completes the proof. □

Chung [2] proved that for any graph G of order n, λ 2 n n 1 with equality holding if and only if G K n . Moreover, the following result is also introduced.

Lemma 3.9 ([2])

Let G ( G K n ) be a connected graph of order n. Then λ 2 1 .

In what follows, we characterize all connected graphs with λ 2 = 1 . We will make use of the following lemma.

Lemma 3.10 ([7])

Let G be a connected graph of order n with maximum degree Δ and minimum degree δ. Let ρ 1 ρ 2 ρ n are the eigenvalues of A ( G ) . Then for each 1 k n ,
| ρ n k + 1 | Δ | 1 λ k | | ρ n k + 1 | δ .

Theorem 3.11 Let G ( G K n ) be a connected graph of order n. Then λ 2 = 1 if and only if G is a complete multipartite graph.

Proof By Lemma 3.10, if λ 2 = 1 , then ρ n 1 = 0 , where ρ n 1 is the second largest eigenvalue of A ( G ) . Hence the result follows from the fact that for any simple connected graph G of order n, ρ n 1 0 if and only if G is a complete multipartite graph [10]. On the other hand, when G ( G K n ) is a complete multipartite graph, ρ n 1 ( G ) = 0 [10]. This together with Lemma 3.10 imply that λ 2 = 1 . The proof is completed. □

Moreover, the following result on λ n 1 is also obtained.

Theorem 3.12 Let G be a connected graph of order n. Then λ n 1 1 , the equality holds if and only if G is a complete bipartite graph.

Proof Note that for any connected graph of order n, λ 1 = 0 and λ n 2 . Since i = 1 n λ i = n , i = 2 n 1 λ i n 2 and hence λ n 1 1 . Moreover, if λ n 1 = 1 , then λ 2 = = λ n 1 = 1 and λ n = 2 since i = 2 n λ i = n . This implies that G is bipartite [2]. Moreover, since λ 2 = 1 , combining with Theorem 3.11 we find that G is complete bipartite graph. On the other hand, it is easy to check that if G is a complete bipartite graph, then λ n 1 = 1 . This completes the proof. □

Declarations

Acknowledgements

The authors would like to thank the anonymous referees for their constructive corrections and valuable comments on this paper, which have considerably improved the presentation of this paper. This work was supported by NSF of China (Nos. 11101358, 61379021, 11371372); NSF of Fujian (No. 2014J01020); China Postdoctoral Science Foundation (No. 2014M551831); General Research Fund of Hong Kong; Faculty Research Grant of Hong Kong Baptist University.

Authors’ Affiliations

(1)
School of Mathematics and Statistics, Minnan Normal University
(2)
Center for Discrete Mathematics, Fuzhou University
(3)
Department of Mathematics, East China University of Science and Technology
(4)
Department of Mathematics, Hong Kong Baptist University

References

  1. Cvetković D, Rowlinson P, Simić S: An Introduction to the Theory of Graph Spectra. Cambridge University Press, Cambridge; 2010.MATHGoogle Scholar
  2. Chung F: Spectral Graph Theory. Am. Math. Soc., Providence; 1997.MATHGoogle Scholar
  3. Chen H, Jost J: Minimum vertex covers and the spectrum of the normalized Laplacian on trees. Linear Algebra Appl. 2012, 437: 1089-1101. 10.1016/j.laa.2012.04.005MathSciNetView ArticleMATHGoogle Scholar
  4. Rojo O, Soto RL: A new upper bounds on the largest normalized Laplacian eigenvalue. Oper. Matrices 2013, 7: 323-332.MathSciNetView ArticleMATHGoogle Scholar
  5. Banerjee, A: A few properties of the eigenvalues of normalized graph Laplacian (2012). arXiv:1210.5091v1 [math.CO] 1210.5091v1
  6. Butler, S: Eigenvalues and structures of graphs. PhD dissertation, University of California, San Diego (2008)Google Scholar
  7. Cavers, M: The normalized Laplacian matrix and general Randić index of graphs. PhD dissertation, University of Regina (2010)MATHGoogle Scholar
  8. Lu M, Liu H, Tian F: An improved upper bound for the Laplacian spectral radius of graphs. Discrete Math. 2009, 309: 6318-6321. 10.1016/j.disc.2009.06.012MathSciNetView ArticleMATHGoogle Scholar
  9. Guo J-M, Li J, Shiu WC: A note on the upper bounds for the Laplacian spectral radius of graphs. Linear Algebra Appl. 2013, 439: 1657-1661. 10.1016/j.laa.2013.04.034MathSciNetView ArticleMATHGoogle Scholar
  10. Cvetković D, Doob M, Sachs H: Spectra of Graphs. Academic Press, New York; 1980.MATHGoogle Scholar

Copyright

© Li et al.; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.