Volume 2013, Article ID 520610,8pages http://dx.doi.org/10.1155/2013/520610
Research Article
Bounds for the Largest Laplacian Eigenvalue of Weighted Graphs
Sezer Sorgun
Department of Mathematics, Faculty of Sciences and Arts, Nevs¸ehir University, 50300 Nevs¸ehir, Turkey
Correspondence should be addressed to Sezer Sorgun; [email protected] Received 29 November 2012; Accepted 14 March 2013
Academic Editor: Jun-Ming Xu
Copyright © 2013 Sezer Sorgun. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
LetGbe weighted graphs, as the graphs where the edge weights are positive definite matrices. The Laplacian eigenvalues of a graph are the eigenvalues of Laplacian matrix of a graphG. We obtain two upper bounds for the largest Laplacian eigenvalue of weighted graphs and we compare these bounds with previously known bounds.
1. Introduction
Let𝐺 = (𝑉, 𝐸)be simple graphs, as graphs which have no loops or parallel edges such that𝑉is a finite set of vertices and𝐸is a set of edges.
A weighted graph is a graph each edge of which has been assigned to a square matrix called the weight of the edge. All the weight matrices are assumed to be of same order and to be positive matrix. In this paper, by “weighted graph” we mean
“a weighted graph with each of its edges bearing a positive definite matrix as weight,” unless otherwise stated.
The notations to be used in paper are given in the following.
Let𝐺be a weighted graph on𝑛vertices. Denote by𝑤𝑖,𝑗 the positive definite weight matrix of order𝑝of the edge𝑖𝑗, and assume that𝑤𝑖𝑗 = 𝑤𝑗𝑖. We write𝑖 ∼ 𝑗if vertices𝑖and𝑗 are adjacent. Let𝑤𝑖 = ∑𝑗:𝑗∼𝑖𝑤𝑖𝑗. be the weight matrix of the vertex𝑖.
The Laplacian matrix of a graph𝐺is defined as𝐿(𝐺) = (𝑙𝑖𝑗), where
𝑙𝑖,𝑗={{ {{ {
𝑤𝑖; if 𝑖 = 𝑗,
−𝑤𝑖𝑗; if 𝑖 ∼ 𝑗, 0; otherwise.
(1)
The zero denotes the 𝑝 × 𝑝zero matrix. Hence𝐿(𝐺)is square matrix of order𝑛𝑝. Let𝜆1denote the largest eigenvalue
of𝐿(𝐺). In this paper we also use to avoid the confusion that 𝜌1(𝑤𝑖𝑗)is the spectral radius of𝑤𝑖𝑗matrix. If𝑉is the disjoint union of two nonempty sets𝑉1and𝑉2such that every vertex 𝑖in𝑉1has the same𝜌1(𝑤𝑖)and every vertex𝑗in𝑉2has the same𝜌1(𝑤𝑗), then𝐺is called a weight-semiregular graph. If 𝜌1(𝑤𝑖) = 𝜌1(𝑤𝑗)in weight semiregular graph, then𝐺is called a weighted-regular graph.
Upper and lower bounds for the largest Laplacian eigen- value for unweighted graphs have been investigated to a great extent in the literature. Also there are some studies about the bounds for the largest Laplacian eigenvalue of weighted graphs [1–3]. The main result of this paper, contained in Section 2, gives two upper bounds on the largest Laplacian for weighted graphs, where the edge weights are positive definite matrices. These upper bounds are attained by the same methods in [1–3]. We also compare the upper bounds with the known upper bounds in [1–3]. We also characterize graphs which achieve the upper bound. The results clearly generalize some known results for weighted and unweighted graphs.
2. The Known Upper Bounds for the Largest Laplacian Eigenvalue of Weighted Graphs
In this section, we present the upper bounds for the largest Laplacian eigenvalue of weighted graphs and very useful lemmas to prove theorems.
Theorem 1 (Horn and Johnson [4]). Let𝐴 ∈ 𝑀𝑛be Hermi- tian, and let the eigenvalues of𝐴be ordered such that 𝜆𝑛 ≤ 𝜆𝑛−1≤ ⋅ ⋅ ⋅ ≤ 𝜆1. Then,
𝜆𝑛𝑥𝑇𝑥 ≤ 𝑥𝑇𝐴𝑥 ≤ 𝜆1𝑥𝑇𝑥 (2) 𝜆max= 𝜆1=max
𝑥 ̸= 0
𝑥𝑇𝐴𝑥 𝑥𝑇𝑥 =max
𝑥𝑇𝑥=1𝑥𝑇𝐴𝑥 𝜆min = 𝜆𝑛 =min
𝑥 ̸= 0
𝑥𝑇𝐴𝑥 𝑥𝑇𝑥 = min
𝑥𝑇𝑥=1𝑥𝑇𝐴𝑥
(3)
for all𝑥 ∈C𝑛.
Lemma 2 (Horn and Johnson [4]). Let𝐵be a Hermitian𝑛×𝑛 matrix with eigenvalues𝜆1 ≥ 𝜆2 ≥ ⋅ ⋅ ⋅ ≥ 𝜆𝑛; then for any 𝑥 ∈ 𝑅𝑛 (𝑥 ̸= 0),𝑦 ∈ 𝑅𝑛 (𝑦 ̸= 0),
𝑥𝑇𝐵𝑦 ≤ 𝜆1√𝑥𝑇𝑥√𝑦𝑇𝑦. (4) Equality holds if and only if𝑥is an eigenvector of𝐵correspond- ing to𝜆1and𝑦 = 𝛼𝑥for some𝛼 ∈ 𝑅.
Lemma 3 (see [1]). Let 𝐺 be a(𝜌1(𝑤𝑖), 𝜌1(𝑤𝑗))-semiregular bipartite graph of order𝑛such that the first 𝑙vertices of the same largest eigenvalue𝜌1(𝑤𝑖)and the remaining𝑚vertices of the same largest eigenvalue𝜌1(𝑤𝑗). Also let𝑥be a common eigenvector of 𝑤𝑖𝑗 corresponding to the largest eigenvalue 𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗, where𝑤𝑖= ∑𝑘∈𝑁𝑖𝑤𝑖𝑘for all𝑖. Then𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗)is the largest eigenvalue of𝐿(𝐺)and the corresponding eigenvector is
(𝜌⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟1(𝑤𝑖)𝑥𝑇, . . . , 𝜌1(𝑤𝑖)𝑥𝑇
𝑙
, −𝜌⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟1(𝑤𝑗)𝑥𝑇, . . . , −𝜌1(𝑤𝑗)𝑥𝑇
𝑚
) . (5) Theorem 4 (see [1]). Let G be a simple connected weighted graph. Then
𝜆1≤max
𝑖∼𝑗
{{ {
𝜌1( ∑
𝑘:𝑘∼𝑖
𝑤𝑖𝑘) + ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘)} }}
, (6) where𝑤𝑖𝑗is the positive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(6)if and only if
(i)𝐺is a weight-semiregular bipartite graph,
(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.
Theorem 5 (see [2]). Let G be a simple connected weighted graph. Then
𝜆1
≤max
𝑖∼𝑗
{{ {{ {{ {{ {{ {
√√
√√
√
𝑘:𝑘∼𝑖∑ 𝜌1(𝑤𝑖𝑘) ( ∑
𝑟:𝑟∼𝑖𝜌1(𝑤𝑖𝑟) + ∑
𝑠:𝑠∼𝑘𝜌1(𝑤𝑘𝑠)) + ∑𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘) ( ∑
𝑟:𝑟∼𝑗𝜌1(𝑤𝑗𝑟) + ∑
𝑠:𝑠∼𝑘𝜌1(𝑤𝑘𝑠)) }} }} }} }} }} } ,
(7)
where𝑤𝑖𝑗is the positive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(7)if and only if
(i)𝐺is a bipartite semiregular graph;
(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.
Corollary 6 (see [2]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖𝑗is a positive number. Then
𝜆1≤max
𝑖 {√2𝑤𝑖(𝑤𝑖+ 𝑤𝑖)} , (8)
where𝑤𝑖 = (∑𝑘:𝑘∼𝑖𝑤𝑖𝑘𝑤𝑘)/𝑤𝑖and𝑤𝑖is the weight of vertex𝑖.
Moreover equality holds if and only if𝐺is a bipartite regular graph.
Corollary 7 (see [2]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖𝑗is a positive number. Then
𝜆1≤max
𝑖∼𝑗 {√𝑤𝑖(𝑤𝑖+ 𝑤𝑖) + 𝑤𝑗(𝑤𝑗+ 𝑤𝑗)} , (9) where𝑤𝑖 = (∑𝑘:𝑘∼𝑖𝑤𝑖𝑘𝑤𝑘)/𝑤𝑖and𝑤𝑖 is the weight of vertex 𝑖. Moreover equality holds if and only if 𝐺 is a bipartite semiregular graph.
Theorem 8 (see [2]). Let G be a simple connected weighted graph. Then
𝜆1
≤max
𝑖∼𝑗
{{ {{ {{ {
𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) + √(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑗))2+ 4𝛾𝑖𝛾𝑗 2
}} }} }} } ,
(10) where𝛾𝑖 = (∑𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)𝜌1(𝑤𝑘))/𝜌1(𝑤𝑖)and𝑤𝑖𝑗is the posi- tive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(10)if and only if
(i)𝐺is a weighted-regular graph or𝐺is a weight-semi- regular bipartite graph;
(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.
Corollary 9 (see [2]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖𝑗is a positive number. Then
𝜆1≤max
𝑖 {𝑤𝑖+ 𝑤𝑖} , (11)
where𝑤𝑖 = (∑𝑘:𝑘∼𝑖𝑤𝑖𝑘𝑤𝑘)/𝑤𝑖and𝑤𝑖 is the weight of vertex 𝑖. Moreover equality holds if and only if 𝐺 is a bipartite semiregular graph or𝐺is a bipartite regular graph.
Theorem 10 (see [3]). Let G be a simple connected weighted graph. Then
𝜆1
≤max𝑖 {{ {{ {{ {
√ 𝜌12(𝑤𝑖) + ∑
𝑘:𝑘∼𝑖𝜌12(𝑤𝑖𝑘) + ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑤𝑖𝑘+ 𝑤𝑖𝑘𝑤𝑘) + ∑1≤𝑖,𝑡≤𝑛 ∑
𝑠∈𝑁𝑖∩𝑁𝑡𝜌1(𝑤𝑖𝑠𝑤𝑠𝑡)
}} }} }} } ,
(12) where𝑤𝑖𝑘is the positive definite weight matrix of order𝑝of the edge𝑖𝑘and𝑁𝑖∩ 𝑁𝑘is the set of common neighbours of𝑖and 𝑘. Moreover equality holds in(12)if and only if
(i)𝐺is a weight-semiregular bipartite graph;
(ii)𝑤𝑖𝑘 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑘)for all𝑖,𝑘.
Corollary 11 (see [3]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖𝑗is a positive number. Then
𝜆1≤max
𝑖
{{ {{ {{ {
√ 𝑤2𝑖 + ∑
𝑘:𝑘∼𝑖𝑤𝑖𝑘2 + ∑
𝑘:𝑘∼𝑖(𝑤𝑖𝑤𝑖𝑘+ 𝑤𝑘𝑤𝑖𝑘) + ∑1≤𝑖,𝑡≤𝑛 ∑
𝑠∈𝑁𝑖∩𝑁𝑡𝑤𝑖𝑠𝑤𝑠𝑡
}} }} }} }
. (13)
Moreover equality holds if and only if𝐺is a bipartite semireg- ular graph.
3. Two Upper Bounds on the Largest Laplacian Eigenvalue of Weighted Graphs
In this section we present two upper bounds for the largest eigenvalue of weighted graphs and compare the bounds with some examples.
Theorem 12. Let G be a simple connected weighted graph.
Then
𝜆1≤max
𝑖∼𝑗
{{ {{ {{ {{ {{ {{ {{ {
𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) + √(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑗))2+ 4 ( ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) ( ∑
𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘)) 2
}} }} }} }} }} }} }} }
, (14)
where𝑤𝑖𝑗is the positive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(14)if and only if
(i)𝐺 is a weighted-regular graph or 𝐺 is a weight- semiregular bipartite graph;
(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.
Proof. Let 𝑋 = (𝑥1, 𝑥2, . . . , 𝑥𝑛)𝑇 be an eigenvector corre- sponding to the largest eigenvalue𝜆1of𝐿(𝐺). We assume that 𝑥𝑖is the vector component of𝑋such that
𝑥𝑇𝑖𝑥𝑖=max
𝑘∈𝑉 {𝑥𝑇𝑘𝑥𝑘} . (15)
Since𝑋is nonzero, so is𝑥𝑖. Let 𝑥𝑇𝑗𝑥𝑗 =max
𝑘:𝑘∼𝑖{𝑥𝑇𝑘𝑥𝑘} (16)
be. The(𝑖, 𝑗)th element of𝐿(𝐺)is {{
{{ {
𝑤𝑖; if 𝑖 = 𝑗
−𝑤𝑖,𝑗; if 𝑖 ∼ 𝑗 0; otherwise.
(17)
We have
𝐿 (𝐺) 𝑋 = 𝜆1𝑋. (18)
From the𝑖th equation of (18), we have (𝜆1𝐼𝑝,𝑝− 𝑤𝑖) 𝑥𝑖= − ∑
𝑘:𝑘∼𝑖
𝑤𝑖𝑘𝑥𝑘, (19)
that is,
𝑥𝑇𝑖 (𝜆1𝐼𝑝,𝑝− 𝑤𝑖) 𝑥𝑖= − ∑
𝑘:𝑘∼𝑖
𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘 (20)
≤ ∑
𝑘:𝑘∼𝑖𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘 (21)
≤ ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑘𝑥𝑘 by(4) (22)
≤ ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗 by(16) . (23) From (23) we have
(𝜆1− 𝜌1(𝑤𝑖)) 𝑥𝑇𝑖𝑥𝑖≤ 𝑥𝑇𝑖 (𝜆1𝐼𝑝,𝑝− 𝑤𝑖) 𝑥𝑖 by (2)
≤ ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗, (24)
that is,
(𝜆1− 𝜌1(𝑤𝑖)) 𝑥𝑇𝑖𝑥𝑖≤ ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗. (25) From the𝑗th equation of (18), we get
(𝜆1𝐼𝑝,𝑝− 𝑤𝑗) 𝑥𝑗= − ∑
𝑘:𝑘∼𝑗
𝑤𝑗𝑘𝑥𝑘, (26)
that is,
𝑥𝑇𝑗 (𝜆1𝐼𝑝,𝑝− 𝑤𝑖) 𝑥𝑗 = − ∑
𝑘:𝑘∼𝑗
𝑥𝑇𝑗𝑤𝑗𝑘𝑥𝑘 (27)
≤ ∑
𝑘:𝑘∼𝑗𝑥𝑇𝑗𝑤𝑗𝑘𝑥𝑘 (28)
≤ ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑗𝑥𝑗√𝑥𝑇𝑘𝑥𝑘 by(4) (29)
≤ ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗 by (15) . (30) Similarly, from (30) we get
(𝜆1− 𝜌1(𝑤𝑗)) 𝑥𝑇𝑗𝑥𝑗 ≤ 𝑥𝑇𝑗 (𝜆1𝐼𝑝,𝑝− 𝑤𝑗) 𝑥𝑗 by(2)
≤ ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑗𝑥𝑗, (31)
that is,
(𝜆1− 𝜌1(𝑤𝑗)) 𝑥𝑇𝑗𝑥𝑗 ≤ ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑘𝑥𝑘. (32)
So, from (25) and (32) we have
(𝜆1− 𝜌1(𝑤𝑗)) (𝜆1− 𝜌1(𝑤𝑖)) 𝑥𝑇𝑗𝑥𝑗𝑥𝑇𝑖𝑥𝑖
≤ ( ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘)) ⋅ ( ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘)) 𝑥𝑇𝑗𝑥𝑗𝑥𝑇𝑖𝑥𝑖. (33)
Hence we get
(𝜆1− 𝜌1(𝑤𝑗)) (𝜆1− 𝜌1(𝑤𝑖))
≤ ( ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘)) ⋅ ( ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘)) , (34)
that is,
𝜆21− 𝜆1(𝜌1(𝑤𝑗) + 𝜌1(𝑤𝑖)) + 𝜌1(𝑤𝑖) 𝜌1(𝑤𝑗)
− ( ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘)) ⋅ ( ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘)) ≤ 0, (35)
that is,
𝜆1 ≤ 𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) 2
+
√(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑗))2+ 4 ( ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) ( ∑
𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘)) 2
≤max
𝑖∼𝑗
{{ {{ {{ {{ {{ {{ {{ {
𝜌1(𝑤𝑖)+𝜌1(𝑤𝑗) 2
+
√(𝜌1(𝑤𝑖)−𝜌1(𝑤𝑗))2+4 ( ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) ( ∑
𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘)) 2
}} }} }} }} }} }} }} } .
(36) This completes the proof of (14).
Now suppose that equality holds in (14). Then all inequal- ities in the previous argument must be equalities.
From equality in (23), we get
𝑥𝑇𝑖𝑥𝑖= 𝑥𝑇𝑘𝑥𝑘 for all𝑘, 𝑘 ∼ 𝑖. (37) Since𝑥𝑖 ̸= 0, we get that𝑥𝑘 ̸= 0for all𝑘,𝑘 ∼ 𝑖. From equa- lity in (22) andLemma 2, we get that𝑥𝑖is an eigenvector of𝑤𝑖𝑘 for the largest eigenvalue𝜌1(𝑤𝑖𝑘). Hence we say that𝑥𝑘 = 𝑎𝑥𝑖 for some𝑎, for any𝑘,𝑘 ∼ 𝑖.
On the other hand, from (37) we get
𝑎2𝑥𝑇𝑖𝑥𝑖= 𝑥𝑇𝑖𝑥𝑖, (38) that is,
𝑎2= 1 as𝑥𝑇𝑖𝑥𝑖> 0. (39) From equality in (21), we have
− ∑
𝑘:𝑘∼𝑖
𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘= ∑
𝑘:𝑘∼𝑖𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘 . (40) Since𝑥𝑘= 𝑎𝑥𝑖, from (40) we get
− ∑ 𝑎
𝑘:𝑘∼𝑖
𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑖= ∑
𝑘:𝑘∼𝑖
|𝑎|𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘
= ∑
𝑘:𝑘∼𝑖
|𝑎| 𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘 as𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘> 0. (41) Hence we get
𝑎 = −1 (42)
from equalities in (41). Therefore we have
𝑥𝑘 = −𝑥𝑖 for all𝑘, 𝑘 ∼ 𝑖. (43)
Similarly from equality in (29), we get that 𝑥𝑗 is an eigenvector of𝑤𝑗𝑘for the largest eigenvalue𝜌1(𝑤𝑗𝑘). Hence we say that𝑥𝑘 = 𝑏𝑥𝑗 for some𝑏, for any𝑘,𝑘 ∼ 𝑗. From equality in (16) we have
𝑥𝑇𝑗𝑥𝑗 = 𝑥𝑇𝑘𝑥𝑘 for𝑘 ∼ 𝑖, (44) that is,
𝑏2𝑥𝑇𝑗𝑥𝑗 = 𝑥𝑇𝑗𝑥𝑗, (45) that is,
𝑏2= 1 as𝑥𝑇𝑗𝑥𝑗 > 0. (46) Applying the same methods as previously, we get
𝑏 = −1. (47)
Therefore we have
𝑥𝑘 = −𝑥𝑗 for all𝑘, 𝑘 ∼ 𝑗. (48) For𝑖 ∼ 𝑗
𝑥𝑖= −𝑥𝑗. (49) Hence we take that𝑈 = {𝑘 : 𝑥𝑘 = 𝑥𝑖}and𝑊 = {𝑘 : 𝑥𝑘=
−𝑥𝑖}from (43), (48), and (49). So,𝑁𝑗 ⊂ 𝑈and𝑁𝑖⊂ 𝑊. Also, 𝑈 ̸= 𝑊 ̸= 0since𝑥𝑖 ̸= 0. Further, for any vertex𝑠 ∈ 𝑁𝑁𝑖there exists a vertex𝑟 ∈ 𝑁𝑖such that𝑟 ∼ 𝑗ℓ𝑟 ∼ 𝑠, where𝑁𝑁𝑖 is the neighbor of neighbor set of vertex𝑖. Therefore𝑥𝑟 = −𝑥𝑖 and𝑥𝑠= 𝑥𝑖. So𝑁𝑁𝑖 ⊂ 𝑈. By similar argument we can present that𝑁𝑁𝑗 ⊂ 𝑊. Continuing the procedure, it is easy to see, since𝐺is connected, that𝑉 = 𝑈 ∪ 𝑊and that the subgraphs induced by𝑈and𝑊, respectively, are empty graphs. Hence 𝐺is bipartite. Moreover,𝑥𝑖is a common eigenvector of𝑤𝑖𝑘 and𝑤𝑖for the largest eigenvalue𝜌1(𝑤𝑖𝑘)and𝜌1(𝑤𝑖).
For𝑖, 𝑘 ∈ 𝑈
𝜆1𝑥𝑖= 𝑤𝑖𝑥𝑖+ ∑
𝑘:𝑘∼𝑖
𝑤𝑖𝑘𝑥𝑖= 𝑤𝑘𝑥𝑖+ ∑
𝑘:𝑘∼𝑖
𝑤𝑖𝑘𝑥𝑖, (50) that is,
𝑤𝑖𝑥𝑖= 𝑤𝑘𝑥𝑖. (51) Since 𝑥𝑖 is an eigenvector of 𝑤𝑖 corresponding to the largest eigenvalue of𝜌1(𝑤𝑖)for all𝑖, we get
𝜌1(𝑤𝑖) 𝑥𝑖= 𝜌1(𝑤𝑘) 𝑥𝑖, (52) that is,
(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑘)) 𝑥𝑖= 0, (53) that is,
𝜌1(𝑤𝑖) = 𝜌1(𝑤𝑘) as𝑥𝑖 ̸= 0. (54) Therefore we get that 𝜌1(𝑤𝑖) is constant for all𝑖 ∈ 𝑈.
Similarly we can show that𝜌1(𝑤𝑗)is constant for all𝑗 ∈ 𝑊.
Hence𝐺is a bipartite semiregular graph.
Conversely, suppose that conditions (i)-(ii) of the the- orem hold for the graph 𝐺. Let 𝐺 be (𝜌1(𝑤𝑖), 𝜌1(𝑤𝑗))- semiregular bipartite graph. Let𝑥be a common eigenvector of𝑤𝑖𝑘corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑘)for all 𝑖, 𝑘. Then we have
𝜌1(𝑤𝑖) = ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) ,
𝜌1(𝑤𝑗) = ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘) . (55)
ByLemma 3, we get
𝜆1= 𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) , (56) that is,
𝜆1 =𝜌1(𝑤𝑖) + 𝜌1(𝑤𝑗) 2
+
√(𝜌1(𝑤𝑖) − 𝜌1(𝑤𝑗))2+ 4 ( ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) ( ∑
𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))
2 .
(57) Corollary 13 (see [1]). Let𝐺be a simple connected weighted graph where each edge weight𝑤𝑖,𝑗is a positive number. Then
𝜆1≤max
𝑖∼𝑗 {𝑤𝑖+ 𝑤𝑗} . (58)
Moreover equality holds in(58) if and only if𝐺 is bipartite semiregular graph.
Proof. We have𝜌1(𝑤𝑖) = 𝑤𝑖and𝜌1(𝑤𝑖𝑗) = 𝑤𝑖𝑗for all𝑖,𝑗. From Theorem 12, we get the required result.
Corollary 14 (see [5]). Let𝐺be a simple connected unweight- ed graph. Then
𝜆1≤max
𝑖∼𝑗 {𝑑𝑖+ 𝑑𝑗} , (59)
where𝑑𝑖 is the degree of vertex𝑖. Moreover equality holds in (59) if and only if 𝐺 is a bipartite regular graph or 𝐺 is a bipartite semiregular graph.
Proof. For unweighted graph,𝑤𝑖,𝑗 = 1for𝑖 ∼ 𝑗. Therefore 𝑤𝑖= 𝑑𝑖. UsingCorollary 6, we get the required results.
Theorem 15. Let G be a simple connected weighted graph.
Then 𝜆1
≤max
𝑖∼𝑗 {√(𝜌1(𝑤𝑖) + ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑
𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))} , (60)
where𝑤𝑖𝑗is the positive definite weight matrix of order p of the edge𝑖𝑗. Moreover equality holds in(60)if and only if
(i)𝐺is a weighted-regular bipartite graph;
(ii)𝑤𝑖𝑗 have a common eigenvector corresponding to the largest eigenvalue𝜌1(𝑤𝑖𝑗)for all𝑖,𝑗.
Proof. Let 𝑋 = (𝑥1, 𝑥2, . . . , 𝑥𝑛)𝑇 be an eigenvector corre- sponding to the largest eigenvalue𝜆1of𝐿(𝐺). We assume that 𝑥𝑖is the vector component of𝑋such that
𝑥𝑇𝑖𝑥𝑖=max
𝑘∈𝑉 {𝑥𝑇𝑘𝑥𝑘} . (61)
Since𝑋is nonzero, so is𝑥𝑖. Let 𝑥𝑇𝑗𝑥𝑗 =max
𝑘:𝑘∼𝑗{𝑥𝑇𝑘𝑥𝑘} (62)
be. We have
𝐿 (𝐺) 𝑋 = 𝜆1𝑋. (63) From the𝑖th equation of (43), we have
𝜆1𝑥𝑖= 𝑤𝑖𝑥𝑖− ∑
𝑘:𝑘∼𝑖
𝑤𝑖𝑘𝑥𝑘, (64)
that is,
𝜆1𝑥𝑇𝑖𝑥𝑖= 𝑥𝑇𝑖𝑤𝑖𝑥𝑖− ∑
𝑘:𝑘∼𝑖
𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘
≤ 𝑥𝑇𝑖𝑤𝑖𝑥𝑖 + ∑
𝑘:𝑘∼𝑖𝑥𝑇𝑖𝑤𝑖𝑘𝑥𝑘
≤ 𝜌1(𝑤𝑖) 𝑥𝑇𝑖𝑥𝑖+ ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) √𝑥𝑇𝑖𝑥𝑖√𝑥𝑇𝑘𝑥𝑘 by(2)
≤ 𝜌1(𝑤𝑖) 𝑥𝑇𝑖𝑥𝑖+ ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) 𝑥𝑇𝑖𝑥𝑖 by (40) . (65) Hence we get
𝜆1≤ 𝜌1(𝑤𝑖) + ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) . (66) By the same method, from the𝑗th equation of (43), we have
𝜆1𝑥𝑗= 𝑤𝑗𝑥𝑗− ∑
𝑘:𝑘∼𝑗
𝑤𝑗𝑘𝑥𝑘, (67)
that is, 𝜆1𝑥𝑇𝑗𝑥𝑗 =
𝑥𝑇𝑗𝑤𝑗𝑥𝑗− ∑
𝑘:𝑘∼𝑗
𝑥𝑇𝑗𝑤𝑗𝑘𝑥𝑘
≤ 𝑥𝑇𝑗𝑤𝑗𝑥𝑗 + ∑
𝑘:𝑘∼𝑗𝑥𝑇𝑗𝑤𝑗𝑘𝑥𝑘
≤ 𝜌1(𝑤𝑗) 𝑥𝑇𝑗𝑥𝑗+ ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘) √𝑥𝑇𝑗𝑥𝑗√𝑥𝑇𝑘𝑥𝑘 by(2)
≤ 𝜌1(𝑤𝑗) 𝑥𝑇𝑗𝑥𝑗+ ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘) 𝑥𝑇𝑗𝑥𝑗 by(41) . (68) Hence we get
𝜆1≤ 𝜌1(𝑤𝑗) + ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘) . (69)
From (49) and (58), we have
𝜆21≤ (𝜌1(𝑤𝑖) + ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑
𝑘:𝑘∼𝑗
𝜌1(𝑤𝑗𝑘)) , (70) that is,
𝜆1
≤max
𝑖∼𝑗 {√(𝜌1(𝑤𝑖) + ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑
𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))} . (71) This completes the proof of (60).
Now we show the case of equality in (60). By similar method inTheorem 12. In the part of equalit, the necessary condition can show easily. So we will show the sufficient condition.
Suppose that conditions (i)-(ii) of Theorem hold for the graph𝐺. We must prove that
𝜆1
=max
𝑖∼𝑗 {√(𝜌1(𝑤𝑖) + ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑
𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))} . (72) Let 𝐺 be regular bipartite graph. Therefore we have 𝜌1(𝑤𝑖) = 𝛼 for𝑖 ∈ 𝑈and 𝜌1(𝑤𝑗) = 𝛼 for 𝑗 ∈ 𝑊 such that 𝑉 = 𝑈 ∪ 𝑊. Let 𝑥 be a common eigenvector of𝑤𝑖𝑘 corresponding to the largest eigenvalue 𝜌1(𝑤𝑖𝑘) for all 𝑖, 𝑘.
Hence we have
𝜌1(𝑤𝑖) = ∑
𝑘:𝑘∼𝑖
𝜌1(𝑤𝑖𝑘) . (73)
From (71) we get that
𝜆1≤ 2𝛼. (74)
On the other hand, the following equation can be easily verified:
(2𝛼) (( (( (( (
( 𝑥𝑥
...
−𝑥𝑥
−𝑥 ...
−𝑥 )) )) )) )
)
=((((
(
𝑤1 ⋅ 0 −𝑤1,𝑘+1 ⋅ −𝑤1,𝑛
0 ⋅ 0 −𝑤2,𝑘+1 ⋅ −𝑤2,𝑛
. . . ⋅ . . . ⋅ . . .
0 ⋅ 𝑤𝑘 −𝑤𝑘,𝑘+1 ⋅ −𝑤𝑘,𝑛
−𝑤𝑘+1,1 ⋅ −𝑤𝑘+1,𝑘 𝑤𝑘+1 ⋅ 0
−𝑤𝑘+1,2 ⋅ −𝑤𝑘+2,𝑘 0 ⋅ 0
. . . ⋅ . . . ⋅ . . .
−𝑤𝑛,1 ⋅ −𝑤𝑛,𝑘 0 ⋅ 𝑤𝑛 )) ))
)
× (( (( (( (
( 𝑥𝑥
...
−𝑥𝑥
−𝑥 ...
−𝑥 )) )) )) )
) .
(75) Thus2𝛼is an eigenvalue of𝐿(𝐺). Since𝜆1is the largest eigenvalue of𝐿(𝐺), we get
2𝛼 ≤ 𝜆1. (76)
So from (74) and (76) we obtain 𝜆1
=max
𝑖∼𝑗
{{ {
√(𝜌1(𝑤𝑖) + ∑
𝑘:𝑘∼𝑖𝜌1(𝑤𝑖𝑘)) (𝜌1(𝑤𝑗) + ∑
𝑘:𝑘∼𝑗𝜌1(𝑤𝑗𝑘))} }} . (77) Corollary 16. Let 𝐺 be a simple connected weighted graph where each edge weight𝑤𝑖,𝑗is a positive number. Then
𝜆1≤max
𝑖∼𝑗 {2√𝑤𝑖𝑤𝑗} . (78)
Moreover equality holds in(78) if and only if𝐺 is bipartite semiregular graph.
Proof. We have𝜌1(𝑤𝑖) = 𝑤𝑖and𝜌1(𝑤𝑖𝑗) = 𝑤𝑖𝑗for all𝑖,𝑗. From Theorem 15we get the required result.
Corollary 17. Let𝐺be a simple connected unweighted graph.
Then
𝜆1≤max
𝑖∼𝑗 {2√𝑑𝑖𝑑𝑗} , (79)
where𝑑𝑖 is the degree of vertex𝑖. Moreover equality holds in (79) if and only if 𝐺 is a bipartite regular graph or 𝐺 is a bipartite semiregular graph.
Proof. For unweighted graph,𝑤𝑖,𝑗 = 1for𝑖 ∼ 𝑗. Therefore 𝑤𝑖= 𝑑𝑖. UsingCorollary 16, we get the required results.
Example 18. Let 𝐺1 = (𝑉1, 𝐸1) and 𝐺2 = (𝑉2, 𝐸2) be a weighted graph where𝑉1 = {1, 2, 3, 4},𝐸1 = {{1, 3}, {2, 4}, {3, 4}}and each weight is the positive definite matrix of order three. Let𝑉2 = {1, 2, 3, 4, 5, 6, 7},𝐸2 = {{1,4},{2,4},{3,4},
{4,5},{5,6},{5,7}}such that each weight is the positive definite matrix of order two.
Assume that the following Laplacian matrices of𝐺1and𝐺2 are as follows:
𝐿 (𝐺1) = [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [ [
1 0 0 0 0 0 −1 0 0 0 0 0 0 5 3 0 0 0 0 −5 −3 0 0 0 0 3 3 0 0 0 0 −3 −3 0 0 0 0 0 0 2 −1 0 0 0 0 −2 1 0 0 0 0 −1 2 −1 0 0 0 1 −2 1 0 0 0 0 −1 2 0 0 0 0 1 −2
−1 0 0 0 0 0 7 2 −2 6 2 −2 0 −5 −3 0 0 0 2 11 1 2 6 −2 0 −3 −3 0 0 0 −2 1 13 −2 −2 10 0 0 0 2 −1 0 6 2 −2 8 1 −2 0 0 0 −1 2 −1 2 6 −2 −3 8 −3 0 0 0 0 −1 2 −2 −2 10 −2 −2 12
]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ] ] ,
𝐿 (𝐺2) = [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [[ [
1 1 0 0 0 0 −1 −1 0 0 0 0 0 0 1 2 0 0 0 0 −1 −2 0 0 0 0 0 0 0 0 1 1 0 0 −1 −1 0 0 0 0 0 0 0 0 1 3 0 0 −1 −3 0 0 0 0 0 0 0 0 0 0 1 1 −1 −1 0 0 0 0 0 0 0 0 0 0 1 4 −1 −4 0 0 0 0 0 0
−1 −1 −1 −1 −1 −1 4 4 −1 −1 0 0 0 0
−1 −2 −1 −3 −1 −4 4 14 −1 −5 0 0 0 0 0 0 0 0 0 0 −1 −1 3 3 −1 −1 −1 −1 0 0 0 0 0 0 −1 −5 3 18 −1 −6 −1 7 0 0 0 0 0 0 0 0 −1 −1 1 1 0 0 0 0 0 0 0 0 0 0 −1 −6 1 6 0 0 0 0 0 0 0 0 0 0 −1 −1 0 0 1 1 0 0 0 0 0 0 0 0 −1 −7 0 0 1 7
]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ]] ] .
(80) The largest eigenvalues of𝐿(𝐺1)and𝐿(𝐺2)are𝜆1 = 25, 66,
𝜆2 = 26.16rounded two decimal places and the previously mentioned bounds give the following results:
(6) (7) (10) (12) (14) (60) 𝐺1 32.90 32.88 27.90 29.55 30.88 30.93
𝐺2 34.12 29.86 27.11 27.22 34.05 33.90. (81) For𝐺1, we see that the upper bounds in (14) and (60) are better than upper bounds in (6) and (7). But they are not better than upper bounds in (10) and (12) from (81).
For also𝐺2, we see that upper bounds in (14) and (60) are only better than the upper bound in (6).
Consequently, we cannot exactly compare all the bounds for weighted graphs, where the weights are positive definite matrices. Modifications according to each weight of edges, especially for matrices can be shown.
References
[1] K. Ch. Das and R. B. Bapat, “A sharp upper bound on the largest Laplacian eigenvalue of weighted graphs,”Linear Algebra and Its Applications, vol. 409, pp. 153–165, 2005.
[2] K. Ch. Das, “Extremal graph characterization from the upper bound of the Laplacian spectral radius of weighted graphs,”
Linear Algebra and Its Applications, vol. 427, no. 1, pp. 55–69, 2007.
[3] S. Sorgun and S¸. B¨uy¨ukk¨ose, “On the bounds for the largest Lap- lacian eigenvalues of weighted graphs,”Discrete Optimization, vol. 9, no. 2, pp. 122–129, 2012.
[4] R. A. Horn and C. R. Johnson, Matrix Analysis, Cambridge University Press, Cambridge, UK, 1985.
[5] W. N. Anderson Jr. and T. D. Morley, “Eigenvalues of the Lapla- cian of a graph,”Linear and Multilinear Algebra, vol. 18, no. 2, pp. 141–145, 1985.
Submit your manuscripts at http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation http://www.hindawi.com
Differential Equations
International Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex Analysis
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Optimization
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
The Scientific World Journal
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Discrete Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Stochastic Analysis
International Journal of